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

Запитання про взаємозв'язки між класами складності.

7
Яке визначення , , -повне та тверде?
Я перебуваю в курсі обчислення та складності , і не можу зрозуміти, що означають ці терміни. Все, що я знаю, це те, що NP - це підмножина NP-Complete, яка є підмножиною NP-hard, але я поняття не маю, що вони насправді означають. Вікіпедія теж не дуже допомагає, оскільки пояснення все ще …
2
Чому ми вважаємо, що PSPACE ≠ ДОСЛІДЖЕННЯ?
У мене виникають труднощі інтуїтивно зрозуміти, чому, як правило, вважають, що PSPACE відрізняється від EXPTIME. Якщо PSPACE - це набір задач, розв’язуваних у просторі полінома вхідного розміру , то як може існувати клас проблем, які зазнають більшого експоненціального часу вибуху та не використовують експоненціальний простір?f(n)f(n)f(n) Відповідь Юваля Філімуса вже надзвичайно …
4
Узагальнена проблема 3SUM (k-SUM)?
Проблема 3SUM намагається визначити 3 цілих числа з набору S розміром n таким, що a + b + c = 0 .a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Можна припустити, що немає кращого рішення, ніж квадратичний, тобто . Або кажучи інакше: o ( n log ( n ) + n …
1
Чи не завершена проблема k-кліки NP?
Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . У цій статті Вікіпедії про проблему Кліка в теорії графів на початку зазначається, що проблема пошуку кліки розміром K у графі G є NP-повною: Кліки також вивчалися …
3
Чи означає , що?
Чи можливо, що і кардинальність збігаються з кардинальністю ? Або означає, що і мають різні кардинальності?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}
1
Класи складності, що стосуються переліку всіх рішень?
Я читав запитання в Stack Overflow із запитанням, чи NP- твердо перераховувати всі прості цикли в графіку, що містить певний вузол, і мені спало на думку, що я не міг придумати жоден існуючий клас складності, який би був добре підходить для говорити про проблеми форми "перерахуйте всі рішення цієї проблеми". …
2
Типи скорочень і пов'язані з ними визначення твердості
Нехай А зводиться до B, тобто . Таким чином, машина Тьюринга прийому має доступ до оракула для . Нехай машина Тьюрінга, що приймає буде а оракул для - . Типи скорочень:A B A M A B O BA≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} Скорочення скорочення: може робити кілька запитів до . О БMAMAM_{A}OBOBO_{B} …
1
Доведення теореми Карпа-Ліптона
Я намагаюся зрозуміти докази теореми Карпа-Ліптона, про які йдеться у книзі "Комп'ютерна складність: сучасний підхід" (2009). Зокрема, у цій книзі зазначено: Теорема Карпа-Ліптона Якщо NP ⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} , то PH =Σp2=Σ2p= \Sigma^p_2 . Доведення: За теоремою 5.4, щоб показати PH , достатньо показати, що Π p 2 ⊆ Σ …
2
Чи встановлені класи складності з реальними числами?
Нещодавно студент попросив мене перевірити рівень твердості на них. Вони виконували скорочення за лініями: Я знижую цю проблему P′P′P' яка, як відомо, є NP-повною для моєї проблеми PPP (з багаторазовим скороченням багато-один), так щоPPP є NP-важким. Моя відповідь була в основному: Оскільки PPP має екземпляри зі значеннями від RR\mathbb{R} , …
2
Деякі питання паралельних обчислень та класу NC
У мене є ряд споріднених питань щодо цих двох тем. По- перше, більшість текстів складності тільки замазувати клас . Чи є хороший ресурс, який більш глибоко висвітлює дослідження? Наприклад, щось, що обговорює всі мої запитання нижче. Крім того, я припускаю, що N C все ще бачить неабияку кількість досліджень через …
3
P, NP та спеціалізовані машини Тюрінга
Мені щось нове, але дуже цікаве в галузі обчислювальної техніки та теорії складності, і я хочу уточнити своє розуміння того, як класифікувати проблеми та наскільки сильно проблеми стосуються машини, яка використовується для їх вирішення. Моє розуміння Стандартна машина Тьюрінга - машина Тьюрінга, яка має скінченний алфавіт, кінцеву кількість станів і …
2
Визначення PTAS проти FPTAS
З того, що я прочитав у preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Це визначення PTAS : Поліноміальна схема наближення часу ( PTAS ) для задачі - це схема …
1
Чи є якісь відомі проблеми, пов’язані з АМ / чи добре визначений AM?
Мені цікаво, чи є якісь повні проблеми в класі складності Артура-Мерліна. Графічний неізоморфізм (ВНД), здається, є канонічним прикладом проблеми в АМ, але, мабуть, не є повною. Я думаю, мені також цікаво, чи добре визначена "повна" проблема для AM. Оскільки AM = BP.NP, схоже, що перехід на "зменшення" до AM покладається …
1
Що таке клас складності
Що означає клас складності ? Я знаю, що ⊕ P - клас складності, який містить мови A, для яких існує поліноміальний недетермінований апарат Тюрінга M, такий, що x ∈ A, якщо число приймаючих станів машини M на вході x є непарним.⊕P⊕P⊕P⊕П\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Але що означає ? …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.