Запитання з тегом «query-complexity»

Під час тестування властивостей графіка алгоритм запитує цільовий графік щодо наявності чи відсутності ребер і повинен визначити, чи має ціль певне властивість, або -відсутнє у властивості. (Алгоритм може бути запропонований, щоб досягти успіху з односторонньою або двосторонньою помилкою.) Графік - не має властивості, якщо жоден \ epsilon \ binom {n} …

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

Припустимо, TTT - дерево постійного ступеня, структура якого ми не знаємо. Проблема полягає у виведенні дерева , задаючи запити форми: "Чи лежить вузол на шляху від вузла до вузла ?". Припустимо, що кожен запит може відповідати оракулом постійно. Ми знаємо значення , кількість вузлів на дереві. Мета - мінімізувати час, …

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

Працювати безпосередньо зі складністю часу або нижніми межами схеми страшно. Отже, ми розробляємо такі інструменти, як складність запитів (або складність дерева рішень), щоб отримати ручку в нижчих межах. Оскільки кожен запит займає щонайменше один крок одиниці, а обчислення між запитами зараховуються як вільні, складність часу становить щонайменше стільки ж, як …

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

Загальновідомі квантові комп'ютери суворо потужніші за класичні аналоги за складністю запитів . Чи існують інші моделі (натуральні чи штучні), які строго між квантовою та класичною за складністю запитів? Розлука може бути продовжена конкретні проблеми: обчислювачі моделі X функціонують зі строго більшою кількістю запитів, ніж квантовими, але меншою кількістю запитів, ніж …

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

Негативний метод супротивника ( ADV±ADV±ADV^\pm ) - це СДП, який характеризує складність квантового запиту. Це узагальнення широко застосовуваного протиборчого методу ( ADVADVADV ) і долає два бар'єри, що перешкоджали протиборчому методу: Бар'єр тестування властивостей: якщо всі 0-екземпляри ϵϵ\epsilon -далі від усіх 1-екземплярів, тоді метод супротивника не може довести нижню межу …

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

Фон Бінарне дерево рішень являє собою кореневе дерево , де кожен внутрішній вузол (і корінь) позначений індекс J ∈ { 1 , . . . , n } таким чином, що жоден шлях від кореня до листа не повторює індекс, листя позначаються виходами в { A , B } , …

16 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, і він повинен вирішити (whp), якщо або d ( D , P ) > ϵ ( d зазвичай це відстань ℓ 1 ). Найпоширеніший показник …

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

Нині відомо, що нижня межа загального противника характеризує складність квантового запиту завдяки проривній роботі Reichardt et al. Цей же напрям роботи також встановлює зв'язки з рамками програми для розробки квантових алгоритмів. Багато цікавих квантових алгоритмів, у тому числі алгоритми з експоненціальною швидкістю, такі як алгоритм Саймона та алгоритм Шор для …

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

Dana Angluin ( 1987 ; pdf ) визначає модель навчання із запитами про членство та теоретичними запитами (контрприклади запропонованій функції). Вона показує, що звичайна мова, яка представлена ​​мінімальною DFA з станів, вивчається в поліноміальний час (де пропоновані функції - DFA) з O ( m n 2 ) запитами членства та …

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) ), вони застосовуються лише до певних часткових функцій. Якщо парціальні функції мають деякі спеціальні структури, то вони також поліноміально пов'язані …

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 

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