Domande taggate «interactive-proof-systems»

Ci sono problemi noti di AM-complete / AM-complete è ben definito?

Sono curioso di sapere se ci sono problemi completi nella classe di complessità Arthur-Merlin. Il grafico Non isomorfismo (RNL) sembra essere l'esempio canonico di un problema in AM, ma probabilmente non è completo. Suppongo che mi chiedo anche se un problema "completo" è ben definito per AM. Poiché AM = …

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

Prove interattive per coNP

Sto cercando di capire i sistemi di prova interattivi e ho provato il seguente problema come esercizio. Sappiamo che PH⊆ PSPA CEPH⊆PSPUNCEPH \subseteq PSPACE e ioP= PSPA CEioP=PSPUNCEIP=PSPACE , quindi escogiti sistemi di prova interattivi (di facile comprensione) per PHPHPH ? Un sistema di prova interattivo per è banale, ma …

9 complexity-theory interactive-proof-systems

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.