Вопросы с тегом «np-complete»

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

13 np-complete  np 

Предположим , P≠NPP≠NPP\neq NP . Что мы можем сказать о границах выполнения всех NP-полных задач? т. е. каковы наиболее узкие функции L,U:N→NL,U:N→NL,U:\mathbb{N}\to\mathbb{N} для которых мы можем гарантировать, что оптимальный алгоритм для любой NP-полной задачи выполняется во времени, по крайней мере, ω(L(n))ω(L(n))\omega(L(n)) и не более чем o(U(n))o(U(n))o(U(n)) на входе длины nnn …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

Проблема 3-Перегородка спрашивает , может ли набор из целых чисел может быть разделена на п наборов из трех чисел таким образом, что каждый набор сумм до некоторого заданного целого числа B . Задача сбалансированного разбиения спрашивает, можно ли разбить 2 n целых чисел на два одинаковых набора мощности, чтобы оба …

13 complexity-theory  reductions  np-complete 

Хорошо известная проблема SAT определена здесь для справки. Проблема DOUBLE-SAT определяется как DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Как мы можем доказать, что это NP-полная? Будет оценен более чем один способ …

13 complexity-theory  np-complete  satisfiability 

Я читал о NPC и его связи с PSPACE, и я хотел бы знать, могут ли проблемы NPC быть детерминированно решены с использованием алгоритма с наименьшим требованием к полиномиальному пространству, но потенциально с экспоненциальным временем (2 ^ P (n), где P - полиномиальный). Более того, может ли оно быть обобщено …

12 complexity-theory  np-complete  np 

Предполагая, что у нас есть задача пpp мы показали, что нижняя граница для решения пpp равна Ω ( 2N)Ω(2n)\mathcal{\Omega}(2^n) . может нижняя граница Ω ( 2N)Ω(2n)\mathcal{\Omega}(2^n) влечет проблему в NпNPNP ?

12 time-complexity  np-complete 

Это, наверное, глупый вопрос, но я просто не понимаю. В другом вопросе они придумали теорему Шефера о дихотомии . Мне кажется, это доказывает, что каждая проблема CSP либо в P, либо в NP-полной, но не между ними. Поскольку каждая проблема NP может быть преобразована за полиномиальное время в CSP (потому …

12 np-complete  satisfiability  p-vs-np 

С точки зрения асимптотического времени выполнения в наихудшем случае, какая NP-полная задача имеет самый известный (точный) алгоритм и что это за алгоритм? Известно ли что-то, что быстрее, чем ?O(n2∗2n)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Я пытаюсь решить эту проблему, и я действительно борюсь. Монотонная булева формула представляет собой формулу в логике высказываний , где все литералы являются положительными. Например, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) является монотонной булевой функцией С другой стороны, что-то вроде (x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)(x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)\qquad (x_1 …

12 complexity-theory  np-complete  satisfiability 

Меняется ли сложность задачи с полной NP-сложностью или NP-полной (как, например, определено здесь ), когда ее вход является унарным, а не двоичным? Какая разница, если вход сильно NP-сложной задачи является унарным? Я имею в виду, если я возьму, к примеру, проблему рюкзака со слабой NP-полной, она является NP-полной при двоичном …

12 complexity-theory  time-complexity  np-complete 

Итак, я знаю, что проверка того, является ли обычный язык рRR подмножеством обычного языка SSS , разрешима, поскольку мы можем преобразовать их оба в DFA, вычислить R ∩ S¯R∩S¯R \cap \bar{S} , а затем проверить, является ли этот язык пустым. Однако, поскольку это требует преобразования в DFA, возможно, что DFA …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Я интересно, если есть полиномиальный алгоритм для «2-SAT с XOR-отношений». И 2-SAT, и XOR-SAT находятся в P, но является ли их комбинация? Пример ввода: 2-SAT часть: (a or !b) and (b or c) and (b or d) XOR часть: (a xor b xor c xor 1) and (b xor c …

11 np-complete  satisfiability  xor  2-sat 

Мне интересно, есть ли какие-нибудь -hard проблемы, которые являются «полиномиальными» в среднем случае. Я думаю, что есть два способа интерпретировать это?NпNпNP Если , может ли быть алгоритм, решающий задачу N P -hard, с амортизированным (в среднем случае) временем работы O ( n k ) для константы k ?п≠ Nпп≠NпP \neq …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Является ли следующая задача NP-полной? (Я предполагаю, что да). Входные данные: - неориентированный граф, в котором множество ребер можно разложить на два простых цикла, не пересекающих ребра (они не являются частью входных данных).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Вопрос: существует ли простой цикл в с длиной больше ?GGGkkk Очевидно, что проблема в NP, …

11 graph-theory  np-complete  decision-problem 

Я знаю, что максимальное независимое множество на кубических графах без треугольников является NP-полным. Является ли он еще NP-полным, если нам требуется, чтобы независимый набор имел размер точно ?|V|/2|V|/2|V|/2 В основном, ДА экземпляр задачи о независимом множестве в задаче о кубах без треугольников должен иметь ровно узлов. НЕТ экземпляра имеет независимый …

11 complexity-theory  np-complete