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
Est-ce que
Par http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si est un langage complet-PSPACE, P A = N P A .UNEAAPUNE= NPUNEPA=NPAP^{A}=NP^{A} Si est un oracle à temps polynomial déterministe, P B ≠ N P B (en supposant P ≠ N P ).BBBPB≠ NPBPB≠NPBP^{B}\ne NP^{B}P≠ NPP≠NPP\ne NP est la classe de problèmes de décision analogique pour # …
1
Monde relativisé où
Je voudrais savoir s'il existe un monde relativisée où . Je suis également intéressé à savoir s'il existe un monde relativisée où P B ≠ N P B = P P B .PUNE= N PUNE≠ P PUNEPA=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
Les oracles sont-ils associatifs?
Cette question peut avoir une réponse évidente ... mais voici la question de toute façon. Intuitivement, c'est la déclaration plausible suivante - "une machine avec un sous-programme A qui à son tour a un sous-programme B est la même chose qu'une machine avec un sous-programme A qui a accès au …
1
Existe-t-il une bonne notion de non-terminaison et d'arrêt des preuves dans la théorie des types?
La théorie des types constructifs avec son interprétation de base sous la correspondance de curry howard consiste uniquement en fonctions calculables totales. Dans la littérature, certains ont dit que l'utilisation de la "théorie du type informatique" pour représenter la non-terminaison dans les programmes fonctionnels, mais dans les articles que j'ai …
1
Est
Je n'ai pas pu trouver de déclaration reliant M AMA\mathsf{MA} et N PR PNPRP\mathsf{NP}^\mathsf{RP} dans la littérature; des pointeurs seraient appréciés. Je pense qu'ils sont égaux: M A ⊆ N PR PMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : LamachineN PNP\mathsf{NP} devine la chaîne de Merlin, et l'oracleR PRP\mathsf{RP} vérifie la chaîne comme Arthur …
4
Résultats Oracle sur P vs BPP
Soit tout problème complet d'EXP. Ensuite, P A = N P A .AAAPA=NPAPA=NPAP^A = NP^A Que soit un oracle qui prend en compte les requêtes que M (un TM en P) fera, et nous pouvons obtenir P B ≠ N P B .BBBMMMPB≠NPBPB≠NPBP^B \neq NP^B Question: Avons-nous des résultats oracle …
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.