Preguntas etiquetadas con interactive-proof-systems

¿Hay algún problema conocido de AM completo / AM está bien definido?

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

Pruebas interactivas para coNP

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