Есть ли способ, которым проверяющий может убедить верификатора в том, что некоторое выражение HORN-SAT выполнимо?
Конечно, это может показаться глупым, поскольку для HORN-SAT существуют линейные алгоритмы времени. С другой стороны, HORN-SAT является P-полным, что означает, что он не имеет алгоритмов лог-пространства, если P = L. Соответственно, ограничьте вычислительные возможности верификатора до L. Теперь верификатор очень слаб, поэтому проблема больше не глупая.
Еще один поворот в том, может ли это быть доказательством с нулевым знанием.
Ответы:
Этот http://www.cs.ubc.ca/~condon/papers/ips-survey.pdf обзор Энн Кондон содержит много фактов о ограниченных в пространстве интерактивных системах доказательства.
Существует несколько моделей, и основные отличия заключаются в том, разрешаете ли вы частные монеты для верификатора (IP) или только для публичных монет (AM), а также ограничиваете ли вы время проверки полиномом (не подразумевается только пробелом).
Без ограничения по времени ответ - да: IP (пространство журнала) содержит EXP, а AM (пространство журнала) = P.
Обратите внимание, что IP (пространство журнала), скорее всего, больше, чем стандартный IP. С другой стороны, IP (log-space, poly-time) = IP = PSPACE.
AM (log-space, poly-time) = P из-за «Делегирования вычислений: интерактивные доказательства для магглов» Голдвассера и др., STOC 2008.
Кроме того, статья Килиана (FOCS 88) «Нулевое знание с верификаторами пространства журналов» показывает, как получить систему доказательств с нулевым знанием времени логарифмического пространства для всего, что связано с IP (очевидно, с частными монетами).
источник