«lower-bounds» 태그된 질문

함수의 경계 오류 양자 쿼리 복잡도 가 인 것으로 잘 알려져 있습니다. 이제 문제는 양자 알고리즘 이 일반적인 보다는 확률로 모든 입력에 대해 성공하기를 원하는 경우 입니다. 이제 관점 에서 적절한 상한과 하한은 무엇입니까?OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n)Θ(n−−√)Θ(n)\Theta(\sqrt{n})1−ϵ1−ϵ1-\epsilon2/32/32/3ϵϵ\epsilon 즉각 O(n−−√log(1/ϵ))O(nlog⁡(1/ϵ))O(\sqrt{n} \log(1/\epsilon))쿼리는 Grover 알고리즘을 반복하여이 작업에 충분합니다. 그러나 내가 기억하는 것은 신중하게 실행하는 경우, …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

편집 : 이제이 게시물과 관련된 후속 질문 이 있습니다. 정의 허락하다 ccc 과 kkk정수 여야합니다. 우리는 표기법을 사용합니다[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\}. ㅏ c×cc×cc \times c 매트릭스 M=(mi,j)M=(mi,j)M = (m_{i,j}) 라고합니다 ccc-에-kkk다음과 같은 경우 채색 행렬 : 우리는 mi,j∈[k]mi,j∈[k]m_{i,j} \in [k] 모든 i,j∈[c]i,j∈[c]i, j \in [c], 모든 i,j,ℓ∈[c]i,j,ℓ∈[c]i,j,\ell \in [c] 와 i≠ji≠ji …

9 co.combinatorics  lower-bounds  dc.distributed-comp 

부울 함수의 의사 결정 트리 복잡성에서 하한 방법은 함수를 나타내는 (대략) 다항식을 찾는 것입니다. 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