Progress on Polynomial Identity Testing - CSE-IITK
T C C C
J T´ Dept. Theoretische Informatik, Universität Ulm Oberer Eselsberg, 89069 Ulm, Germany [email protected]
The problem of Identity Testing consists in given an arithmetic circuit that computes a polynomial p in a field, decide whether p is the zero polynomial. One of the first examples of probabilistic algorithms is the polynomial time randomized solution to this problem given by Schwartz and Zippel. More recently there has been considerable progress in trying to find a polynomial time deterministic solution to this important problem at the borderline between complexity theory and algebra. Nitin Saxena, one of the experts in the area, gives in this survey a beautiful overview of several recent results dealing with the complexity of Polynomial Identity Testing.
Progress on Polynomial Identity Testing Nitin Saxena Hausdorff Center for Mathematics, Endenicher Allee 62, 53115 Bonn, Germany, [email protected] Abstract Polynomial identity testing (PIT) is the problem of checking whether a given arithmetic circuit is the zero circuit. PIT ranks as
!""#$%& '( $)# *+,-. &' //0 112 3/45/0 67$'8#9 :;;/ 7 *!9'1#$8 ?6 @A?BCD (a21 + a22 + a23 + a24)(b21 + !"#$ $ "%
! &"'"#(" )* %+,-'"%
%,. )* *),' %+,-'"%
b22 + b23 + b24 ) = (a1 b1 − a2 b2 − a3 b3 − a4 b4 )2 + (a1 b2 + a2 b1 + a3 b4 − a4 b3 )2 + (a1 b3 − a2 b4 + a3 b1 + a4 b2 )2 + (a1 b4 + a2 b3 − a3 b2 + a4 b1 )2 3 E1"%" 0& *+ 2*'%&"
$! "$&8 F$8 -* -"&- -1"(D G'&- 2*(,#"-"#8 "5,$!7 -1" ,%*7'2-& $!7 21"2H F1"-1"% -1" (*!*(0$#& 2$!2"# 0! -1" %"&'#-0!/ &'(3 E10& F$8 8*' 2$! "$&0#8 9"%0+8 -1$- -1" $)*9" -F* "5,%"&&0*!& $%" 0!7""7 07"!-0-0"&3 I'- -1" ,%*2"&& *+ )#*F& ', (*!*(0$#& $!7 F*'#7 )" 9"%8 "5,"!&09" F1"! )*-1 -1" !'()"% *+ 9$%0$)#"& $!7 -1" 7"/%"" *+ -1" "5,%"&&0*! $%" 0!2%"$&"73 J*'/1#86 +*% n 9$%0$)#"& $!7 d 7"/%"" -1" !'()"% *+ (*!*(0$#& /%*F& $& n+d F1021 0& &($## 0+ *!" *+ n *% d 0& &($## )'#$%/" 0+ )*-1 d n, d $%" #$%/"3 K* -1" L'"&-0*! F" $&H 0& M 2$! -10& 07"!-0-8 *% N"%* -"&-0!/ )" 7*!" 0! (nd)O(1) &-",&O P*-02" -1$- -* +*%($#0N" -10& L'"&-0*! -1"%" &""(& -* )" $ !""7 *+ 2$%"M +'##8 7";!0!/ -1" F$8 -1" $#/")%$02 "5,%"&&0*! 0& /09"! -* '& 0! -1" 0!,'-3 4*%-'!$-"#86 -1"%" 0& $#%"$78 $! *)G"2- 7";!"7 0! 2*(,'-$-0*!$# 2*(,#"50-86 2$##"7 6 -1$- F" 2*'#7 70%"2-#8 '&" Q?BR3 .! $%0-1("-02 20%M 2'0- C 6 *! &$8 n 9$%0$)#"& $!7 $ ;"#7 F6 0& $ 70%"2-"7 $282#02 /%$,1 F0-1 9$%0$)#"& $- -1" #"$9"& $!7 $- -1" %**-3 E1" 0!-"%!$# !*7"& $%" 2$##"7 6 -1"8 $%" *+ -F* H0!7& M ('#-0,#02$-0*! $!7 $770-0*! M $!7 ,"%+*%( -1" %"&,"2-09" *,"%$-0*!& *9"% -1" ;"#7 F3 E1" "7/"& *% *+ C 2$! 1$9" *! -1"( +%*( -1" ;"#7 F1021 /"- ('#-0,#0"7 -* -1" 9$#'" $- -1" -$0# *+ -1" %"&,"2-09" "7/"3 S- 0& "$&8 -* &"" -1$- -1" 9$#'" $- -1" %**- *+ -1" 20%2'0C 0& G'&- $! nM9$%0$-" ,*#8!*(0$# $!7 #09"& 0! F[x1 , . . . , xn ]3 E1'& $ 20%2'0- 0& $ !$-'%$# 2*()0!$-*%0$# F$8 -* 2$,-'%" $#/")%$02 2*(,'-$-0*!3 !" (0/1F$!- -* 2*!&07"% -1" )$&" *)G"2- F -* )" $ /"!"%$# 0!&-"$7 *+ $ ;"#7 )'F" F0## )" (*%" 2*!2"%!"7 F0-1 -1" #$--"% 0! -10& &'%9"83 4*% -1" ,'%,*&"& *+ 07"!-0-8 -"&-0!/ F" '&'$##8 %"/$%7 -1" *,"%$-0*!& 0! -1" ;"#7 F -* )" 7*$)#" 0! -0("3 E1" )'#H *+ -1" 2*(,'-$-0*! 0! -1" 07"!-0-8 -"&-0!/ $#/*%0-1(& 0& &""! $& $ +'!2-0*! *+ -1" *+ -1" 0!,'- 20%2'0-6 F1021 0& )$&02$##8 -1" "/0-#! #1 0')!,(
%$"/0)#"#$ -223
-' $4."$ ( ( '(, $
#0,$
),$0,$
1-$"%
5 '"%
%$-#
%$' #1
,# $
% 7"
!
()#6
!" #$%%"&'( )* &!" +, -. !"#$% &' ()*$+ ) , -.%$+ . */$ 0.%0!.*1 2 &*/$% !+$'!3 4)%)"$*$% &' ) 0.%5 0!.* .+ !"#$6 -/.0/ .+ */$ !"#$% &' 3$7$3+ #$*-$$ */$ %&&* ) , */$ 3$)7$+1 %&'(')%&'*+# %$'$%+ *& */$ ")8."!" !"#$% &' . 4!*+9&!*4!*+ ) ()*$ /)+ . */$ 0.%0!.*6 ) , ) 0.%0!.* -.*/ ') &!* 1 .+ 0)33$, ) ,*-.+/&1 :. )33;6 -$ !+$ */$ &*)*.& poly(s, t) *& ,$ &*$ ) 4&+.*.7$57)3!$, '! 0*.& -/&+$ )+;"4*&*.0 #$/)7.&!% .+ (s + t)O(1) 1 .7$ ) )%.*/"$*.0 0.%0!.* C . */$ . 4!* */)* 0&"5 4!*$+ ) 4&3; &".)3 p(x1 , . . . , xn ) . F[x1 , . . . , xn ]1 :. , ) ,$*$%". .+*.0 )35 (&%.*/" */)* *$+*+ .' p .+ */$ ?$%& 4&3; &".)36 ) , !+$+ & 3; poly(size(C)) ") ; F &4$%)*.& +1 @A< .+ 0!%%$ *3; ) &4$ B!$+*.& ) ,6 )+ -$ -.33 +$$ . */.+ +!%7$;6 ) ."4&%*) * B!$+*.& . 0&"43$8.*; */$&%;1 C!* .* /)+ ) $)+; D4%)0*.0)3E +&3!*.& 6 .1$1 */$%$ )%$ -&' *.(0! 4&3; &".)35*."$ )3(&%.*/"+ */)* )%$ $)+; *& ."43$"$ *1 "* *3+ 5',* '6 *)-+@ /+&+ 0);+. (! K3+. L M"' D?NF: O+/). L P"73". DQRF: ".7 B0&"/"# L ),/", D?F8 B, /+ 5"&+ -'&+ "('4* 7+*+&-).),*)5 -+*3'7, ). *3), ,4&;+!: /+ /)## .'* 7),54,, *3+ 7+*")#, '6 *3+,+ -+*3'7, 3+&+8 23+,+ &".7'-)$+7 "#0'&)*3-, ,3'/ *3"* S,++ *3+ ,4&;+! DANF 6'& *3+ *3+'&+*)5"# +;)7+.5+@8 234, )* ,++-, *' (+ " &+",'."(#+ 0'"# *' ' (-#'&)%. S/ ! / < (i, j) ! "0 #6 ."K0". -#%=". 16 +$
; j 0, % !"#>/" >/,, !;=" % 3!"3L >!" !"# !" 4$, /=;#/; " -%,60%4/;,
det(A) /< M"#%: >!/3! 3;0 1" !" !"# P (x) /< !" M"#% -%,60%4/;, %="# !" #/02 Z/nZ: >!/3! /< Q$< ; " ."K0"
."#;0.%4/M". 16 C2#;>;,: X;6;, T @;5"0; DAF % 2" -%,60%4/;,
/4" ;,2%#/ !4 &%# -#/4;,/ 6
"< /02'
!" K#< ." "#4/0/< /3
+!"6 "
P (x) = 0 (4%. n, ar xr − 1) &%# ;,, 1 ≤ a, r ≤ (log n)5 !"0 P (x) = 0 (4%. n)' * /< ;< %0/
3;0 1" ." "#4/0". 16 Q$< ,%%L/02 4%.$,% ="#6 &">: ="#6 CK@ (!%( '$, (!" 5+,5$*"* $' &$; 4"#,"" 9: )( )* "/$+#!B *$3";!%( *+,5,)*)/#&.B ($ P+*( 2$/*)4", 4"5(!Q 4 2),2+)(*7 !" 3%)/ )4"% )* ($ R*!,)/JS %/. &$; 4"#,"" 2),2+)( )/($ % 4"5(!Q 4 2),2+)( 0. 5%.)/# $/&. % +12"15$/"/()%& 5,)2" )/ (!" 2),2+)( *)H"7 !+* )' $/" *$&-"* 4"5(!Q4 9: )/ 4"(",3)/)*()2 5$&./$3)%& ()3" (!"/ $/" !%* *$&-"4 &$; 4"#,"" 9: )/ *+0"15$/"/()%& ()3"7 : 3%)/&. *"" (!)* %* % *(,$/# "-)4"/2" (!%( 9: '$, R*!%&&$;S 2),2+)(*B )7"7 (!$*" $' 4"5(! 3 $, 4B #)-"* +* "/$+#! 2&+"* ($ (%2J&" (!" 0)##", 9: 5,$0&"37 -%!/012 &'( 34+5 67"8916+:;) T$/-)/2"4 (!%( *!%&&$; 2),2+)(* %," %&,"%4. )/(","*()/# 2%*"* '$, 9: B ;" /$; '$2+* $/ (!" 9: %&#$,)(!3* '$, 4"5(!* 2, 3 %/4 47 G 4"5(! 2 2),2+)( )* ")(!", % *+3 $' 3$/$3)%&* = ΣΠA $, % 5,$4+2( $' &)/"%, 5$&./$3)%&* =ΠΣAB 0$(! $' ;!)2! !%-" $0-)$+* 4"(",3)/)*()2 5$&./$3)%& ()3" 9: %&#$,)(!3* )' ;" 2%/ &$$J R)/*)4"S (!" 2),2+)( =;!)2! )* ;!. ;" +*" (!" (",3 ")" 0&%2JQ0$1A7 G 4"5(! 3 2),2+)( 2%/ ")(!", 0" % 5,$4+2( $' *+3 $' 3$/$3)%&* $, % *+3 $' 5,$4+2( $' &)/"%, 5$&./$3)%&*7 G* (!" '$,3", 2%*" )* %#%)/ (,)-)%& ($ 2!"2J '$, H",$/"**B ;" $/&. ;$,,. %0$+( (!" &%((", 2%*"7 !+*B '$, +* % -!('3*3 4)&' C $-", % I"&4 F )* C(x1, . . . , xn) = P k i=1 Ti B ;!"," Ti =$ 51%'&(%&4$'&)" '!#5 A )* % 5,$4+2( $' di &)/"%, 5$&./$3)%&* Li,j $-", F7 U$(" (!%( 0. !$3$#"/)H%()$/ ;" 2%/ %**+3" ;&$# (!%( Li,j V* %," &)/"%, 6)#5+ =)7"7 &)/"%, 5$&./$3)%&* ;)(! % H",$ 2$/*(%/( 2$"W2)"/(A %/4 (!%( !
!" #$%%"&'( )* &!" +, -. d1 = · · · = dk =: d !"#$ % #&'#"&( &) '*+*''*, (- %) % ΣΠΣ(n, k, d) #&'#"&(. k &) ($* !" #$%&% -+ C %0, d &) ($* '()*(( -+ C 1*2($33 #&'#"&() %'*
/$*'*
% 4--, )(%'(&04 2-&0( %0, %'* "0,*' &0(*0)* )(",5 +'-6 7%'&-") 7&*/2-&0() 899. :;. .
J T´ Dept. Theoretische Informatik, Universität Ulm Oberer Eselsberg, 89069 Ulm, Germany [email protected]
The problem of Identity Testing consists in given an arithmetic circuit that computes a polynomial p in a field, decide whether p is the zero polynomial. One of the first examples of probabilistic algorithms is the polynomial time randomized solution to this problem given by Schwartz and Zippel. More recently there has been considerable progress in trying to find a polynomial time deterministic solution to this important problem at the borderline between complexity theory and algebra. Nitin Saxena, one of the experts in the area, gives in this survey a beautiful overview of several recent results dealing with the complexity of Polynomial Identity Testing.
Progress on Polynomial Identity Testing Nitin Saxena Hausdorff Center for Mathematics, Endenicher Allee 62, 53115 Bonn, Germany, [email protected] Abstract Polynomial identity testing (PIT) is the problem of checking whether a given arithmetic circuit is the zero circuit. PIT ranks as
!""#$%& '( $)# *+,-. &' //0 112 3/45/0 67$'8#9 :;;/ 7 *!9'1#$8 ?6 @A?BCD (a21 + a22 + a23 + a24)(b21 + !"#$ $ "%
! &"'"#(" )* %+,-'"%
%,. )* *),' %+,-'"%
b22 + b23 + b24 ) = (a1 b1 − a2 b2 − a3 b3 − a4 b4 )2 + (a1 b2 + a2 b1 + a3 b4 − a4 b3 )2 + (a1 b3 − a2 b4 + a3 b1 + a4 b2 )2 + (a1 b4 + a2 b3 − a3 b2 + a4 b1 )2 3 E1"%" 0& *+ 2*'%&"
$! "$&8 F$8 -* -"&- -1"(D G'&- 2*(,#"-"#8 "5,$!7 -1" ,%*7'2-& $!7 21"2H F1"-1"% -1" (*!*(0$#& 2$!2"# 0! -1" %"&'#-0!/ &'(3 E10& F$8 8*' 2$! "$&0#8 9"%0+8 -1$- -1" $)*9" -F* "5,%"&&0*!& $%" 0!7""7 07"!-0-0"&3 I'- -1" ,%*2"&& *+ )#*F& ', (*!*(0$#& $!7 F*'#7 )" 9"%8 "5,"!&09" F1"! )*-1 -1" !'()"% *+ 9$%0$)#"& $!7 -1" 7"/%"" *+ -1" "5,%"&&0*! $%" 0!2%"$&"73 J*'/1#86 +*% n 9$%0$)#"& $!7 d 7"/%"" -1" !'()"% *+ (*!*(0$#& /%*F& $& n+d F1021 0& &($## 0+ *!" *+ n *% d 0& &($## )'#$%/" 0+ )*-1 d n, d $%" #$%/"3 K* -1" L'"&-0*! F" $&H 0& M 2$! -10& 07"!-0-8 *% N"%* -"&-0!/ )" 7*!" 0! (nd)O(1) &-",&O P*-02" -1$- -* +*%($#0N" -10& L'"&-0*! -1"%" &""(& -* )" $ !""7 *+ 2$%"M +'##8 7";!0!/ -1" F$8 -1" $#/")%$02 "5,%"&&0*! 0& /09"! -* '& 0! -1" 0!,'-3 4*%-'!$-"#86 -1"%" 0& $#%"$78 $! *)G"2- 7";!"7 0! 2*(,'-$-0*!$# 2*(,#"50-86 2$##"7 6 -1$- F" 2*'#7 70%"2-#8 '&" Q?BR3 .! $%0-1("-02 20%M 2'0- C 6 *! &$8 n 9$%0$)#"& $!7 $ ;"#7 F6 0& $ 70%"2-"7 $282#02 /%$,1 F0-1 9$%0$)#"& $- -1" #"$9"& $!7 $- -1" %**-3 E1" 0!-"%!$# !*7"& $%" 2$##"7 6 -1"8 $%" *+ -F* H0!7& M ('#-0,#02$-0*! $!7 $770-0*! M $!7 ,"%+*%( -1" %"&,"2-09" *,"%$-0*!& *9"% -1" ;"#7 F3 E1" "7/"& *% *+ C 2$! 1$9" *! -1"( +%*( -1" ;"#7 F1021 /"- ('#-0,#0"7 -* -1" 9$#'" $- -1" -$0# *+ -1" %"&,"2-09" "7/"3 S- 0& "$&8 -* &"" -1$- -1" 9$#'" $- -1" %**- *+ -1" 20%2'0C 0& G'&- $! nM9$%0$-" ,*#8!*(0$# $!7 #09"& 0! F[x1 , . . . , xn ]3 E1'& $ 20%2'0- 0& $ !$-'%$# 2*()0!$-*%0$# F$8 -* 2$,-'%" $#/")%$02 2*(,'-$-0*!3 !" (0/1F$!- -* 2*!&07"% -1" )$&" *)G"2- F -* )" $ /"!"%$# 0!&-"$7 *+ $ ;"#7 )'F" F0## )" (*%" 2*!2"%!"7 F0-1 -1" #$--"% 0! -10& &'%9"83 4*% -1" ,'%,*&"& *+ 07"!-0-8 -"&-0!/ F" '&'$##8 %"/$%7 -1" *,"%$-0*!& 0! -1" ;"#7 F -* )" 7*$)#" 0! -0("3 E1" )'#H *+ -1" 2*(,'-$-0*! 0! -1" 07"!-0-8 -"&-0!/ $#/*%0-1(& 0& &""! $& $ +'!2-0*! *+ -1" *+ -1" 0!,'- 20%2'0-6 F1021 0& )$&02$##8 -1" "/0-#! #1 0')!,(
%$"/0)#"#$ -223
-' $4."$ ( ( '(, $
#0,$
),$0,$
1-$"%
5 '"%
%$-#
%$' #1
,# $
% 7"
!
()#6
!" #$%%"&'( )* &!" +, -. !"#$% &' ()*$+ ) , -.%$+ . */$ 0.%0!.*1 2 &*/$% !+$'!3 4)%)"$*$% &' ) 0.%5 0!.* .+ !"#$6 -/.0/ .+ */$ !"#$% &' 3$7$3+ #$*-$$ */$ %&&* ) , */$ 3$)7$+1 %&'(')%&'*+# %$'$%+ *& */$ ")8."!" !"#$% &' . 4!*+9&!*4!*+ ) ()*$ /)+ . */$ 0.%0!.*6 ) , ) 0.%0!.* -.*/ ') &!* 1 .+ 0)33$, ) ,*-.+/&1 :. )33;6 -$ !+$ */$ &*)*.& poly(s, t) *& ,$ &*$ ) 4&+.*.7$57)3!$, '! 0*.& -/&+$ )+;"4*&*.0 #$/)7.&!% .+ (s + t)O(1) 1 .7$ ) )%.*/"$*.0 0.%0!.* C . */$ . 4!* */)* 0&"5 4!*$+ ) 4&3; &".)3 p(x1 , . . . , xn ) . F[x1 , . . . , xn ]1 :. , ) ,$*$%". .+*.0 )35 (&%.*/" */)* *$+*+ .' p .+ */$ ?$%& 4&3; &".)36 ) , !+$+ & 3; poly(size(C)) ") ; F &4$%)*.& +1 @A< .+ 0!%%$ *3; ) &4$ B!$+*.& ) ,6 )+ -$ -.33 +$$ . */.+ +!%7$;6 ) ."4&%*) * B!$+*.& . 0&"43$8.*; */$&%;1 C!* .* /)+ ) $)+; D4%)0*.0)3E +&3!*.& 6 .1$1 */$%$ )%$ -&' *.(0! 4&3; &".)35*."$ )3(&%.*/"+ */)* )%$ $)+; *& ."43$"$ *1 "* *3+ 5',* '6 *)-+@ /+&+ 0);+. (! K3+. L M"' D?NF: O+/). L P"73". DQRF: ".7 B0&"/"# L ),/", D?F8 B, /+ 5"&+ -'&+ "('4* 7+*+&-).),*)5 -+*3'7, ). *3), ,4&;+!: /+ /)## .'* 7),54,, *3+ 7+*")#, '6 *3+,+ -+*3'7, 3+&+8 23+,+ &".7'-)$+7 "#0'&)*3-, ,3'/ *3"* S,++ *3+ ,4&;+! DANF 6'& *3+ *3+'&+*)5"# +;)7+.5+@8 234, )* ,++-, *' (+ " &+",'."(#+ 0'"# *' ' (-#'&)%. S/ ! / < (i, j) ! "0 #6 ."K0". -#%=". 16 +$
; j 0, % !"#>/" >/,, !;=" % 3!"3L >!" !"# !" 4$, /=;#/; " -%,60%4/;,
det(A) /< M"#%: >!/3! 3;0 1" !" !"# P (x) /< !" M"#% -%,60%4/;, %="# !" #/02 Z/nZ: >!/3! /< Q$< ; " ."K0"
."#;0.%4/M". 16 C2#;>;,: X;6;, T @;5"0; DAF % 2" -%,60%4/;,
/4" ;,2%#/ !4 &%# -#/4;,/ 6
"< /02'
!" K#< ." "#4/0/< /3
+!"6 "
P (x) = 0 (4%. n, ar xr − 1) &%# ;,, 1 ≤ a, r ≤ (log n)5 !"0 P (x) = 0 (4%. n)' * /< ;< %0/
3;0 1" ." "#4/0". 16 Q$< ,%%L/02 4%.$,% ="#6 &">: ="#6 CK@ (!%( '$, (!" 5+,5$*"* $' &$; 4"#,"" 9: )( )* "/$+#!B *$3";!%( *+,5,)*)/#&.B ($ P+*( 2$/*)4", 4"5(!Q 4 2),2+)(*7 !" 3%)/ )4"% )* ($ R*!,)/JS %/. &$; 4"#,"" 2),2+)( )/($ % 4"5(!Q 4 2),2+)( 0. 5%.)/# $/&. % +12"15$/"/()%& 5,)2" )/ (!" 2),2+)( *)H"7 !+* )' $/" *$&-"* 4"5(!Q4 9: )/ 4"(",3)/)*()2 5$&./$3)%& ()3" (!"/ $/" !%* *$&-"4 &$; 4"#,"" 9: )/ *+0"15$/"/()%& ()3"7 : 3%)/&. *"" (!)* %* % *(,$/# "-)4"/2" (!%( 9: '$, R*!%&&$;S 2),2+)(*B )7"7 (!$*" $' 4"5(! 3 $, 4B #)-"* +* "/$+#! 2&+"* ($ (%2J&" (!" 0)##", 9: 5,$0&"37 -%!/012 &'( 34+5 67"8916+:;) T$/-)/2"4 (!%( *!%&&$; 2),2+)(* %," %&,"%4. )/(","*()/# 2%*"* '$, 9: B ;" /$; '$2+* $/ (!" 9: %&#$,)(!3* '$, 4"5(!* 2, 3 %/4 47 G 4"5(! 2 2),2+)( )* ")(!", % *+3 $' 3$/$3)%&* = ΣΠA $, % 5,$4+2( $' &)/"%, 5$&./$3)%&* =ΠΣAB 0$(! $' ;!)2! !%-" $0-)$+* 4"(",3)/)*()2 5$&./$3)%& ()3" 9: %&#$,)(!3* )' ;" 2%/ &$$J R)/*)4"S (!" 2),2+)( =;!)2! )* ;!. ;" +*" (!" (",3 ")" 0&%2JQ0$1A7 G 4"5(! 3 2),2+)( 2%/ ")(!", 0" % 5,$4+2( $' *+3 $' 3$/$3)%&* $, % *+3 $' 5,$4+2( $' &)/"%, 5$&./$3)%&*7 G* (!" '$,3", 2%*" )* %#%)/ (,)-)%& ($ 2!"2J '$, H",$/"**B ;" $/&. ;$,,. %0$+( (!" &%((", 2%*"7 !+*B '$, +* % -!('3*3 4)&' C $-", % I"&4 F )* C(x1, . . . , xn) = P k i=1 Ti B ;!"," Ti =$ 51%'&(%&4$'&)" '!#5 A )* % 5,$4+2( $' di &)/"%, 5$&./$3)%&* Li,j $-", F7 U$(" (!%( 0. !$3$#"/)H%()$/ ;" 2%/ %**+3" ;&$# (!%( Li,j V* %," &)/"%, 6)#5+ =)7"7 &)/"%, 5$&./$3)%&* ;)(! % H",$ 2$/*(%/( 2$"W2)"/(A %/4 (!%( !
!" #$%%"&'( )* &!" +, -. d1 = · · · = dk =: d !"#$ % #&'#"&( &) '*+*''*, (- %) % ΣΠΣ(n, k, d) #&'#"&(. k &) ($* !" #$%&% -+ C %0, d &) ($* '()*(( -+ C 1*2($33 #&'#"&() %'*
/$*'*
% 4--, )(%'(&04 2-&0( %0, %'* "0,*' &0(*0)* )(",5 +'-6 7%'&-") 7&*/2-&0() 899. :;. .
