Questions marquées «separation»

1
Oracle par rapport auquel
La complexité de Zoologie par Greg Kuperberg indique qu'il existe un langage XXX tel que BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - en d'autres termes, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - mais ne donne pas de référence pour ce résultat. Pourquoi cela tient-il? Ou où trouver une preuve? Cette question est en partie motivée …
1
Une version descriptive de la complexité du théorème de Rice pourrait-elle être utilisée pour séparer AC0 et PSPACE?
Dans cette question , il a été mentionné qu'il existe des versions de complexité descriptive du théorème de Rice. J'ai trouvé une preuve du théorème suivant: Étant donné une classe de complexité C , les propriétés non triviales des langages en C ne peuvent pas être calculées en C J'avais …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.