Preguntas etiquetadas con interactive-proof-systems

Tengo curiosidad por saber si hay problemas completos en la clase de complejidad Arthur-Merlin. Graph Non-Isomorphism (GNI) parece ser el ejemplo canónico de un problema en AM, pero probablemente no sea completo. Supongo que también me pregunto si un problema "completo" está bien definido para AM. Como AM = BP.NP, …

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

Estoy tratando de entender los sistemas de prueba interactivos y probé el siguiente problema como ejercicio. Sabemos que e I P = P S P A C E , entonces, ¿ tenemos sistemas de prueba interactivos (fáciles de entender) para P H ?PAGSH⊆ PSPAGSA CmiPH⊆PSPACEPH \subseteq PSPACEyoPAGS= PSPAGSA CmiIP=PSPACEIP=PSPACEPAGSHPHPH Un …

9 complexity-theory  interactive-proof-systems