Были ли попытки показать, что колмогоровской случайности было бы достаточно для RP ? Будет ли вероятность, использованная в утверждении «Если правильный ответ ДА, то она (вероятностная машина Тьюринга) возвращает ДА с вероятностью ...» всегда будет правильно определена в этом случае? Или для этой вероятности будут только верхние и нижние границы? Или всегда будет существовать некоторая вероятностная машина Тьюринга, для которой вероятности будут четко определены (или, по крайней мере, нижняя граница, которая должна быть больше 1/2)?
Класс RP здесь относительно произвольный, и этот вопрос можно также задать для более слабых понятий (псевдо-) случайности, чем случайность по Колмогорову. Но случайность Колмогорова кажется хорошей отправной точкой.
Осмысление слова «вероятность» было бы частью попытки показать, что случайность по Колмогорову работает на RP. Однако позвольте мне попытаться описать один из возможных подходов, чтобы уточнить, что это может означать и почему я говорил о верхних и нижних границах:
Пусть - (случайная по Колмогорову) строка. Пусть A - заданная вероятностная машина Тьюринга, соответствующая языку из RP. Запустите A с s в качестве источника для случайных битов n раз, продолжая использовать ранее неизрасходованные биты из s один за другим.
Для p s - : = lim inf n → ∞ p s n p s + p s - s p s + = p s - s p s 1 - = p s 2 - ев 1 сек 2 р ≥ 1 / 2 р ≤ р s
источник
Ответы:
Я думаю, что вопрос, который здесь задают, примерно такой: «Есть ли смысл, в котором мы можем заменить последовательность случайных битов в алгоритме битами, детерминированно взятыми из подходящей длинной колмогоровской случайной строки? » ответ! (Краткий ответ: «Да, но только если вы сначала увеличите вероятность ошибки»)
Да...
Мы, конечно, можем что-то сказать здесь. Пусть - некоторый язык, и пусть - алгоритм, который принимает в качестве входных данных и случайную строку (равномерное распределение по ) st . Другими словами, - это алгоритм, который ошибается с вероятностью не более .A x r ∈ U f ( | x | ) { 0 , 1 } f ( | x | ) Pr [ A ( x , r ) = L ( x ) ] > 1 - ϵ ( x ) A ϵ ( ⋅ )L A x r∈Uf(|x|) {0,1}f(|x|) Pr[A(x,r)=L(x)]>1−ϵ(x) A ϵ(⋅)
Теперь обратите внимание, что если дает неправильный ответ на т. Е. , это дает нам некоторые средства описания , в частности, мы можем описать его как -я строка, которая заставляет ошибаться наДля этого мы просто создаем машину, в которой жестко заданы , , и бит , и просто перечисляем варианты из пока не найдет выбор такой, что .A (x,r) A(x,r)≠L(x) r i A x. x A i b=1⟺x∈L r′ {0,1}f(|x|) i r′ A(x,r′)≠b
Итак, теперь, когда мы знаем, что можем использовать неправильный выбор случайной строки в описании, давайте рассмотрим некоторые условия, достаточные для превращения нашего описания в сжатие. Чтобы описать , нам требуется достаточно битов для описания , , , а затем кода для нашей процедуры (код для и описанная нами процедура), дающих в качестве описания длиныr r x i b A
Напомним, что это длина , так что это сжатие если например, когда .r f(|x|) r
Наконец, обратите внимание, что если бы была случайной строкой Колмогорова, то у нас не могло бы быть такого сжатия, так как, если вероятность ошибки достаточно мала, случайная строка Колмогорова вместо последовательности случайных битов заставит ответить правильно!r A A
Обратите внимание, что единственное, что мы используем в - это малая вероятность ошибки. Нам не важно, имеет ли очень длительное время выполнения, или если имеет одну или две односторонние ошибки.A A A
Возвращаясь к вопросу о (или или ), это говорит о том, что до тех пор, пока мы усиливаем вероятность ошибок наших алгоритмов, мы можем использовать случайные последовательности Колмогорова вместо их случайных битов.RP coRP BPP
... Но только если мы усилим в первую очередь.
Следующим вопросом может быть «могу ли я сделать это без усиления вероятности ошибки?» Рассмотрим следующий алгоритм который решает и имеет вероятность ошибки .{ 0 , 1 } * 1 / 2 лA {0,1}∗ 1/2n
На входе :x
Обратите внимание, что для каждого выбора существует некоторый выбор такой что ошибается на , а именно выбор который равен , поэтому мы не можем заменить случайную последовательность битов, используемых случайной строкой Колмогорова без усиления это вероятность ошибки!x A x r x Ar x A x r x A
Примечание об источнике: я не уверен, является ли что-то из этого новым, но я включил первый аргумент в мою рецензию на мой квалификационный экзамен, который в конечном итоге будет доступен онлайн после того, как я закончу его пересматривать.
источник