Satz von Baker, Gill und Solovay
Der Satz von Baker, Gill und Solovay besagt, dass es Orakel A und B gibt, sodass P^A=NP^A und P^B != NP^B ist. Eine wichtige Konsequenz daraus ist, dass ein Beweis für P versus NP nicht relativierbar sein kann. Das schließt gewisse elementare Beweistechniken aus, zum Beispiel Diagonalisierung.
Смотрите видео Satz von Baker, Gill und Solovay онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь NLogSpace 10 Сентябрь 2022, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 412 раз и оно понравилось 13 людям.