Есть ли способ, которым проверяющий может убедить верификатора в том, что некоторое выражение HORN-SAT выполнимо? Конечно, это может показаться глупым, поскольку для HORN-SAT существуют линейные алгоритмы времени. С другой стороны, HORN-SAT является P-полным, что означает, что он не имеет...
В большинстве вероятностных систем доказательства (например, теорема PCP) вероятности ошибок обычно определяются на стороне ложноположительных значений, т. Е. Типичное определение может выглядеть так: если то верификатор всегда принимает, но в другом случае вероятность отклонения составляет не...
Определите, что вычислительная модель MPostBQP идентична PostBQP, за исключением того, что мы разрешаем полиномиально много измерений в кубитах перед последующим выбором и окончательным измерением. Можем ли мы привести какие-либо доказательства того, что MPostBQP более мощный, чем PostBQP?...
IP (2pfa) и AM (2pfa) - это классы языков, распознаваемые с ограниченной ошибкой в частных и открытых версиях монет, соответственно, интерактивных систем доказательства с верификаторами, которые являются вероятностными конечными автоматами с двусторонней входной головкой. Известны ли какие-либо...