Questions marquées «interactive-proof-systems»

Y a-t-il des problèmes AM-complete connus / AM-complete est-il bien défini?

Je suis curieux de savoir s'il existe des problèmes complets dans la classe de complexité Arthur-Merlin. Le graphique de non-isomorphisme (GNI) semble être l'exemple canonique d'un problème en AM, mais ce n'est probablement pas complet. Je suppose que je me demande aussi si un problème "complet" est bien défini pour …

12 complexity-theory reductions complexity-classes interactive-proof-systems

Preuves interactives pour coNP

J'essaie de comprendre les systèmes de preuve interactifs et j'ai essayé le problème suivant comme exercice. Nous savons que et I P = P S P A C E , alors imaginez des systèmes de preuve interactifs (faciles à comprendre) pour P H ?PH⊆ PSPA CEPH⊆PSPACEPH \subseteq PSPACEjeP= PSPA CEIP=PSPACEIP=PSPACEPHPHPH …

9 complexity-theory interactive-proof-systems

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.