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

Существуют ли известные алгоритмы для следующей задачи, которые побеждают наивный алгоритм? Входные данные: матрица и векторы , где все элементы являются неотрицательными целыми числами.AAAb,cb,cb,cA,b,cA,b,cA,b,c Вывод: оптимальное решение от до .x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n \} Этот вопрос является уточненной версией моего предыдущего вопроса …

9 np-hardness  integer-programming  exp-time-algorithms 

Предположим, P! = NP. Мы знаем, что можем в любое время легко создавать 3-SAT. Мы также можем генерировать то, что мы считаем трудными примерами (потому что наши алгоритмы не могут их быстро решить). Что-нибудь мешает множеству жестких экземпляров быть сколь угодно малыми, при условии, что для любого данного размера экземпляра …

9 np-hardness  p-vs-np 

Каждый ли распознаваемый по Тьюрингу неразрешимый язык имеет NP-полное подмножество? Этот вопрос можно рассматривать как более сильную версию того факта, что каждый бесконечный распознаваемый по Тьюрингу язык имеет бесконечное разрешимое подмножество.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Есть некоторые проблемы NP-Complete ( , \ mathsf {SUBSETSUM} и т. Д.), О которых известно, что они находятся в \ mathsf {DSPACE (n)} . Как насчет сублинейных пространств?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Существует ли какая-либо известная проблема NP-Complete (или NP-Intermediate) в сублинейном недетерминированном пространстве?

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

Везде, где я читаю о проблеме разреженного разреза, это говорит только о том, что проблема, как известно, является NP- трудной. Где я могу найти подтверждение этому? Какая известная NP- трудная проблема сводится к проблеме разреженного разреза? Я не смог найти никаких доказательств в книге Вазирани «Алгоритмы аппроксимации», в которой представлен …

9 cc.complexity-theory  reference-request  np-hardness 

Позволять ВVV быть набором DDDпрямоугольные формы. Заd∈ { 1 , . , , , D }d∈{1,...,D}d \in \{1,...,D\} а также v ∈ Vv∈Vv \in V, wd(v)∈Q+wd(v)∈Q+w_d(v) \in \mathbb{Q}^{+} описывает длину vvv в измерении ddd, То же обозначение используется для контейнераCCC, DDDзадача об ортогональной упаковке (OPP-DDD) решить, VVV помещается в контейнер …

9 cc.complexity-theory  reference-request  np-hardness  packing 

Является ли следующее решение задачи NP-завершенным: Пусть неориентированный граф и двумя целыми числами. Можно ли выбрать для каждой вершины ровно разных соседей, чтобы ни один узел не был выбран больше, чем раз.GGGb≤cb≤cb \le cGGGbbbccc Случай может быть решен для любого за полиномиальное время с использованием максимального соответствия.b=1b=1b = 1ccc Мотивация: …

9 cc.complexity-theory  np-hardness  graph-algorithms