Пусть вероятностная машина Тьюринга имеет доступ к недобросовестной монете, которая выпадает в голову с вероятностью (броски независимы). Определите как класс языков, распознаваемых такой машиной за полиномиальное время. Это стандартное упражнение, чтобы доказать, что:
A) Если рационально или даже вычислимо, то . (Под вычислимым я имею в виду: существует рандомизированный полиномиальный алгоритм, который подает в унарных возвращаемых значениях, когда двоичное рациональное число со знаменателем лежит в пределах от .)B P P B P P p = B P Pп 2 п 2 - п - 1 р
B) Для некоторого невычислимого класс содержит неразрешимый язык и, следовательно, больше, чем . Такие значения образуют плотное множество в .B P P p B B P P p ( 0 , 1 )
Мой вопрос заключается в следующем: что происходит между ними? Есть ли критерий для ? В частности:
1) Существуют ли невычислимые в вероятности такие, что ? (Они могут быть вычислимы в некоторых высших классах).р Б Р Р р = B P P
2) шире, чем для всех невычислимых ? (Рассматриваемые параметры - это те, чье двоичное расширение содержит очень длинные последовательности нулей и / или единиц. В этом случае вычисление битов методом случайной выборки может занять очень много времени, даже не вычисляемое, и проблема не может быть масштабирована до полиномиального времени. Иногда трудность может быть преодолена с помощью другой базы расширения, но некоторые могут обмануть все базы). Б Р Р р р
Ответы:
1) Да, но только из-за вашего определения. Возьмите унарный язык (да, я знаю, что это может быть пустым, в этом случае просто возьмите что-то даже больше, чем ), что очень мало в том смысле, что если не является башня , т. е. в форме . Определите . Это не является вычислимым, но может быть аппроксимировано в до достаточно малой аддитивной ошибки, которая позволяет моделировать машину .L∈EXP∖BPP EXP n∉L n 2′s 222… p=∑n∈L1/n Б Р Р р Р В Р Р рp BPP p P BPPp
Если бы вы определили вычислимость так, что вы хотите приблизить до аддитивной ошибки (вместо ) за полиномиальное время, все было бы иначе.р 1 / п 1 / 2 нBPP p 1/n 1/2n
Обновить. Ответ ниже для случая, когда допускаемая нами аддитивная ошибка равна вместо .2−n 2−n−1
2) Да, потому что здесь вы можете забыть о полиномиальном ограничении на классы и, выбрав раз, вы можете получить бит в .2n n p BPPp
источник