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.
Watch video Satz von Baker, Gill und Solovay online without registration, duration hours minute second in high quality. This video was added by user NLogSpace 10 September 2022, don't forget to share it with your friends and acquaintances, it has been viewed on our site 41 once and liked it 1 people.