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

Пусть обозначает (решение) задачу в NP, а # X обозначает ее счетную версию.ИксXXИксXX При каких условиях известно, что «X является NP-полным» ⟹⟹\implies "#X # P-complete"? Конечно, существование экономного сокращения - одно из таких условий, но это очевидно и единственное условие, о котором я знаю. Конечная цель - показать, что никаких …

29 cc.complexity-theory  np-hardness  counting-complexity 

Были два вопросы недавно спросил о cs.se , которые были либо связанные или имели особый случай , эквивалентный следующему вопросу: Предположим, у вас есть последовательность из n чисел, такая что ∑ n i = 1 a i = n ( n + 1 ) . Разложите его в сумму двух …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

Мы знаем, что (см., Например, теоремы 1 и 3 из [1]), грубо говоря, при подходящих условиях функции, которые могут быть эффективно вычислены машиной Тьюринга за полиномиальное время («эффективно вычисляемое»), могут быть выражены полиномиальными нейронными сетями. с разумными размерами, и, таким образом, может быть изучен с полиномиальной сложностью выборки («обучаемость») при …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

Имеет ли смысл рассматривать категорию всех NP-полных задач с морфизмами как сокращение временного промежутка между различными экземплярами? Кто-нибудь когда-либо публиковал статью об этом, и если так, где я могу найти это?

28 cc.complexity-theory  np-hardness  ct.category-theory 

Я нашел эту статью очень интересной. Подводя итог: здесь обсуждается, почему на практике вы редко находите наихудший случай проблемы NP-полной. Идея в статье заключается в том, что экземпляры обычно либо сильно недооценены, либо сильно перенапряжены, и то, и другое относительно легко решить. Затем для нескольких проблем предлагается мера «ограниченности». Эти …

27 np-hardness  worst-case 

Читая статью «Пора ли объявить победу в подсчете сложностей?» в блоге «Потерянное письмо Годеля и P = NP» они упомянули дихотомию для CSP. После некоторой ссылки, поиска в Google и википедирования, я наткнулся на теорему Ладнера : Теорема Ладнера: если , то в N P ∖ P существуют проблемы , …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

Даны mmm от nnn двоичной матрицы MMM (записи являются 000 или 111 ), проблема в том , чтобы определить, существует два двоичных векторов v1≠v2v1≠v2v_1 \ne v_2 таким образом, что Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2 (все операции , выполняемые над ZZ\mathbb{Z} ). Эта проблема NP-сложная? Это ясно в NP, поскольку вы можете дать …

27 cc.complexity-theory  np-hardness  linear-algebra 

Некоторое время я думал о следующей проблеме, и я не нашел ее полиномиального решения. Только грубая четверка. Я тоже пытался свести к этому проблему NP-Complete, но безуспешно. Вот проблема : У вас есть отсортированный набор пар целых положительных чисел. {(A1,B1),(A2,B2),…,(An,Bn)}{(A1,B1),(A2,B2),…,(An,Bn)}\{(A_1, B_1), (A_2, B_2), \ldots, (A_n, B_n)\} (Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(A_i, B_i) < (A_j, …

27 ds.algorithms  np-hardness  sorting 

Рассмотрим задачу покрытия минимального набора со следующими ограничениями: каждый набор содержит не более элементов, а каждый элемент юниверса встречается не более чем в f наборах.kkkfff Пример: случай и f = 2 эквивалентен задаче минимального покрытия вершин в графах с максимальной степенью 4.k=4k=4k = 4f=2f=2f = 2 Пусть будет наибольшим значением, …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Является ли следующая проблема NP-трудной? Учитывая конфигурацию доски для n×nn×nn\times n международных шашек , найдите один законный ход. Соответствующая задача для американских шашек (или английских шашек) тривиально разрешима за полиномиальное время. Есть три основных различия между этими двумя играми.n×nn×nn\times n Первое и самое значительное отличие - это правило «летающий король». …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Для любого n&gt;0n&gt;0n > 0 я говорю, что последовательность целых чисел в является -полной, если для каждой перестановки из , записанная как последовательность попарно различных целых чисел , последовательность является подпоследовательностью , т. е. существуеттакой, что для всех .{ 1 , … , n } n p { 1 , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Была ли изучена сложность следующей проблемы? Вход : кубический (или регулярный) граф G = ( V , E ) , естественная верхняя граница t333G=(V,E)G=(V,E)G=(V,E)ttt Вопрос : есть ли раздел на | E | / 3 части размера 3 , так что сумма порядков (необязательно связанных) соответствующих подграфов не превосходит t …

25 graph-theory  np-hardness  co.combinatorics 

Есть ли какие-либо ссылки на это?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

Рассмотрим следующую проблему: учитывая формулу CNF и присвоение, которое удовлетворяет этой формуле, есть ли другое удовлетворяющее назначение для этой формулы? В чем сложность этой проблемы? (Это наверняка есть в NP, но это также NP-hard?) Что если вам не дано назначение, и вы просто хотите решить, имеет ли формула уникальное удовлетворяющее …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

Существует богатая литература и, по крайней мере, одна очень хорошая книга, в которой излагаются известные значения твердости аппроксимации для NP-трудных задач в контексте мультипликативной ошибки (например, 2-аппроксимация для покрытия вершин оптимальна при условии UGC). Это также включает хорошо понятные классы сложности аппроксимации, такие как APX, PTAS и так далее. Что …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness