Questions marquées «oracles»

Questions concernant les machines oracles dans la théorie de la complexité computationnelle. Les oracles peuvent servir d'indicateur qu'une séparation entre les classes de complexité dépasse le cadre de certaines techniques de preuve.

2
Existe-t-il un oracle tel que SAT ne soit pas infiniment souvent en temps sous-exponentiel?
Définir ioioio - SUBEXPSUBEXPSUBEXP comme étant la classe de langues LLL telle qu'il existe une langue L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) et pour une infinité de nnn , LLL et L′L′L' accord sur toutes les instances de longueur nnn . (C'est-à-dire que c'est la classe de langages qui peut …
3
TM et oracles délimités par l'espace
En général, la bande de requête d'un oracle compte pour la complexité spatiale d'une MT. Cependant, il semble plausible d'autoriser une bande oracle en écriture seule (comme celle utilisée dans les réductions d'espace L). Une telle construction est-elle utile? Cela donne-t-il des résultats particulièrement absurdes?
1
Compression des informations sur le problème d'arrêt des machines Oracle Turing
Il est bien connu que le problème d'arrêt n'est pas calculable. Cependant, il est possible de "compresser" exponentiellement des informations sur le problème d'arrêt, de sorte que sa décompression soit calculable. Plus précisément, il est possible de calculer à partir d'une description de machines de Turing et d'un conseil à …
1
comme oracle
Est-ce que NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}maintenez? Clairement NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , mais il me semble que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} est "déterministe" ce qui me fait croire que c'est vrai. Existe-t-il une preuve simple (ou peut-être juste par définition)?
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 …
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.