Вопросы с тегом «relativization»

3
Почему релятивизация является барьером?
Когда я объяснял доказательство Бейкера-Гилла-Соловая, что существует оракул, с которым мы можем иметь, , и оракул, с помощью которого мы можем иметь P ≠ N P другу, возник вопрос, почему такие методы плохо подходят для доказательства проблемы P ≠ N P , и я не мог дать удовлетворительный ответ.P = …
2
Оракул, чтобы отделить NP от coNP
Как доказать, что ? Я просто ищу такого оракула TM M и рекурсивный язык L ( M ) = L, для которого это верно.Н ПA≠ c o N PANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMMЛ ( М) = LL(M)=LL(M) = L Я знаю , что доказательство , где вы показываете , что существует оракул …
1
Интуиция за релятивизацией
Я беру курс по вычислительной сложности. Моя проблема в том, что я не понимаю метод релятивизации . К сожалению, во многих учебниках я пытался найти немного интуиции, но пока безуспешно. Буду признателен, если кто-нибудь сможет пролить свет на эту тему, чтобы я смог продолжить сам. Несколько следующих предложений - это …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.