Вопросы с тегом «polynomial-time»

Treewith является важным параметром графа, который указывает, насколько близко граф от дерева (хотя и не в строгом топологическом смысле). Хорошо известно, что вычисление ширины дерева является NP-сложным. Существуют ли естественные классы графов, для которых сложно вычислить ширину дерева? Так же: Существуют ли интересные графовые классы, где вычисление ширины дерева легко? …

13 graph-theory  np-hardness  polynomial-time  treewidth 

P / poly - это класс задач решения, решаемых семейством булевых схем полиномиального размера. В качестве альтернативы его можно определить как машину Тьюринга за полиномиальное время, которая получает строку подсказки, которая имеет полиномиальный размер по n и основана исключительно на размере n. mP / poly - это класс задач решения, …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Знаете ли вы о каких-либо проблемах (предпочтительно, по крайней мере, несколько хорошо известных), где для практического размера задачи экспоненциальный алгоритм работает намного быстрее, чем самый известный аналог полиномиального времени. Например, предположим, что задача имеет практический размер *, равный и существует два известных алгоритма: один равен 2 n, а другой - …

13 time-complexity  polynomial-time  exp-time-algorithms 

Пытаясь решить проблему, я выразил ее часть в виде следующей целочисленной линейной программы. Здесь - все натуральные числа, заданные как часть входных данных. Указанное подмножество переменных x i j устанавливается в ноль, а остальные могут принимать положительные целые значения:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} Свести к минимуму ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} При условии: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall i ∑ℓi=1xij≥w∀j∑i=1ℓxij≥w∀j\sum_{i=1}^{\ell}x_{ij}\ge w\,\,\forall j …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

Рассмотрим следующую проблему: Учитывая набор из положительных чисел { a 1 , … , a n }, в которых k ≥ 3 является константой, мы хотим разбить набор на m подмножеств размера k так, чтобы произведение суммы каждого подмножества максимальноn=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk Эта …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Рассмотрим связный неориентированный граф с неотрицательными весами ребер и двумя выделенными вершинами s,ts,ts,t . Ниже приведены некоторые задачи на пути, которые имеют следующую форму: найдите путь s−ts−ts-t , чтобы некоторая функция весов ребер на пути была минимальной. В этом смысле все они являются «родственниками» проблемы кратчайшего пути; в последнем случае …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

В зоопарке сложности говорится [ 1 ], что в описательной сложности может быть определен тремя различными типами формул: который также является , а также как .ппPFO ( L Fп)FО(LFп)FO(LFP)FO ( nO ( 1 ))FО(NО(1))FO(n^{O(1)})SO ( HO R N)SО(ЧАСОрN)SO(HORN) Однако есть некоторые исключения, например, не может быть выражена FP (FP обладает …

10 lo.logic  polynomial-time  descriptive-complexity 

Теорема Махейни говорит нам , что если есть разреженная -полное множество под полиномиальное время многие-одно сокращение, то P = N P . (См. « Разреженные комплекты для NP: Решение гипотезы Бермана и Хартманиса »)NпNPNPP=NPP=NPP = NP Известны ли последствия существования разреженных полных наборов для других классов сложности? В частности, если …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

Неизвестно, является ли или , гдеP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP - это множество всех языков, разрешимых за полиномиальное время на детерминированной машине Тьюринга, и CSLCSLCSL - это класс контекстно-зависимых языков, который, как известно, эквивалентен NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) , языкам, выбранным с помощью линейно-ограниченных автоматов. Для многих открытых вопросов существует тенденция к одному ответу …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Прошу прощения, это немного "мягкий" вопрос. Теория информации не имеет понятия вычислительной сложности. Например, экземпляр SAT или экземпляр SAT плюс бит, указывающий на выполнимость, несут одинаковое количество информации. Есть ли способ формализовать понятие «полиномиально узнаваемый»? Такая структура могла бы определить, например, понятие расхождения полиномиального KL между случайной величиной X относительно …

9 cc.complexity-theory  it.information-theory  polynomial-time