Запитання з тегом «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, а другий n c для деякої …

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,ts−ts−ts-t Примітка: …

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

У зоопарку складності сказано [ 1 ], що в описовій складності ПPP можна визначити трьома різними видами формул, ЖO ( L FП)FO(LFP)FO(LFP) який також є ЖО ( н.)O ( 1 ))FO(nO(1))FO(n^{O(1)}) , а також як SО ( НО Р Н)SO(HORN)SO(HORN) . Однак є деякі винятки, наприклад, Еv e n n …

10 lo.logic  polynomial-time  descriptive-complexity 

Теорема Махейні говорить нам , що якщо є розріджена -повне безліч під поліноміальний час багато-одне скорочення, то P = N P . (Див. " Рідкісні комплекти для NP: рішення гіпотези Бермана та Хартманіса ")NПNПNPП= NПП=NПP = NP Чи відомі наслідки існування рідкісних комплектів для інших класів складності? Зокрема, якщо в …

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

Невідомо, чи P⊆CSLP⊆CSLP\subseteq CSL або П⊈ СSLП⊈СSLP\not\subseteq CSL, де ППP - сукупність усіх мов, які можна визначити в поліноміальний час на детермінованій машині Тьюрінга, і СSLСSLCSL - клас контекстно-чутливих мов, який, як відомо, еквівалентний , мовам, визначеним лінійно обмеженими автоматами.NSПА СЕ( O ( n ) )NSПАСЕ(О(н))NSPACE(O(n)) Для багатьох відкритих питань …

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

Прошу вибачення, це трохи "м'яке" питання. Інформаційна теорія не має поняття обчислювальної складності. Наприклад, екземпляр SAT або екземпляр SAT плюс біт, що вказує на задоволення, несуть однаковий обсяг інформації. Чи існує можливість формалізувати поняття "поліноміально пізнавані"? Такий фреймворк може визначити, наприклад, поняття розбіжності полінома-KL між випадковою змінною X відносно Y …

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