Изменения
→Доказательство
<tex>1)ZPP \supset ZPP^{'}</tex>
Пусть язык <tex>L \in ZPP^{'}</tex>, тогда для него существует [[Вероятностная машина Тьюринга|вероятностная машина Тьюринга]] <tex>m_1</tex>. Построим [[Вероятностная машина Тьюринга|вероятностная машина вероятностную машину Тьюринга]] <tex>m_2</tex>, которая на входе <tex>x</tex> работает следущим образом:
*Запускает <tex>m_1(x)</tex>.
<tex>2)ZPP \subset ZPP^{'}</tex>
Пусть язык <tex>L \in ZPP</tex>, тогда существуе для него существует [[Вероятностная машина Тьюринга|вероятностная машина Тьюринга]] <tex>m</tex> такая, что <tex>E(T(m(x))) \le p(|x|)</tex>.
Следовательно <tex>T(m(x)) \le 2*p(|x|)</tex>. Значит , <tex>L \in ZPP^{'}</tex>.
Таким образом <tex>ZPP \subset ZPP^{'}</tex>.
Утверждение доказано.
