Prova interattiva per HORN-SAT?


10

C'è un modo in cui un prover può convincere un verificatore che alcune espressioni HORN-SAT sono soddisfacenti?

Naturalmente questo potrebbe sembrare sciocco, poiché esistono algoritmi di tempo lineari per HORN-SAT. D'altra parte, HORN-SAT è P-complete, il che significa che non ha algoritmi di spazio log a meno che P = L. Di conseguenza, limita le capacità computazionali del verificatore a L. Ora il verificatore è molto debole, quindi il problema non è più sciocco.

Un'altra svolta su questo è se può essere una prova a conoscenza zero.


1
Nel caso della conoscenza diversa da zero, penso che la verifica ingenua utilizzando un'assegnazione della verità soddisfacente come certificato richieda solo spazio di registro, a condizione che l'input e il certificato siano scritti su nastri di sola lettura che non contano come spazio.
Tsuyoshi Ito,

@Tsuyoshi: non vedo come fare la verifica ingenua solo nel log-spazio. Se potessimo, questo non mostrerebbe che HORN-SAT è in NL, e quindi per completezza di P darei P = NL?
Shaun Harker,

No. Ho supposto che il certificato fosse su un nastro di sola lettura, che è diverso dalla verifica eseguita da NL.
Tsuyoshi Ito,

@Tsuyoshi: Ah, quindi puoi leggere il certificato molte volte, mentre una definizione di NL basata su certificato avrebbe un certificato che può essere letto solo una volta.
Shaun Harker,

Risposte:


11

Questo sondaggio http://www.cs.ubc.ca/~condon/papers/ips-survey.pdf di Anne Condon contiene molti fatti sui sistemi di prova interattivi limitati dallo spazio.

Esistono diversi modelli e le differenze principali sono se si autorizzano monete private per il verificatore (IP) o solo monete pubbliche (AM) e se si limita anche il tempo di verifica al polinomio (non implicito dal solo spazio limitato).

Senza la limitazione del tempo la risposta è sì: IP (spazio-log) contiene EXP e AM (spazio-log) = P.

Si noti che l'IP (log-space) è molto probabilmente più grande dell'IP standard. D'altra parte IP (log-space, poly-time) = IP = PSPACE.

AM (log-space, poly-time) = P grazie a "Delegating Computing: Interactive Proofs for Babbles" di Goldwasser et al., STOC 2008.

Inoltre, l'articolo "Conoscenza zero con verificatori dello spazio logaritmico" di Kilian (FOCS 88) mostra come ottenere un sistema a prova di conoscenza zero nello spazio logaritmico per tutto ciò che riguarda l'IP (ovviamente con monete private).


1
Ho anche trovato un documento intitolato Delegating Computation: Interactive Proofs for Babbles . Teorema 3 di questo lavoro mostra che AM (log-space, poly-time) = P?
Shaun Harker,

Sì, lo dimostrano davvero!
Hartmut Klauck,
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.