. , . , .
1999
22.12 22.134 53 . ,
. , . ...
35 downloads
211 Views
1MB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
. , . , .
1999
22.12 22.134 53 . ,
. , .
53 . | .: , , 1999. | 192 . ISBN 5-900916-35-9 # $ %&' (
' %&
)$ ( * + ,& & ( -.+ %%/ &+ , )- ' + | & + 0 +. 1
%& ' & ' /- & - 2 +. 3 * %'&, ( $ - & 0 +, - % 0 (0 .*/ &* 455 0 0 $& *. 6 /' 5 ( -* * 0 %7 )+ (
&$ $' ,/ ), % & , / 0 & , : * * 5 ( . 22.12 22.134 ( 99{01{14054) ISBN 5-900916-35-9
c :. , :. ;), . 1 +, 1999 c , 1999
. . . . 071150 11.04.95 #. $% & %' 16.09.99 #. )* 60 90=16. +,*# - 1. $' - . $. . 12,0. 0 1500. 1'& &# 2 %& # **# 3& . 121002, &, +'4 '& %., . 11. 1'& 56 7. - : 121002, &, +. '& %., . 11, * . 208. . 241 33 90, 241 18 69. . 118899, &, ,. ;. NP: &*' % . . . . . . . . . . . . . . . . . . . . . . . . . . 3. #* BPP. $& % . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4. 1 0 & . . . . . . . . . . . . . . . . . . . . . . . . . . . .
II. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14.
@% 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A 4 *0, * & &* & * . . + & & * . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . @% & &# & . $*. . . . . . . . . . . . . . . >& & & . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ) ,* %3& * % . . . . 1*C % . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . + & & #* . . . . . . . . . . . . . . . . . . . . . . . . . . . >& & # NP: BQNP . . . . . . . . . . . . . . . . . . . . . . . . > & & . . . . . . . . . . . . . . . . . . . . . . . . . . .
III. ! 1 1 1 2 1 4 1 6 1 7 1 8 1 9 1 10 1 11 1 12 1 14
............................................. ............................................. ............................................. ............................................. ............................................. ............................................. ............................................. ............................................. ............................................. ............................................. .............................................
#$ &' $
4 6 9 17
17 29 37 43
50
52 56 60 68 75 81 86 90 105 119
142
142 156 164 166 166 174 178 179 184 184 185
188 191
1 % ' $' & */, ( ' % )( (*2+ + *0 %& &$ ( 7 + $ ' ? , %& )+,
4%& * ) & , 4+ , . ' %&% 5 ( + & ( 7 0 *%)-& % &@ . A& $, 4 ' ) 0 ' +. ' 2 4+ , % * * + 0 & &. # $ %&' (
' %&
)$ ( * * * + & + 0 +. 6 /',
' ? & ' /- & - 2 +. 3 * %'&, ( $ - & 0 +, - % 0 (0 .*/ &* 455 0 0 $& *. / $ * & /& E>) K-7 ( $ >) & 7 2 % *'/ - 2 ( 2 %&* /**
+0 %&& ) *% 7 ( $ ' ) $ 4 ) *2 0 5 A %/+ * (%&, ) 5 * @ O)-& $
5/7 %&0' * @ O)-& $
' *) %&' % &%/ (L1 ' L2 ) (. 32) /./ C, f(n) 6 Cg(n) /./ C, f(n) > Cg(n) 2 *, f(n) = O(nO(1)) % ( q 4 * )7 % *'/ - n
'' $&/%% )7 Z=nZ */ ) % $&/%% ,& *0 4 * Z=nZ (= Hom(E U(1))) | $&/%% 0 & & , + $&/%% E *% $&/%% ' % * F2 & (*& n (. 133) & @ & *% $&/%% ' % * F2 & (*& n (. 132) *2 *% 0 *% %&2 $&/%% / &0 %& &
%&& M
7
SU(M) SO(M)
%7 ) / & $&/%%
%&& M %7 ) &$ ) $&/%% '* %&& M C (a b : : : ) %&& , %&2'? & * a b : : : M %&& +0 5/7 %&& M Mn n- (& %) L(M) %&& +0 %& & M L(N M) %&& +0 ,& 2 + ( N M B + , (*2 f0 1g) B + , (q-, , %&& C 2 | . 50) h j ,& -& (. 53) j i -& (. 52) h ji & %& (' Ay 4&* %&2?+ %& & ,& * % & , (Controlled NOT) (. 57) f ,& * 5/7 , /-. ,/ + 5/7 f (. 56) IL 2'+ %& & %&& L G^ / &+ %& &, /-. + %& G (. 56) Z(U) %& & U * /%& * (. 60) [M %&& (%& & %& & )
%'%&& M (1 1 : : : n n ) , ( %& & %&& Bn (. 130) AB %&,& ( * & 7 % 7! A B (. 125) U\A] %& &, '+/-. + + &$ & (*2 q-, ) A (. 54) TrF A
+ ' %& & A % %&& / F (. 79) kk &* & (. 64) %& & &*
%& & (. 64) k ktr ' &* (. 123) k k} &* ' %&,& ( + * & 7 % (. 125) jj *.) *2 *'/ )
he
8
* &&
0 & & 5/7 *2 S , )@ + ,. + ' ) x y & % *'/ - q % *'/ - q %&' & 7 )$ a=b ' & *+ '&, &) , A / &) ( & ( 0 0) &) (. 78)
jk
S () (x y) a b (mod q) a mod q a b
Pr\A] P(j) P( M)
: 1 0 1 1 1
H = p2 1 ;1 K = 0 i * & 7 D / : x = 01 10 y = 0i ;0i z = 10 ;01
: P P=poly BPP NP
(. 22) (. 25) (. 37) (. 30)
MA [k `k BQP
(. 106) (. 44) (. 44) (. 74)
BQNP (. 106) PP (. 74) PSPACE (. 22)
1 *%)-&,
%&+ < + * @ = & )( 4,, '2 1) Cray'*, ' 0 0 2 %& 7 % 0. A $ + (& *%)-& ( , (%&*0, %& * -. 0 (
0 1), %&$& ** | 4 % ' )) %& 7 +, 2' ( &0 % )(/ , )@ , . , *%)-& & , - ,& &0, %&$& 4* %& * %&' . O&/' %&'% 2 ), & (*& & ( & $ $ 4 * ,/' *)@ 10;8 * (' *& * '&' ), & , | , )@ 1015 f7 ( *0 %&0'). O ' 2 /%&*%)-& ,/'/.$ *$/ &@ ) ) ( '
, *-. ! " 2). *& *, %& *&, ( '
/ & ( 2 7 $ x %& *2 .p '+ %, | 4 %%&, ) & (' ) x 2 ' x. g p x * n ( ' + ( % , %& '? %&,& ) x 2n=2 & . A/./ 0 &/*+ $& *, &@ -. + / 2 ( '
/ %& *& ( exp( n1=3 ) @ $ (c = const). 6 2 4* / , , & ( 2 ) *2 ( * ( , 0 &* 2 ( 1 +. (1(*2, ) , 455 $& *, 4%, %- ' **/, (, ) /' .) A/./, ' , '&/$+ %, /& ) %&7 ' &0 %7 )0 ( '
. 6 *, , *%)-& % )(/- 0 (*2+, %&' *0 %& &'+. # /&2' *2 % ( ) @* '*: %& &' ) *2 %&7, &@ %02 0 %& 7 / * ' 7 * . 2 %% ) % )( ) 4 %&7 1) 1833 . , , " # $ # , & . $ ' & & ' , " & . ( $, $' $ , | 1991 & ' .)
10
' (' $+ )+ * @ . %& *&, &5&7 *2 % )( ) ' %&,& ( j/&). ' , )@ / $&@ & %& 7 % )*, . . , ( & (*& /&+ . D&
( - *, /& # 5 ( ( %& *&, /& ) 455 &@ - , * 7 5&* *%)-&. (
455 ? 1 &5&7 + & *2 ( ) * & ( , )@ &* , * & )+ 4%& *, %*/ &) , ' * . ' / * & (*& *' &/*+ 5 ( + * ,0' *0 )0 %& 7 + & ? @* ,& | %*, , %& $& ) & 2 , $%$ ,& (*. ( %& , %& 7 + %&%&7 ) V t, $' V | ,K?*, t | &*.) O * ,& (*, 5 ( @* , ,. * (. . /%&%( 7 ) | 4 & ' + ' 2n -*&* *% * %&& . >(* ( %&' ?+ %&*2/ &* % / &+ * & 7+ & (*& 2n 2n . g %&*2/ &* ) * ( ~=J, $' J | 4&$ ( *'+ ), 4 * & 7 /& ' %&H 2'+ ( ? 4 * *2 $ ), ( ( *'+ *2'/ % * . g 2 * 0 * /( ) (* * ( , )@+ %&*2/ &* , %& '? %&*2 ) * & 7. 6 4$ &,/ 4%7 ) , )@ %& 7 +. 1 . &* ( $ %, /%& ) ' , & $, *' & + *0 4%7 )
11
2+ )+ ( '
+. ' 2 * /&2' *2 5&*/ & )
: * 455 0 @ , % - ,&, * 0 /' ? %& ). D & (* 7 *, 0 2 & 10;2 ' 10;6 ( (
( 0 & & (*/. + % )(/*+ 0* &&7 @ ,). > , !%' %&% + ' & ( 7 $ *%)-& . ' ( '
) &/' , ? *2 & ) ( '
+ , /%& ** &*'&* (. 1 ** ' , ,0' * /' & ) ) * % * ** &, *. 1. # * $ *%)-& | , (%
- %',) | ' 2 ,) ( & '&/$ '&/$ &/2 -.+ &'. 2. ,0' * *) (*2) (, & )$ ('+ % &/ 0 , . (1(*2, %&,/ ) % ('+ '/ / 2 % &/, % *0 & ( * / &* %& & * .) 3. 2'+ ( / &0 %& & ' 2 ,) & ( )- < 0 (*. @).
14
4. (/* %& & ' 2 ,) ' & ). O $&, ' 2 ,& ( ) % & , , -,+ '&/$+ %& & %&' * * & 2 &( 0. 1 . &* /./ ) %'0' %&, * & ( 7 $ *%)-& . 1. ! . # %& , 0&@ & (& , ', /./ ) 0 & 0. 6 %&' $ , *2 % )( ) , 4 & /& , /& + &0+ &//&. >* 4%& * ) 0 , %( -. /'&2 ) ' )+
* /@ ( %$ * $ $ %&*$ 4 & $ % ' )$ &* (%&' 1 ). > *2 , ' $ *%)-& $ ' ) 2 ( * , ) & . &, 2 %& * %& , $ *%)-& &* & )( 4,, '2 , (,& &$ , & ( @) %/. /'* '), @ &* / -0 + %&$& ' ,&, %4*/ %& '? 2' ) ' $. 1(*2, ' '+ 2+ ' % - ) & (& ,/ + 0 $ : : :
I 1. ?
5&* ) , $ | 4 '(
%&' ? /%) &/7 + % %&,& ( - 0'0 ' 0 &(/ ) , %& ?* &/7 $ %, . . %& 0 % n 0' 0 ' n, *2 *' & ) * @ ' + + ( &* O(T 2 (n)). 1.7. 6 2 , &? 0 /- * @ / O)-& $ , & , -./( &* T(n) > n 0' 0 ' n, *2 *' & ) '/0 + ( &* O(T (n) logT (n)). 1.8. D/) M | * @ O)-& $ ' + +, & % &/ 0' (%& % $ % - %& *$ ). D/) T (n) | * * ) &* ? & , 0' 0 ' n. 6 2 , T (n) > "n2 ' &$ " ' 0 n. *2 ( ) %& T 0 (n), & ) * * ) &* ? & ,
0' 0 ' n? 1.9. *& * ( %&$& ** & , &* ) $ 100 /& )0 %&*0, & (&@? %& 7 | %& , 1, & (&@? %&& | & %&* / -. (&@ % )( ) if-then-else while, &/& & (&@ . 6 2 , %*.)- %&$& ** * ( %&$& ** & *2 ) -,/- */- 5/7 -. 1.10. D&+ $& *, %&' -. +, ' + , ( % *. ( 5/7 ( ' , 7 * (
+. 1.11. D/) cn ) * */* 2 c(f) % * ,/ * 5/7 * f n %&*0. 6 2 , 199n < cn < 201n %& ' , )@ 0 n. 1.12. 7 & 0* ( * * ) 4 *
%/ 0' 0'/. D 2 , -,/- 5/7 - *2 ) 0*+ $ /, , 3 ( 4 * NOT ( 4 * AND OR %& ( )* * 0'. 1.13. 6 2 , ( 0* $ /, O(logn), -.+ 5/7 - f : B n ! B m , ,& ) /. %& , % / 0* * % * )+ % n + m & (*&. 1.14. D&+ 0*/, & & ' n-, 0 * & (*& O(n), $ /, / O(log n). 1.15. ) D&+ 0*/ 2 '/0 n-, 0 & (*&
O(n). ,) O 2 %&, '% ) %&, ), , $ /,
0* , O(log n). 1.16. j/7 MAJ : B n ! B & 1 ' 0 0, &0 ' 7 , )@ / +, 0 | )0 0.
NP: ! "
29
D&+ 0*/, -./- 4/ 5/7 -, & (*& 0* ' 2 ,) % n, $ /, | O(log n loglog n). 2 1.17. D&+ 0*/ & (*& poly(n) $ /, O(log n), & %&&, ( %/?* ' &@ $& 5. f& 5 m &@ 0, & %* * 1 ' m, ( ' ? n = m(m ; 1)=2 ,/ * %&** . D&* xij , $' i < j, %&' , ) $& 5 &,&, ' -. &@ i j. 1.18. D/) 0* $ /, 3 ( 4 * NOT ( 4 * AND OR %& ( )* * 0' 2 n , % *'/ - 2 (5/7 PARITY). D 2 , & (*& 0* *)@ cn ' &$ c > 1. 1.19. D/) f1 f2 : : : | % ' )) ,/ 0 5/7 + 1 2 : : : &$/*. D 2 , '/-. ' + & ): a) /./ % ' )) -. 0 4 5/7 5&*/ , & (*& &0 %&0' % * nH ,) /./ % ' )) -. 0 4 5/7 0* $ /, O(logn) ( 4 * NOT, AND OR ( '/* 0' * ). 1.20. 6 2 , /./ & (&@ *+ %&' , &+ %& ' 2 P=poly, %& ' 2 P. 2. 2.1.
NP:
NP | !, &
O&* * * '&2 ' 0 i & 0 6 pi 6 1, 2 & , % ' (K-7 * ( j. ',
36
% *) 3-j & ) * + *. 0 2.4. g &, ) 7 &@ +, %&& ) *) * +0 & *2 ( % * ) &*. D& *& 0 $& * (
, &* & & ) 2 *. \14, . 1, x13, x15.1]. ,@ &+ % NP-% 0 ( '
'&2 $ f4& 62 \3]. %& , 0 NP-% ' ( %*.)' +. D& '?* ) %& *& NP-% 0 ( '
. 3- . 6 $& 5. A%& @ , *2 & & ) $ &@ & 7 , , 7 2'$ &,& , %& @ & ( 7 . (: $ ( '
2- &@ (
% * ) &*.) . 6 $& 5 k. A%& @ , ) k-4 * *2 &@ $& 5 , -, ' &@ &$ ' &,&*. 2.1. 6 2 , ( '
%&& % * 2- (K-7 ' (K-7 +, 2' ( &0 '&2 ' & ) %& ' 2 P. 2.2. 6 2 , ( '
, 4+ &* %/ & & * $& 5 (/./ %/), %&0'. + % * &?,& * & % '*/ & (/) %& ' 2 P. 2.3. D&'% 2 *, NP % ' P. 6 2 , 4* / ( % * ) &* *2 ) %&& ) % *) 5&*/ , + (
%&*0, %& &0 ( $ ' $ * ) 7 . %.) 2.4. 6 2 , ( '
% & 0 () n * ) n ' , (, % & $ '&/$ '&/$* 7 )H ' %&' ), *2 /& ) 7, &* n * ) n ' ' % &) %& ' 2 NP , , $, %& ' 2 P. 2.5. D&+
) % * ) ' ( '
3-j ( '
H ,) 2 %&, '% ) &,/, , &@ + 0& ) ( 3-j F %& ' / % &
($& 5 H, & (*& k), % -. 0 ,& %&*0 ' F & / & (*& k $& 5 H).
BPP
37
2.6. D&+
) % * ) ' ( '
3-j ( '
3- H ,) 2 %&, '% ) &,/, , % -. 0 ,& %&*0 ' -,+ 3-j & ) , @ & */ / 3-& & /-.$ + $& 5 . 2.7. D 2 , '/-. ( '
NP-% +: ' ,& ( , * n % '& 1 1, & 0 &0 % - ,/H ' % '%/ *0 % & ,/ % $& 0 ,/H %& @ , *2 && 2 ) ( '& ,& , )@+ '& & (*& n n ( , , %& * -. 0 & 0 '& , ) '%/ * % & ,/,
$& 7 '& | ) $& ,/). 2.8. 6 2 , %&' <x | ' ( % ) $ = %& ' 2 NP. 2.9. 6 2 , %&' <x | ' ( % ) %&$ = %& ' 2 NP.
3.
BPP.
1 &0 O (1O), '&* & 0, *- , ( &0 (*2 %&0' ) (, )@ '$) +. *, , /' 1O ' %&0', %&' &(/ ) * &$ / +$ %&7 ( 1, %&& 1 ' $ a ( '* , &/2 , n | . O ' ' ( ), *)@ % 0 a, & ( * %& n, , &/2 - %&/ . ,(
* $&/%%/ (Z=uZ) &( U, $&/%%/ (Z=vZ) | &( V . >( ++ &* , 0 '/, $&/%% (Z=nZ) (*&5 U V ( (*&5 (* ( ' ? * ,& (* | * % *'/ - u % *'/ - v). *& * *2 U k = fxk : x 2 U g, V k = fxk : x 2 V g. # %'$&/%% U V (%& (' k-0 %+ ) k- %), ,& + k-+ % ) k- %)). O jU j=jU kj | 7 . $, ,& 2 x ! 7 xk $**&5 (** $&/%%, %4*/ %&,& ( %& 4* ,& 2 ' ' 0 4 * U k .
42
', U 2l U l (%+ '& , )@, * 0 %+). D4*/ % / * % &/ (& -. 0 7% *2 U l U 2l : : : U n;1 f1g V l V 2l : : : V n;1 f1g: 6 )+@ & /2' & (, ( ) 0 / . 1. D/) U n;1 6= f1g V n;1 6= f1g. , %&+ %&&/ 1 $& *, /2 % (' (n ; 1)-- %) % / ) % &/ (1 1). D )/ %&,& ( 2'$ ( U n;1 6= f1g ' , &) % / % & (1 1) @ 1=2. 2. D/) U n;1 = V n;1 = f1g. D )/ l | ?, ;1 2 U l \ V l , . . +'? t = 2s , 0 6 s < k, U 2t = V 2t = f1g, U t 6= f1g V t 6= f1g. /'* ' ( ), &)- *)@ 1=2 4* * %&& 2 $& * , &/2 , n | . 1 ' * / a2t 1 (mod n), /2 %), + &)at & 1. *& * ' / .
) ' ( *2 U t , V t & f1g. D/), %& *&, U t = = f1g. 1 4* / *2 /&2' ), at 6 ;1 (mod n) ( / ;1 %& ' n / % & (;1 ;1) %& ' u v). 2 & /2' ) 2, / 1. A &) *)@ 1=2 % / * % &/ (1 ), 6= 1. ,) , *2 U t V t '&2 % & ++ *& ' 4 * , %/) jU tj = c, jV t j = d. 1 4* / *2 % / ) at 1 (mod n), at ;1 (mod n), &) 4$ %&0' 2=(cd) 6 1=2. 0 3.3. ; $ 2 $& * (, , '% )* ,& 2 * / , ' ' mk %&& 1, 2 ' - %& )+ (
)+ &)-. 3.5.
BPP & - .
BPP P=poly. / . >' ' ( ) *, , / ) 7 &+ (1=3 2=3) ' (" 1 ; "). " ' 2 ,) ) * , , *2 , ,& ) / + y0 , %& &* & * & *+ %&' ( BPP % ' R(x y0). A/) (') *, %& % ( % * ) &* 4%7 ) /*)@ 7/ & @ , ", * & (*& 0' jxj. D4*/ *2 ', ) % &
+ 3.3.
#$ % $
43
"2jxj < 1. D& * @ *2'/ " jxj $' +'? / + , ' &$ @ , %& 0 x. 6+ ), %* * $ ' BPP, ' % &* 3.1. g ' r, &0 %& 0' @ , , ' 2'$ x %&0' ", ' 0 r, &0 %& 0' @ , 0 , ' '$ x, %&0' "2jxj < 1. 3
, +'/ r, &0 @ , %& * x. # % &/ ' ( ) /. . ' ( *, &) $, ,K /2* + * /./, *)@ 1. 4 (
, 0 , ' + ,K /./. 4.
! "!
%* *, * 2' * ( %&' , % . 20. 1 , ( % ) x 2 L (
L(x) = 1. ! 4.1. D/) A | &+ (. '% + co-A - '% * ( * ( A. j&* ) L 2 A () (B n L) 2 co-A: %&' ( %&' + P, BPP, PSPACE '/,
P = co-P, BPP = co-BPP, PSPACE = co-PSPACE. 4.1. >, *. *& * $&/, &/- $& - ' $& , ,/'* 0 ( ) , ( ) ?& (). >$& * ,. & x, ' - 0' % &' (w1 | %&+ 0' , 0, b1 | %&+ 0' ?&0 . '.). 2'+ 0' *2 ,) % * ' p(jxj), $' p() | &+ % *. >$& ( &@ % &$, ( & ( ' $, 0'.8) (/ ) $& % &* %&' * W(x w1 b1 : : :) 2 P, ) &$ (
, $& , ( ) 0 , , 2) W (
, $&
?&). D&' W ( 0'$ 0', ' 0 $& * : w1 : : : | , * , b1 : : : | ?&* . D )/ P ( */ ) '% +, %&' B() = :W (), /&2' -. + $&@ ?&0, 2 %& ' 2 P. / ) 0 ) 0' $ & &/- %& ( ' * x /. $&@+ & $ , ' , 0, , 8) , '$ . 1 #$$ / # , # /, $ # ' .
44
' ?&0. (j&* ) ' ( ) $ % / '/7 + % / 0'.) D4*/ 2'+ $& *2 % ) ' ( * '% )0 *2
Lw =fx : * $&@/- & $ -g Lb =fx : * $&@/- & $ -g: $ 2 *2 %&' ) *2 Lw ( Lb ), /-. * * ' * $&. %& *&, % / * '/-. . P: *2 Lw ( Lb , %& *) ' $&, &0 ' 0'. NP: *2 Lw ' $&, &0 , ' - 1 0'. 6&/$ * * , 4 *2 '
fx : 9 w1 W(x w1)g: co-NP: *2 Lb ' $&, &0 , ' - 1 0'. 6&/$ * * , 4 *2 '
fx : 8 w1 B(x w1)g: `2: *2 Lw ' $& ( 2 0': 1 0' , 0, 1 0' ?&0. 6&/$ * * , 4 *2 '
fx : 9 w1 8 b1 W(x w1 b1)g: A * 4 *2 ( ) : ) + 0' , 0, , , $& ?&, , $& -. [2 : *2 Lb ' $& ( 2 0'. 6&/$ * * , 4 *2 '
fx : 8 w1 9 b1 B(x w1 b1)g ::: `k : *2 Lw ' $& ( k 0' ( ( * ? k % ' * 0' , ?&, , , ). 6&/$ * * , 4 *2 '
fx : 9 w1 8 b1 : : : Qk yk W(x w1 b1 : : :)g ( k ?, Qk = 8, yk = bk=2, k ?, Qk = 9, yk = w(k+1)=2). [k : *2 Lb ' $& ( k 0' ( ( * ? k % ' * 0' , ?&, , , ). 6&/$ * * , 4 *2 '
fx : 8 w1 9 b1 : : : Qk yk B(x w1 b1 : : :)g ( k ?, Qk = 9, yk = bk=2, k ?, Qk = 8, yk = w(k+1)=2). ::: `k [k ( * '% ): `k = co-[k , [k = co-`k .
#$ % $
45
BPP `2 \ [2. / . D )/ BPP ( */ ) '% +, ' % ( ), BPP `2 . 6 4$ /2 / ) 5&*/ & ) + , %& k j X j jGj 1 ; jGj < 1 (4.3) / (4.1) ( '* % . *& * %&) &+ ( L 2 BPP. 6 $, ,K ) @, *2 + % * ) *+ %&' R(x y) % * p() , jXx j=2p(jxj), $' Xx = fy : (jyj = = p(jxj)) ^ R(x y)g, & ( , %& ' 2 . (/ (' 0 , )@ 1 ; "), , (/ %& ' 2 . (' 0 4 *)@ "). D & *& " * ,&* %(2, + * *,
$ *2 ,) 4%7 ) * , ,K ) . 38 % %&' 3.1.
46
1'?* / &//&/ $&/%% *2 y ' p(jxj) , , %& (' ,& . 4 * 4+ $&/%% , % * ) ** ( %& *&,
$&/%%+ %& 7 ()*?* %*% 2 % *'/ - ' ). 3 % @* '/-. `2 -/ ; 9 g1 : : : gk 8 y (jyj = p(jxj)) ) ) ((y 2 g1 Xx ) _ (y 2 g2Xx ) _ _ (y 2 gk Xx )) : 6&/$ * * , & * & * /- $&/: , * 0'* ( - k (4 * $&/%%), ?& | ' 4 *, &+, % 0 * -, %& ' $ * *2 Xx gi , ( , * . (4.2) 4* / * ' "k < 1, / (4.3): 2p(jxj)"k < 1. # / % - %& %'0'.* ,& % & *&. 2 () k %&' p(jxj) " %&' p;1 (jxj). 0 4.1. >* & /2' , & ' *, , % )( ) $& & #%' . O + $& & % ,&/ , ' k & ,& ' k0 , $' k0 k. g %& 4* , & ) & ,& / +, ' ,& ,/'/ & %&' ,
) /&+ $& * &/& * ( %& *&, % * ) * @ O)-& $ ) *2 ) 0 % .*/ / +0. # % ( * %&' %' / +$ $& & , & * % ', . A/./- %' / + $& &, (. >0 ( '* , P = NP. 4* / P = `2 = BPP. g 2 P 6= NP ) %' / + $& &, *2 0' ) ( / ( @ &* (
5/7 f 2 BPP, (
%&' R(x y) ( %&. 3.2 ) ' %' / +0 y. ? (-(
+ &$ %& (' % %&*/ &$/*/ ** & hc j = c h j. & -& *2 ( % ) ' & , & | ' ,7 ( , $ *2 , /*2 )
* & 7/): h j = c0 h0j + c1 h1j = (c0 c1 ) j i = c0j0i + c1 j1i = cc01 :
3 % ) h jAji (A | ++ %& &) *2 ) ': , & %& (' & h j & Aji, , | h jA ji. O % %&2+ %& & Ay : % %&' -, hAy j (,& -&, /-. + Ayj i) & +*/ 5/7 / h jA. >( %&' & (/ '/, hAy ji = h jAji: j0i + jijHi 6= 0H (7.4) cji = jcjji: (7.5) 1'?* %&) &*/ %&& %& &. D/) N | %&& &*+. D&& %& &, '+/-. 0 ?*, *2 %&' ) P L(N ) = N N ( (*&5 (* ( ' * & * %&' * ajk jj ihkj). ! 7.2. @$ X ( % $) ) $, & , ), ,) kX k = sup Xjjii : j i6=0 3 * *, kX k2 | , )@ , %& & X y X. # &* , ' * %& * @ + * &*, &* $, . ) * %7 5 * : kXY k 6 kX k kY kH (7.6) y kX k = k X k H (7.7) kX Y k = kX k kY k $' X 2 L(N ) Y 2 L(M): (7.8) 6 ( ) 4 0 + &* % / - %&' ( %&' -
/%& 2 . 6 ' * %&) %&' %& , 2+ & (/* . g *+ %& & | U, $ %& , 2? & ( 7 ,/' ,( ~
) U. ~ ) U #! 7.3. 9 U ~ " , kU ; U k 6 . 4$ %&' ) ' ( * )0 + . 1-%&0, * ** %& (' ) 0 %& & U = UL : : : U2 U1 , 2'+ ( &0 * %& , 2 U~k )- k ,
,( $ $
65
%& (' 4 0 %& , 2 + U~ = U~L : : : U~2 U~1 %& , 2 U P )- k ( ): U~ : : : U~ ; U : : : U 6 X : L 1 L 1 j j
6 & *&) %& *& '/* %& & * : kU~2 U~1 ; U2 U1 k = kU~2 (U~1 ; U1 ) + (U~2 ; U2 )U1 k 6 6 kU~2 (U~1 ; U1)k + k(U~2 ; U2 )U1 k 6 kU~2 k k(U~1 ; U1 )k + k(U~2 ; U2)k kU1 k = = k(U~1 ; U1 )k + k(U~2 ; U2 )k: 1 4+ ' % ' & %& ' , $' & / & %& &. (g & * & ) / & %& &, @ , %& , 2 *$/ % ) $& (' ,&, %& *&, 4%7 ).) 0 7.1. 1 *' ), %&'/-. &@ 20 ( '
* - & )* 5 ( * %&7 * , ' 2 ,( ) (/ ) %&'* /+ @ , * %& , 2 . (1 & )+ 2 ( % & *& -,$ 5 ( $ %&7 *2 ( ' ) @) &+ )-.) 1 , 4%7 )* % * @ , % ( '* ,% ( %& + (& . 1& + % ' %& $ $& * $ /* & ( ( '
7.1 7.11. 7.1. 6 2 , %& & '* q-, %& &* Z(x ) ,& (/- % + , ( . @ ' 2 ,) ' 455 *: ' 2 /. ) $& *, &+ & 0*/, & (/-./- %& ( )+ %& & U n q-, 0, ( &* exp(O(n)) poly(log(1= )). 7.2. 6 2 + %& &+ &* (7.6{7.8). ~k %& , 2 - & @ &* * %& 7.3. D/) %& & U & Uk )- k , 1 6 k 6 L. 6 2 , %& & U~L : : : U~1 %& , 2 P & @ &* * %& & UL : : : U1 )- k .
,( $ $
67
D/) %& & U~ %& , 2 & @ &* * %& & U )- . 6 2 , /./ %& & W, %&' -. + U ;& @ &* * , . . % & W j i j0N ;ni = (U j i) j0N ;ni +, kW ; U~ k 6 O( ). 7.5. D/) / &+ %& & U : B n ! B n /' & / - U j0i = j0i. D&+ & (/-./- Z(U) 0*/ & (*& 6n + 1 , ( Q fU g, % )(/-./- %& & U ' & (. 7.6. D/) X Y | **/ &/-. 4 * $&/%% SO(3) | %& /$ , (*& * . 6 2 , $&/%% , %&2'? X Y , ,& (/ -'/ % %'*2 SO(3). 7.7. D/) M | / & %&& & (*& > 3. *& * %'$&/%%/ H U(M) | , ( & '*&$ %'%&& , %&2'?$ &* ' * &* j i 2 M. D/) V | %& ( )+ / &+ %& &, 0& -. + %'%&& C (j i). 6 2 , *2 %& & H V ;1 HV %&2' - $&/%%/ U(M). (3 * *, / 4+ ( '
U(M) H *2 %&5 & ( ) % %'$&/%% 5 (0 ' $ U(1)). 7.8. 6 2 , %& & ( ' &$ , ( %&2' - -'/ % *2 U(B2 )=U(1). 7.9. 6 2 , 5 ( ' $ *2 & ( ) ' &* , ( , % )(/ %& '% ) q-, . 7.10. 6 2 , & 7 x $ ;# Z2 (R), $' R = ;i exp(ix ), | && 7 ), ,& (/- % + , ( ' $ . 7.11. 6 2 , -,+ %& & U, '+/-. + '* q-, , *2 ,) %& , 2? & ( & @ &* * )- 0*+ & (*& O(log3(1= )) ' &* , ( , ) % * )+ $& * %& 4+ 0* % % - U. # ( '
' ) 2 , ? &@ - / @ %& /% ) % ( * & (' * 11 12 &@ ( '
12.3 ( %&,& ( j/&)). D&' $ *+ %/) &@ ' (.&?*. 1 ) \4] , % )( , %&*+ ( 2 '+) %'0', %& &* % / 0* & (*& poly(log(1= )). 7.4.
68
8. $ .
D * % & ,/ $ *%)-& . O%&) %& %&' ), $' 4 & , %& ' &@ - &/-.+ ( '
. %&' ,/' %02 %&' &$ . D/) ) 5/7 F : B n ! B m . *& * /- 0*/, & , -./- N , * : U = UL : : : U2 U1 : BN ! BN . 5&* ) $&, 4 0* F , % %& * U
)*/ - jx 0N ;ni, *, 1 ; " z
, " | # , $( 1=2. (9& $, # F(x) x ) , # & , ' ) $$) (F(x) z) (x 0N ;n) N .)
' &0 +, ,& " /., % )/ *2 ( %/ ) ) 4(*% & 0* ( * ,& ) &(/ ) , &+ % / . $. >( 7 , %& '?+ . 38, '/, ' /*)@ & /'
N & ( /2 () O(log N) 4(*% & 0* U. 1,& *$
$ &(/ ) & (/ + 0*+, % )(/-.+ 5/7 - $ MAJ(x1 : : : xn) ( & 1, $' , % ? &$/* & 1, & 0 %& * / ). j/7
&" . .
69
MAJ(x1 : : : xn) & (/ % * , ( 0*+ & (*& O(n log n),
%& 455 %& /*)@ & /'
N & ( ( ' ? *2 * O(m log N log logN). 0! 8.1. 6 2 , %& ' & /2' &&* * / : 5/7 MAJ & ( ' ,& *+ 0*, 0' &+ %' - 0' q-, n % + 0* U. 8.1. : C. > , * ** %&' $ . O%&) *2 ( ) & * 455 $ $ . 1 ' /%* ) & 0 %& *& , ' &0 ( , %- ' **/, 455 $.
?* $ ( 0, &* ( '* 455 (0 /& @) 1=3). & (,&?* /%&.?/- % /: *, % )(/* ,& */ /- 0*/, & (/-./- %& & Z : B n+1 ! B n+1 Z ja0 : : : ani = ja0 f(a1 a2 : : : an) a1 : : : aniH a1 = : : : = an = 0 f(a1 : : : an) = 1 0 9 j : aj 6= 0:
&" . .
71
(A )- ' %& &$/*, Z = fc .) D )/ f * * /- 0*/- 2) ( * * ), % ** 6.2 ' Z /./ , )@ 0* ( &+ % )(/ & Z(x )jc di = jc c di, +'?* '+ X , ( * &: X X ja bi = 21 (H H) Z(x ) (;1)ac+bd jc di = = 12 (H = 14 = 14
H)
X
a0 b0 cd
X
a0 b0
cd (;1)ac+bd jc c di =
X
cd (;1)a0 c+b0 (c+d) (;1)ac+bd ja0 b0i =
2 bb0 2 a(a0 +b0 ) ja0 b0i = ja b bi:
> , , ( p12 (j0i j1i) /%& -. + /%& *+ , %* ) * * . + , ( & j0ni *2 % / ) & j i %& * * %& & W (W 2 = I). O%&) %*.)- %& & U V %& * ( & j i *+ & jy0i. 6 4$ ,/'* % &' '+ ) %& & * V U: : : :V U V U j i = (V U)s j i: %& 4* % / ? f*& , %& & ) & 2 ) $ %&% . D'%&& L = C (j i jy0 i) & ) , 0 %& &, , (
, ) V U. D )/ & j i %& ' 2 4*/ %'%&& /, ' & *&) '+ V U ?*. *%( 7 '/0 & 2 + )jy0i '/0 %&*0 ) %& /'+ /$ *2'/ 4 * %&** . $ $ '=2 j i
&" . .
73
), h jy0i = p1 = sin '2 , .. 4 %&N * % %&%' / &. D4*/ *2 % ) V U = ;R, $' R | %& * + /$ '. $' (V U)s = (;1)s Rs , $' Rs | %& /$ s'. 3 &/ (5 ( *2 *- &p p +). D& , )@ 0 N ** ' " 2= N. O$' % s " =4 N & 7 + 0'+ & %& /$ s' " =2 , ( **/ &/. # (
, * 2 jy0 i &)-, , (+ ' 7. g &@ %&,& ( '
,.+ % (. . *2 ,) ), *2 ,) ,.), &,/- '% ) 0 /0 .& . @ $ ' %& 0'$ & */- ,/') &/ ( %'%&& , %&2'$ & * , ,& %&%&7 ) &- (
&@ +. 8.2. D &. 1&+ ( %& *&, /%*/0 ' , | *' & *0 0 *. # ? % ( '
, , )@/- & ) + $& ,& &+ * ' </.0= %+ ,'. A * * + (& , , && $& ) *' & 0 0*. 0* *- &/ % , / ( ) ), &+ ( * & 4 * %& &, 0'. 0 0*/. D/) ) % + 0* Z, & (*& 6 L . # * * 4+ 0* *$/ ,) -, / & %& & r = O(log L) q-, 0 ( , % ' % 0* %&@ poly(L log(1= )) ). ,(
* %& &, & (/*+ 4+ 0*+, &( Op(Z). >( &(/ ) ( '
7.1 7.11 '/, *2 %& ) " " '$ U & (*& poly(L log1= ), & *' &/ & ,/ %& ( )+ + 0* '/-. * ,& (*. g ( ' % &+ 0* Op(Z) & (*& L ? 0' j i, U(jZ i ji) ; jZ i Op(Z)ji = O(L ): 8.3. BQP. 6 0 %& * & * & '&' ( ) ,/ 5/7 ). : $& * - 5/7 0 %& ( )+ ' . %&-
74
' $ $& * *2 ' ), % )(/ /2 '? 0*. D/) ) 5/7 F : B ! B , ' &(/ ) | % * ' 0' . g+ % % ' )) ,/ 0 5/7 + ($& 0' ' n) Fn : B n ! B m(n) . B % , $ ' F | 4 '&' % ' )) 0*, -. 0 Fn. **
P(j i y) =
X z
X P(j i (y z)) = h jy zihy zj i = h jyihyj I i = z
= h j[M j i: (9.1) [M (') ,(
%&& %'%&& M = jyi B(n;m) . j&*/ (9.1) ( ' ? %&' + & * / , $' M | %& ( ) %'%&& . 1 4* / P %&& %'%&& M N %&' [M = j jej ihej j, $' ej %&,$ - -,+ &&* & + , ( M. P hF(x) zj U jx 0N ;ni 2 & 0 9.1. 1
z % )(/ %&' 5/7 ( B n B m +
0*+ (*. . 68), & P U jx 0N ;ni M $' M = jF(x)i BN ;m . g.? & ( %* * * 4$ %&' : 0* U = UL : : : U2 U1 F : B n ! B m , ' -,$ x &) , -' %& )$ F(x) % %& * 0*
)*/ - U jx 0N ;ni , )@ 1 ; ". D&& - 5 ( & (/** %& & * , $&, % - %&0' '$ * '&/$*/ ( %&' ?+ %&*2/ &* . O + %&0' % / &* %& & * . 1? 2, '%/ &/ )), %&& * *2 %& ' ) 5 ( + * . D&& ' ) + * ( 0 (*20. D&' ) 5 )& (/&+, & -*2 % ), &+ %&%/ ) * 0 ( M. g + 5 )& %' ) */ j i, () 5 )& %&+'? * j i = [M j i. A/** & &) ' 0 +, ,. $&, *)@ 1, & p = h j i = h j[M j i. 1 ; p %&' &) $, * () 5 )& %&+'?. A& * + + + & .
77
@% A3 M N | %* 0& A3 M | %% & # # * 0&. # * # , # % & N . % & - % & J J -, P w : N ! R &- &* ji, hji = 1. &* ) wj = 1K 3) wj > 0. P ': Pr(w M ) = j2M wj . ': P(ji M) = hjLMji. A&& 1. M M1 \ M2 = ?, 1q . M M1 ? M2 , Pr(w M1 M2 ) = P(ji M1 M2 ) = = Pr(wM1 ) + Pr(w M2 ). P(ji M1 ) + P(ji M2 ). 2. (& 3 * ,) 2q . M LM1 LM2 = LM2 LM1 , Pr(w M1 M2 ) = Pr(wM1 )+ P(ji M1 + M2 ) = P(ji M1 )+ +Pr(w M2 ) ; Pr(w M1 \ M2 ). +P(ji M2 ) ; P(ji M1 \ M2 ).
3 * *, / M1 ? M2 4 / - [M1 [M2 = = [M2 [M1 = 0. g ) ' &$ )0 %'%&& %/* %& *, &) ,( ) '' . D& '* %&+ %& *&, $' P(j i M1 M2) 6= P(j i M1) + P(j i M2). D/) j i = j0i, M1 = C (j0i) ( + %'%&& , %&2' &* j0i), M2 = C (ji), %& * h ji , ( 1. O$'
1 = P(j i M1 M2) 6= P(j i M1) + P(j i M2) " 1 + 1: > , * %&' , ,.* ' , * (*&*. O%&) /2 ,,. ) , ! %&' (*& . 1 &(/ ) % / * %&' & , ,,. -. /-, /- &). *& * & %&' &+ * *2 0 + fj1Pi : : : jsig. 1&) jj i ,(
* pj , ', j pj = 1. D' * &) , -' %'%&& M:
78
X k
pk P(jk i M) =
X k
pk hk j[M jk i =
X k
pk Tr(jk ihk j[M ) =
= Tr( [M ) (9.2) P $' &( ,(
$ ! 12) = k pk jk ihk j. D ' & 2 (9.2) %& ** ( ,. %&' & . P p j ih j | 4 0! 9.1. 6 2 , %& & ' = k k k k 4&* & 7 ) %&' ? %& & '* 1, . . %& &, /' &-. / *: 1) = y H 2) 8 ji hj ji > 0H 3) Tr = 1: 1 ' )+@* %' $ ! % * -,+ %& & 4 * + * . /2' * '/, %& & Vk '+/- m + s q-, H %& m q-, (. . y) | .* 5&* 7 - k = e2i'k , $' 'k = kt mod 1 (*. 12.5.1). 2. E (/* (
' , )@+ )-. A * &* %' &/), 0 %& ' *0 & /2' 0 ) ' % & *& : ) (& " # . % / * &
z &(/ ) (*& , %& 4* ' 2 % ) / Pr\jz ; 'k j > ] 6 ". D /& , )@ ), 2*, = 1=8 (*. 12.5.2). 3. 6 /2 / ) ). ,0' * /*) ) '&/$ '&/$ ' ' = k=t, $' 0 6 k < t < 2n. 3 * *, k1=t1 6= k2=t2, jk1=t1 ; k2=t2 j > 1=t1 t2 > 1=22n. D4*/, ( (
'k = k=t )- 1=22n+1, * *2* %&' ) $ , - ( ' & *+ '&, ). , ' ) 4 455 (( % * ) &*), *2 % )( )
$& * 7%0 '&,+ (*. 12.5.3). 12.5.1. ( , = . 1 & (' 11 , '? %& & (Ua ) = (H I)Z(Ua )(H I), (*&-. + , . 1 @* / k = e2i'k , %4*/ *2 ( % ) 4 %& & ' X e2i'k 1 ; e2i'k (Ua ) = Vak [Lak Vak = 12 11 + ; e2i'k 1 + e2i'k
k
,
99
$ '+ ' 2i'k (Ua ) 1 + e2i'k 1 ; e j0i jk i 7;! j0i + 2 j1i jk i 2 ' / 0 &+ % / * & 2
1 + e2i'k 2 1 + cos(2 'k ) P(0 k) = 2 = : 2
* %&,/ .? %& & (iUa ). g$ 2 &/' & ( ). ( 7 , (,& 2? & /, % )(/ %& & 1 0 K = 0 i ( ' &$ , ( . ,'?+ 5& $* & (/ %& & Z(iUa ). 6+ ), K /*2 i ) j1i, & ( 4* / %& * %& & Ua (% %&' - %& &
Z(Ua )). 6 %& & (iUa ) / & & 'k ) : P(0 k) = 1 ; sin(2 2 H
K
H
Ua Z(iUa )
A 2) & ( 7 %& & (Ua ) (iUa ) ( 2 & ( 7 %& & Z(Ua ), & *$ @ 2 & ( 7 %& & Ua (*. ( '
/ 12.2). 12.5.2. (& . ,/'* ( ) (
'k , 7 / & , %& '? @. 6 % / + 7 ,/'* %& *) %& & (Ua ) (iUa ) & ( * 0 | & . # % ( , %& -,* 5 & * *2 ', ) & @ , " ( O(log(1=")) % +. > , * / ) 0' ) &+ )- / / 'k . O%&) %',&?* *, , (
'k *2 , / ) % (
* / / )- 1=8. 4* &+ 4 % ( &@. 12.5.3. H ! =& .
6 / j * ,/'* % )( ), &'/ Z(Ua ), %& & Z((Ua )2 ) ' 0 j 6 2n. * *2* ,& (' ) %), %& &, ,. $&, | . %& & /*2 Ua , ' '/-. * ( * )* +*: (Ua )p = Uap mod q : A ' ), Z((Ua )2j ) = Z(Ub ), $' b a2j (mod q). /2 * (
% & *& b *2 ) %& %*. 0* % * )$ & (*& , ( * % )( ) &(/ ) ( '
12.2. 1&?* 0* %/ 12.5.1. 0' , k = e2i'k ' &$ ,$ & jak i. # 2 & ,* ' -,+ % %& & Ua , %4*/ *2 '* * 2 * &$ & ) , ' Ua2 = Ua2 , & k = e2i2'k H ' Ua4 = Ua4 & k = = e2i4'k H : : : 6&/$ * * , * *2* )- 1=8 %&' ) (
'k 2'k : : : 22n'k % *'/ - 1. @ ) 'k # " 1=22n+1 $ $) . >! ! . 2 (*20 (
+ 'k /', %&' ) ' &/2 ' + ' . 3 'k )- 1=8, * ' * '/$/ 1=4 + &/2 . 3 2'k
,
101
10': a q { 1 %+ a2j (j = 1 : : : 2n) % *'/ - q ( ). { C(' l @/ 0 &$ &, '&2 . 0 , ( j1i. j1i
j1i
?
s
2
2
:::
j1i
s
0 0 0 0 4 # q- ( ) 0 0 0 0 6 '$ " G( a2j ) G( a2j ). (1) (2n)
s(1) s(2n) '
1 1 ' | (1) (1) (2n) (2n) ~1 ~s ~1 ~s / 4 / ( ). cos(22n ) cos sin sin(22n ) - $ ( ). 18 22n 81 K ' $
22n ( ). 2;(2n+1) 2 ' $ " /# ( ). 0 0 | $ , $ :::
:::
ns
:::
:::
:::
U
y
:::
y
y
:::
y
y
:::
y
y
:::
y
iU
:::
'
'
:::
'
:::
'
'
'
'
' : : :
'
'
'
k =t
'
?
k10 t01
? ? k?0
k20 t02
:::
l
t0l
{ 1 , )@$ ,.$ ( * ( ). : t ( &)- @ , < 3 2;l + 4nle;cs , $' c = const)
1.
102
)- 1=8 %( ' ) ' '/$ ' + 1=8 2' , %& ?* ) ' ( 0 * %/ %& %&''/.+ '/$+. - .
1. A/., & jk i %& &* +. 2. 1? 7 * ( % & *& l s. C/** & &) @ , %&@ 3 2;l + 4nle;cs , $' c = const. g &,/ % / ) &)- @ , 6 1=3, '/ % 2 ) l = 4, s = c1 log n, $' c1 | & . D& 4* % / 0* & (*& O(n3 log n). 12.6. =(-! . ,/' * ' ( -. 0 %& % %'/ ( 2$ $& * . | - &! = !(&
6 , %& *&, *2 0' ) , 0 %& & U, ' &0 U j0i = j0i, ) % * ) 0* & ( 7 %& & Z(U). (>( ( '
7.5 '/, ' *$ %& & U ) % * ) 0* , ' %& & Z(U) ? 2 *2 %& )). O ) %&' ,0 %& ( )$ %& &
, % * ) ( & (*& 0*. g *2 455 ) % %& & ( , & *&*
$& *), ) *2 ' ) 4%7 )+. -, !?
| = &!? 0' * (
/ + ,& $ ,$ . %&' * % *2/ 0 ,0 *2 /%& ), , &
) ( $& * %& ' | j1i). g ()
)$ , ( ' * ' $ )+ * & 7+ % X X
= 1t jaihaj = 1t jk ihk j
a
k
$' jk i %&,$ *2 ,0 & U, % / * & *& & %&' *2 0 ,0 . 1 $& * 02' %& '
) , & ) # : * , & + &, , % / ) & *& & %&'
,0 0, /-. 0 %&' ?+ &, , ) , %&2' ). 0! 12.3. D&+ /- 0*/ & (*& poly(n log(1= )), & (/-./- %&,& ( j/&) $&/%% Zk %& -,* k 6 2n
,
103
)- . (%&' *. ( '
8.4. ( : % )(/+) &(/ ) * ( '
11.2). : $& *, & A +** ;&*, ,,. - ' ) @ & + ( '
, ( 0 , * $&/%% * . A *+ ,.+ ( 0 ( '
&+ %'$&/%% Zk \23]. + ' ( '
&+ %'$&/%% -,+ -%&2'+ , + $&/%% G, % )/ G *2 %&' ) 5 &-$&/%%/ Zk (' &$ k). 1 ; 1=2 = 1 ; 1=8 (*. ( '
/ 12.1). 2'/- ( '(jr) ' ( ) )- &)@ , 6 ", $' 6 22n1+1 " 6 51kl : (12.3) D ' / $ & &/, /** & &) @ , ,/' , )@, * 1=8 + 1=5 < 1=3. 1,&* ' , )@ M = 2m (& 7 % / ( ( $& * ). ,/'* & , ) 7 * * ' % ( 0 ' M ; 1. D& $ * '* * &$ & ' km X ; k= 2 j i = M jgi $' = f0 : : : M ; 1gk : g2
1 '&/$+ &$ & %* * j0ni. D& * * + & / (12.2) ,& * &+ &$ &. *@ ; D /
X jgihhj:
= Tr!km+1:::km+n] U j ih j j0nih0nj U y = M ;k gh2 :g;h2D
O%&) * , & * (*& ) , (
%& & ' $ % *'/ M:
Vj : g1 : : : gj : : : gk 7! g1 : : : (gj + 1) mod M : : : gk (* ) j- *% ). # %& & **/ &/-, %4*/ / 0 ) ,. + , ( ( ,0 &, , (
, *2 %&' ) 0 , '&*. A,
*- ' e2isj =M . A/-. , & &
js1:::sk i = M ;k=2
X
(g1 :::gk )2
exp ;2i
k gs
X j j j =1 M
jg1 : : : gk i:
1&) $, & (/ ' + ,& s1 : : : sk , &
P( Ls1:::sk ) = hs1:::sk j js1:::sk i = k
X X = M ;2k (g ; h) (g) (h) exp 2i (gj ; hj )sj k gh2Z
D
j =1
M
$' A () ,(
0 & & /- 5/7 - *2 A. j/-
2
NP: BQNP
105
&)-,& ( %& (' & & 5/&)-,& ( *2 +. O * ,& (*, % / *: X P( Ls1:::sk ) = jE1 j p'1 :::'k (s1 : : : sk ) ('1 :::'k )2E
$' p'1 :::'k (s1 : : : sk ) =
sin(M (sj =M ; 'j )) 2 M sin( (sj =M ; 'j )) : j =1 k Y
D& ( ' 0 (
0 '1 : : : 'k 5/7 p'1 :::'k (s1 : : : sk ) &* & %&' *, ) &$ h i 1 Pr jsj =M ; 'j j > 6 M
( | -,). (*&* sj =M ( /2 $& ), (*& '+ ( 0 * (
'&/$+)H %& 4* /& ) &) @ , 6 1=M . O* ** * % / * (
'1 : : : 'k )- = 2 &)- @ , 6 " = 2=M . O%&) ) %',& ) M , , /' & ) & * 12.3. %- . T&,/ O(n) ,& . + & / /, 2'+ %& * ' / O(k(n+log k)). (*& + 0* 7 O(kn3 ) poly(logk log n). 0. 6 (*& ,0 %& & Vj *2 % )( ) * %&,& ( * j/&) $&/%% ZM %& M = 2m (*. ( '
/ 8.4). # %( ) /*)@ ) & (*& 0* ( $ & 5* + *2 )), ' %& 0' % )( ) ' & 4 *. 13. 5
NP: BQNP
2 & ) $ ) ' P, ' '&/$ 0 0 20 . & (,&?* %& *& $ $ NP. 13.1. !, & !. , , %& *, &, , % ), % )(/ %&' ? 5/7 . * ,0' ) ,( 4$ % , , / 2) ( 2 @ * ' * , %&) * %&,/. . # /) & !) | 4 5/7 F : B n ! f0 1 h %&' ig:
106
1 4* & (' -'/ %' ,/ * 5/7 * %'& (/* - %&' ? ,/ 5/7 . > .? ' ( * % %'/ ,(
+: * % )( ,(
P ' % * ) *0 5/7 +, ' % * ) & (&@ *0 %&' H %&) %/% * $ , % )(/ ,(
P, NP . %. ' %&' ?0 5/7 +. P, , ,(
% * ) *0 %&' ?0 5/7 +. D& '?* *' 5 7 & %&' NP. ! 13.1. !) F : B ! f0 1 h ig NP, # # /) !) R 2 P ' $%' , ) # ; F(x) = 1 =) 9 y ;(jyj < q(jxj)) ^ (R(x y) = 1) , F(x) = 0 =) 8 y (jyj < q(jxj)) ) (R(x y) = 0) . B (, q() | $. ,/', %&' 13.1 ( * ) / R 2 P / R 2 BPP? D / '&/$+, & $, , @ & + , &+ *2 , , ,(
) BNP. ' ' 4$ ) '&/$, ' &, ,(
| MA, / ( -. , 0' & &0 - , %&' *0 ,$ F { 6 . , $& 0, &* ( ' - 2 , * /2 $& & (' 4.1H $& :&/& { & - *, :&/& | & % * ) * @ O)-& $ . D&' ,/ ,(
MA / ( %&' 0':
& ,. y, ( * :&/& %&& % %&' R(x y). 13.2. ! . ! 13.2. !) F : B ! f0 1 h ig BQNP, ) %' '$ $, n $, "' % Un : B Nn ! BNn , #
Fn(x) = 1 =) 9 j i P Un j i jxi j0Nn ;n;mn i M > p1, Fn(x) = 0 =) 8 j i P Un j i jxi j0Nn ;n;mn i M 6 p0. G Fn () | ,# F % n, j i 2 Bmn , mn = = poly(n), M = j1i B(Nn ;1), ) p0 p1 %) )
p1 ; p0 = Q(n; ), > 0.
2
NP: BQNP
107
1& j i % & ) %' ( (y) ( %&''/.$ %&' . * /', ) $ %&* &$/** %& & Un ( , *2 , -,+ ** % 2 ) x + - ) ( ,(
+). 0 13.1. 1 %&' 13.2 & % j i - - , ) & ' + ' . : $ $ @ ,/'* % )( ) ' 4* & (' , &* & *2 ( ( j i. g * 0 + j i & * & ) *@ , % / 4 %&' : * */* & ? & ' $ * . D / %& 0' ? 2 $& & :&/&*, ) %&) %' -. ( * + *0 . A,. & ( j i) ' ? :&/&/ (*2) /,' ) *, F(x) = 1 &)- p1 , 4 . : F (x) = 0, &), & / /' /,' ) :&/& ,& *, @ p0 ' -,$ ,. & . ,/' * %&) @ *2'/ %&$* &* . >( %& '?$ %&' 13.2 @ '/ $& (' , ) / p0 p1 . 9 13.1 (( ). : F 2 BQNP, ) $ ) 13.2, , p1 ; p0 = Q(n; ) $ p1 = 1 ; ", p0 = ", " = exp(;O(n )), > 0. / . ,. ' / &+ ? %&2+: & *& * , )@, $& % **, % + 0*, & (/-.+ %& & U = Un ( ' n * ,/'* %/ )). &(/ ) * 0 & , %& * * 5/7 - $ %&$* (
*, & (' -. * 8 & p0 p1:
Pk > > < 1 j=1 zj > l G(z1 : : : zk ) = > Pk > : 0 j=1 zj < l
(13.1)
$' l = pk, p = (p0 + p1 )=2. %&) % '% ) &/') | & *2 % ) ,* /) :&/& , ,. */ & ( 2 */- (& %& (' %' (/. D/) * % )(/* k % + 0* U. D&' * & / , )@/- ,'/, & (&@
%' ( -,/- * & 7/
108
% 2 L(Bkm ). 1&) % / z1 : : : zk %& %' ( &
P(z1 : : : zkj ) = Tr(X (z1) : : : X (zk ) ) (13.2) $' ;
X (a) = Tr!m+1:::N ] U y[(1a) U IBm jx 0N ;n;mihx 0N ;n;m j : (13.3) 3') [1(a) | %&& %'%&& +, *-. 0 a %&* q-, (. . C (jai) B(N ;1) ). , /,' ) :&/& %& ) F(x) = 1, & *2 ' ) %' (/ = x k , $' x = jxihx j | ,. , & /,2' :&/& , '+/-.$ % 0* U, &)- p1. D ,. * + * + & , 5&*/ (13.2) %&,& (/
P(z1 : : : zkj ) =
Yk
j =1
Tr(X (zj ) x ) =
k Y
j =1
P(zj j x):
*& * %&) / +, $' F (x) = 0. * /2 7 ) &) P(z1 : : : zk ) ' %& ( )$ ,. & . 1,&* %&& Bm &&* & + , ( , &* ' $ (/ %& & X (1) (4 %& &, ', 4&* ). %& & X (0) = I ; X (1) ' $ * 2 , ( . %&' * ,& p1, F(x) = 1, p 6 p0 , F(x) = 0. 7 * / pmax 4 0 / 0, , (/ &0/. /'* % )( ) & & (*. \18]). D/) H(p q) = ;(1 ; p) ln 11 ;; pq ; p ln pq : O$' %& p > p1 % / * 1 ; pmax 6 exp(;H(p p1)k)
%& p 6 p0 | pmax 6 exp(;H(p p0 )k): >( & ln(1 + x) 6 x '/, H(p q) > 0. >% )(/ , & ( 2 ln(1 + x) 6 x ; x2 =2 + x3 =3, *2 % / ) 7/ H(p q) = Q((p;q)2 ). O %& k = n2 + / ( / 7 " % . 0 13.2. 1 2* *** ( 2* ' ( ) 5 , X (0) X (1) ' $ (/- '* * 2 , ( . 1,., / &+ ' & )0 20 ( 0, 0) | .) ' ) . 13.3. 7 !. 1 BQNP, NP, ) % ( '
) + 2 *+ % * )+ ' * , &/* & * & & )@. 1 %&+@ + %& *&. 0. 3 ' ' * 5/7 - F '/-. * ,& (*. D/) Z | *2 & '
(h% + 0* W i p0 p1) $' %' % * 0* % * ? %& , 2? & ( 7 ' &* , ( , p1 ; p0 = Q(n; ) ( > 0, n | & (*& % 0*). O$' ' z 2 Z F(z) = 1 () /./ & j i, %& '+ &+ * % / * %&* , 1 &)-, , )@+ p1H F (z) = 0 () ' 0 j i &) % / ) %&* , 1 *)@ p0 . D ( '
0 ' . 1?, &,/ ' %& ' , '&2 %&' 13.2. 10' x +'? % 0* W * 0*+ Un .
110
*& * , & %& *&. 6
' ' * %&' $ $ 3-j | )$ $ * ) ( )) $* $& %&*0, 0'. 0 '/ ' (K-7 -). ! 13.3. 9 H : B n ! B n % ) k- )* $ * ) *, % ) X H = Hj \Sj ] j
, ,$ | $ , " $ q-& Sj , jSj j 6 k, %' q-& ' . 8 $ % $ 0 6 Hj 6 1 ( ,$ $, Hj , I ; Hj | /%).
1: % ! . D/) Z | *2 & '
(h% k- )$ $ * ) H i a b) $' k = O(1), 0 6 a < b, b ; a = Q(n; ), ( > 0). O$' ' z 2 Z F(z) = 1 () / H ) , , , )@ a, F(z) = 0 () , H , )@ b. D-! 13.2.
BQNP.
G# % ! -
/ . % @*
/- '-. %& * /- 0*/ W , & % )(/ %' (/ ( %&& , &* '+/ H, ' ? **, % %&' - & , Pj (1) = h 0j Wjy;I j|1{zih1}j Wj j 0i = = =
Xp st
X s
h#i
!
X ! ; ys h s 0j Wj I j|1{z ih1}j Wj yt j t 0i = t h#i X X p y
1 ; s ys 1 ; t yt h s j ti =
s
(1 ; s )ys ys = 1 ;
s
s ys ys =
= 1 ; hj H ji: (13.6) ,. 0* W , & / + & & *& j, % $ %& * %& & WPj . O '+ *2 & ( ) (*&-. * %& &* ' j jj ihj j Wj , %& *?* &/ P p1r j jj i j 0i. (3') jj i ,(
, ( + & %*$ )* r-*&* %&& .) D&' $ (13.6), % / * X X P(1) = 1r hj 0j Wjy;I |j1{z ih1}j Wj jj 0i = 1r Pj (1) = j j (13.7) h#i =1 ; r;1 hj H ji:
D-! 13.3. G# % ! BQNP $ $ .
>' ' ( ) 0' j+* / \29]: ( * / &+ 4 -7 ( . * &* $ * ) * (. . %&0' 0* )*/ $ * ) /). / . > , %/) ) 0* & (*& L: U = UL : : : U1 . /'* ), U '+/ %&& ( N q-, , %& m ( &0 | q-, %' ( , ) | %*$ ) (( %& &* +)H * 2, 0* ( %& &, '+/-. 0 % & 0 q-, .
112
C , &.
L = BN
'+/ %&& -
C L+1
$' %&+ *2 ) | %&& , &* '+/ 0* ,
&+ *2 ) | %&& ? @ $ ( ). A 4 $ * ) ( &?0 $ *0 H = Hin + Hprop + Hout: A $ * Hin
)*/ - & Hin =
X N
s=m+1
[(1) s
!
j0ih0j
(13.8)
$' [(s ) | %&& %'%&& &, / &0 s-+ , & . 1&+ *2 ) 4+ 5&*/ '+/ %&& ? . A $ * Hout */ - & (13.9) Hout = [(0) jLihLj 1 (') * *, , &(/ ) | %&+. >, 7, $ * Hprop % 4 -7 - * , ' 2 ' ), ( L $ *0, 2' ( &0 ( %&0' j ; 1 j: Hprop =
L X j =1
Hj
Hj = ; 12 Uj jj ihj ;1j ; 21 Ujy jj ;1ihj j + 21 I
;jjihjj + jj;1ihj;1j:
(13.10) 2' $ * Hj '+/ ' q-, ( %&& + q-, %&& ? . 0 =. D& ('? * ( */ , ( , ( ' */- %& &* W=
L X j =0
Uj : : : U1 jj ihj j:
D ( ,& ) * , W | (*&-. + %& &: (*& (
? j q-, * %&& + 0* %& * %& & 4 -7 ( &* j. f * ) %& + ( * (* %&2?+: He = = W y HW . D*& *, '+/ %&2 %& &* W
$ * H.
2
NP: BQNP
113
$ * Hin %&2 : He in = W y Hin W = Hin : (13.11) 6+ $ * Hout :
He out = W yHout W = U y[(0) jLihLj: (13.12) 1 U A $ * Hj ( &?0. 1
( % @* '+ %&2 %& ( $ *0 (13.10):
W y ; 21 Uj jj ihj ; 1j W =
X; ; ; Uu : : : U1 juihuj y Uj jj ihj ; 1j Ut : : : U1 jtihtj = ut ; ;jjihjjy jjihj ; 1j ;jj ; 1ihj ; 1j = 1 = ; 2 (Uj : : : U1 )yUj : : : U1 = ; 12
= ; 21 I jj ihj ; 1j: A%&2 '/0 '&/$ 0 $ *0 %& 0' $ , $ % / * He j = W yHj W =
= I 21 jj ; 1ihj ; 1j ; jj ; 1ihj j ; jj ihj ; 1j + jj ihj j = I Ej He prop = W y Hprop W = I E (13.13) $' 0 1 2 ; 12
BB B E = Ej = B BB j =1 B@ L X
1 0 CC 1 ; 12 1 1 CC : ;2 1 ;2 C C . ; 12 . . . . .C A 0 . . ; 12
..
..
= E!F. D&'% 2 *, 0* , 0' &+ %' & j i, ' ? 1 &)- *)@, * 1 ; ". #, % %&' -, (
, P(0) = h 0j U y[(0) 1 U j 0i 6 ": e 6 2*, 4* / / H ( , (
, / H) ) * , . 6 4$ %&'K * + & jei, hej He jei ' * (* */* '& + 5&* hj He ji ' $ ,* &).
114
1 %&& ? ,&* &
j i = pL1+ 1
L X j =0
jj i:
(13.14)
>*+ & jei & j 0i j i. 7 * hej H jei. ', E j i = 0. D4*/ hej He prop jei = 0 = hej He j jei: D )/ %*$ ) q-,
/ 0, %&' ( %&' -.+ 5&*/ (13.8) % / * hej He in jei = 0: ) 7 ) % ' y (0) $ *
e hej Hout jei = hej U [1 U jLihLj jei = P(0) L +1 1 6 L +" 1 : > , * ' ( , hej He jei 6 L +" 1 %4*/ / H ) , + 2 &0+ 7+. = EF. 1 4* / * /2 ' ( ), , . D/) ' -,$ & j i &) 1 %&0' ", .. h 0j U y[(0) 1 U j 0i > 1 ; ": 6 2*,p 4* / , H , )@ , & c(1 ; ")L;3 , $' c | & . 6 ( ) ' ) ' , %4*/
%& '?* $ & + % . D&' $ * ) ' /** He = A1 + A2 %& & A1 = He in + He out A2 = He prop, * 7 * (/ *)@ / , A1 A2 % ' ) . D / * 7 1 c0 L;2 . , 7 ) *)@ ,
A1 + A2 , * %&,/ ** , & ' ? /- 7/ ' /** &( 7 ' $ *0 /$ *2'/ 0 / * %'%&& * . $ * *2'/ %'%&& * L1 L2 / * %& * ,/'* ( ) / #(L1 L2), ( ' */- / * cos #(L1 L2) = max h1 j2i 0 < #(L1 L2) < 2 : (13.15) j1 i2L1 j2 i2L2
9 13.4. 8 A1 , A2 | ! % %, L1 , L2 | ' % , #/$ L1 \L2 = 0. 8
2
NP: BQNP
% & % # A1 A2 $( v. 0, A + A > v 2 sin2 # 1
2
, # = #(L1 L2) | , $ L1 L2.
2
115
(13.16)
,(
A > a (A | %& &, a | ) /2 % * ) & . A ; aI > 0. 6&/$ * * , A > a, , A *)@ a. 1 @* / * % / * 7 1 c0L;2 ' / 0 ,0
A1 A2 (, 4* /2 $& ) @) sin2 # > p > (1 ; ")=(L + 1) ' /$ . -' p * & H > c(1 ; ")L;3 :
/ ( 13.4). ', A1 > v(I ; [L1 ) A2 > v(I ; [L2 ), %4*/ ' ' ( ) & (I ; [L1 ) + + (I ; [L2 ) > 2 sin2 (#=2). , - &'), 4 */ & /: [L1 + [L2 6 1 + cos #: (13.17) D/) j i | ,+ & %& & [L1 +[L2 , -. + ,*/ / > 0. O$'
[L1 j i = u1j1i [L2 j i = u2j2i u1 j1i + u2 j2i = j i $' j1i 2 L1 j2i 2 L2 | ' &, u1 u2 | & 7 ) . . -' 0' * ; = h j [L1 + [L2 j i = u21 + u22 ; ; 2 = u1 h1j + u2 h2j u1j1i + u2j2i = u21 + u22 + 2u1u2 Reh1j2i: A ' ), (1 + x) ; 2 = x(u1 u2)2 > 0 $' x = Reh1 j2i : O * ,& (*, 6 1 + x 6 1 + cos #. O%&) % / * /%*/ @ 7 . / %'%&& A1 A2 %&' - ' L1 = Bm j0N ;m i j0i BN C (j1i : : : jL ; 1i) (13.18) U y;j1i B(N ;1) jLi (% ' + *2 ) 0 $ *0 %&& / ? ), L2 = BN j i (13.19) $' & j i %&' ? 5&*/ + (13.14).
116
6 7
A1 L?1 > 1 (13.20) ' ( * ), A1 /**+ **/ &/-. 0 '&/$ '&/$* %&&, %4*/ , 4$ %& &
7 . 6 7 A2 L?2 /2 + %& % 2 ) ,
* & 7 E. A, & , ' - 5&*/ *
j k i = k
L ;
X cos qk j + 12 jj i
k = 1 ; cos qk
j =0
$' qk = k=(L + 1) (k = 0 : : : L). -'
'/, A2 L?2 > 1 ; cos L + 1 > c0 L;2: (13.21) 7, /2 7 ) /$ *2'/ %'%&& * L1 L2 . /'* 7 ) '& / /$
cos2 # = max h1j2i 2 = jmax h2j[L1 j2i: (13.22) i2L j1 i2L1 j2 i2L2
2
2
D&' * j2i ' j i j i. D&& L1 & % ' /**/ &?0 %&&, (13.18). A* $ %' ) ' &$ $ *$, & (L ; 1)=(L + 1). D& &) $ * /** ' - ; 1 + cos ' 1 L + 1 h; j [K1 + [K2 j i 6 L + 1 $' K1 = BN , K2 = U y j1i B(N ;1) , ' | /$ *2'/ 4 * '/* %'%&& * . (3') % )(/ & (13.17), % / 0' ' ( ) ** 13.4). 1 cos2 ' & * * )+ & % /
1 0'+ 0*+H % / - , )@, * ". D / * /-, %&' 2 -./- (13.22), 7/: p p h2j[L1 j2i 6 LL ;+ 11 + 1L++ 1" = 1 ; 1L;+ 1" : p A ' ), sin2 # = 1 ; cos2 # > (1 ; ")=(L+1), /&2' ) @. G A . % ( * )+ $ * ) , % /' &-. + &,/** + *. $ ) ) ' ' | @) (log L)- )+ ( %&& ? * '+/* q-, ).
2
NP: BQNP
117
# ' *2 %&' ), 2 ) %&& ? , )@ %&& . 1()*?* L q-, , ( /*& 0 1 ' L. >* 2 C L+1 ! BL $ ' : jj i 7! j 1 | :{z: : 1} 0| :{z: : 0}i: j
L;j
>% )(/* &/7 $ * ) H %& & %&& ? ( *- $ 0* ; j0ih0j [(0) j0ih1j j0ih1j 1[(0) 1 2 ; (1) (0) (1) (13.23) jj ihj j [j [j +1 jj ; 1ihj j [j ;1 j0ih1j j [(0) j +1 ; (1) (1) jLihLj [L jL ; 1ihLj [L;1 j0ih1j L : O%&) 3- ) ( * $ * ) , / * '+
q-, 0'+ 0*, | 5- )+). g $& ) , * ( * $ * ) H, '+ @ + %&& L = BN C L+1 , + $ * ) Hext , %&' + , )@* %&& Lext = BN BL . %& & Hext ,& 2 %'%&& L Lext , '+/ * 2, H. O%&) ( %&, * : ' ) @ * * & @ &* %&& ? ? %& * 4+ %&, *+, ', .? ' $ * $ * ) / Hext : Hstab = IBN
LX ;1 j =1
(1) [(0) j [j +1:
/ %'%&& %& & Hstab % ' &* & , * %&& * L, %4*/ '% ) $ * * &0+ 7 * * )$ ,$ %& 0). 3 * *, 0 6 X 6 1. 6 7 * * )$ ,$
,/'* % )( ) '/-. %&' ) & : ln Tr X d : lnmax = dlim d !1 D/) max = 1 > 2 > : : : > 2m | , %& & X ((') m = poly(n) | ' %' ( ). >** 7/ D-! 13.5.
d
ln
m 2P dj j =1
ln max 6 ln Trd X = d 6 ln max + md ln 2 ( &+ '/, ' 7 % * )+ )- & 7 )$ %& & , '+/-.$ m q-, 0, ' ) ' $ % , $& + % ** m. 1 Tr X d ' % * )+ % * * 2 %,*, *' & & , + 0*. 0 13.3. D / + &(/ ) *2 / ): BQNP PP. 6 ( ) % )- $ &@ - ( '
8.3. 0 13.4. $& ) / * $& & :&/& , & %&' 2 - ' & /'. ' , % ( \45],
/2 '/0 & /' + + $& ' , , % / ) ) PSPACE. 1 * / ' ' 2 PSPACE &,/ % * ) & /' \36, 37], %& ?* @ & 0 &/$ 0 /( 0 %7 $%'/ * ,
$ 5 & $ & /' ' . 15) : $ $, $ $ # '/$
# # # (. >46]).
14.
119
/2 ,/2' ) & , * * '/-. 7 : hjU~ y[MU~ ji ; hjU y[M U ji 6 2kU~ ; U k 6 2L : O * ,& (*, %& + & ( 7 / &0 %& & %& )+ % / &)- > 1 ; " ; 2L H ,.* / 4 7 / / @ * . A (& 5 ( + & ( 7 $ *%)-& , % / + &(/ ) /' & )*. D / , & (*& + 0* L ' 2 %&0' ) 1=(4 ),
&) %& )$ *2 ) *)@ 1=2. D4*/ ( 2+ %&: *2 (,2 ) % @ ,, % )(/ 0* %7 )$ ' ? 4 %& % 2 )+. >' *, , (( * )) 2'+ q-, , % )(/-. + 0, ) * %& %*. %&' ?$ (*& $ 2 V : B ! Bn . 6 *, @ , , %& , '+/- '&* , )@ q-, , %4*/ ' & %@ /+ ) $ . &/7 , ,0' * ' &$ ( 7 + ,( %& , ' ) 2. D'&, ( 2 \41, 19, 34, 4, 32],
(') * * $& * , %&* %&*: 0& ) $& ' $ ( ' ? (E$ %), 4 | + / + %&''/.$ %& , $' & (/ % ' )) 2'0 %& &.) 6 &@ + /%&.?+ ( '
&+ ' ' &/-.$ ,& 2 V 2H /2 ( ' ) @) %'%&& M = ImV Bn . ! 14.1. + ' % (n m) | 4 %'%&& M Bn & (*& 2m . ( m | ( ' & 0 q-, | ,( ) ' 2 ,) 7 *).
120
@ , , ( -. %& 0& 5&* 7 , ,/'/ %& ' ) */, * ,/' 0' ) ( %&' M. D4*/ ,0' * / ) ) * % ('+ @ , %&' ?$ % . 14.1. !. 1
& *& * / + 0 '. @) $ ( &* 4/ ,@ &/- */. D'&, ( 2 & ', && &/-. 0 @ , , ( , ( 4 / ) *2 + \9]. B # (n m) | 4 %'*2 M B n *. 2m . 6 % @ , ,0' * 2 %&' ) ) | &' '(
$ ,& 2 B n ! B n0 . A/./ ' *' @ ,: , & | & , /%&.? | & -*2 . A$ &+ *' , ( ( ' / * &* p(y j x) %& *
y %& %&'
x. ,/'* & * & ) / + ( * & %&' ?0 @ ,, % $ n0 = n, / & %&' - &( &) @ , %& %&'
'$ , p1 : p(y j x) = pd1(xy)(1 ; p1 )n;d(xy): (14.1) 3') d(x y) | ) H $$, ( & ( 0 , ). g) ' &+ %, /%& ) *' ) ( * & %&' ?0 @ ,. 7 * &) $, / , k @ , ( ( 5&*/ (14.1), 4 x ( ). A *, n k | 5 & , p1 ! 0. O$'
X n j n;j k Pr\ @ , > k] = (14.2) j p1(1 ; p1 ) = o(p1 ): j>k
> , &) $, @ , , )@ k, * . D4*/ *2 ) /%& ) *' ). /'* ), %& %&'
x *2 % / ) -, y, d(x y) 6 k (% & *& k ( ' ? &/-. + %&$ ), '&/$ @ , & -. 1'?* ,(
: N = B n 0 | *2 0', N0 = Bn | *2 0', E N N 0 | *2 %&0' ( 2 | *2 @ ,), E(n k) | *2 f(x y) : d(x y) 6 kg. ! 14.2. ' M ) (& ( *2 E, ' -,0 x1 x2 2 M ( (x1 y) 2 E (x2 y) 2 E '/ x1 = x2.
121
6&/$ * * 4 / *2 5&*/ & ) : ' -,0 % & (x1 y1) (x2 y2), %& ' 2 . 0 E, ( x1 x2 2 M x1 6= x2 '/ y1 6= y2 . 1 * / , $' E = E(n k), $&, ) k (&. 0. O&* * ' /&2' . D-! 14.1. B ) k (& , ,, , d(M) > 2k. 14.2. 7 & !.
1. Mn % (n 1)H ' $ d(Mn ) = n. Mn = f(0 | :{z: : 0}) (1| :{z: : 1})g: n
n
# * %& 0* ' & . D&* 2'+ , *$ & (, % 2'+ %& 7 * ' , ( * (
, , & & .. # & ', ,/' % ( 2, ,,. + / +. 2. D&& ?). ' Mn(2) % (n n ; 1), ' $ d(Mn(2)) = = 2. A ( 0 #/ %' , .. , '&2 . 0 ?
' 7.
122
3. ' 4** $ Hr . # ' % (n n ; r), $' n = 2r ; 1. A ( B n | 4 % ' ) , x = (x : = 1 : : : n). *& 2'$ ,
*2 ( % ) ' + * = 100 110 = (1 : : : n). 1'?* *2 & )0 /** 111 101 X (x) = x j 010 : j =1 011 001 (/** & (') % * % *'/ - 2). & / ' *2 , , 0'. 0 & ) /** %& r = 3 (% ( ') 4+ & &?0*&+ /,). 2 ' 4** $ ( ' ? / * & 0 & )0 /** 0 (.. %'%&& * % *'/ - 2). 2 % ( ), ' ' 4** $ d = 3. D/) ) *2 N = B n = Fn2 . 5% M N | 4 + %'%&& . E + ' /', ( ' ) '+* , ( * ( *2 &@ + * +0 /& +). 7 14.2. ! JK, & *&+ @, ( ' ? *2 &@ + * /& + 8 x + x + x + x = (x) = 0 > < 100 101 110 111 1 x010 + x011 + x110 + x111 = 2 (x) = 0 > : x001 + x011 + x101 + x111 = 3 (x) = 0: D4*/ ' 4** $ ,& (/ %'%&& & (*& 3. 14.3. 9 !.
14.4. !. /'* ' ) %&' ;p(y $ */ / -. ,&/ / 0 &+ j x) : x 2 N y2 2 N 0 / 5 ( & (/* %&,& ( * & 7 % T : L(N ) ! L(N 0 ). >* * /%&.? *' ): %
$ *2* %&0' E N N 0 %&' * (& | %& ( ) + %&& E L(N N 0). (O * ,& (*, @ , | 4 -,+ ++ %& & N ! N 0 ). g) %&*+ $ *2 E(n k). *& * N = = N 0 = Bn . &( E \A] ,(
* @ , , & '+/-
q-, 0 ( *2 A '+/- )0 q-, 0, ..
123
E \A] = L(BA ) IB n]nA ((') ' \n] ,(
*2 0 q-, f1 : : : ng). O$' % $ * X E (n k) = E \A]: jAj6k
(3') %& /** %'%&& , %&* .) 1 ' )+@* ,/' & ) * /+ ) @ , * ( E (n k). %&' *, ( ) (/ * ', /+ 0 @ , * ( E (n k), & *& * $ *' ( * & %&' ?0 @ , * / $ () @ , * ( E (n k). 14.5. ! & *= (. D&'% 2 *, 2'+ q-, '+/ ' 2 * (*/. . # (
, * & 7/ % & * & *+ * ( n q-, '+/ %&,& ( T = (I + R)n, $' R | k
|
{z P
}
7 ) &*/ P %& / kP k1 < . g , % ) & kT Rk1 6 kT k1kRk1, *2 , , ,/ ) %& ) 7/ (14.2). ' 4 & $' % . 7 14.3. *& * %&,& ( T : jj ihkj 7! jkihj j (j k = 0 1): ', kT k1 = 1, ' kT IL(BP) k1 = 2. (D'+/+ %&,& ( * T IL(B) %& & X = jk jj j ihk kj.)
125
( ( 2 4 ,/' ' ( ), % $ %& *& 14.3 * $& % & (*& . : *, dim G > dim N , kT IL(G ) k1 = kT k} , $' kT k} G ( . D&2' * ' ( ) 4 /&2' , %*& * $ ' . 1-%&0, , %&' ? * ,& (* kT k} &*+. 1-&0, % )/ ' &* */ ) % ) (&$ /*2 , kT Rk1 > kT k1 kRk1. D4*/ kT k} > kT k1. 1-&) 0, ( %&' '/, kT Rk1 6 kT k1 kRk1, %4*/ ** &
kT k1kRk1 6 kT Rk1 = k(T I)(I R)k1 6 kT I k1 kI Rk1: (14.7) >( 4 0 & '/ */ ) % ) &* kk} ) (&$ /*2 . , ' ( ) %& '? @ + &* kT I k1 , ' ' * '&/$ %&' kT k}. ! 14.5. *& * %&' T : L(N ) ! L(N 0 ) ' T = TrF AB y . 3') AB y ,(
%&,& ( X 7! AXB y ,
A B 2 L(N N 0 F ), $' F | %& ( ) / & %&& & (*& *)@+, * (dim N )(dim N 0 ). O$' kT k} | 2 $& ) ' kAk kB k (4 %& & &*) % * %&' * / ( $ ' . 0. dim F > (dim N )(dim N 0 ) $ & &/, /./ 0 , ' %&' T = TrF A0 B0y . 6 * * ( 7 %& (' kAk kB k ' & * & ) %& & &* * kAk 6 kA0k kB k 6 kB0 k, %4*/ 5 */* ' $ / *% . O, ( & (*& F , ( '/-.+ &*. + 14.1. : dim G > dim N , kT k} = kT IL(G ) k1. y / . D/) TX = TrF AXB . O$' , % )(/ + '+ &* ( ( '
14.2, % / * k(T IL(G ) )X ktr =k TrF (A IG )X(B y IG )ktr 6 6k(A IG )X(B y IG )ktr 6 kAk kB k kX ktr : D4*/ kT k} > kT IL(G ) k1. 6 ( ) & ,& /- &/ ) 2. ( /*)@ ,. , kT k} = 1. >5 */* %&' 14.5 ' $ %& kAk = kB k = 1.
126
D 2*
, /./- & * & 7 % 2 2 L(N ) 2 L(F ), TrN 0 (A Ay ) = TrN 0 (BB y ) = . D/) y y K = Ker(A n A ; IyN ) o L = Ker(B n B ; IyN ) o E = TrN 0 (A A ) : 2 D(K) F = TrN 0 (BB ) : 2 D(L) $' D(L) ,(
*2 * & 7 % %&& L. O$' E F D(F ), %4*/
$' -,+ 4 * ( E \ F. 6 2*, E \ F = 6 ?. O E F | *% %/-
*2 , ' ' ( ), /./ & (' -.+ 0 $ %&% . 6&/$ * * , $ 4&* %& &
Z 2 L(F ), TrXZ > Tr Y Z ' -,0 X 2 E, Y 2 F . : 4, &'), '/ ( * * ) kAk kB k % @ - %&,& ( A 7! (IN 0 e;tZ ) A B 7! (IN 0 etZ ) B $' t % 2 ), * . > , %/) TrN 0 (A Ay ) = TrN 0 (BB y ) = 2 D(F ), $' 2 2 D(N ). D&' * ' = TrG j ih j , = TrG jihj , $' j i ji 2 N G | ' &. 3') * % )(/* / dim G > dim N /&2' 9.1. D 2 * X = j ihj. ',
kX ktr = 1. 6 2*, k(T IL(G ) )X ktr > 1. ,(
* X 0 = (T IL(G ) )X j 0i = (A IG )j i j0 i = (B IG )ji $'
X 0 = TrF (j 0ih0 j) TrN 0 G (j 0ih 0 j) = TrN 0 G (j0ih0 j) = : -' , -%&0, '/, & j 0 i j0i *- ' /' /. 1-&0, +'? / &+ %& & U %&& N 0 G , + (U IF )j 0 i = j0i (4 /&2' ( ( '
9.3). A ' ), 0j Tr ;(U I )j0ih0j = jTr(j0ih0j)j = 1: kX 0 ktr > j TrkUUX = F k O%&) *2 7 ) + P 5&*/ (14.6), % ' %& & /2' * / . g kRk1 < , kRk} < C , $' C | ( &* 4 , %& ?* *2 ) $& & (*&)- %&& H R '+/
%&& * & 7 % '$ q-, ). >% )(/ */ ) % ) &* k k}, ( - *, kP k1 6 kP k} = o( k ):
127
D4*/ ,/'* %&,&$ ) * $ ** ( P, '+ 0 )0 $ *0 ,/'* / ). D&,& ( RA *- P y A ' R = Xi Yi , $' Xi Yi 2 E (A)H * 4 *2 ( % i P ) : RA 2 E (A)E y(A). A/** %&,& ( + jAj6k R1 A I!n]nA 2 E (n k) E y(n k). O * ,& (*, * %& 0' * '/, /2 & * & ) @ , ( E (n k). 14.6. ! * !. A '/-. %&' ' ? * / 5&* ) & 2 &, , *% */ */ '/ / (&% %'%&& F Gn H (&%) (
, ' -,0 f g 2 F % !(f g) = 0. D4*/ & (*&) *% $ ' $ . + 14.4. dim M = 2n;dim F . 9 14.6. 5"& $ # ) & )$ ESp2(n) $ , , #%$ $ ) )" ) z \1] : : : z \s], , s = dimF .
/ . D'%&& F Gn *2 %& ,& 2 * ( Sp2 (n) %'%&& F 0 , . ( & '
(0 1 0 2 : : : 0 s 0 : : : 0), $' j | %& ( ). A$ &* 14.3, 4*/ ,& 2 - / & / & %&,& ( U U y . %&' ' %'%&& %'%&& , ( ' %&& * %& & * z \j] (j = 1 : : : s). D& * '% ) %&,& ( ' (f) (f)y , ( *2 ' ) % - * . O%&) %*& *, @ , %, , &/2 ) *% + '. %* *, ' , &/2 @ , ( E (n k), 8 j i ji 2 M 8 Z 2 E (n k) h jZ ji = c(Z)h ji (14.20) D ,& 2 * + ' & * & ) @) Z = = (g), jgj 6 k. D/) ji 2 M, . . Xj ji = ji ' 0 j, $' Xj = (;1)'j (fj ). ,(
* Z ji = j i, $' Z = (g). * + / ' *, & j i ,* ' 0 %&& 0 %& & Xj , %4*/ , %& ' 2 '*/ %'%&& / M, , */ &$ . D'+/* %&& * %& &* j i: Xj j i = Xj Z ji = (;1)!(fj g) ZXj ji = (;1)!(fj g) Z ji = = (;1)!(fj g) j i: j i 2 M & ) / - !(fj g) = 0 ' 0 j. O g ,& (/- + %'%&& , & * ,(
* F+ , .. F+ = fg 2 Gn : 8 f 2 F !(f g) = 0g. 1(*2 '/-. & / : 1. g 62 F+ . D& 4* j i ? M, %4*/ h j(g)ji = 0. O /- @ ,/ ' , &/2 .
136
2. g 2 F . O @ , 5 * 2'$ %& & , * '$ & ji ( )' 5 ($ *2 ). D/) g = a1 f1 + : : : + as fs , $' (g) = c(g)X1a1 : : : Xsas , $' c(g) = 1 i. 1 4* / h j(g)ji = = (g)h ji | / (14.20) % . 3. g 2 F+ n F. 1 4* / (%&&)!) h j(g)ji * '
c(g)h ji. O /- @ ,/ ' , &/2 . # * & /2' * ' ( '/-. &* . + 14.5.
B ) ) $ # , M
d(M) = minfjf j : f 2 F+ n F g: 3 * * 0 +0 '. O * ' & %&' *)@ &* & ( %'%&& /* / ?*. : / *% 0 ' / ) & ('/ ' %'%&& . 0! 14.4. D&+ *% + + ' % (5 1), %& -. + '/ @ ,/. 0! 14.5. 6 2 , /./ $ ' %
(4 1), %& -.$ '/ @ ,/. 14.9. + !. D& '? * 2+ %& *& *% $ ' . & . D/) ) '& &@ & (*&
r r &. A% * 2'*/ ? &,&/ % q-, /. O * ,& (*, $ * n = r2 q-, . D&& %& & ,/'/ '/0 %.
u s
. 6.
137
+ I ( ' ? &@ * . 1,&* &/- &@ / s % * + %&& + %& & Y x A(sx) = (fs(x) ) = j :
j 2 #%(s)
+ II ( ' ? $& * . 1,&* &/- $& ) u % * + %&& + %& & Y A(uz) = (fu(z) ) = jz :
j 2 &'()(u)
%& & A(sx) A(uz) **/ &/-, % )/ $& 7 (('
$' %& - % ?*/ / &?,&. (D& ) %& & '$ % ' .) * / ( r2 + r2 = 2r2 %&& 0 %& & (% '*/ $& ) &@ /), *2'/ * ) @ . D& (' 0 A(x) -%& &, %& (' 0 A(z) -%& &, & 2'*/. 2 % ( ), '&/$ 0 @ + . D4*/ dimF = 2r2;2, dim M = 22 . D4*/ & + ' %( ( ' & ) ' q-, . D*& *, */ & ' & ' & $ ' . 6 & $ ' *- & ( 2 F = F (x) F (z) F+ = F+(x) F+(z) %'%&& , /-. %&& * %& & *, . * ) ( jx , , ) ( jz . O ' ( - CSS $ (% 5 * * &, %& & *&@ 0 4 ' \25, 44]). 1 / & $ ' 4 * %'%&& F (z) , F+(z) *- ' (0 1 : : : 0 n)H * *2 % ) 1-7% , . . 5&* ) + *, 7 &?,& 455 7 * 1 : : : n 2 2 F2 . # * * %'%&& F (x) F+(x) % - 1-7% . *& * & fu(z) 2 F (z) , -. + $& *&* u. g*/ ,/' % 1-7%), -. $& 7+ 4+ $& . E$ '), %&& F (z) ( 0 1-$& 7. : $ , & * fs(x) ,/'/ % ) 1-$& 7, %&2' -. ? %&& 1-$& 7. 1()*?* %& ( )+ 4 * g 2 F+ , g = g(x) + g(z) . **/ & ( % @/ '/-. * ,& (*: !(fs(x) g) = 0 () !(fs(x) g(z) ) = 0 !(fu(z) g) = 0 () !(fu(z) g(x) ) = 0:
138
, % ) !(fs(x) g(z) ) = 0, /2, , -,+ ((' , ? &?,& / * * ( g(z) . 6&/$ * * , g(z) | 4 1-7 ( 455 7 * Z2). : $ , g(x) ' 2 ,) 1-7 *. > , %&& F+(z) , F+(x) ( 1-7 1-7 ,
%&& F (z) , F (x) ( 1-$& 7 1-$& 7. A ' ), ' & ) * * ) *.) ( / 0 455 7 ) % 7 *, -. * $& 7 * , 7 *, -. * $& 7 * . E$ '), 4 * */* & r (/2 , 7 , , & (&(, $* $ 0). # (
, & + ' %& b(r ; 1)=2c @ ,. /'* ,(
) ' % $ ' &( TOR(r). 0. O& ' - ) 2* %& *&*, , ' -. * &'* ( * )0 +. 1 , 4 % %$ $. D ' )) ' ( ' * )* %&& * , % '/-. / : { 2'+ %&& + %& & '+/ $& + q-, H { 2'+ q-, 0' $& + %&& 0 %& &H { ' & $& (& . O ' %&' - & ' ( '
%& )0 0*, /+ 0 @ , *. D& %& @ , *$/ %& 0' ) @ , . ' ' )* %&& * 0* %& @ , *- 5 & /- $ /, /, %4*/ '
@ , %& & , + 0* %& $& q-, . 14.10. 7!( *=. %&' 14.6 &* 14.2 / ( - ) %& 7 % )/- (*2) ) 0' * % '+ @ , . %& *& *% 0 ' % 2*, & ( ) %&7'/&/ %& @ , . *& * + / +, &*/ ' . D/) *- ' @ , , ( ' %& & * X = (g1), Y = (g2 ). O$'
Z = Y yX = (g1 ; g2 ) (jcj = 1). (?* $$ @ , g1 & (!(g1 f1) : : : !(g1 fs)) (' g2 | $ ). 1()*?* & ji 2 M. ,(
* j i = X ji. D&& %& & '+/- j i : Xj j i = (;1)!(g1 fj ) j i. D4*/, (*& , Xj j i, *2 (*& ) '&*.
# # " ! "!
( )j i =
f
. j i ..
c
.. ' .. j i .. . . .
( 0 )y ...
g
6
139
X
ji
= ( ) ... g
?
0 : (g0 ) = (g) 0 g = g + f f 2 F g
. 7. g ' & & ; k, %
8 g1 g2 (jg1j 6 k jg2j 6 k) ) (g1 ; g2 2 F) _ (g1 ; g2 62 F+ ) : g1 ; g2 2 F (
4 ) @ , g1 g2, .. (g1 )ji = c(g2 )ji ' -,$ & ji ( '$ %'%&& . g1 ; g2 62 F+ & ) */, '&* @ , g1 g2 % ' -. > , , @ , 4 , , 0 *2 & ( ) % '&*/. A ' ), % '&*/ *2 %&' ) @ ,/ )- ' 4 , . . % *'/ - %'%&& F. O%&) , /2 %& ) @ ,/. D $ %&' ? '&*, %& * * %& &, ,& + %& &/ + % '&*/ @ , . D / * , -. 0'$ @) 5 (+ *2 ). 1 %&7'/& (,& 2
& . 7. 1@ & *& / + @ , % (g). ** ' @ ,
'+ %&,& ( * & 7 % '
X T= bhh0 (h) (h0 )y: jhj6kjh0j6k
1
/%& 2 - %&' $ %&& ), & , %& '? @ 0* / $ ,.$ %&,& ( * & 7 % . 0! 14.6. D&+ % * )+ $& * %&' @ , % '&*/ ' & $ ' . 14.11.
( -
%& *& & $ ' *2 ' ) , %&' , 0 * 0, &0 $& ) ' . !).
140
> , ) & *& * '& /- / & ( *2
% | + ,/' & ) ) ? 7& )
)). & )@, ' 2'+ &@ s 2'+ $& u & *& * %&& %& & Y x (z) Y A(sx) = j Au = jz : j 2 #%(s)
j 2 &'()(u)
A '$ %'%&& ( ' / * A(sx) j i = j i, A(uz) j i = j i. >0 *2 %&% ) '&/$ * %,*. *& * '/-. + ,$ X | 4&* %& & X H = (I ; A(sx) ) + (I ; A(uz) ): s
u
# %& & & 7 )+, %& * $ / %'%&& % ' '* %'%&& * & $ ' . O * ,& (*, & ( '$ %'%&& - ,* , ' - *)@+ 4&$ + (. . ,* * $ * ) ). O & ( - %$ ))$,
& ( &$ )$ '% | & /%$ ))$. *& * (,/2'? *)@+ / + 4&$ +, $' &/@ & ' / ( %& *&, &@ 0). ( Q ( x Q &/@0 / + 2'$ % ?, % )/ s As ) = = u A(uz) = I.) O$' ' '/0 &@ , &0 ' / &/@ -, % A(sx) ji = ;ji A(px) ji = ;ji: *2 % / ) ji ( '$ j i? A' * pQ s &@? * %/* C1 %'+/* j i %& &* W = j 2C1 jz . # %& & **/ &/ %&& * &@ * %& & * ' 0 %&*2/ 0 &@ %/ C1 , 7 0 | **/ &/: WA(sx) = ;A(sx) W . D 2 * ji = W j i % 2*, ji /' & &,/** + *. 6 &@ s ( $ ' p) ** ji = W j i = WA(sx) j i = ;A(sx) W j i = ;A(sx) ji (A(sx) j i = j i, j i | '). E-, * *2 %& ) ( 4 * &0 (,/2' + '/0 %, ' ( &0 , A0 0' \A0] . $' A ' ?
n X
k=d2n=3e
k = n3 Q(n) = Q(n2 ):
6 7 * * )$ &* & , T 0(n) *2 ),
O
'% ( T1 (n) % ' )) ( ' 0 0 ' n, ( * ( O(n) @ $ %&&, 0' ( ' 0 0, % $ %&& . & ,/, 4 ,
%& * / & , -,* %& )* %,*. , T 0 (n) = T1 (n) + O(n). 1 - &'), T1 (n) = O(n log n). 6+ ), , * @ /&+ % * *$ 0& ) , % & ( / + (' , %&, * ( ' , , %' ) ' / %* % ) ) 2 / +). 4$ ' ) )(. 3 * @ O)-& $ *2 0& ) ' + ( % & + $ (* *2* & @ & ) 5 ), ) * ' '% )0 %* &'* ,/ * ( / + ' 7). D& 4* %& , ' 7 */ ? /, ' 7 ' $ ? % ($ ') ' ( ) ,+) &,/- &* %&' ' ? , .. O(log n), $ * / ' * O(n logn) .
( ( 1
149
2 % ( ), T 0 (n) = Q(n log n). %&' $ * ) %), /2 *' 5 7 & ) ( 2/- @ 2-- 7/ &* & , 0/'@* / . 0.
D& '?* '- % + %&$& **. /'* % ) %&$& **/, *' &/-./- & ,/ / & )+ * @ O)-& $ . D )/ (
%&*+ *2 ,) ) /$' , '+ %&*+ *2 0& ) - / * @ (7 5& jSj- $ %&' , $' S | 5 * @ ). ( ) % 2 $ | 4 .? ' %&* , /%& -.$ /&+ | &). D&,& ( 4 0 %&*0 ( & , % - %&* & 5* * '+ * ( 2 , /*2 , (' %), ' * 02' 4$ , & ). 1 4 '+ $ & ( ) ,( &/& , % )(/ 0 ' & %&' %& , )@ '% )0 %&*0. D )/ + /%& -.$ /&+ * 5 5 & , ,&* 20 %&& if-then-else + $ /, *2 ( ' ) ,& /. 0 (
+ 4 0 %&*0, , * **, 5/7 - %&0'. 0. $' (
%&*0 $& , '+ %&*+ *2 0& ) 7 + * 0 %&*0: (x1 : : : xn) 7! 2x1 3x2 : : :pxnn pj | %& . D4*/ $& %&*0 /.. 1.9.
1.10. /'* ) 5/7 '/0 %&*0, & & 2 - 5&*/ * , ( F . 1
) ' 5/7 (%&7 ): p1 (x y) = x p2(x y) = y. 6 *2/ /2 %&0 5/7 + F 0 %& * '/-. %&7'/& . 6, * *2/ F 0 5/7 ' f(g1 (x1 x2) g2(x3 x4) : : : gk (x2k;1 x2k)), $' xj 2 fx yg, gj 2 F 0 , f 2 F . g *2 F 0 / ), %&* %&7'/&/ .? & (. 1 %& * / (*2 ' & : , /2 % / 5/7 '/0 %&*0 ($' , ( % ), , | ($' , ( % *). 7 * &* & , 4$ $& * . @ &) *2 F 0 *2 @) 14 & ( ($ ) 16 ,/ 0 5/7 + '/0 %&*-0 0). 2'+ & ( /2 %&& ) , jF 0 jm 2m = (2m )1+log jF j & , $' m | * * ) &$/* / , ( 0
150
3* (
5/7 +. 6 0' (' ( % , ( ) %&0' jFj2m,
jF 0j = O(1). O $& * & , ( &*, $& % ** ' 0' . 1.11. 1&0 7 n2n < 201n (%& n > 2000) ' cn & (/ '/ ( %&' 5/7 ' (K- + &* )+ 5&* (*. (1.1) . 24). 6 % / 2+ 7 %' * & ( 0 0* & (*& s & * $ * 5/7 + n %&*0. 6 %&' ? *, % )(/ ' &+ % + , ( . O$' ' k-$ %& 0* ) , 2 (n + k)(n + k ; 1)=2 + (n + k ; 1) < (n + k)2 (*2+ (K-7 ' (K-7 | **& 5/7 , , & ) * *2* ( n+k ; 1 %&*+), %4*/ Ns & ( 0 0* & (*& s , )@, *
Ys
(n + k)2 6
k=1
Ys
k=1
2n2 k2 6 (2n2)s (s!)2 6 2s(1+2 log n)+2s log s :
: ,/ 0 5/7 + n %&*0 & 22n . D& 2n > s(1 + 2 log n) + 2s log s () n 5/7 + , )@, * 0*, %4*/ cn > s. g s = 199 , & () % %& n > 3000. 1.12. A % )(/* ' (K- /- &* )/- 5&*/. g & ) % 5&*/ (1.1) 0*/ ( 4 * AND OR, *-. 0 %& ( ) 0', % ', , 3 ? 4 *: ' + & 7 , ' | K-7 , ' | $/' (K-7 -. 1.13. $& ) . 23, 0*/ *2 %&' ) ' $& 5 . >( 2'+ 0'+ &@ $& 5 0* ) 0 , ' & & + %/) '/ ( 0'0 &@ . D4*/ & (*& 0* $& &0/ /**+ 0'0 &@ 0 %/+. 6 & & $ %/ $& 5 0* %&0' $ /, 0* d. 6 0* ' &* , ( 0' %) 2'+ &@ , )@ 2. D4*/ & & 0 %/+, '/. 0 0' &@ , , )@ * 2d = O(nO(1)) (' $ * 0'+ &@ %& %& & %& ** '/7 -). 1.14. (/ ) & '/0 x y & | x > y, x = y, x < y. /'* & ) 0*/, & ' ? ' , &(/ ) , ' &/-. 4 & (*2 .
( ( 1
151
xn : : :: : :: : : xn=2 xn=2;1 : : :: : :: : : x0 yn : : :: : :: : : yn=2 yn=2;1 : : :: : :: : : y0 A0* Cmpn=2 A0* Cmpn=2 0 00 e = 1, & e = 1, & g0 = 1, x > y g00 = 1, x > y e := e0 ^ e00 g := g0 _ (e0 ^ g00) e = 1, & g = 1, x > y
. 9. Cmpn n- ( O(n), | O(log n) 6 %& % $ *, n %)- '+ . # %& 7/ ,.* / , %*/ *2 '% )
/ * , , 0 ' %)- '+ . (*& 0'
/ %& 4* , * '. A0*/ & n-& (&'0 ,/'* , & ) ( '/0 0*, & -. 0 , ,& ( %&* n=2 & (&' * % ' * n=2 & (&' * . 3 &(/ ) & 4 0 '/0 % & , *2 ) &(/ ) & 0'0 . &/7 0* (,& 2 & . 9. 7 * ? & (*& $ /, /. 1% - '/-. &/&& @ sn = 2sn=2 + 3 hn = hn=2 + 2: >( 0 % / * sn = O(n) hn = O(log n). 0. A& n-(
0 ' 0 x y & ) %&' - &@$ & (&' x+(2n ; 1 ; y), 2n ; 1 ; y 0' % y 0*+ $ /, O(1) +$ & (*& (/2 %& * ) & 7 * %&**). D4*/ ' , , &@ ) '/-./- ( '
/ 1.15. , ,&, ,/'* % )( ) & ' 2 . 1.15. 1'? * ,(
: %/) xn;1 : : : x0 | ' & (&' %&$ $ *$H yn;1 : : : y0 | &$H sn sn;1 : : : s0 | & (&' &(/ ) H rn;1 : : : r0 | , %& '/-. + & (&'. 1'?* '% ) %&* ti = xi yi , t0 = 0. O$' s0 = t0, si = = ri;1 ti %& i > 0H r;1 = 0, ri = (ri;1 ^ ti) _ xi %& i > 0 ( , $ *0 & ( , , %& + 2, %&''/.*
152
3* (
& (&'H ' | , %& % ' 0 (,. *) (
*). D * ' ,(
, * *0'* &@ ) ( '
%/ ). 6+ ), %& + % %& '?* @ 5&*/ * /2 ' ) O(n) @/. 6 %/ ,) % )(/* %&''/./- ( '
/. 3 * *, ) 0* & (*& S $ /, H, -. , %& , ( ? $ & 0* & (*& S + O(n) $ /, H + O(1), -. /**/ ( ti *$/ ,) +' % & ), , %& (0 , 0 %& ri, si 2 *$/ ,) +' % & )). 1 , %& & ) & -, ' / ) & ) % & ) </55 = , .. ' 2'$ i & ) xixi;1 : : :x0 :yi :yi;1 : : : :y0 . 1
& * xn;1xn;2 : : :x0 :yn;1:yn;2 : : : :y0 % 0*, % + %&''/.+ ( '
. 3 * *, %& & , 4+ 0* 2* /& * & * , , '/-.* | '/(
, ( * | &?0(
. '. D / * </2 -. '&=. ' ? &(/ ) & , % 2k , , , ' /55 ' 1, 2, : : :, 2m = n. # , ' ( % ) &0 '&2 & '/ ' 7/. *, &/ &(/ ) & /55 ' 2k ' 0 * , , % / * &(/ ) & /55 , ' ( % ) ' &0 '&2 ' ' 7. D&' 2 4 %&7, * % / * &(/ ) & 0 /55 . D )/ ' 7 ' + ( % ' /55 %&0' logn, $ /, % / + 0* O(log n). (*& 0* | %* * 0* & x 2n ; 1 ; y ( +$ & (*& ) * % )(/* '% ) ' 2'$ /55 ' , , (,& 2?+ 7& & . 9, &+ *, &/ &(/ ) %&''/. 0 & +. 1.16. 6 5/7 MAJ ' / ) %' ) ' 7 &' (
+ %&*0: ' )@ *2 % )( ) 0*/ ( ( '
1.14. ,. ' 7 & /** ' 7 &' (
+ %&*0 x1 ' xbn=2c ' 7 &' (
+ %&*0 xbn=2c+1 ' xn . D&' 4 ' 0*, % / * 0*/ $ /, log n, 4 * * &+ ' 2 ,) 5/7 , -. /**/ '/0 . D )/ 4
%&0' n, 0 ' ' %&0' log n. >( &@ ( '
1.15 , $ /, 0 0* O(loglog n). f /, + 0* %4*/ O(log n loglog n) ( & (*& O(n)).
( ( 1
153
1.17. 6 $& 5 *2 %&' ) %& 7 - (' %). 1 $& 5 Gk ) 2 &@ , ) G, ' &@ ( &,&*, G 0 *2 ' ) %/?* ' k ( , G1 = G). f& 5 ,/'* ( ' ) $ !$ $ . A& ,7 * & 7 *2 A(G) $& 5 G ' & &@ * $& 5 . g (jk) | &,& G, ajk = 1, %& * / ajk = 0. * ,/' /', % $ ) ajj = 1 ) 4 * * & 7 ,/ * %&** . E$ %), *2'/ &@ * $& 5 G ) %/), ) %/) ' n, $' n | &@ $& 5 G. O ' &@ ( '
' %& ) 0*/, -./- * & 7/ A(Gk ) ' $- ,/') k > n, 0*/, , & -./- * & + 4 * % ( ' * *& * & ,7 . 6 -,0 % 2 )0 k, j, m, 0 k = j+m, %& ' 2' _ A(Gk )uv = A(Gj )uw ^ A(Gm )wv : ()
w2V (G)
g ( ) * , 4 2' (
, -,* %/ ' k $& 5 G, ( -.* &@ u v, ) &@ w ,
' %/ u ' w & j, ' %/ w ' v & m. 1 ,& /- &/, ) %/ *2'/ u w, w v ' j m , 0 ,K' ' ? %/) ' j + m = k ( u v. 1 * & $ 4 * % 5&*/ () $ ( % ) ' 0* $ /, O(logn). 1 % ' )) * & 7 A(G1), A(G2 ), A(G4),: : : % ' )* (' * '& , &( dlog ne @ $ * % / * * & 7/ A(G2k ), $' 2k > n. f /,
%&+ 0* log2 n, & (*& % * % n. O%&) % 2*, ( ) ( ,& * & 0 4 * 4 * ajk , j k ( ' ' * %&' * jl : : :j0 , kl : : :k0 , l = dlog ne. 3 * *, & '/0 , x y %&& ' &* , ( 5&*/ + x =? y def = (:x ^ :y) _ (x ^ y). D4*/ (
, % 5&*/
_
sl :::s0 tl :::t0
asl :::s0 tl:::t0
^l
m=0
sm =? jm ^ tm =? km
()
$' & ajl :::j0 kl :::k0 . (*& 5&*/ () % * % n. E$ %&' ) 4/ 5&*/ / 0*+ $ /, O(log n). 2 2 ) &(/ ) ( '
1.19.
154
3* (
>% )(/_2'
^ ' &$
^ _ : xi = :xi : xi = :xi *2 ', ), , & 7 %& * ) %&* . : % )/ :f = f 1, %& * %& ,0' * 2' ' &$ .? & (, *2 ', ), , % '+ %& * ) ' (K-7 . D 0 %&,& ( + * % / * 0*/, & ) 6j. > ( '
) */, , /,' ), K- ( &$/* ' (K-7 ) -,+ 6j, ( ' -.+ 5/7 - PARITY, 4%7 ) . E$ %), -,+ K- + 6j ' 2 '&2 ) n *2 + ( %& * / 5/7 , &/- ( ' ? 4 6j, $' ,/' *) %& (* & '$ ( ?
&$/*). K-, '&2 . + n *2 +, & 1 & '* ,& (
+ %&*0. D4*/ K- *)@ ' 7 5/7 PARITY, & & 2n;1. 0. 2 ' ( ), 0* -,+ 5 & + $ /, ( 4 * NOT OR, AND %& ( )* * 0', -. 5/7 - PARITY, *- 4%7 )+ & (*&. 6 ( ) & % '/7 , &+ ' - 0* $ /, 2 3 ( ( 2+ @ / +). 6 ( ) 4$ /&2' *2 + \24]. D& '?* & ( 2 + ' . 3 * *, %& * ' (K-7 K-7 0* * * )$ & (*& ' 2 &' ). 3 * ' (K-7 - K-7 + K-7 - ' (K-7 +, *2 /*)@ ) $ /, / 0* 2. ' & (*& 0* *2 %& 4* / ) '& , %4*/ + & (/*+ 7 % / . 6 % / 7 #%$ ,& (* %& * (
%&*0. D / 5/7 *)@$ %&*0 | , PARITY, , ? & 7 . A0* 2) ' & 7 PARITY 2, ' *+ PARITY. : &+ &)- @ 0* /%& %& K-7 + ' (K-7 + %& '? , )@*/ / - & (*& 0*. 1.19. ) =) ,). f& 5, %&' -. + 5&*/ /, *2 ' ) '&*, & (*2 ) 0' %&*. (*& %& 4* / , , * '. 6 %& 0* $ /, O(log n), -.+ 5&*/ / X & (*& n, % )(/* '-, %& *?/- &@ ( '
1.14 1.15. 6 $ ) & '& , %&' -.$ 5&*/ /, , & 2'+ & ( &@ /, /-./- %'5&*/ , )@$ & (*1.18.
( ( 1
155
& , * +'?* & %(' %'5&*/ / Z, & (*& &+ 2 *2'/ n=3 2n=3. 3 * 5&*/ X %'5&*/ / Z ( *+ %&*+ z, % / * 5&*/ / Y * 2 7 * & (*&. D/) ' Z Y ) -. 0 0* $ /, , )@ h. D& * ' + 5&*/ X 0*/ $ /, , )@ h + 3. 1 * 3 %&* %'0* * $ /, , )@ h: y0 | (
5&*/ Y %& z = 0, y1 | (
5&*/ Y %& z = 1, s | (
5&*/ Z. 3
f + 5&*/ & f = (y0 ^ :s) _ (y1 ^ s) : # 5&*/ $ /, 3. > , ' h(L) | * * )+ $ /, 0*, -.+ 5&*/ / & (*& L, % &/&& @ : h(L) 6 h( 23L ) + 3: >( $ '/ h(L) = O(log L). ,) =) ). # * %&. D&& * $& 5 0* '&, & (*2 %& ,0' * &@ . (*& 4$ '& ,/' %&@ ) & & 0 %/+ 0' 0' *. : 0 %/+ , 2h . 1.20. 1%* * &/7 - & (&@ *$ %&' f' (x), %& ' 2 .$ P=poly, & %& ' ( * 1.1 . 26. A+ * ,/'* & ) + %&' f' (x), , , & (&@ *, %& ' 2 P. %& * /- */- 5/7 - '(n), -,+ $& * ? & , ' )@, * 2n. 6&/$ * * , ) $& * & %( %& ' 2 (/ H, .*/ ( ' 0 ( % + 0 n, ' &0 '(n) = 1H &* & , 0/'@* / m -,$ $ $& * 0 ' m & ? ,&, * 22 . 6 2* , ,. /&2' . D/) f(n) | * 5/7 . ,(
* &( Mf (, . + ( 0 % & (\M] x), * @ M 0' x ( &* f(jxj). D& ' 2) 4*/ (/ & (&@ * (( %/ * / & )/- * @ / O)-& $
0'* (\M] x), * f(jxj) & , M %*& * | ) M). ,& %&& ) 4/ & (&@ *) )(, % ( '/-. & /2' , % ' %&-. &@ ( '
1.3. D/) * @ A & %( ? %& ' 2) (/ Mf ' n ( &* T(n). O$' ) * @ A0 , & 0' X ( %/ A 0' (X X), % $ / , * ' ( , &* & , -,$ $& * , & %( -.$ %& ' 2) (/ Mf *)@, * Q(f 1=2 ). n 2 1(
f 5/7 - 2 , % / * &@ ( '
. & & 2 2.1. %* *, & * ( %&* ? & 7 . E & ,/'* ,(
) l1 l2 : : :. : $& * &@ ( '
2- ,/' & , ) & 4 % . , 1. D&, & * % & ' (K-7 +. g & * % &/ l1 _ x, l2 _ :x, ', * j ' (K-7 - l1 _ l2 . g % & ( - ', ' (K-7 ) %&*&, %&0' * 4 %/ 2. , 2. D&&* ' 2'+ % & %&*0, ) ' (K-7 + % )(/ 4/ % &/. g 2' % & % )(/ , '$ & ( , ' ?* , %/) ) 3-j, *2 %&*0 &+ ,(
* &( X, *2 ' (K-7 + | &( D. &( D0 ,(
* *2 % *0 ' (K-7 +, % / *0 ( D %' + (
+ &0 %&*0. /'* %&) % ) *2 '& 0 %, ( &0 /2 ,/' ' ) %&*/$ ) & (*& jX jjDj. '
& 4$ %&*/$ ) (' %&' ? | ) / %&** j, '&/$ ( 2) | ' (K-7 *. , '& % / - ,. <xj = 1= <xj = 0=, xj 2 XH %&' - %& 2 * ,. H % / - (/ ' (K-7 ( D0H %' - ?, (*2, %&*/- xj %&' - % / /- ' (K-7 - &0, % / / (
('&/$ * * , //- %, % / -. ,. '
( ( 2
163
<xj = =, (/ | jT j +2(m+k)+2, $&
% ' + & '& ,/' % . A5&*/ & / %&* %&' ( ,/ 0 +. & 0 '& % v % ' 2 ,/ v, & *2 ' ) ) * ,+H '+ & '& % u % ,/ u, & *2 ' ) * ,/ * , )0 | vH 7, '+ & '& % cj rj % ,/ v, )0 & 0 % ,/, ,% -. ,&/ /& %&*/$ )
m k. O * ,& (*, , ,& ) '& (5N +3) (5N +3) ( $ ,& '& 1 1, ,0' * ' /*) , & ) %&*/$ ) m k ( &$ %'*2 0'$ ,& . 2.8. D )/ /*2 *2 %& ( ( % * ) &*, & *2 ,. ) :&/&/ -, & ( 2 n ' *2 . 2.9. 6 2* %& ' 2) ( '
/ NP, %& ' &@ 4+ ( '
'&* & /- * @ / O)-& $ N, & &/& ( */ ,. 0' * @ N %' ? ' ( % ) p, %&/ &$ /2 %&& ). @ '&* & '% %&,& (+ &) g % *'/ - p & ( 2 %&
164
3* (
*2 p ; 1, . . p1, : : :, ps , 1, : : : , s , p;1=
Ys
j =1
p j j :
()
D 4$ * @ %&& & () ( 4 0 &* O(n3), $' n = log p, ' 2 /*2 ) , )@ % )(/* + %& & A B ' 2 /' &) /& Ax A;1 Bx B ;1 = Y: () f*& /& () 4 */ /&2' -: -, & . &?0*&$ %&& ) *%( 7 '/0 %& /$ 180 . 6 ( ) 4$ /&2' *2 /*&) ( & . 14. ) ' ( ) **/ 7.1 &/ . 6
( * *,
' -,0 c1 c2 /./ / & * & 7 V & (*&
( ( 7
167
180 A
x A;1
B
=2
x B ;1 180
. 13.
. 14.
2 2 (455 * -,+ ( ' + )- ),
pjc j2 + jc j2 c 1 1 2 V c2 = : 0
A ' ), ' -,$ ' $ & j i 2 C M /./ % ' )) / &0 * & 7 V (1) : : : V (M ;1) , V ;(1) : : : V (M ;1)j i = j1i, $' V (s) '+/ %'%&& C jsi js + 1i ( * & 7 / ** 7.1) (** ) , ( &. D/) %&) ( ' / & * & 7 U & (*& M M. *2 U ;1 %'0'. * & 7 U (11) : : : U (1M ;1), *2 %& %&+ ,7 & j1i. D& 4* ,7 - &$ )* , %4*/ %& & %&0' h1j. 6+/ * 2 ,& (* )* ,7 * , % / * ,& * & 7 U (js) (1 6 j 6 s 6 M ; 1) ($' U (js) '+/ jsi js + 1i), /' &-. + / U (M ;1M ;1)U (M ;2M ;2)U (M ;2M ;1) : : : U (11) : : : U (1M ;1) U ;1 = I: # ,& & $& ** 2 O(M 3) poly(log(1= )). 7.2. & (7.6) '/ ( 7% & , %& ' 0 ' -,$ j i: XY ji 6 kX k Y ji 6 kX k kY k ji: 6 ' ( ) & (7.7) ( * *, ,
%& & XX y X y X % ' -.
168
3* (
>, 7, & (7.8) '/ ( $, ,
%& & (X Y )y(X Y ) = X y X Y yY *- ' j k , $' j k | , X y X Y yY , . 7.3. 6 %&& ) ' '/0 *2 +. >** ; ; U~2 U~1 j i j0N ;ni = U~2 U1 j i j0N ;ni + j1i = = U2 U1 j i j0N ;ni + j2i + U~2 j1i $' jj i 6 j (j = 1 2). D4*/ U~ U~ ;ji j0N ;ni ; U U ji j0N ;ni 6 + : 2 1 2 1 1 2 n N ; n 7.4. ,(
* M = B j0 i. /'* ) %& & ' ~ ; [M ), $' / &+ %& & W~ W = (U I!n+1:::N ] )[M + W(I 0& M? . 6 $ W , ', % & ; N ;n W j i j0 i = (U j i) j0N ;ni
kW ;U~ k 6 O( ) 4 */, ' 0 ji 2 M? % ~ ji = O( ). D&' W~ = X U, ~ % / * 4 (W~ ;U) / / &+ %& & X: kX ; I k = O( ) X L? = M? $' L = U~ M. O%&) * %&,/ '/-. ** .
9. 8 L M | #$, N , # k[L ;[M k 6 , < 1=2. 0, / ) % X, # kX ; I k = O( ) X L = M. (G# , X L? = M?.)
/ . 1()*? * %& & Y = [M [L +(I ; [M )(I ; [L ). A& (/ ', %&' L M L? M? . 6 &* kY ; I k ** 7/ kY ; I k = k[M [L ; [M ; [L + [M [L k 6 6 k([M ; [L )[L k + k[M ([M ; [L )k 6 2 < 1: %& & Y / &+. ( %& '+ 7 '/, &2'+. *& * / &+ %& & X = Y (Y yY );1=2 . %& & Y y Y 0& %'%&& L, %4*/ X %&' L M. 6 7 &* X & ( 2 * (Y y Y );1=2 &' O+ &
(Y y Y );1=2 = I + 21 Z + 38 Z 2 + : : : $' Z = I ; Y yY: D4*/ k(Y yY );1=2 ; I k 6 (1 ; kZ k);1=2 ; 1 = O( ), -' % / * kX ; I k = O( ).
( ( 7
169
, %& * ) **/, ,0' * 7 ) / k[L ; [M k. >** k(U~ ; U I)[M k 6 (U~ %& , 2 U & @ &* * )- ). ,(
V = U I, % / * ~ M U~ y ; V [M V y k 6 2 : k[L ; [M k = kU[ > , / ** % ( ( '
&@ ) %& < 1=4. 7.5. A0*/ ' %& & Z(U) *2 %& ), % )(/ $ F = Z($) | /%& *+ ,* , * . # * j&' ( ' @ * j0 b ci a = 0 F : ja b ci 7! j1 c bi a = 1: g$ *2 & ( ) '/-. * ,& (*: F\1 2 3] = Z( )\1 2 3] Z( )\1 3 2] Z( )\1 2 3] (( * *, Z( ) = Z2 (x) | 4 4 * O55 ).
e h e h e h eh F
F U
j i j0i
. 15. & . 15 % ( , ( 0* ' %& & U, 0& -.$
j0i, %& ) 0*/ ' Z(U). 1 %&*/$ ) 0 %& 0' /%& -
*+ ,* q-, * (% & ) '+/ /2 4 * j&' ). g /%& -. + q-, & j1i, 0' 0*, -.+ U, ,/' %' j i, %& * / | j0i. 7.6. 2'+ ( & * & *0 %& %&2' -'/ % %'*2 %'$&/%% %& ) 5 & + %&*+. D4*/ ) ' ( ), %& ) '/0 & ( 0 %&*0 %&2' - SO(3). 6 4$ ' ' ( ),
%'$&/%% , %&2'? * %& * ) '/0 & ( 0 %&*0, '+/ & ( 5& ( %& + % | *2 '*&0 %'%&& ). A%& ' ) 4$ 5 ' ( & . 16 ( *2 %&*. ) % '/* *+ * % & +, ( -,+ 5& *2 %% ) -,/- '&/$/-). A&$ ' ( ) % / $ &@ - ( '
7.7.
170
3* (
. 16. 0. # &@ &/ : )( ' ) + &0+ 7 %& X X ;1 Y Y ;1 , *%( 7 &0 %& , 2 ( ' + 4 * U 2 SO(3) ( ' + )- . D& &/ '/-.*. D& /$ 2, $' | && 7 ), %&2' -'/ % %'*2 $&/%% %& ) 5 & + %&*+ (4 $&/%% , ', (*&5 R=Z). ' *2 ) 0&@ %& , 2 ) & 7 )* * (4 * *, $' 455 7 7%+ '&, , %&' -.+ , ) ,& & /). O$' -, r 2 R=Z%& , 2 4 * * ' n (n 2 Z) -,+ )- > 0, n *2 ,) ) /$' : , )@, * -, %&?' ( ' 5/7 . &/ ' ( ) 455 + (%& 5 & 0 X Y ) $& * %& %%& * 7 + ' ) 2 \4]. 7.7. ,(
* j 0 i = V ;1 j i, $' H 0 = V ;1 HV | , ( & C (j 0 i). O /&2' ( '
%& ,& ': ,K' , ( & '/0 % ' -. 0 '*&0 %'%&& %&2' U(M). 6 % ( ), $&/%% G, %&2'? H H 0, '+/ & ( *2 ' 0 &. 6+ ), %/) ' 2'$ j i 2 M +'? %& & U 2 G, + U j i = j i. O$'
U(M) = U H:
ji2M
6 ( * & ( ) '+ $&/%% G. 3 * *, H j i = Q(#) def = fji : jh j ij = cos #g 0 0 0 def H j i = Q (# ) = fji : jh j 0ij = cos #0g
( ( 7
171
$' # #0 ,(
- /$ *2'/ j i j i, j i0 : cos # = = jh j ij, cos #0 = jh j 0ij, 0 6 # #0 6 =2. 1 % '/-. 0 5&*/ 0 % )(/ 2 /$ *2'/ & * j i j i0 : cos = jh j 0ij, 0 6 6 =2. 2 %&& ), %& dim M> 3 HQ0(#0 ) = Q(#) H 0Q(#) = D4*/
j ;#0 j6#6min( +#0 =2)
j ;#j6#0 6min( +#=2)
H 0 j i = Q0() HH 0 j i = H 0HH 0 j i =
06#6min(2 =2)
Q0 (#0):
Q(#)
06#0 6min(3 =2)
Q0(#0)
. '. O * ,& (*, '+/ & j i %%&* 4 * * ( H 0 H ' & (, *2 % / ) -,+ ' + & j i. 7.8. D )/ x = HK 2 H, ' &+ , ( '&2 % + , ( ' 0 ,& *0 + (*. ( '
/ 6.1). #, , $' & ( '
7.5, %( & ( ) %& & Z(U) ' 0 4 * , ( , &* H. O%&) & *& * %& & X = Z(HKH) = HZ(K)H, &+, / ( $, & (/ ' &* , ( (%& & K 0& j0i). D'+/* * B2 '/* (*2* %, * : X1 = X\1 2], X2 = X\2 1]. %& & Y1 = X1 X2;1 , Y2 = X2;1 X1 2 & (/- ' &* , ( . 3 * *, %& & X1 , X2 ( ' ), Y1, Y2 ) 0& - & j00i ji = j01i + j10i + j11i. &* $, * %&&, Y1 , Yp 2 **/ &/- *-, %* * 1, ,
12 = (1 ;15)=4 = ei'=2. 1 SO(3) = U(2)=U(1) %& &/ * ,* * / %& /$ '. D )/ 12 - &* ( 1 ( ' 2 7 * $,& * * , 0 ' & 1=2), /$ ' (*& * . : % )/ 4 %& & **/ &/-, * /- %& &/$ & ( 0 %&*0. D4*/ Y1, Y2 %&2' - -'/ % %'*2 U(L)=U(1), $' L = C (j00i ji)? (*. ( '
/ 7.6).
172
3* (
6 ( &@ ' ( ) ' 2' %& * * &(/ ) ( '
7.7. %& & Y1 , Y2 %&2' - -'/ % *2 U(L)=U(1), %& & V = Z(K) 0& C (j00i) 0& C (ji). O ; Y1 , Y2 , V;1 Y1V , V ;1 Y2V %&2' - -'/ % *2 U L C (ji) =U(1). %& & H\1] 0& C (j00i)H %& * &(/ ) ( '
7.7 .? & (, % / * -'/ % *2 U(B2)=U(1). 7.9. >( %&''/.+ ( '
'/, *2 & ( ) %& & Z(c) )- ' 5 ($ *2 , Z(c) = ei' U. %& & x & (/ . 1()*?* '% )+ q-, j0i %& * * x Ux U ;1 : j0i 7! cj0i: (+ 5 (+ *2 ) & . . 1 1 7.10. 1 , ( j i = p (j0i + j1i), j i = p (j0i ; j1i) %& & x 2 2 ' $ (/, 4* , ( R * ' i R = ;i exp(ix ) = ;i e 0 e;0i : : & ( | && 7 ) , %* R *2 %& , 2? x ), &+ / ( * & ( ) -,+ %& & ' is exp(i' @ , ( * * & 7/ is z0 z ;0 1 , $' s = 0 1 2 3, jz j = 1. 1 $*& + &%& 7 4 %& & /- %& * &/$ x. D& s = 3 z = i % / * 4 * O55 : ;Z2(R) k " 2 Z (x ) (%& %'0'.* k), /2 ** % + + , ( . D& s = 1 z = 1 % / * Z2 (i) = Z(K) ( & + q-, 4 %& & '+/ 2'* ,& (*). >( Z(K) *2 ' ) K, %' /%& -. + q-, / j1i = x j0i. A )- ' 5 ($ *2 K | 4 %& 90 &/$ z, *%( 7 * %& &/$ x '$ %& &/$ z %&' - 4 * SO(3) ( $ ( '
7.7). > , * % / & ( 7 - 0 %& & ( U(2) )- ' 5 ($ *2 . ) % )( ) ( '
/ 7.9 ' $, , & ( ) H. 7.11. E-, & . &? 0*&$ %&& %&' *%( 7 &?0 %&: /$ &/$ z, ( * /$ &/$ x, ( * /$ &/$ z. D4*/ -,+ %& &, '+/-. + '* q-, , %&' ' U = ei' ei(=2)z ei(=2)x ei( =2)z : ()
( ( 7
173
2'+ ( %& & %& + () & 2 &( H /%& * 5 ( ' $ : ei' = Z(ei')x Z(ei' )x ei'z = Z(e;i' )x Z(ei' )x x z x = HZ(ei )H ei' = Hei' H: O * ,& (*, ' &@ ( '
' %& ) 0*/, %&' -./- /%& *+ 5 (+ ' $ Z(ei ) )- O( ). 1,&* q = 2n, 1= 6 q < 2= . D&'% 2 *, / & %&2 ) n-, + &$ &
j n(q k)i = p1q
qX ;1
;
exp 2i kjq jj i: j =0
3 * *, j n(q k)i | ,+ & $ %& & V : jj i 7! j(j ; 1) mod qi: V l j n (q k)i = e2i(kl=q) j n(q k)i: D& * j n(q k)i %& & V l , /%& *+ '% )* q, *, % / * *+ 5 (+ ' $ 4* q-, : ; Z(V l ) j i j n (q k)i = Z(e2i(kl=q) )j i j n(q k)i: ( +) %& & Z(V l ) *2 ( ' ) 0*+ +$ & (*& ' &* , ( . g k | ?, ,&* %'0'.$ l *2 %&' ) %& & Z(ei ) )- 2=q = O( ). 1* $, , & ) 0*/, %&2' -./- j n(q k)i, ,/'* ,& ) *) j n(q k)i %& & (0 k, (*&) (
k , & ) l, /-. 4*/ (*&*/ (
-. % @* &,/* '+ . 1. A(' ?* & z \1]H\1]j0ni = ji = p12 j0i ; p12 jq=2i = p1
q=X 2;1
q=2 s=0
j n(q 2s + 1)i:
3 * *, z = Z(i)2 = K 2 & (/ ' &* , ( . 2. D& ('?* (*& k &)- @ , " 6 2 H *2 ,) %&' %& &* qX ;1
j n(q k)ih n (q k)j Wk p $' Wk j0i = 1 ; "jki j*/&(k)i + p"j(k)i, & j*/&(k)i W=
k=0
174
3* (
j(k)i | ' + ' . 3 * *, ) | '& + &) ( & @ , :
W j0i ; jki j*/&(k)i = q;1 ; p1 ; "2 + p"2 = O( ): k
3. +'?* l(k), jkl(k)=q ; =(2)j 6 1=q. 4. D& * * Z(V l ) & , */ n-, */ &$ &/, % )(/ , , &* /2 ' ) 5 (+ ' $,
/%& -.$. 5. ,& * , ' @ $ 0 1{3. , &) @ , , *)@ 2, /2 O(log(1= )) 4 * &0 (*& + ' 2'$ ( %& & V , V 2 , : : : , V 2n;1 . D )/ n = O(log(1= )), ,. + & (*& 0* | O(log3(1= )). & & 8
P
2
D/) z hF(x) z j U jx 0N ;ni = 1 ; "x , "x 6 " < 1=2 ' 0 x. * /2 7 ) / 2 X p(x) = hf1 z1 : : : fk zk F(x) 0sj MU k j(x 0N ;n)k 0m+si 8.1.
f1 :::fk z1 :::zk
$' M | %& &, & (/-. + %& * 5/7 MAJ * , * k &$ & 0'+ 0* ( % -. + (
4+ 5/7 &$ & )$ . (6 & m, s '% )0 , % )(/- %& MAJ). g , % &$ & 0'+ 0* '&2 F (x), &(/ ) * %& * M ,( ) ,/' F(x). D4*/,
$ (3.1) . 38, ** 1 ; p(x) 6 2 X X X 6 hf1 z1 : : : fk zkjU kj(x 0N ;n)k i = S f1:::kg f1 :::fk z1 :::zk jSj6k=2 fj =F (x) , j2S
=
X
S f1:::kg jSj6k=2
p
(1 ; "x )jS j"kx;jS j < k $' = 2 (1 ; ")".
( ( 8 8.2.
175
D )/ H 2 = I, ** 7% / & : H
x
H
=
Hx H
=
z
:
%& & Z(z ) /*2 j1 1i ;1, ) , ( & *. g ' ) ( */ , ( ) /%& -.* q-, , % ( & / 2, % / %& &, &+ %& (' * & 7 + , 0 q-, 0 2=3. > , F(x) = 1 $' ) $' , $'
p(x) = 2;h (#1 (x) ; #;1(x)) > 21 : # 4 / #;1(x) + 2h;1 < #1(x): 3 % & % / %&' -
PP: ? @) %&& ), ) %&' * ' f(x) = jfy : R(x y) = 1gj, R( ) 2 P (' %& + 4 /2 ' ( ). j/7 f $ ' ,& (/- ( *+ #P.
( ( 8
177
D 2*, 4 ( */ ) 2 . D/) g(x) = = jfy : Q(x y) = 1gj, Q( ) 2 P, $'
f(x) + g(x) = jfy : T (x zy) = 1gj $' T (x 0y) = R(x y) T (x 1y) = Q(x y): 6 ( ) ( . PP PSPACE. # '. 3 '?* ' ? : ' ' R0 , '&/$+ | ' R1 . D&, & * (*2 (
y / * (
? ' Rk , Rk (x y) = 1. D* & * (
? . 8.4. D/ ) '/ ( %/ ,). 6 ,) %& '? * 0*/, & ' ? %& , 2? &@ . D&2' $, ( % @* &/&&/5&*/ / j n(q)i = cos #j0i j n;1(q0 )i + sin#j1i j n;1(q00)i () $' p q0 = 2n;1 q00 = q ; 2n;1 # = arccos q0=q q > 2n;1H q0 = q q00 = 1 # = 0 q 6 2n;1: &$ (/* &/& , % )(/ 5&*/ / (). 1. 1 * q0, q00, #=, % ' %&' * %& , 2? l ' * 7 5& * . 3 %* * &(/ ) '% )0 q-, 0. 2. D& ** %&*/ q-, / &$ & j0ni, &* /2 (' ) j n(q)i, %& & cos # ; sin # R(#) = sin # cos # : 3. 1 )0 n ; 1 , 0 (' ?* , ( . (
%&$ , : & 0, (' ?* j n;1(q0 )i, %& * / (' ?* j n;1(q00)i. 4. D&' * , ,& @ $/ 1, , ) '% )/- % *). P %& & R(#) & (/ %& , 2?. D/) #= = lk=1 ak 2;k . O$' R(#) " R(=2l )al : : : R(=2)a1 )- O(2;l ). > , %& , 2? %& & R(#) %&' %& (' * %& & Z(R(=2k )), $' k-+ & (&' #= /%& %& * * %& & R(=2k ). ,. ) + 0* & = O(n2;l )H & (*&, & 2+ &( ' / 0' ), | poly(n + log(1= )). D/ ). D& '?* & ( 7 - %&,& ( j/&), +'/%%&* * , ( *, 6+ *, ( 2 D. ;& \39].
178
3* (
3 /*&/* q-, /, -.* %&' n ; 1 ' 0. ,(
* ; Hj = H\j] Sjl = Z2 ei=2l;j \j l] (j < l): O$' %& & Vk = H0S01 S02 : : : S0n;2S0n;1H1S12 : : : S1n;1 : : : : : : Hn;3Sn;3n;2Sn;3n;1Hn;2Sn;2n;1Hn;1 ' ? % , /2: Uk = RVk , $' R | ( +) %& &, %&% -. + ' ,& * %&'. (*& + 0* O(n2). E$ '), *'/ * & 0 4 * p Vk %&' - * %& & Hj , & 1= k, &,/. ) %&& ) 5 ( *2 . D/) (Vk )(xn;1 :::x0 yn;1 :::y0 ) = p1 exp(i 2'(xn;1 : : : x0 yn;1 : : : y0)): k 3 * *, 2'+ * & + 4 * Vk ) %& (' * & 0 4 * *2 +. D& * Hj * 5 (/ $' ) $' , $' xj = yj = 1H %& * Sjl ', 5 ( =2l;j ) * / , $' xj = yl = 1. >(* 5 (
2 , %4*/ * ' % *'/ - 1. nX ;1 X xj yl '(xn;1 : : : x0 yn;1 : : : y0) = xj2yj + l;j +1 j =0 06j( 4$ & 2 & (/ '/, (z )b (x )a j abi = 21 j i: O j i &)* q-, % / %& * * %& & x z * /%& *: /%& -. * % & *& * - (*& (
a b.
H x
~
z
x
~9
> > > = j00i > > >
. 17. ! A0* + %& 7 (,& 2 & . 17. 3
* | &+ (q-, : ), | & + (q-, , ). $' : 0 %&' ) q-, ~ ,/, &@
~ ,(
%&+ , ,
184
3* (
(*& ' * * q-, * (' )@ 4 q-, % )(/-, ,& 0 */&/- &( /). (/ ) (*& + ,. ,/ % */ / ( ( 5/). ,, % )(/ ,. : , %&& . + q-, q-, ~. & & 11 11.1.
D %&' & ; +
** y P W j0ih0j W C (jki) N =
;
X ; ; = Tr jkihkj Rj j0ih0j Ryj [Lj [Lj = j ; ; ; X = Tr jkihkj R j0ih0j Ry Tr [ [ = = Tr [C(jki)N W j0ih0j W y =
=
j
X j
j
j
jhkjRj j0ij2P( Lj ) =
P
X
Lj
Lj
P(kjj)P( Lj ): P V , W ;1 = t [ V ;1. D4*/ j
g W = tk=1 [Lk k k=1 Lk k * 0* * ' W ;1Y W, $' %& & Y % &/ '% )+ &$ & &/-./- &) ,(
* &( p(X l). g h1 : : : hl %&2' - - $&/%%/ X, '&2 &+ * * )+ ,+ %'$&/%% Y X. 6 2'$ Y &) $ , %&0' 2;l , % )/ jY j 6 jX j=2. O * ,& (*, * ** 7/ p(X l) > 1 ; K(X) 2;l $' K(X) | * * )0 ,0 %'$&/%% $&/%% X. D'$&/%% , + $&/%% X 0' ( *'(
* %'$&/%% * $&/%% 0 & & X , %& 4* * * )* ,* %'$&/%% * - * * ) / %'$&/%%. 2' %'$&/%% %&2' ' * 4 **, %4*/ K(X) 6 jX j = jX j.
( ( 14
185
D& * + %& & Vb 2 L(B Bn ) (, ( & Bn ( /*& 0 ' 2n ; 1), + Vb j0 0i = j0 1i Vb j1 0i = j1 bi: ; 1 O$' 0* V \0 B] U\B A] V \0 B] & (/ %& & Z(Ub )\0 A] & @ &* * . 12.3. ,(
* ,& ( & jxi %& %&,& ( j/&) &( j n(k x)i. 1 ( '
8.4 * / ) & ) & j n(k 0)i. /2 * ) &@ ( '
7.11, j n(k x)i | ,+ & $ %& & V : jj i 7! j(j ; 1) mod ki, , &$ & exp(2ix=k). >% )(/ 4 ,& 2 &(/ ) ( '
11.2, %& * '/-./- 0*/ ' $ %&,& ( j/&). 1. 1 '% )*, (
) / *, &$ & %& * & j n(k 0)i. ,. % / X p1 jx yi: k 12.2.
y
2. A' * 5 (+ ' $ exp(2ixy=k). O%&) % / * jxi j n(k x)i. 3. >(*& ,& ** ,& (* (*. ( '
/ 11.2) , %& & V , '+/-.$ &+ &$ &, %& , * &(/ ) (*& x %&*/ &$ &/. (3') * '/ %, 2 % *'/ - 2). 1 %&* &$ & % / j0i,
&* | &,/*+ &(/ ) j n(k x)i. & & 14 14.1.
%& & X A *2 %&' ) ' A = j jj ihj j j > 0 hj jk i = hj jki = jk : j
3') 2j | / , %& & AAPy, jj i | $ , &, jj i = ;j 1 Ayjj i. O$' kAktr = j j . 6 -,$ %& &
X X X j Tr AX j 6 j Tr jj ihj jX 6 j kX k = kAktrkX k: j
P
j
A '&/$+ &, () X = j jj ihj j, kX k 6 1, Tr AX = = kAktr. >( ' ( $ %&' ' k ktr $ '/ & &/$ ) , % 2 )) '&') k ktr '.
186 14.2.
3* (
A+ ): j kAktr kBX k kAB ktr = sup j TrkABX X k 6 sup kX k 6 kAktr kB k: X 6=0
X 6=0
: $ ' ( + ,) (% )(/+) & * Tr ABC = Tr CAB). A+ ): )j j Tr(A)j = j Tr(kIAI k 6 kAktr : A+ $): ' -,$ 2 L(N M) ; ; Tr (TrM A)X Tr A(X IM) k TrM Aktr = sup = sup kX I k 6 kAktr : kX k X 6=0
X 6=0
M
A+ '): q p p
kA B ktr = Tr (A B)y (A B) = Tr AyA B y B = kAktr kB ktr : 14.3. D/) F | %&& + q-, ( A, N | %&& + )0 q-, . ,(
* D = IN F : N F ! N : g X Y 2 D, Y yX 2 IN L(F ) = E (A). A ' ), ' M %& @ , ( D. D&,& ( T : 7! TrF *2 ,) & ( 2 %& &/- /**/ (), *. &@ ( '
10.1. %& & Wm ( 4$ & ( 2 %& ' 2 %&& / D, %4*/ T 2 D Dy. ) % )( ) &*+ 14.2. 14.4. D&& F , /-. **/ '/, %&2' & * , 7 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 2 %&& ), !(fj fk ) = 0 ' -,0 '/0 & fj fk . 3 * *, ,7 , 7 & (, % &. g () -, ' % &, /-. 4 ,7 + ( *. A ' ), ( & $' *2 ) +/- *, 7 -, & '/0 ( ' 0 % & 0 %( 7 + '&2 ( ' . D4*/ / !(fj g) = 0 (j = 1 2 3 4) %& jgj 6 2 *$/ % ) ) ' g = 0. 14.5. (A*. \22, 33].) 6%/ *, M | ' % (4 1), %& -. + '/ @ ,/. O$' ' 2 , &/2 ) % & ++ *& '
( ( 14
187
@ , , , @ , q-, 0 \1 2], 2 q-, 0 \3 4]. # (
, %& ( ) 2 L(M) *2 ) % %&*, % % ' * '/* q-, * (*. ( '
/ 14.3). D 2*, 4 (*2. D/) N1 | %&& + q-, \1 2], N2 | %&& + q-, \3 4], $' M | 4 %'%&& N1 N2 . 1 2 M ! N1 N2 ,(
* &( V (4 (*& + %& &). D/) 2 T1 : 7! TrN2 T2 : 7! TrN1 | %&,& ( @ ,, P1 : N1 ! M P2 : N2 ! M | /-. %& -. %&,& ( . O$' %&,& ( P = (P1 P2)(V V y): M ! M M , ' '/-. * +*: ' -,$ 2 M ; TrN2 P = TrN2 (P1 P2)(V V y) = P1T1 (V V y ) = ; TrN1 P = TrN1 (P1 P2)(V V y) = P2T2 (V V y ) = : A$ ( '
10.5 %& 2' (
, P = 2 , $' 2 ( . >( &$ 2' '/, P = 1 . D / %& & : 1 = 2 , $' | -,. 14.6. % @* & '- &@ 4+ ( '
. 6 & *&) ' ( '/0 %&*0 $ *0 & $ ' . *% '&* & 1 ' $ /( &@? , (('/ &$ 0' ? &?,& / * * 1-7% , /-.+ &/ @ , g(z) . D4*/ % / * /- ( '
/. 3 ' & *2 D /( &@? . >( 0 1-7%+ C, $& 7 &0 % ' D, /2 ,& ) /, &+ *)@ &?,& / $ . &/' ,& ( ), 1-7%) & % ' ,K' %/+, ' -. 0 /( ( *2 D ( -, ' & ( 0 %/ *- ,. 0 &?,&), %& ?* 4 %/ *2 ) & +@ * . O ( '
%&' @ , % '&*/ ' #
($ # : ' $& 5 G ( @* / % +), 2'*/ $ &,&/ %& % ( @* / | & *2'/ /( * % &@?), /2 + % & , &* ' $ * */* /** % &?,& *, 0'. * % & . 6 ( '
(@* % & ( % * )
$& * (*., %& *&, \11, $ .11], $' % $& *, + '0 +$ %&$& ** & ).
S1] ; ;., *3 %*. ;#* 0 '. .: , 1985. S12] $& . . [ * #3. .: ,. )*, 1996. S13] 0 ) 22, 32 >& & & ' { # 74 { 3 % 76 { %4 % 11, 50, 66 >& & % 84, 180{ 182
192
. 2 +(!
>& & %3& ),' 73, 100, 175{176 >& & *%'C 10, 48 >& & # 52 >-& 50 >, %&C 43 117 { & & 12, 117 { { \ 127 { { *% 129, 132{ 134 { { 134{136 { 118 { {