Запитання з тегом «complexity-theory»

Що означає клас складності ? Я знаю, що ⊕ P - клас складності, який містить мови A, для яких існує поліноміальний недетермінований апарат Тюрінга M, такий, що x ∈ A, якщо число приймаючих станів машини M на вході x є непарним.⊕P⊕P⊕P⊕П\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Але що означає ? …

12 complexity-theory  terminology  complexity-classes 

Мені цікаво, у чому полягає складність часу визначення порожнечі для двосторонніх ДФА? Тобто, кінцеві автомати, які можуть рухатись назад на вхідній стрічці лише для читання. Згідно з Вікіпедією, вони еквівалентні DFA, хоча еквівалентний DFA може бути експоненціально більшим. Я виявив складність держави для їх доповнення та перехрестя, але не для …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Мені цікаво, що це базується на кількох місцях в Інтернеті NP=NP=\sf NP= ко-NPNP\sf NP основна відкрита проблема ... але я не можу знайти жодних вказівок на те, чи це те саме P=NPP=NP\sf P=NP проблема ...

12 complexity-theory  complexity-classes  p-vs-np 

Мені дають набір , ціле число s \ leqslant k і невід'ємні цілі числа a_ {ij} . Моя проблема полягає в знаходженні s непересічні підмножини S_j з \ {1, \ ldots, до \} такі , що:A≜{1,…,k}A\triangleq\{1,\ldots,k\} s ⩽ ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} ⋃sj=1Sj=A⋃sj=1Sj=A\bigcup_{j=1}^s S_j=A ; і |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} для всіх i∈Sji∈Sji\in S_j …

11 complexity-theory  integer-programming 

Чи є простий спосіб зрозуміти, чому NP знаходиться в EXPTIME? Мені апріорі здається, що може виникнути проблема, яка потребує розв'язання надекспоненціального часу, але вирішення якої можна перевірити в поліноміальний час.

11 complexity-theory  complexity-classes 

Тест-раунд Google Hash Code 2015 ( постановка проблеми ) запитав про таку проблему: вхід: сітка з позначеними квадратами, порогом T ∈ N , максимальною площею A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} Вихід: найбільша можлива площа безлічі непересічних прямокутників з цілими координатами в загальній складності таким чином, що кожен прямокутник …

11 complexity-theory  reductions  np-hard 

Я знаю, що це нерозумно, але мені вдалося заплутати себе, і мені потрібна допомога, щоб вирішити це Припустимо, , то для кожного оракула явно маємо що суперечить тому, що існує якийсь оракул для якого , отже,A P A = N P A A P A ≠ N P A P …

11 complexity-theory  p-vs-np  oracle-machines 

Нехай - деяка проблема підрахунку, яка, як відомо, є # P -комплект .ΠΠ\PiППP Чи означає це, що є A P X- твердим (тобто PTAS для проблеми не існує, якщо P = N P )?ΠΠ\PiА ПХАПХAPXП= NПП=NПP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Мені цікаво, чи є якісь проблеми, що стосуються які є "многочленними" в середньому випадку. Я думаю, що є два способи інтерпретувати це?NПNПNP Якщо , чи може існувати алгоритм, що розв'язує задачу твердого з амортизованим (середнім випадком) часом роботи для постійної ?П≠ NПП≠NПP \neq NPNПNПNPО ( н.)к)О(нк)O(n^k)ккk Чи є якісь проблеми, …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Мене цікавлять властивості класу двопартійних графіків G(X∪Y, Е)Г(Х∪Y,Е)G(X \cup Y, E) де всі вузли в ХХX 3-регулярні, всі вузли в YYY - 2-регулярні, і | Х| = | 2Y/ 3 ||Х|=|2Y/3||X|=|2Y/3|. По-перше, це добре відомий клас графіків? По-друге, Чи є приклад нерозв'язної обчислювальної задачі, обмеженої цим класом двосторонніх графіків?

11 complexity-theory  graph-theory 

Проблема рішення Враховуючи булеву формулу , чи має ϕ рівно одне задовольняюче завдання?ϕϕ\phiϕϕ\phi видно як , U P -твердий і c o N P -твердий. Чи відомо більше про його складність?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Відповідно до статті Вікіпедії про схеми наближення полінома-часу : Усі проблеми в FPTAS є фіксованими параметрами. Цей результат мене дивує - ці заняття, здається, сильно відрізняються один від одного. FPTAS характеризує проблеми тим, наскільки їх легко наблизити, тоді як FPT характеризує проблеми за їх складністю щодо певного параметра. На жаль, …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Враховуючи той факт, що перерахування шляху - t є проблемою, що завершується # P, чи можуть існувати ефективні методи, які обчислюють (або принаймні наближають) середню довжину шляху s - t без їх перерахування? Що робити, якщо шляхи дозволяють переглянути вершини?сssтttсssttt Відповідні результати на спеціальних графіках також можуть бути корисними.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

З огляду на завдань , для кожного завдання потрібно час.нnnT i > 0 , T i ∈ NJ1, J2, . . . , JнJ1,J2,...,JnJ_1,J_2,...,J_nТi> 0 , Тi∈ NTi>0,Ti∈NT_i > 0, T_i \in N Кожне завдання повинно бути попередньо оброблене та опрацьоване на одній машині M, яка може обробляти лише 1 …

11 complexity-theory  reference-request  scheduling 

Наприклад, я знаю, що нерегулярна мова є в . Я хотів би знати більше таких прикладів.anbnanbna^nb^nAC0AC0AC^0

11 complexity-theory  regular-languages  circuits