Изменения

Сложностные классы RP и coRP

1 байт убрано, 15:43, 15 апреля 2010

м

Нет описания правки

где <tex>m</tex> - это вероятностная машина Тьюринга, время работы которой ограничено полиномом от длины входа.

'''Доказательство.'''

<tex>\mbox{ZPP} \subset\mbox{RP}</tex>

15

правок