Уменьшение ошибки в классе RP, сильное и слабое определение

Определение классов [math]PR, RP_1, RP_2[/math]

Множество языков RP определяется следующим образом:

[math]RP = \{L \mid \exists m: P(m(x) = 1 \mid x \in L) \geq \frac{1}{2}, P(m(x) = 0 \mid x \notin L) = 1\}[/math]

Определим множества языков [math]RP_1[/math] и [math]RP_2[/math]:

[math]RP_1 = \{L \mid \exists m: P(m(x) = 1 \mid x \in L) \geq \frac{1}{p(|x|)}, P(m(x) = 0 \mid x \notin L) = 1\}[/math]

[math]RP_2 = \{L \mid \exists m: P(m(x) = 1 \mid x \in L) \geq 1 - \frac{1}{2^{p(|x|)}}, P(m(x) = 0 \mid x \notin L) = 1\}[/math]

В приведенных определениях [math]p(|x|)[/math] — некий полином, а [math]m[/math] — вероятностная машина Тьюринга, время работы которой в худшем случае составляет полином от длины входа.

В классе [math]RP_1[/math] ослаблено ограничение на вероятность ошибки ответа, а в классе [math]RP_2[/math] усилено. Соответственно [math]RP_1[/math] называется слабое определением класса [math]RP[/math], а [math]RP_2[/math] — сильным.

Доказательство эквивалентности определений

Включение [math]RP_2 \subset RP \subset RP_1[/math] очевидно, следовательно осталось доказать обратное включение: [math]RP_1 \subset RP \subset RP_2[/math]. Доказательство данного утверждения проводится с помощью метода уменьшения ошибки в классе [math]RP[/math].

• Докажем включение [math]RP_1 \subset RP[/math]

Выясним, сколько раз требуется запустить машину Тьюринга [math]m[/math] из [math]RP_1[/math], для того, чтобы вероятность ошибки была меньше [math]\frac{1}{2}[/math]. Запустим машину [math]m[/math] [math]k[/math] раз, тогда вероятность ошибки составит [math](1 - \frac{1}{p(n)})^k[/math]. Получим неравенство:

[math](1 - \frac{1}{p(n)})^k \lt \frac{1}{2}[/math]

Логарифмируя, сведем к следующему: [math]k\ ln(1 - \frac{1}{p(n)}) \lt ln(\frac{1}{2})[/math]

Разложив логарифм в левой части в ряд, получим: [math]k(-\frac{1}{p(n)} + o(\frac{1}{p(n)})) \lt ln(\frac{1}{2})[/math]

Откуда [math]k \gt p(n)ln(2)[/math], где [math]n[/math] — длина входа. То есть при [math]k[/math], удовлетворяющем полученному неравенству вероятность ошибки не будет превышать [math]\frac{1}{2}[/math], а следовательно [math]RP_1 \subset RP[/math].

• Докажем включение [math]RP \subset RP_2[/math]