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

Мне интересно это на основании нескольких мест в Интернете, которые называют co- серьезной открытой проблемой ... но я не могу найти никаких указаний на то, является ли это тем же, что проблема ...Н П П = Н ПNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

Есть ли простой способ понять, почему NP находится в EXPTIME? Мне кажется априори возможным, что может существовать проблема, для решения которой требуется сверхэкспоненциальное время, но решение которой можно проверить за полиномиальное время.

11 complexity-theory  complexity-classes 

Пусть будет некоторой проблемой подсчета, которая известна как # P -Complete .ΠΠ\PiPPP Означает ли это , что является P X -Жесткий (т.е. не PTAS для проблема существует , если P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NпP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Решение проблемы Учитывая булеву формулу , имеет ли ровно одно удовлетворяющее присваивание?ϕϕ\phiϕϕ\phi можно увидеть в , -hard и -hard. Что-нибудь более известно о его сложности?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Все знают «Garey & Johnson», и я всегда обращаюсь к ним, когда мне нужно выполнить преобразование для доказательства NP-твердости. Однако недавно я нуждался в доказательстве твердости APX, и мне интересно, есть ли подобный (и более современный ...?) Набор проблем, которые, как было показано, являются APX-сложными. Кто-нибудь знает что-нибудь подобное? Мне …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Как я понимаю, задача присваивания находится в P, поскольку венгерский алгоритм может решить ее за полиномиальное время - O (n 3 ). Я также понимаю, что задача присваивания - это целочисленная задача линейного программирования , но на странице Википедии говорится, что это NP-Hard. Для меня это означает, что проблема с …

11 complexity-theory  complexity-classes  linear-programming  integer-programming 

Я знаю, что проблема количественной булевой формулы для формулы где содержит квантификаторов и только переменные является примером -полной проблемы. Однако мне интересно, существуют ли какие-либо естественные проблемы, известные как -полные, так же, как минимизация контуров является естественной -полной проблемой (подробнее см. Полиномиальная иерархия )?ϕ x 1 , … , x …

10 complexity-classes 

Если то иерархия разрушается до своего второго уровня (по теореме Карпа-Липтона). Но как насчет N P и C O N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Я пытался доказать, что содержится в N P (другое направление тривиально, если R P = N P ), но безрезультатно, и я даже …

10 complexity-theory  complexity-classes  probabilistic-algorithms 

Для рассуждений о таких вещах, как NP-полнота, мы обычно используем многократные сокращения (т.е. сокращения Карпа). Это приводит к таким картинкам: (по стандартным предположениям). Я уверен, что мы все знакомы с такими вещами. Какую картину мы получаем, если работаем с сокращениями Тьюринга (т. Е. С сокращениями Кука)? Как меняется картина? В …

10 complexity-theory  reductions  complexity-classes 

Мне очень нужна ваша помощь в доказательстве следующего. Если то . P = N PN T i m e ( n100) ⊆ D Т я м е ( п1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Здесь - это класс всех языков, которые могут быть определены недетерминированной машиной Тьюринга за полиномиальное время …

10 time-complexity  complexity-classes  p-vs-np 

Я беру курс по вычислительной сложности. Моя проблема в том, что я не понимаю метод релятивизации . К сожалению, во многих учебниках я пытался найти немного интуиции, но пока безуспешно. Буду признателен, если кто-нибудь сможет пролить свет на эту тему, чтобы я смог продолжить сам. Несколько следующих предложений - это …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Я не совсем понимаю, как определяются PP и BPP . Пусть характеристическая функция для языка L . М - вероятностная машина Тьюринга. Верны ли следующие определения: B P P = { L : P r [ χ ( x ) ≠ M ( x ) ] ≥ 1χχ\chiLL\mathcal{L} P P …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes