Вопросы с тегом «complexity-classes»

10
Будет ли

Если то иерархия разрушается до своего второго уровня (по теореме Карпа-Липтона). Но как насчет N P и C O N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Я пытался доказать, что содержится в N P (другое направление тривиально, если R P = N P ), но безрезультатно, и я даже не уверен, что это...

10
Есть ли естественные -полные проблемы?

Я знаю, что проблема количественной булевой формулы для формулы где содержит квантификаторов и только переменные является примером -полной проблемы. Однако мне интересно, существуют ли какие-либо естественные проблемы, известные как -полные, так же, как минимизация контуров является естественной...

10
Доказательство того, что если то

Мне очень нужна ваша помощь в доказательстве следующего. Если то . P = N PN T i m e ( n100) ⊆ D Т я м е ( п1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Здесь - это класс всех языков, которые могут быть определены...

10
Интуиция за релятивизацией

Я беру курс по вычислительной сложности. Моя проблема в том, что я не понимаю метод релятивизации . К сожалению, во многих учебниках я пытался найти немного интуиции, но пока безуспешно. Буду признателен, если кто-нибудь сможет пролить свет на эту тему, чтобы я смог продолжить сам. Несколько...

9
Конкретное понимание различий между определениями PP и BPP

Я не совсем понимаю, как определяются PP и BPP . Пусть характеристическая функция для языка L . М - вероятностная машина Тьюринга. Верны ли следующие определения: B P P = { L : P r [ χ ( x ) ≠ M ( x ) ] ≥ 1χχ\chiLL\mathcal{L} P P = { L : P r [ χ ( x ) ≠ M ( x ) ] > 1BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀ x...