Lingue

12

Quali altri ~~problemi~~ linguaggi diversi dall'isomorfismo grafico sono in ? Puoi darci dei riferimenti? $NP\cap coAM$

Aggiornamento: Ho dimenticato di dire che mi interessa in lingue non conosciute per essere in . $coNP$

— Marcos Villagra
fonte

Vuoi dire che non si sa che quelli sono in

, giusto?

c o N P

$\mathrm{coNP}$

— ilyaraz,

sì, ho dimenticato di menzionarlo

— Marcos Villagra,

Ma si ritiene che

, quindi il modo migliore per formulare la domanda è sostituire creduto da noto. Scusa per il mio pedantismo.

c o N P = c o A M

$\mathrm{coNP} = \mathrm{coAM}$

— ilyaraz,

10

Gli unici altri che conosco sono anche problemi di isomorfismo: isomorfismo di gruppo e isomorfismo ad anello. I protocolli per entrambi sono essenzialmente gli stessi dell'isomorfismo grafico. $coAM$

L'isomorfismo di gruppo si riduce all'isomorfismo grafico si riduce all'isomorfismo ad anello.

$P$

— Joshua Grochow
fonte

9

$O(\sqrt{n/\log(n)})$ $NP \cap coAM$ $n$ $coNP$

$O(\sqrt{n})$ $NP \cap coNP$

— MRA
fonte

2

Questi sono problemi di ricerca, non problemi di decisione, e le varianti di decisione dei problemi di approssimazione sono problemi promettenti. Andy Drucker e io abbiamo avuto una discussione simile su SVP e CVP su cstheory.stackexchange.com/questions/330/… "

— Joshua Grochow,

6

$\mathbf{NP}\subseteq\mathbf{AM}$ $\mathbf{AM}\cap\mathbf{coAM}$ $\mathbf{PZK}\subseteq \mathbf{SZK}\subseteq \mathbf{AM}\cap\mathbf{coAM}$ $\mathbf{PZK}$ $\mathbf{SZK}$

La complessità della perfetta conoscenza zero

Le lingue statistiche a conoscenza zero possono essere riconosciute in due round

$\mathbf{SZK}$

— MS Dousti
fonte