() .
.
, :
;
, , m n , q( ) ( ) φ(l) (ai,qj) ( ); \|/ (m)(ai,qj)( ).
1
2) , l m..
. , qj (j= 1,..., ). m
( ) - X(V). , i X qj Q(S), (i,\|/ (ai,qj), , φ (ai,qj)
, . , .
(4), , :
w = m (s) (5)
, . A = < V,W,S,l,m,s (0)> . .
, (6)
. (7)
= (X;Q;Y; φ;\|/), , .
X- ;
Q- ;
Y- ;
φ - ;
\|/- .
.
1. k, r, s, 2k-1 < < 2k;
2r -1 < ≤ 2r; 2s-1 <p≤ 2s, m = ||; n = |Q|;p = |Y|.
, k,r, s , , . , 5, = 17, = 3, k= 3, r= 5,s = 2.
2.
.
qj Q - r = z1z2zr. i X bk Y =x1x2xk; =y1y2ys.
, , . () .
|
|
. |
3. :
k + r + r + s 2k+r . k + r k + r. (), - , .
4. ( ).
(ai,qj), i X; qj Q, . ( ) \|/(; q) = Y. = '1 '2... ',. .
5. .
, . , m, n 2. , . . , , , .
3.2 .
. :
1) ;
2) ;
3) .
(4) , s (0) v (0) v (1) v (2) v (t) w (0) w (1) w (t).
.
1. 1 2 . 3 , . 3 , . .
:
v 1 - 1 ;
v 2 - 2 .
:
w 1 - " 1 .";
w 2 - " 2 .";
w 3- ;
w 4 - .
:
s 0 - 0 . ( );
s 1 - 1 .;
s 2 - 2 .
2, - 3.
, , - (.3).
|
v 1 v 1 v 2 v 2 v 1 v 2 v 2 v 1 v 1 v 1:
t | ||||||||||||
v(t) | v1 | v1 | v2 | v2 | v1 | v2 | v2 | v1 | v1 | v1 | ||
s(t) | s0 | s1 | s2 | s0 | s2 | s0 | s2 | s0 | s1 | s2 | s0 | |
w(t) | w1 | w2 | w4 | w2 | w3 | w2 | w4 | w1 | w2 | w3 |
2. , / ( 4).
|
|
4
/ | |
v 1 v 2 | s 1 v 1 s 2 v 1 s 2 v 1 s 0 v 1 s 0 v 1 s 0 v 1 s 1 v 2 s 2 v 2 s 2 v 2 s 0 v 2 s 0 v 2 s 0 v 2 |
.4 / , .4. v (0). : .
3. , (s i, v j) s ij. v 1 v 1 v 2 v 2 v 1 v 2 v 2 v 1 v 1 v 1 :
t | |||||||||||
v 1 | v 2 | v 2 | v 1 | v 2 | v 2 | v 1 | v 1 | v 1 | |||
s 01 | s 11 | s 12 | s 02 | s 21 | s 02 | s 22 | s 01 | s 11 | s 21 | ||
w(t) | w 1 | w 2 | w 4 | w 2 | w 3 | w 2 | w 4 | w 1 | w 2 |
4.
, . . , , . , , s q, /, , s q . , , . 5.
. 5. ,
{s0, s1, s2, s3} , : {2,5}. s0( ), . {0,..., 5} :
y0: ;
yl: ;
2: ;
: ;.
4: ;
5: .
, , . , , . , 2,2, 2 , 2, 2, 5, 2 . , ( , ): 2, 2, 5 , .
, . , , , , , .
, , (). , , . . () , , .
.
, . .
|
|
|
5, :
. 5, : . (s0, 2) = 2; (s2, 5) = 3;....