. , , () , . , , [31].
, , --. j, . ( ) .
. [31]: , :
f1(321)=(000)Ú(101)Ú(110)Ú(111);
f2(321)=(000)Ú(010)Ú(011)Ú(101).
:
={000(1,2),010(2),011(2),101(1,2),110(1),111(1)}.
. , , 000 (1,2), , .
j :
j=000(1,2)Ú010(2)Ú011(2)Ú101(1,2)Ú110(1)Ú111(1).
!
:
1 2: (0-0)(2)Ú(010)(2)Ú(000)(1,2);
2 3: (01-)(2)Ú(010)(2)Ú(011)(2);
4 6: (1-1)(1)Ú(101)(1,2)Ú(111)(1);
5 6: (11-)(1)Ú(110)(1)Ú(111)(1).
:
j=(0-0)(2)Ú(000)(1,2)Ú(01-)(2)Ú(1-1)(1)Ú(101)(1,2)Ú(11-)(1).
(. 40).
40
|
| |||||||||
000 | 010 | 011 | 101 | 110 | 111 | |||||
1 | 2 | 2 | 2 | 1 | 2 | 1 | 1 | |||
0 | - | 0 | + | + | ||||||
0 | 0 | 0 | + | + | ||||||
0 | 1 | - | + | + | ||||||
1 | - | 1 | + | + | ||||||
1 | 0 | 1 | + | + | ||||||
1 | 1 | - | + | + |
, j:
j=(000)(1,2)Ú(01-)(2)Ú(101)(1,2)Ú(11-)(1).
10.
, :
f1(321)=(000)Ú(101)Ú(11-);
f2(321)=(000)Ú(01-)Ú(101).
, , , :
f1(321)=(000)Ú{(101)Ú(111)}Ú{(110)Ú(111)};
f2(321)={(000)Ú(010)}Ú{(010)Ú(011)}Ú(101).
|
|
:
f1(321)=(000)Ú(1-1)Ú(11-);
f2(321)=(0-0)Ú(01-)Ú(101),
14.
[6].
, .. , .
() n- ω=εnε2ε1, εiÎ{0,-,1,Æ}. , a=sns2s1, siÎ{0,1} .
i- :
0 xi ( xi), ;
1 xi ( xi), ;
- () xi ( xi), , .. : ;
Æ ( ) xi ( xi), , .. : .
, Æ, , A=Æ.
A B , , . : 0-0--01=0-0--01¹-00--01.
: ( ), , .. .
1. ( ) , . 41.
41
ε | 0 | - | 1 | Æ |
1 | Æ | 0 | - |
2. , , . 42.
42
ε | 0 | - | 1 | Æ |
^ε | 1 | - | 0 | Æ |
3. ( ) ω1Ùω2, , . 43.
43
Ù | εj | ||||
0 | - | 1 | Æ | ||
εi | 0 | 0 | 0 | Æ | Æ |
- | 0 | - | 1 | Æ | |
1 | Æ | 1 | 1 | Æ | |
Æ | Æ | Æ | Æ | Æ |
4. ( ) ω1Úω2, , . 44.
44
Ú | εj | ||||
0 | - | 1 | Æ | ||
εi | 0 | 0 | - | - | 0 |
- | - | - | - | - | |
1 | - | - | 1 | 1 | |
Æ | 0 | - | 1 | Æ |
:
|
|
, () , ( ).
( , , ), Ù= Ú=.
» Ê Í.
.
(, . 45).
45
/ | x4 x1 | z6 z1 |
1 | 00-0 | -111-- |
2 | 0-0- | 1--1-1 |
3 | 0011 | -101-1 |
4 | 011- | 100111 |
5 | 1-00 | ----00 |
6 | 1-11 | 011011 |
7 | 1110 | 00--0- |
( ), (.. ai aj, aiÙaj¹Æ) (.. bi bj, biÙbj¹Æ).
, .
(). () .
.
, , . .
(i-), , .
i- , i- .
.
i- , , 0 , i- .
, 2 (. . 45), : f2=a2,[a5,a6,a7]=0-0-,[1-00,1-11,1110]=0---.
[6]. , , () (, --).
. . , , () . , , , . , - , .
|
|
, , . .. , .
, : f2=a2,[a5,a6,a7]=0-0-,[1-00,1-11,1110].
0 | - | 0 | - |
1 | - | 0 | 0 |
1 | - | 1 | 1 |
1 | 1 | 1 | 0 |
, 0---.
. ( 2 1--1-1).
i- , .
- j- (aj) fi (ajÍ fi), (bj) j- , , (bi) i- , .
, 2 (. . 45) a1=(00-0)Í(0---)=f2; b2=(1--1-1), , b1=(-111--) b1*=(-11---). a3=(0011)Í(0---)=f2 , b3=(-101-1) b3*=(-10---), a4=(011-)Í(0---)=f2 b4=(100111) b4*=(-00-1-).
.. , .
.
(. . 45), .
5 7 . ( . 46 Ú0) , . 1. : f1=a1,[a3,a4,a6,a7]=00-0,[0011,011-,1-11,1110]=-0-0.
f1=(-0-0) , b1=(-111--) (. 1 . 47). 1 . f1=(-0-0) , . .
46
/ | x4 x1 | z6 z1 | |
1 | 00-0 | -111-- | Ú1 |
2 | 0-0- | 1--1-1 | Ú2 |
3 | 0011 | -10+-+ | Ú3 |
4 | 011- | +00+++ | Ú4 |
5 | 1-00 | ----00 | Ú0 |
6 | 1-11 | 011011 | Ú5 |
7 | 1110 | 00--0- | Ú0 |
47
|
|
/ | x4 x1 | z6 z1 |
1 | -0-0 | -111-- |
2 | 0--- | 1--1-1 |
3 | -0-- | -10--- |
4 | 0--- | -00-1- |
5 | 1--1 | 011011 |
. 2. : f2=a2,[a5,a6,a7]=0-0-,[1-00,1-11,1110]=0---. , b2=(1--1-1), 2 . 47. 2 ( . 46 2 Ú2). f2=(0---) , f2=(0---)Ê(0011)=a3, b3=(-101-1) , , b2=(1--1-1), . , b3=(-101-1) b3*=(-10---). . 46 + , 1 - (. 3). , f2=(0---)Ê(001-)=a4, b4=(100111) b4=(-00-1-), 4 . 46.
3 3 , 4 4 , , 6 5 . , (. . 47).
. 46 : , i- , Úi, 1 - + .
, (. 45) (. 47).
() .
.
: .
, , , (ai=aj), , (biÙbj).
, (. . 47) 2 4 (a2=a4=0---), (1--1-1)Ù(-00-1-)=(100111).
. 48.
48
/ | x4 x1 | z6 z1 |
1 | -0-0 | -111-- |
2 | 0--- | 100111 |
3 | -0-- | -10--- |
4 | 1--1 | 011011 |
, . - ai aj (aiÊaj), bj , , bi , .
, (. . 48): a3=(-0--)Êa1=(-0-0), b3=(-10---), b1=(-111--).
, 1 b1*=(--11--).
. 49.
49
/ | x4 x1 | z6 z1 |
1 | -0-0 | --11-- |
2 | 0--- | 100111 |
3 | -0-- | -10--- |
4 | 1--1 | 011011 |
yk-y1 .
yj , , , , yj.
. 49 , :
, , :
S=6.
|
|
, :
S=8, 2 , .