«query-complexity» 태그된 질문

그래프 특성 테스트에서, 알고리즘은 원하는 어느 특정한 속성을 갖거나인지를 판단하는 가장자리 요구의 유무에 대한 목표 그래프를 쿼리 속성을 갖는로부터 -far. (단면 또는 양면 오류로 알고리즘을 성공하도록 요청할 수 있습니다.) 그래프는 입니다. 없으면 속성이없는 것입니다.ϵϵϵ\epsilonϵϵ\epsilonϵ ( n2)ϵ(n2)\epsilon \binom{n}{2} 에지 이끌어 차감 / 추가 할 수 속성이 있습니다. 속성은 하위 선형 수의 …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

가 구조를 모르는 상수도 트리 라고 가정하십시오 . 문제는 "노드 가 노드 에서 노드 까지의 경로에 있습니까?" 와 같은 쿼리를 요청 하여 트리 를 출력하는 것입니다 . 오라클은 각 쿼리에 일정한 시간 안에 응답 할 수 있다고 가정합니다. 트리의 노드 수인 값을 알고 있습니다. 목표는 트리를 출력하는 데 걸리는 시간을 …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

시간 복잡성이나 회로 하한선으로 직접 작업하는 것은 무섭습니다. 따라서 쿼리 복잡성 (또는 의사 결정 트리 복잡성)과 같은 도구를 개발하여 하한을 처리합니다. 각 쿼리는 하나 이상의 단위 단계를 수행하고 쿼리 간 계산은 무료로 계산되므로 시간 복잡도는 쿼리 복잡도만큼이나 높습니다. 그러나 분리에 대해 말할 수 있습니까? 고전 또는 양자 문헌에서의 작업에 대해 …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

잘 알려진 양자 컴퓨터는 쿼리 복잡성 측면에서 기존의 컴퓨터보다 훨씬 강력 합니다. 쿼리 복잡성 측면에서 양자와 클래식 사이에 다른 모델 (자연 또는 인공)이 있습니까? 분리가 가능합니다 특정 문제 : 모델 X 는 퀀텀보다 엄격하게 쿼리는 많지만 클래식의 하한보다 쿼리 수가 적은 함수 를 계산 하거나fff 다른 문제 : 모델 X …

18 cc.complexity-theory  quantum-computing  query-complexity 

부정적 대 적법 ( )은 양자 질의 복잡성을 특징 짓는 SDP입니다. 그것은 널리 사용되는 적대적 방법 ( A D V ) 의 일반화이며, 적대적 방법 을 방해 한 두 가지 장벽을 극복합니다.A D V±ㅏ디V±ADV^\pmA D Vㅏ디VADV 속성 테스트 장벽 : 모든 0 인스턴스가있는 경우 -far 모두 1 인스턴스에서 다음 대적 …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

배경 이진 결정 트리 는 각 내부 노드 (및 루트)에 인덱스 j ∈ { 1 ,으로 레이블이 지정된 루트 트리 입니다. . . , n } 은 루트에서 리프까지의 경로가 색인을 반복하지 않도록하고, 리프는 { A , B }의 출력으로 레이블이 지정되며 각 모서리는 왼쪽 자식의 경우 0 , 오른쪽 …

17 ds.algorithms  query-complexity  decision-trees 

정보 복잡성은 통신 복잡성에서 매우 유용한 도구로, 주로 분산 문제의 통신 복잡성을 낮추는 데 사용됩니다. 쿼리 복잡성에 대한 정보 복잡성의 유사성이 있습니까? 쿼리 복잡성과 통신 복잡성 간에는 많은 유사점이 있습니다. 종종 (항상 그런 것은 아님) 한 모델의 하한이 다른 모델의 하한으로 변환됩니다. 때때로이 번역은 사소한 것이 아닙니다. 문제의 쿼리 복잡성을 …

15 it.information-theory  communication-complexity  query-complexity 

배경: 의사 결정 트리 복잡성 또는 쿼리 복잡성은 다음과 같이 정의 된 간단한 계산 모델입니다. 하자 있을 부울 함수. 로 표시된 의 결정 론적 쿼리 복잡도 는 결정 론적 알고리즘에 의해 (더 나쁜 경우) 읽어야 하는 입력 의 최소 ​​비트 수 입니다. 계산합니다 . 복잡성의 척도는 읽은 입력의 비트 수입니다. …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

분포 속성 P ([n]에 대한 모든 분포의 일부에 불과 함)에 대한 분포 테스트 알고리즘은 일부 분포 D에 따라 샘플에 액세스 할 수 있으며 또는 d ( D , P ) > ϵ ( 여기서 d 는 보통 ℓ 1 거리입니다). 가장 일반적인 복잡도 측정 방법은 알고리즘에서 사용하는 샘플 수입니다.D ∈ …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

일반적인 적의 하한은 Reichardt 등의 혁신적인 작업으로 인한 양자 쿼리 복잡성을 특성화하는 것으로 알려져 있습니다. 또한 동일한 작업 라인이 스팬 프로그램 프레임 워크에 연결하여 양자 알고리즘을 설계합니다. Simon의 알고리즘과 같은 지수 속도가 증가하고주기를 찾기위한 Shor의 알고리즘을 포함하여 많은 흥미로운 양자 알고리즘이 양자 쿼리 모델로 표현 될 수 있습니다. 일반적인 적대적 …

12 cc.complexity-theory  quantum-computing  query-complexity 

Dana Angluin ( 1987 ; pdf )은 멤버십 쿼리와 이론 쿼리 (제안 된 함수에 대한 예)로 학습 모델을 정의합니다. 최소한 DFA로 표시되는 일반 언어 것을 취미 쇼 상태들이 함께 (제안 기능 DFAS을 어디) 다항식 시간에 학습 가능하다 최대 멤버십 쿼리와 이론 쿼리 ( 튜터가 제공하는 가장 큰 반대 예의 크기입니다). …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

경계 오류 양자 쿼리 복잡성 ( 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 

스팬 프로그램은 여기에 소개 된 부울 함수를 지정하는 선형 대수 방식입니다 . 최근에,이 모델은 부정적인 대적 방법 이 양자 쿼리 복잡성 의 엄격한 특성화 (적어도 까지)를 제공한다는 것을 보여주기 위해 사용 되었습니다 .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n 스팬 프로그램을 양자 쿼리 복잡성에 연결하는 복잡성 측정은 감시 크기입니다. 이 방법은 인증서 …

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

부울 함수의 의사 결정 트리 복잡성에서 하한 방법은 함수를 나타내는 (대략) 다항식을 찾는 것입니다. Paturi 는 표시되는 수량을 기준으로 대칭 부울 (부분 및 총) 함수의 특성을 나타 냈습니다.ΓΓ\Gamma: 정리 ( Paturi ) : Let에프ff 일정하지 않은 대칭 함수이며 에프케이= f( x )fk=f(x)f_k=f(x) 언제 | x | =k|x|=k|x|=k (즉, 해밍 무게 …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity