Domande taggate «oracles»

Domande relative alle macchine per oracoli nella teoria della complessità computazionale. Gli oracoli possono servire da indicatore del fatto che una separazione tra classi di complessità va oltre lo scopo di alcune tecniche di prova.

2
È ?
Di http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Se è un linguaggio completo di PSPACE, .P A = N P AUNAAPUN= NPUNPA=NPAP^{A}=NP^{A} Se è un oracolo del tempo polinomiale deterministico, (assumendo ).P B ≠ N P B P ≠ N PBBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP # P P ⊆ P P ⊆ P S P A …
1
Mondo relativizzato in cui
Vorrei sapere se esiste un mondo in cui relativizzato . Sono anche interessato a sapere se esiste un mondo relativizzato in cui P B ≠ N P B = P P B .PUN= N PUN≠ P PUNPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠ N PB= P PBPB≠NPB=PPB{\bf P^B} \not = {\bf …
2
Gli oracoli sono associativi?
Questa domanda può avere una risposta ovvia ... ma ecco comunque la domanda. Intuitivamente, è la seguente affermazione plausibile: "una macchina con una subroutine A che a sua volta ha una subroutine B è la stessa di una macchina con una subroutine A che ha accesso alla subroutine B". Per …
1
È
Non sono stato in grado di trovare una dichiarazione relativa a e N P R P in letteratura; i puntatori sarebbero apprezzati.M AMA\mathsf{MA}N PR PNPRP\mathsf{NP}^\mathsf{RP} Credo che siano uguali: : lamacchina N P indovina la corda di Merlino e l'oracolo R P verifica la corda come Arthur.M A ⊆ N …
4
Risultati Oracle su P vs BPP
Sia qualsiasi problema EXP completo. Poi, .P A = N P AAAAPA=NPAPA=NPAP^A = NP^A Lasciate che sia un po 'di oracolo che tiene i conti le query che (una TM in P) farà, e siamo in grado di ottenere .M P B ≠ N P BBBBMMMPB≠NPBPB≠NPBP^B \neq NP^B Domanda: Abbiamo …
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.