Domande taggate «interactive-proofs»

Errori unilaterali nei sistemi di prova probablistic

Nella maggior parte dei sistemi di prova probabilistica (teorema del PCP, per esempio), le probabilità di errore sono generalmente definite sul lato dei falsi positivi, ovvero una definizione tipica potrebbe apparire come: se il verificatore accetta sempre, ma in in altri casi la probabilità di rigetto è almeno 1/2.x∈Lx∈Lx \in …

10 cc.complexity-theory pcp interactive-proofs

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 = …

10 cc.complexity-theory interactive-proofs zero-knowledge

Prove interattive tramite Postselection?

Definire il modello di calcolo MPostBQP identico al PostBQP, tranne per il fatto che consentiamo polinomialmente molte misurazioni di qubit prima della post-selezione e della misurazione finale. Possiamo fornire prove che indicano che MPostBQP è più potente di PostBQP? Definire MPostBQP [k] per consentire più cicli di misurazione e post-selezione …

9 cc.complexity-theory complexity-classes quantum-computing interactive-proofs

proprietà di chiusura di IP (2pfa) e AM (2pfa)

IP (2pfa) e AM (2pfa) sono le classi di lingue riconosciute con errori limitati dalle versioni di monete pubbliche e private, rispettivamente, dei sistemi di prova interattivi con verificatori che sono automi finiti probabilistici con una testa di input a due vie. Sono note proprietà di chiusura di queste classi?

9 cc.complexity-theory interactive-proofs

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.