Domande taggate «relativization»

3
Perché la relativizzazione è una barriera?
Quando stavo spiegando la prova Baker-Gill-Solovay che esiste un oracolo con cui possiamo avere, , e un oracolo con cui possiamo avere ad un amico, è una domanda sul perché tali tecniche siano provare il e non ho potuto dare una risposta soddisfacente.P=NPP=NP\mathsf{P} = \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Per …
2
Un oracolo per separare NP dal coNP
Come provare che ? Sto solo cercando un simile oracolo TM M e un linguaggio ricorsivo L ( M ) = L per cui vale.N PUN≠ c o N PUNNPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L So che la prova in cui si mostra che non v'è un …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.