Запитання з тегом «interactive-proofs»

У більшості імовірнісних систем підтвердження (наприклад, теорема PCP) ймовірності помилок зазвичай визначаються на стороні помилкових позитивів, тобто типове визначення може виглядати так: якщо то верифікатор завжди приймає, але в іншому випадку ймовірність відхилення становить щонайменше 1/2.x ∈ Lx∈Lx \in L Чи є проблема в допущенні помилки з іншого боку? Це …

10 cc.complexity-theory  pcp  interactive-proofs 

Чи є спосіб, щоб довідник переконав перевіряючого, що деякий вираз HORN-SAT є задоволеним? Звичайно, це може здатися дурним, оскільки існують лінійні алгоритми часу для HORN-SAT. З іншого боку, HORN-SAT є P-повним, а це означає, що він не має алгоритмів простору журналу, якщо P = L. Відповідно, обмежте обчислювальні можливості перевіряючого …

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

Визначте обчислювальну модель MPostBQP, щоб вона була ідентичною PostBQP, за винятком того, що ми допускаємо поліноміально багато вимірювань в кубітах до після вибору та остаточного вимірювання. Чи можемо ми дати будь-які докази, які свідчать про те, що MPostBQP є більш потужним, ніж PostBQP? Визначте MPostBQP [k], щоб дозволити кілька раундів …

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

IP (2pfa) та AM (2pfa) - це класи мов, розпізнаваних з обмеженою помилкою приватними та публічними версіями монет, відповідно, інтерактивних систем доказів з верифікаторами, які є ймовірнісними кінцевими автоматизаторами з двостороннім вводом головою. Чи відомі якісь властивості закриття цих класів?

9 cc.complexity-theory  interactive-proofs