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