이론 컴퓨터 과학

양자 복잡성 이론에 관한 논문에 대한 Watrous의 훌륭한 설문지를 읽고 있습니다. 그는 QMA 완성 문제가 명백한 약속 (즉, 언어)을 가지고있는 것으로 밝혀지면 놀라운 일이라고 말합니다. 왜 그렇습니까? k-local Hamiltonian 문제가 약속 문제라는 사실과 관련이 있습니까? 또한 이것은 관련 질문으로 이어집니다. 본질적으로 "양자"가 아닌 QMA 완료 문제가 있습니까?

10 cc.complexity-theory  quantum-computing 

다음 문제에 대해 연산 당 O (1) 시간의 w 비트 워드 RAM 데이터 구조가 있습니까? : 연산을 지원하는 w 비트 음이 아닌 정수 세트를 유지하십시오 add (x) : 세트에 x를 더합니다 remove (x) : 세트에서 x를 제거 fingerprint () : 세트의 지문을 반환합니다. 이 w- 비트 지문은 동일한 두 세트가 …

10 ds.data-structures 

여기에 "트랙 B"질문이 있습니다. 요약 : 비 결정적 프로그램에 의미를 부여하려고 할 때 가장 먼저 생각하는 것은 비 결정적 분석 만 종료하는 루프에 대한 것을 증명할 수없는 의미론을 초래합니다. 분명히 누군가 가이 상황에서 무엇을 해야할지, 적어도 어렵다는 것을 지적했지만 그것을 찾는 방법을 알지 못합니다 (따라서 "참조 요청"태그). 배경 비결정론으로 언어를 …

10 reference-request  denotational-semantics 

n 개의 변수 ( ) 에 m 개의 항이있는 모노톤 CNF 공식 은 f ( x 1 , … , x n ) = ⋀ C i 형식의 공식입니다. 여기서 각 C i 는 일부 하위 집합의 OR입니다 변수 x 1 , … , x n 및 i의 범위는 1 …

10 cc.complexity-theory  circuit-complexity  formulas 

이것은 잘 알려진 클래식 PAC이 학습을 위해 예제의 오차 한계 acheive 위해 필요한 ε WHP, 여기서 D는 개념 클래스의 VC-치수이다.Ω ( 일/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd 있다는 것이 알려져 예는 무관 경우 필요한가?Ω(d/ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning  machine-learning 

누군가 가이 논문에 대한 더 깊은 이해를 얻기 위해 보충 자료를 추천 할 수 있는지 궁금합니다 . 특히 종형 불평등의 기하학적 해석에 대해 좀 더 정교하게 설명 할 수있는 것. 아마도 이러한 문제에 대해 더 자세하게 설명하는 입문서 또는 관련 교재 일 것입니다. 모든 의견을 보내 주셔서 감사합니다. 다시 감사합니다.

10 reference-request  quantum-computing  quantum-information 

유향 그래프 주어 및 두 꼭지점 들 , t ∈ V를 . s 에서 t 까지 한 쌍의 간단한 경로 p 1 , p 2 는 에지를 공유하지 않으면 에지 분리됩니다.G = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in V피1, p2p1,p2p_1,p_2에스ss티tt 최대 흐름을 사용하면 에서 t 까지 …

10 cc.complexity-theory  graph-algorithms 

부분 순서 (예를 들어, 인식, 점프 수, 비교 그래프 인식 등)에 대한 계산 문제에 대한 상당한 양의 작업이있었습니다. 격자에 특정한 작업이 수행되었는지 궁금합니다. 나는 주변을 검색했으며 격자에 대해 비슷한 작업을 많이 찾지 못했습니다. 특히 다음 격자 문제가 조사되었는지 여부에 관심이 있습니다. 격자 인식 : DAG 또는 부분 순서가 주어지면 실제로 …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

에서 종이 이 질문과 동일한 제목, 저자는 구축하는 방법에 대해 설명 블로킹 선형화 여러 단어 CAS의 단 하나의 단어 CAS를 사용하여 작업을. 먼저 다음과 같이 이중 비교 단일 스왑 작업 인 RDCSS를 소개합니다. word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); } while (IsDescriptor(r)); …

10 dc.parallel-comp  concurrency 

비행기에서 엔엔n 포인트 의 볼록 껍질을 찾는 것은 실행 시간에 Ω ( n 로그n )Ω(엔로그⁡엔)\Omega(n\log n) 의 하한이 있음을 알고 있습니다. 그러나 점이 정점으로 포함 된 간단한 다각형을 따라 발생하는 순서대로 점이 제공되면 볼록 껍질이 선형 시간으로 표시됩니다. 주어진 점을 정점으로 갖는 단순한 다각형이 너무 많기 때문에 직관적으로 그 중 …

10 cg.comp-geom 

Bernstein과 Vazirani의 주요 논문 인 "Quantum Complexity Theory"에서 "사소한 회전"과 "사소한 위상 편이"라고 불리는 제품에 의해 d 차원 단위 변환이 효율적으로 근사 될 수 있음.디dd "사소한 회전"은 디dd 2 차원을 제외한 모든 차원에서 동일하게 작용하지만 2 차원으로 확장 된 평면에서 회전으로 작용하는 차원 단위 행렬입니다 (예 : 형식의 2x2 하위 …

10 quantum-computing  linear-algebra  universal-computation 

평가판을 사용하면 요소 목록을 효율적으로 저장할 수 있습니다. 접두사는 공유되므로 공간 효율적입니다. 나무를 효율적으로 저장하는 비슷한 방법을 찾고 있습니다. 주어진 트리가 저장된 트리의 하위 트리인지 또는 주어진 트리의 하위 트리 인 저장된 트리가 존재하는지 알고, 멤버쉽을 확인하고 요소를 추가 할 수 있기를 원합니다. 일반적으로 높이가 50 미만인 불균형 이진 트리 …

10 ds.data-structures  tree  model-checking 

분산 시스템에 중점을 둔 이론적 컴퓨터 과학에 관심이있는 마스터 학생입니다. 튜링 머신 위에 분산 시스템의 공식 표현이 있는지 궁금합니다. 즉, 분산 컴퓨팅을 이용하기 위해 튜링 머신의 개념을 확장 (변형 화) 할 수 있습니까? 한 가지 아이디어 는 TM간에 공유 테이프 ( Tuple Space 와 비슷한 것)를 만드는 것 입니다.

10 turing-machines  dc.distributed-comp 

참고 : 질문에 대한 답변이 다시 정리되었습니다. 이제 시간 에 가장 낮은 형제 조상을 찾을 수 있다고 가정하면 ANN을 실제로 에서 수행 할 수 있습니까?O ( 로그 n )O ( 1 )O(1)O(1)O ( 로그n )O(log⁡n)O(\log n) 쿼드 트리는 효율적인 공간 인덱스입니다. [2]에 설명 된 것처럼 압축 된 쿼드 트리 구조에서 …

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors 

경계 오류 양자 쿼리 복잡성 ( Q(f)Q(f)Q(f) )과 결정 론적 쿼리 복잡성 ( D(f)D(f)D(f) ) 또는 경계 오류 무작위 쿼리 복잡성 ( R(f)R(f)R(f) ) 사이의 지수 적 분리 는 알려져 있지만 특정 부분 함수에만 적용됩니다. 부분 함수에 특별한 구조 가있는 경우 와 다항식으로 관련됩니다 D(f)=O(Q(f)9))D(f)=O(Q(f)9))D(f) = O(Q(f)^9)). 그러나 나는 주로 …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity