.
, ( , ).
. 2.9 , : (), (), (), , ().
:
1) ;
2) , .
.
, . : ( ), , , .
; ; .
, : , , .
.
1. .
2. .
3. , .
4. .
5. .
6. , .
Y
Y = <X, P, B, R>, (3.49)
X (, ); P ; B ; R . Y .
<X, P> , <B, R> - .
O
O = <Pi, i = 1, N>, (3.50)
Pi - , . (. 3.11) ( ).
, , .
X P , .
.
. . 3.12.
. 3.1, A, B, C ; Ai, Bi, Ci, i = 1, 2 .
|
|
() .
<X, P> <B, R>, .
, .
, .
3.1
A | B | C | G |
A1 | B1 | C1 | G1 |
A2 | B2 | C2 | G2 |
() ( , ) ( ).
() , ΅. () , () . , , .
.
, . , .. .
.
n X, X n.
: X n X, .
: X n {0, 1}, .
- ().
( ) , . : Q (a 1, a 2, an), a n , Q .
, . . . , . , , , , ( ), .
3 : Q(X, Y) (X, Y), Q(a, b) (, ), Q(_, b), _ , .
( ).