Domande taggate «interactive-proofs»


1
Prova interattiva per HORN-SAT?
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 = …


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.