Pytania otagowane jako relativization

3
Dlaczego relatywizacja jest barierą?
Kiedy wyjaśniłem dowód Baker-Gill-Solovay, że istnieje wyrocznia, którą możemy mieć, , oraz wyrocznia, z którą możemy otrzymać P ≠ N P przyjacielowi, pojawiło się pytanie, dlaczego takie techniki nie nadają się do udowodnienia problemu P ≠ N P i nie mogłem udzielić zadowalającej odpowiedzi.P = N PP=NP\mathsf{P} = \mathsf{NP}P ≠ …
2
Wyrocznia do oddzielenia NP od CoNP
Jak udowodnić, że ? Właśnie szukam takiej wyroczni TM M i języka rekurencyjnego L ( M ) = L, dla którego to się utrzymuje.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Znam dowód gdzie można pokazać, że nie jest wyrocznią takie, że P ≠ N P i wyrocznią takie, że P = N …
1
Intuicja stojąca za relatywizacją
Biorę kurs na złożoność obliczeniową. Mój problem polega na tym, że nie rozumiem metody relatywizacji . Próbowałem znaleźć odrobinę intuicji w wielu podręcznikach, jak dotąd niestety bez powodzenia. Będę wdzięczny, jeśli ktoś może rzucić światło na ten temat, abym mógł kontynuować sam. Kilka kolejnych zdań to pytania, a moje przemyślenia …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.