Вопросы с тегом «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