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

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

1
Чому NP в EXPTIME?
Чи є простий спосіб зрозуміти, чому NP знаходиться в EXPTIME? Мені апріорі здається, що може виникнути проблема, яка потребує розв'язання надекспоненціального часу, але вирішення якої можна перевірити в поліноміальний час.
2
Чи означає #
Нехай - деяка проблема підрахунку, яка, як відомо, є # P -комплект .ΠΠ\PiППP Чи означає це, що є A P X- твердим (тобто PTAS для проблеми не існує, якщо P = N P )?ΠΠ\PiА ПХАПХAPXП= NПП=NПP=NP
1
Складність рішення, якщо формула має рівно 1 задовольняюче завдання
Проблема рішення Враховуючи булеву формулу , чи має ϕ рівно одне задовольняюче завдання?ϕϕ\phiϕϕ\phi видно як , U P -твердий і c o N P -твердий. Чи відомо більше про його складність?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}
1
Колекція проблем APX-жорстких
Всі знають "Garey & Johnson", що є моїм посиланням, коли мені потрібна проблема для перетворення з метою підтвердження твердості NP. Однак останнім часом я відчуваю потребу в підтвердженні твердості APX, і мені цікаво, чи існує подібний (і більш сучасний ..?) Набір проблем, які виявились жорсткими для APX. Хтось знає щось …
5
Чи всі проблеми лінійного програмування Integer NP-Hard?
Як я розумію, проблема присвоєння є в P, оскільки угорський алгоритм може вирішити її в поліноміальний час - O (n 3 ). Я також розумію, що проблема присвоєння є цілою лінійною проблемою програмування , але на сторінці Вікіпедії зазначено, що це NP-Hard. Для мене це означає, що проблема присвоєння полягає …
1
Чи є природні проблеми?
Я знаю, що кількісна задача булевої формули для формули де не містить кількісних показників і лише змінні - приклад проблемиОднак мені цікаво, чи є якісь природні проблеми, відомі як , подібно до того, як мінімізація ланцюга є природною проблемою (детальніше див. Ієрархію поліномів )?ψ=∀x1…∀xn∃y1…∃ynϕψ=∀x1…∀xn∃y1…∃ynϕ \psi = \forall x_1 \ldots \forall …
2
Чи означатиме ?
Якщо то ієрархія руйнується до другого рівня (за теоремою Карпа-Ліптона). А як щодо та ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Я намагався довести, що міститься в (інший напрямок тривіальний, якщо ), але безрезультатно, і я навіть не впевнений, що це правда.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP = NP Як ти гадаєш?
1
Як виглядають класи складності, якщо ми використовуємо скорочення Тьюрінга?
Для міркування про такі речі, як NP-повнота, ми зазвичай використовуємо багато-одну зменшення (тобто скорочення Карпа). Це призводить до таких зображень: (за стандартними домислами). Я впевнений, що ми всі знайомі з подібними речами. Яку картину ми отримуємо, якщо працюємо зі скороченнями Тьюрінга (тобто скороченнями Кука)? Як змінюється малюнок? Зокрема, які найважливіші …
3
Доведення, що якщо то
Я дуже хотів би, щоб ваша допомога була в доказуванні наступного. Якщо то .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Тут - клас усіх мов, який може визначити недетермінований апарат Тьюрінга в поліноміальний час та - клас усіх мов, який може бути визначений детермінованою машиною Тюрінга в поліномічний час .NTime(n100)NTime(n100)\mathrm{NTime}(n^{100})O(n100)O(n100)O(n^{100})DTime(n1000)DTime(n1000)\mathrm{DTime}(n^{1000})O(n1000)O(n1000)O(n^{1000}) Будь-яка допомога / пропозиції?
1
Інтуїція за релятивізацією
Я беру курс на Комп'ютерна складність. Моя проблема полягає в тому, що я не розумію метод релятивізації . Я намагався знайти трохи інтуїції у багатьох підручниках, на жаль, поки що не мав успіху. Я буду вдячний, якщо хтось міг би пролити світло на цю тему, щоб я міг продовжувати самостійно. …
3
Конкретне розуміння різниці між визначеннями PP та BPP
Мене бентежить питання про визначення ПП та БПП . Припустимо, що є характерною функцією для мови . Я повинен бути вірогідною машиною Тюрінга. Чи правильні такі визначення:χχ\chiLL\mathcal{L} Б ПП= { L : Pr [ χ ( x ) ≠ M( x ) ] ≥12+ ϵ∀ x ∈ L , ϵ …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.