Domande taggate «separation»

1
Oracle relativo al quale
Complexity Zoology di Greg Kuperberg afferma che esiste un linguaggio XXX tale che BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - in altre parole, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ma non fornisce un riferimento per questo risultato. Perché questo vale? O dove è possibile trovare una prova? Questa domanda è in parte motivata dalla …
1
È possibile utilizzare una versione della complessità descrittiva del teorema di Rice per separare AC0 e PSPACE?
In questa domanda , è stato menzionato che ci sono versioni descrittive della complessità del teorema di Rice. Ho trovato una prova del seguente teorema: Data una classe di complessità C , le proprietà non banali delle lingue in C non possono essere calcolate in C Avevo precedentemente pubblicato la …
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.