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

Мы говорим, что язык является плотным, если существует такой многочлен , что для всехДругими словами, для любой заданной длины существует только многочлен много слов длины , которых нет вJ⊆ Е*J⊆Σ*J \subseteq \Sigma^{*}| J c ∩ Σ n | ≤ р ( п ) п ∈ N . п п J …

16 complexity-theory  time-complexity  np-complete  satisfiability 

У меня сложилось впечатление, что для каждой NP-полной задачи для бесконечно большого числа входных размеров число экземпляров yes на всех возможных входных данных размера (по крайней мере) экспоненциально по .NNnNNnNNn Это правда? Можно ли это доказать (вероятно, только в предположении, что )? Или мы можем, может быть, искусственно, найти проблему, …

15 complexity-theory  np-complete  np-intermediate 

У нас есть сетки. У нас есть набор прямоугольников на этой сетке, каждый прямоугольник может быть представлен как двоичная матрица -by- . Мы хотим накрыть сетку этими прямоугольниками.N 1 N 2 RN1× N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2ррR Является ли версия решения этого набора проблем NP-полной? Ввод: коллекция прямоугольников на сетке (размер ввода: …

15 complexity-theory  np-complete  set-cover 

У нас есть DAG. У нас есть функция на узлах (грубо говоря, мы нумеруем узлы). Мы хотели бы создать новый ориентированный граф с этими правилами:F: V→ NF:V→NF\colon V\to \mathbb N Только узлы с одинаковым номером могут быть заключены в один и тот же новый узел. . (Однако .)x ′ ≠ …

15 algorithms  graphs  np-complete  reductions 

Очевидно, что если , все языки в кроме и , будут -полными.P = N P P ∅ Σ ∗ N PP=NP{\sf P}={\sf NP}P{\sf P}∅\emptysetΣ*\Sigma^*Н П{\sf NP} Почему именно эти два языка? Разве мы не можем свести к ним какой-либо другой язык в Pп{\sf P} , выводя их при принятии или …

15 complexity-theory  np-complete  reductions 

Пусть А сводится к B, т.е. . Таким образом, машина Тьюринга приема имеет доступ к оракулу для . Пусть машина Тьюринга, принимающая будет а оракул для будет . Типы скидок:A≤BA≤ВA \leq BAAABВBAAAMAMAM_{A}BВBOBОВO_{B} Сокращение Тьюринга: может сделать несколько запросов к .MAMAM_{A}OBОВO_{B} Уменьшение Карпа: также называется «сокращением по Тьюрингу за полиномиальное время»: …

15 complexity-theory  np-complete  reductions  complexity-classes 

Доказано ли, что квантовые вычисления не лучше в решении полных задач NP, чем классические вычисления, или в это просто верят?

14 np-complete  quantum-computing 

Я уверен, что кто-то думал об этом раньше или сразу же отклонил это, но почему теория дихотомии Шефера наряду с теоремой Махани о разреженных множествах не подразумевает P = NP? Вот мои рассуждения: создайте язык который равен SAT, пересекаемому бесконечным разрешимым разреженным множеством. Тогда L также должен быть разреженным. Поскольку …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

Я интересно, что это лучший известный алгоритм, в терминах big- нотации, для решения целочисленных линейного программирования?OOO Я знаю, что проблема в полном, поэтому я не ожидаю ничего полиномиального. И я знаю, что есть много эвристик и тому подобного, которые используются в практических приложениях, таких как CPLEX, но меня больше интересует …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Если действительно равен , как это улучшит наши алгоритмы, чтобы быстрее вычислять целые числа? Другими словами, какое понимание даст нам этот факт для лучшего понимания целочисленной факторизации?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Планар 3SAT является NP-полным. Планарный экземпляр 3SAT - это экземпляр 3SAT, для которого график, построенный с использованием следующих правил, является плоским: добавить вершину для каждого и ¯ х яxixix_ixi¯xi¯\bar{x_i} добавить вершину для каждого предложения CjCjC_j добавить ребро для каждого пара(xi,xi¯)(xi,xi¯)(x_i,\bar{x_i}) добавить ребро из вершины (или ¯ х я ) для …

14 np-complete  reductions  satisfiability  3-sat 

Поскольку целочисленное линейное программирование является NP-полным, существует сокращение Карпа от любой проблемы в NP до него. Я думал, что это подразумевает, что всегда есть формулировка ILP полиномиального размера для любой проблемы в NP. Но я видел статьи по конкретным проблемам NP, где люди пишут такие вещи, как «это первая многоразмерная …

14 complexity-theory  np-complete  reductions  linear-programming 

Проблема минимальной пропускной способности состоит в том, чтобы найти порядок узлов графа на целочисленной линии, который минимизирует наибольшее расстояние между любыми двумя соседними узлами. Решение проблемы является NP-полным даже для бинарных деревьев. Результаты сложности для минимизации пропускной способности. Гэри, Грэм, Джонсон и Кнут, SIAM J. Appl. Math., Vol. 34, № …

14 complexity-theory  np-complete  reference-request  approximation 

Итак, как известно, проблема решения ILP 0-1 является NP-полной. Показать его в NP легко, а оригинальное сокращение было от SAT; с тех пор было доказано, что многие другие проблемы NP-Complete имеют составы ILP (которые функционируют как сокращение от этих проблем до ILP), потому что ILP очень полезен. Сокращения от ILP …

14 np-complete  reductions  satisfiability  integer-programming 

Предположим, в университете есть учебная сессия. У нас есть набор из вопросов и набор из студентов . Каждый студент имеет сомнение в определенной подгруппе вопросов, то есть для каждого студента , пусть множество вопросов , которые студент имеет сомнение. Предположим , что и .Q = { q 1 … q …

13 algorithms  complexity-theory  np-complete  np-hard