Вопросы с тегом «query-complexity»

Во время тестирования свойств графов, алгоритм запрашивает целевой график на наличие или отсутствие ребер и потребностей , чтобы определить , либо имеет ли целевые определенное свойство или εε\epsilon -far от того , свойства. (Алгоритм можно попросить преуспеть с 1-сторонней или 2-сторонней ошибкой.) Граф имеет εε\epsilon -далее от того, чтобы иметь …

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 

Метод отрицательного противника ( ) - это SDP, характеризующий сложность квантового запроса. Это обобщение широко используемого метода противника ( A D V ), и оно преодолевает два барьера, мешающих противнику:A D V±ADВ±ADV^\pmA D VADВADV Барьер тестирования свойств: если все 0-экземпляры находятся на расстоянии от всех 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∈PD∈PD\in Pd(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilondddℓ1ℓ1\ell_1 Теперь в стандартном …

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

Известно, что нижняя граница общего противника характеризует сложность квантового запроса благодаря прорывной работе Reichardt et al. Та же самая линия работы также устанавливает связи со структурой программы span для разработки квантовых алгоритмов. Многие интересные квантовые алгоритмы, включая алгоритмы с экспоненциальным ускорением, такие как алгоритм Саймона и алгоритм Шора для нахождения …

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

Дана Англюин ( 1987 ; pdf ) определяет модель обучения с помощью запросов на членство и теоретических запросов (контрпримеры к предложенной функции). Она показывает, что регулярный язык, представленный минимальным DFA из состояний, может быть изучен за полиномиальное время (где предложенные функции - DFA) с запросами на членство и не более …

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

Хотя экспоненциальное разделение между сложностью квантового запроса с ограниченной ошибкой ( Q ( f)Q(f)Q(f) ) и сложностью детерминированного запроса ( Д ( ф)D(f)D(f) ) или сложностью рандомизированного запроса с ограниченной ошибкой ( R ( f)R(f)R(f) ) известно, они применяются только к определенным частичным функциям. Если частичные функции имеют некоторые специальные …

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

Span-программа - это линейно-алгебраический способ задания булевой функции, представленный здесь . Недавно эта модель использовалась, чтобы показать, что метод отрицательного противника обеспечивает точную характеристику (по крайней мере, до ) сложности квантовых запросов.logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Мера сложности, связывающая программы span с квантовой сложностью запроса, - это размер свидетеля. Эта …

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

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

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