Изменения

# Докажите, что $BPP \subset PP \subset PS$

# Обозначим как $RL$ класс языков $L$, для которых существует вероятностная программа, которая использует $O(\log n$) памяти и если $x \in L$, то выводит 1 с вероятностью не менее $1/2$, а если $x \not\in L$, то выводит 0. $UPATH = \{\langle G, s, t\rangle,$ в неориентированном графе $G$ есть путь из $s$ в $t\}$. Докажите, что $UPATH \in RL$. Почему это доказательство не работает для $PATH$?