Вопросы с тегом «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 Непосредственно для этой …

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 …

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

В сложности дерева решений для булевой функции очень хорошо известный метод нижней границы состоит в том, чтобы найти (приблизительный) многочлен, который представляет функцию. Патури дал характеристику для симметричных булевых (частичных и полных) функций в терминах величины, обозначаемой :ΓΓ\Gamma Теорема ( Патури ): Пустьееf быть любой непостоянной симметричной функцией, и обозначить …

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