54
правки
Изменения
м
Нет описания правки
<tex>p(x)</tex>
'''forall''' <tex>x_{d_1}x_{d_2} x_1x_2 \ .. \ x_{d_n} x_n :</tex> все возможные разбиения <tex>x</tex> '''if''' <tex>(p_1(x_{d_1}x_1) == 1) \land (p_1(x_{d_2}x_2) == 1) \land \ ... \ \land (p_1(x_{d_n}x_n) == 1)</tex>
'''return''' 1
'''return''' 0
<tex>p(x)</tex>
'''forall''' <tex>x_{d_1}x_{d_2} x_1x_2 :</tex> все возможные разбиения <tex>x</tex> на две части '''if''' <tex>(p_1(x_{d_1}x_1) == 1 \land p_2(x_{d_2}x_2) == 1)</tex>
'''return''' 1
'''return''' 0
<tex>p(x)</tex>
'''forall''' <tex>x_{d_1}x_{d_2} x_1x_2 \ .. \ x_{d_n} x_n :</tex> все возможные разбиения <tex>x</tex> '''if''' <tex>(p_1(x_{d_1}x_1) == 1) \land (p_1(x_{d_2}x_2) == 1) \land \ ... \ \land (p_1(x_{d_n}x_n) == 1)</tex>
'''return 1'''
<tex>p(x)</tex>
'''forall''' <tex>x_{d_1}x_{d_2} x_1x_2 :</tex> все возможные разбиения <tex>x</tex> на две части '''if''' <tex>(p_1(x_{d_1}x_1) == 1 \land p_2(x_{d_2}x_2) == 1)</tex>
'''return 1'''
