- . , .
, , . . .
2.7. , .
, , , . , 16 4- , 32- S, . 16 , ᒺ 216 16384 , 1024 .
S 䒺 , . , 32 . 16- , .
, , . , , , S , . , .
, . , , , .
( , R1 R2). , , , R1, R2, q = 1- . , , . , , . , .
|
|
,
. R1, , , R2,
- .
, , , . , .
2.4 .
, , .
.
. , . . , , , , .
, , .
ϳ ﳺ , , . ϳ ﳿ , , , .
.
, , . , 70 80 , 64- . , . , .
|
|
, .
, , , , , , . , , , . - , , , , . , , . , , , , .
, , , . , , , .
64 . 264 . (264 ≈ 1019 )
ϳ N N3:
= ( 0, 1, , n -1) Z2,N;
Z2,N
= .
, N = 4,
(0,0,0,0) → 0 (0,1,0,0) → 4 (1,0,0,0) → 8 (1,1,0,0) → 12
(0,0,0,1) → 1 (0,1,0,1) → 5 (1,0,0,1) → 9 (1,1,0,1) → 13
(0,0,1,0) → 2 (0,1,1,0) → 6 (1,0,1,0) → 10 (1,1,1,0) → 14
(0,0,1,1) → 3 (0,1,1,1) → 7 (1,0,1,1) → 11 (1,1,1,1) → 15
, 䳺 ( ), .
-, , , .
-, , .
p , p: → = p (x), = ( 0, 1, , N -1), ( 0, 1, , N -1)
,
p (xi) = i, 0 ≤ i < m,
p , = { xi: xi Z2,N } Y = { i }.
{ xi }, p (xi) { i }, p Z2,N.
, p , . ,
= { pj: 0 ≤ j< 2N }, pj(i) =(i+j) (mod2N), 0 ≤ i < 2,
p (x) p. Z2,N.
: p, , ,
xi ↔ i, 0 ≤ i < m,
, { i }.
p , , .
[]
[] = { p {k}:k K},
k K; k , . , Z2,N.
[] . i j k , , , [] , . , N , N p {k} k
|
|
y = p {k,}.
,
³ ;
³ p {k} k;
, .
:
i j;
( ) y, i j, , .
(x ↔ ) .
N , . , :
- ;
- .
, N = 64 , =
264 64- ; 264≈1.81019 ;
, (264)!, ; N p {k,xi} = i, 0 ≤ i < m, p {k,x} x { x i }.
, Z2,64
= (, , , , ).
, . :
N ( 64 ) , ;
, ;
p {k,x}: → = p (k,x) , / / .
2.5 .
2.5.1 .
. , .
, .
.
, , , ( ).
, , , , .
ҳ
ʳ
|
, , , , , .
, , ,
Ti Ki Ti+1 |
, . .
( ) =
Ti Ki Ti+1 |
, , , .
i+1 = i f (i, i).
,
i+1 = F(i, i).
³ , F , f '.
³ f ( ) . .
, . г .
, g (i+1, i)
F(i i) = g (i+1, i).
dz , , , , .
, , .
2.5.2 .
(.2.9).
ϳ . , , . , , . IBM Watson Research Lab .
, , . 1925 , , , . . .
2.9
-, , , , . , . , ,
. , , , .
. ³ , .
, . : Li Ri . , . Fi (Ri, ), . () ( ) Li+1 Ri ,
() , ( )
, . , . , , . , , ( , ). , , , . , Fi (Ri, ), . , - , , .
|
|
, . . , , , , .
, , ? , , , , . , Fi-1(Ri, ). , . , .
, , .
, , Fi (Ri, ), . , . , .
, , . , . , , . , , , .