Вопросы с тегом «search-problem»

Предположим, у меня есть poset "S" и монотонный предикат "P" на S. Я хочу найти один или все максимальные элементы S, удовлетворяющие P. EDIT : Я заинтересован в минимизации количества оценок P . Какие алгоритмы существуют для этой проблемы и какие свойства и дополнительные операции они требуют на S? Как …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

В «Квантовых вычислениях и квантовой информации» Майка и Айка алгоритм Гровера объясняется очень подробно. Тем не менее, в книге и во всех объяснениях, которые я нашел в Интернете для алгоритма Гровера, кажется, нет упоминания о том, как устроен Оракул Гровера, если только мы уже не знаем, какое именно состояние мы …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Если , то существует алгоритм пространства журнала, который решает версию решения 2-SAT.L = N LL=NL\mathsf{L = NL} Известно ли, что подразумевает наличие алгоритма логического пространства для получения удовлетворительного назначения , когда в качестве входных данных предоставляется удовлетворительный экземпляр 2-SAT?L = N LL=NL\mathsf{L = NL} Если нет, то как насчет алгоритмов, …

15 sat  search-problem  logspace 

Рассмотрим (X,≤)(X,≤)(X, \leq) конечное множество по элементам, а - неизвестный монотонный предикат над (т. Е. Для любого , , если и то ). Я могу оценить , предоставив один узел и выяснив, выполняется ли или нет. Моя цель - точно определить множество узлов x ∈ X, таких что P ( …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Я читал статью в Википедии о проблеме восьми королев. Установлено, что не существует известной формулы для точного числа решений. После некоторых поисков я нашел статью под названием «О сложности подсчета проблем полных отображений». В этой статье есть проблема, показанная не более, чем #queens, которая выходит за пределы #P. Если взглянуть …

14 cc.complexity-theory  counting-complexity  search-problem 

У меня есть (надеюсь, простой, возможно, глупый) вопрос об исторической работе Бабая, показывающей, что является квазиполиномиальным.G Iграммя\mathsf{GI} Бабай показал, как получить сертификат, что два графа для i ∈ { 1 , 2 } изоморфны по времени, квазиполиномиальны по v = | V я | ,граммя= ( Vя, Eя)граммязнак равно(Вя,Ея)G_i=(V_i,E_i)i ∈ …

13 graph-isomorphism  search-problem 

Легко видеть, что если то есть общие проблемы поиска N P, которые не могут быть решены за полиномиальное время (создайте проблему общего поиска, имея как свидетелей для членства, так и свидетелей для не состоятельности).Н П∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNп\mathsf{NP} Верно ли и обратное, т.е. Означает ли существование общей задачи поиска не решаемой …

13 cc.complexity-theory  reference-request  search-problem 

Класс сложности PPAD был изобретен Христосом Пападимитриу в его основополагающей статье 1994 года . Этот класс предназначен для охвата сложности задач поиска, когда существование решения гарантируется «аргументом четности в ориентированных графах»: если в ориентированном графе существует несбалансированная вершина, то должна существовать другая. Но обычно класс формально определяется в терминах ANOTHER …

13 cc.complexity-theory  reductions  search-problem  ppad 

Рассмотрим монотонный предикат над множеством степеней (упорядоченный по включению). Под «монотонным» я подразумеваю: такой, что , если то . Я ищу алгоритм, чтобы найти все минимальные элементы , то есть такие, что но , . Поскольку ширина равна n \, выберите n / 22 | п | ∀ x , …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Рассмотрим следующую проблему. Есть неизвестных значений v 1 , ⋯ , v п ∈ R . Задача состоит в том, чтобы найти самый большой индекс, используя только запросы следующей формы. Запрос задается множеством S ⊆ { 1 , ⋯ , n }, и соответствующий ответ max i ∈ S v …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

Я думал о следующем вопросе в разное время с тех пор, как увидел этот вопрос по криптографии . Вопрос Позволять рRRбыть отношением TFNP . Может ли случайный оракул помочь П / поли сломаться?рRRс ничтожной вероятностью? Более формально, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Имеет ли для всех P / поли алгоритмовAAA, PrИкс[ …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles