Классы BPP — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Новая страница: «==Определения== {{Определение |definition= <tex>BPP_{weak}</tex> — множество языков <tex>L</tex>, для которых с...»)
 
Строка 3: Строка 3:
 
|definition=
 
|definition=
 
<tex>BPP_{weak}</tex> — множество языков <tex>L</tex>, для которых существует <tex>p</tex>, такая, что для любого <tex>x</tex>:
 
<tex>BPP_{weak}</tex> — множество языков <tex>L</tex>, для которых существует <tex>p</tex>, такая, что для любого <tex>x</tex>:
#<tex>P(p(x)=[x \in L]) \ge \frac {1}{2} + \frac {1} {q(|x|)}</tex>, где <tex>q</tex>-полином;
+
#<tex>P(p(x)=[x \in L]) \ge \frac {1}{2} + \frac {1} {q(|x|)}</tex>, где <tex>q</tex>-полином и <tex>q(|x|) \ge 3</tex>;
 
#<tex>T(p(x)) \le poly(|x|)</tex> для любой вероятностной ленты.
 
#<tex>T(p(x)) \le poly(|x|)</tex> для любой вероятностной ленты.
 
}}
 
}}
Строка 10: Строка 10:
 
|definition=
 
|definition=
 
<tex>BPP_{strong}</tex> — множество языков <tex>L</tex>, для которых существует <tex>p</tex>, такая, что для любого <tex>x</tex>:
 
<tex>BPP_{strong}</tex> — множество языков <tex>L</tex>, для которых существует <tex>p</tex>, такая, что для любого <tex>x</tex>:
#<tex>P(p(x)=[x \in L]) \ge 1 - 1 / {2^{q(|x|)}}</tex>, где <tex>q</tex>-полином;
+
#<tex>P(p(x)=[x \in L]) \ge 1 - 1 / {2^{q(|x|)}}</tex>, где <tex>q</tex>-полином и <tex>q(|x|) \ge 3</tex>;
 
#<tex>T(p(x)) \le poly(|x|)</tex> для любой вероятностной ленты.
 
#<tex>T(p(x)) \le poly(|x|)</tex> для любой вероятностной ленты.
 +
}}
 +
 +
==Теорема==
 +
{{Теорема
 +
|statement= <tex>BPP = BPP_{weak} = BPP_{strong}</tex>
 +
|proof=
 +
Для доказательства теоремы будем использовать ''неравенство Чернова'': <br>
 +
<tex>\forall p \ge \frac {1} {2} : \sum\limits_{i = \lfloor \frac{n}{2} \rfloor + 1}^n \binom{n}{i}p^i (1 - p)^{n - i} \ge 1 - \mathrm{e}^{- 2n \left( {p - \frac{1}{2}} \right)^2}</tex>
 +
 +
 +
* Докажем, что <tex>BPP = BPP_{weak}</tex>
 +
# <tex>BPP \subseteq BPP_{weak}</tex> <br> Это понятно из определений <tex>BPP</tex> и <tex>BPP_{weak}</tex>.
 +
# <tex>BPP_{weak} \subseteq BPP</tex> <br> Пусть <tex>L \in BPP_{weak}</tex>. Тогда <tex>\exists p : P(p(x)=[x \in L]) \ge \frac {1}{2} + \frac {1} {q(|x|)}</tex>. <br> Построим ВМТ <tex>p_1</tex>, которая для входа <tex>x</tex> запускает <tex>p(x)</tex> <tex>n</tex> раз, и, если больше половины запусков принимают <tex>x</tex>, то <tex>p_1</tex> принимает <tex>x</tex>. <br> Подберем <tex>n</tex>, такое, что <tex>P(p_1(x)=[x \in L]) \ge \frac {2}{3}</tex> и <tex>T(p_1(x)) \le poly(|x|)</tex>. <br> Вероятность <tex>P</tex> того, что <tex>p_1(x)</tex> даст правильный результат равна вероятности, что больше половины запусков <tex>p(x)</tex> дадут правильный результат. Тогда по схеме Бернулли <tex>P = \sum\limits_{i = \lfloor \frac{n}{2} \rfloor + 1}^n \binom{n}{i}p^i (1 - p)^{n - i}</tex>, где <tex>p=\frac {1}{2} + \frac {1} {q(|x|)}</tex> — вероятность, что запуск <tex>p(x)</tex> даст правильный ответ. По неравенству Чернова <tex> P  \ge 1 - \mathrm{e}^{- 2n \left( {p - \frac{1}{2}} \right)^2} </tex>. То есть для того, чтобы <tex>P(p(x)=[x \in L]) \ge \frac {2}{3}</tex> достаточно подобрать <tex>n</tex>, такое что <tex>1 - \mathrm{e}^{- 2n \left( {p - \frac{1}{2}} \right)^2} \ge \frac {2}{3}</tex>. Получаем, что <tex>n \ge \frac {\ln 3} {2(p - \frac {1} {2})^2} = \frac {{q(|x|)}^2 \ln 3}{2} </tex>. Следовательно, мы можем взять <tex>n</tex> такое, что <tex>T(p_1(x)) \le poly(|x|)</tex>
 
}}
 
}}

Версия 13:55, 1 июня 2012

Определения

Определение:
[math]BPP_{weak}[/math] — множество языков [math]L[/math], для которых существует [math]p[/math], такая, что для любого [math]x[/math]:
  1. [math]P(p(x)=[x \in L]) \ge \frac {1}{2} + \frac {1} {q(|x|)}[/math], где [math]q[/math]-полином и [math]q(|x|) \ge 3[/math];
  2. [math]T(p(x)) \le poly(|x|)[/math] для любой вероятностной ленты.


Определение:
[math]BPP_{strong}[/math] — множество языков [math]L[/math], для которых существует [math]p[/math], такая, что для любого [math]x[/math]:
  1. [math]P(p(x)=[x \in L]) \ge 1 - 1 / {2^{q(|x|)}}[/math], где [math]q[/math]-полином и [math]q(|x|) \ge 3[/math];
  2. [math]T(p(x)) \le poly(|x|)[/math] для любой вероятностной ленты.


Теорема

Теорема:
[math]BPP = BPP_{weak} = BPP_{strong}[/math]
Доказательство:
[math]\triangleright[/math]

Для доказательства теоремы будем использовать неравенство Чернова:
[math]\forall p \ge \frac {1} {2} : \sum\limits_{i = \lfloor \frac{n}{2} \rfloor + 1}^n \binom{n}{i}p^i (1 - p)^{n - i} \ge 1 - \mathrm{e}^{- 2n \left( {p - \frac{1}{2}} \right)^2}[/math]


  • Докажем, что [math]BPP = BPP_{weak}[/math]
  1. [math]BPP \subseteq BPP_{weak}[/math]
    Это понятно из определений [math]BPP[/math] и [math]BPP_{weak}[/math].
  2. [math]BPP_{weak} \subseteq BPP[/math]
    Пусть [math]L \in BPP_{weak}[/math]. Тогда [math]\exists p : P(p(x)=[x \in L]) \ge \frac {1}{2} + \frac {1} {q(|x|)}[/math].
    Построим ВМТ [math]p_1[/math], которая для входа [math]x[/math] запускает [math]p(x)[/math] [math]n[/math] раз, и, если больше половины запусков принимают [math]x[/math], то [math]p_1[/math] принимает [math]x[/math].
    Подберем [math]n[/math], такое, что [math]P(p_1(x)=[x \in L]) \ge \frac {2}{3}[/math] и [math]T(p_1(x)) \le poly(|x|)[/math].
    Вероятность [math]P[/math] того, что [math]p_1(x)[/math] даст правильный результат равна вероятности, что больше половины запусков [math]p(x)[/math] дадут правильный результат. Тогда по схеме Бернулли [math]P = \sum\limits_{i = \lfloor \frac{n}{2} \rfloor + 1}^n \binom{n}{i}p^i (1 - p)^{n - i}[/math], где [math]p=\frac {1}{2} + \frac {1} {q(|x|)}[/math] — вероятность, что запуск [math]p(x)[/math] даст правильный ответ. По неравенству Чернова [math] P \ge 1 - \mathrm{e}^{- 2n \left( {p - \frac{1}{2}} \right)^2} [/math]. То есть для того, чтобы [math]P(p(x)=[x \in L]) \ge \frac {2}{3}[/math] достаточно подобрать [math]n[/math], такое что [math]1 - \mathrm{e}^{- 2n \left( {p - \frac{1}{2}} \right)^2} \ge \frac {2}{3}[/math]. Получаем, что [math]n \ge \frac {\ln 3} {2(p - \frac {1} {2})^2} = \frac {{q(|x|)}^2 \ln 3}{2} [/math]. Следовательно, мы можем взять [math]n[/math] такое, что [math]T(p_1(x)) \le poly(|x|)[/math]
[math]\triangleleft[/math]