Questions marquées «interactive-proof-systems»


2
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 …
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.