Изменения

Перейти к: навигация, поиск

Классы RP и coRP

40 байт убрано, 11:14, 3 июня 2012
м
Теорема об эквивалентности определений
<tex>p_{\mathrm{RP}}(x)</tex>
'''for''' <tex>i = 1 \ldots k</tex> // <tex>k</tex> будет определено позже
'''if''' <tex>p_{\mathrm{RP_{weak}}}(x)</tex> '''then'''
'''return''' <tex>1</tex>
'''return''' <tex>0</tex>
<tex>p_{\mathrm{RP_{weak}}}(x)</tex>
'''for''' <tex>i = 1 \ldots k</tex> // <tex>k</tex> будет определено позже
'''if''' <tex>p_{\mathrm{RP}}(x)</tex> '''then'''
'''return''' <tex>1</tex>
'''return''' <tex>0</tex>
<tex>p_{\mathrm{RP_{strong}}}(x)</tex>
'''for''' <tex>i = 1 \ldots k</tex> // <tex>k</tex> будет определено позже
'''if''' <tex>p_{\mathrm{RP}}(x)</tex> '''then'''
'''return''' <tex>1</tex>
'''return''' <tex>0</tex>
<tex>p_{\mathrm{RP}}(x)</tex>
'''for''' <tex>i = 1 \ldots k</tex> // <tex>k</tex> будет определено позже
'''if''' <tex>p_{\mathrm{RP_{strong}}}(x)</tex> '''then'''
'''return''' <tex>1</tex>
'''return''' <tex>0</tex>
205
правок

Навигация