Запитання з тегом «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 cM=(mi,j)M=(mi,j)M = (m_{i,j})ccckkk маємо для всіх ,mi,j∈[k]mi,j∈[k]m_{i,j} \in [k]i,j∈[c]i,j∈[c]i, j \in [c] для всіх з та ми маємо …

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

У складності дерева рішень булевої функції дуже відомим методом нижньої межі є пошук (приблизний) многочлен, який представляє функцію. Патурі дав характеристику для симетричних булевих (часткових і сумарних) функцій за величиною, що позначаєтьсяΓΓ\Gamma: Теорема ( Патурі ): Нехайfff бути будь-якою непостійною симетричною функцією і позначати fk=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