Questions marquées «cc.complexity-theory»

10
Fonctions non constructibles et résultats anormaux

Dans le livre Arora-Barak, dans la définition des fonctions constructibles dans le temps, il est dit que l'utilisation de fonctions qui ne sont pas constructibles dans le temps peut conduire à des "résultats anormaux". Quelqu'un at-il un exemple d'un tel "résultat anormal"? J'ai entendu en...

10
Manière uniforme de quantifier la «ramification» dans le calcul non déterministe, probabiliste et quantique?

Le calcul d'une machine de Turing non déterministe (NTM) est bien connu pour être représentable comme un arbre de configurations, enraciné à la configuration de départ. Toute transition dans le programme est représentée par un lien père-enfant dans cet arbre. Des arbres similaires peuvent également...

10
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 similaires pour P vs...

10
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...