HAL Id: hal-00845633
https://hal.archives-ouvertes.fr/hal-00845633
Submitted on 17 Jul 2013
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Guaranteed robust nonlinear minimax estimation
Luc Jaulin, Eric Walter
To cite this version:
Luc Jaulin, Eric Walter. Guaranteed robust nonlinear minimax estimation. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2002, 47 (11), pp.1857-1864.
�hal-00845633�
Guaranteed Robust Nonlinear
Minimax Estimation
! "#$%&' ! #'( )! *#%+,-
!"#$%&#. /&'&0#1 2#-#0,+,- ,3+&0#+&4' #&03 #+ 56#-#5+,-&7&'8 +6, 3,+ 49 #%% :#%$,3 49 +6, 2#-#0,+,- :,5+4- +6#+ 0&'&0&7, +6, %#-8,3+ #;34%$+, (,:&#+&4' ;,+<,,' ,12,-&0,'+#% (#+# #'(
54--,324'(&'8 04(,% 4$+2$+3! =4<,:,-> 0&'&0#1 ,3+&0#+&4' &3 <,%% ?'4<' +4 ;, ,1+-,0,%@
3,'3&+&:, +4 4$+%&,-3 &' +6, (#+# -,3$%+&'8> !"!> 49 3,'34- 9#&%$-,3! A' +6&3 2#2,-> # ',< 0,+64(
&3 2-4243,( +4 -4;$3+&9@ 0&'&0#1 ,3+&0#+&4' ;@ #%%4<&'8 # 2-,32,5&B,( '$0;,- 49 #;34%$+, (,:&#+&4'3 +4 ;,540, #-;&+-#-&%@ %#-8, <&+64$+ 04(&9@&'8 +6, ,3+&0#+,3! C@ 540;&'&'8 +44%3 49
&'+,-:#% #'#%@3&3 #'( 54'3+-#&'+ 2-42#8#+&4'> &+ ;,540,3 2433&;%, +4 5402$+, +6, 54--,324'(&'8 0&'&0#1 ,3+&0#+,3 &' #' #22-41&0#+, ;$+ 8$#-#'+,,( <#@> ,:,' <6,' +6, 04(,% 4$+2$+ &3 '4'%&',#- &' &+3 2#-#0,+,-3! D6, 0,+64( &3 &%%$3+-#+,( 4' # 2-4;%,0 <6,-, +6, 2#-#0,+,-3 #-, '4+ 8%4;#%%@ &(,'+&B#;%,> <6&56 (,04'3+-#+,3 &+3 #;&%&+@ +4 (,#% <&+6 +6, 5#3, <6,-, +6, 0&'&0#1 34%$+&4' &3 '4+ $'&E$,!
'()*+$,". 54'3+-#&'+ 2-42#8#+&4'> &'+,-:#% 5402$+#+&4'> '4'%&',#- ,3+&0#+&4'> 0&'&0#1 ,3+&F 0#+&4'> 4$+%&,-3> -4;$3+ ,3+&0#+&4'!
1 Introduction
*6,' +6, 2#-#0,+,- :,5+4- 49 # 04(,% 6#3 +4 ;, ,3+&0#+,( 9-40 ,12,-&0,'+#% (#+# !> +6, 2-45,($-, +4 ;, 94%%4<,( (,2,'(3 4' +6, #33$02+&4'3 #;4$+ +6, '4&3,! A9 +6, 54024','+3 49 ! #-,
#33$0,( &'(,2,'(,'+%@ 54--$2+,( ;@ #' #((&+&:, '4&3, $'&94-0%@ (&3+-&;$+,( 4:,- +6, &'+,-:#%
! ! ! <&+6 $'?'4<'> +6,' # 0#1&0$0F%&?,%&644( ,3+&0#+, 49 &3 4;+#&',( ;@ 0&'&0&7&'8 +6, %#-8,3+ #;34%$+, (,:&#+&4' ;,+<,,' +6, (#+# #'( +6, 54--,324'(&'8 04(,% 4$+2$+3> <6&56 54--,324'( +4 0&'&0#1 ,3+&0#+&4'! D6, -,3$%+&'8 ,3+&0#+, ;,%4'83 +4 +6, 3,+ 49 #%% 2#-#0,+,- :,5+4-3 +6#+ #-, 54'3&3+,'+ <&+6 #'@ :#%$, 49 %#-8, ,'4$86 94- +6, 3,+ +4 ;, '4',02+@! /4-,4:,->
+6, 54--,324'(&'8 %#-8,3+ #;34%$+, (,:&#+&4' " &3 # %4<,- ;4$'( 94- > <6&56 2-4:&(,3 $3,9$%
&'94-0#+&4' +4 #'@4', &'+,-,3+,( &' ;4$'(,(F,--4- 2#-#0,+,- ,3+&0#+&4'! GH,, IIJKL> IJML> INJL>
IJOL> IPL> IJQL #'( +6, -,9,-,'5,3 +6,-,&'R!
/&'&0#1 ,3+&0#+&4' &3 <,%% ?'4<'> 64<,:,-> +4 ;, ,1+-,0,%@ 3,'3&+&:, +4 4$+%&,-3> #3 # 3&'8%, 49 +6,0 0#@ 3$S5, +4 -$&' +6, ,3+&0#+, INTL> INL! U$+%&,-3 #-, (#+# +6#+ -,3$%+ 49 ,:,'+3 '4+
#554$'+,( 94- ;@ +6, 04(,%> 3$56 #3 3,'34- 9#&%$-,3> +-#'35-&2+&4' ,--4-3 4- ,--4',4$3 6@24+6,3,3 4' '4&3, (&3+-&;$+&4'! D6, 2$-243, 49 +6&3 2#2,- &3 +4 2-,3,'+ # ',< #%84-&+60 94- 5402$+&'8
!"#$!%#&$' (') *&+,!-. '% */)%01')2 345 67892 :;5*<*-=>?'@<3,&A'$)&%> B!$&) *-(2 CDDCE F&G<)-$<HA'%%'2 I$!,@'
!#, ?'!A' G$#1 !"#$!%#&$' (JK,+>,&'$&' (') */)%01') L-%#1!%&)>)2 3,&A'$)&%> (JL,+'$)2 I$!,@'M
J
!"#"$%&&' #()!*% +,$,+"- &*%,+"%&*. #()!*% +&"$,$ /&#& %/"% " 0#&*0&1,2&' $!+)&# (3 ")4
*(5!%& '&6,"%,($* "#& "55(7&' %( )&1(+& "#),%#"#,58 5"# &. "$' !"#"$%&&' +&"$,$ %/"% "$ (!%&#
"00#(-,+"%,($ (3 %/& *&% (3 #()!*% +,$,+"- &*%,+"%&* ,* ()%",$&'9 :/& )"*,1 ,'&" ,* ";,$ %( %/"%
,$ <=>? "$' <@?. )!% ,%* ,+05&+&$%"%,($ ,* #"',1"558 $&79 A% 1(+),$&* %/& %((5* (3 !"#$%&' &!&'() )
"$' *+!)"$& !" ,$+,&-&" +! %( 0#(6,'& !"#"$%&&' #&*!5%* B1($%#"#8 %( <=>?C 3(# $($5,$&"# +('4
&5* B1($%#"#8 %( <@?C9 :/,* 1(+),$"%,($ ,* 1"55&' .!"#$%&' /+!)"$& !" 0$+,&-&" +! BADEC <F?. <G?9 H(+& )"*,1 $(%,($* (3 ADE "#& #&1"55&' ,$ H&1%,($ I. "$' %/& $&1&**,%8 (3 &-%&$',$ ,% %( '&"5 7,%/
#()!*% +,$,+"- &*%,+"%,($ B !"C ,* *%#&**&'9 H&1%,($ J ,6&* " #"%/&# 15"**,1"5 (0%,+,K"%,($
"5 (#,%/+ )"*&' ($ ADE9 A$ (#'&# %( '&6&5(0 "$ &L1,&$% #&'!1%,($ 0#(1&'!#&. ")5& %( /"$'5&
!". H&1%,($ > ,$%#('!1&* %/& $(%,($ (3 *&% 0(58$(+,"5*9 :( %/& )&*% (3 (!# ;$(75&' &. %/,*
$(%,($ ,* $&7. "% 5&"*% ,$ %/,* 1($%&-%9 M %&*%41"*& ,* 0#&*&$%&' ,$ H&1%,($ > %( '&+($*%#"%& %/&
&L1,&$18 (3 %/& "00#("1/ "'6(1"%&'9
2 Relaxed minimax estimator
A$ 7/"% 3(55(7*. %/& 0"#"+&%&# 6&1%(# ,* "**!+&' %( )&5($ %( %/& 0#,(# "-,*4"5, $&'
*&"#1/ )(- !9 N&% ! ! )& %/& '"%" 6&1%(#. ! " # ! )& %/& "**(1,"%&' +('&5 (!%0!%
6&1%(# "$' " " # ! )& %/& B")*(5!%&C &##(# 6&1%(# '&2$&' "* !! "! " # !. 7/&#& %/& ")*(5!%&
6"5!& ,* %";&$ 1(+0($&$%7,*&9 O&$(%& )8 %/& $!+)&# (3 '"%" "55(7&' %( )&1(+& "#),%#"#,58 5"# &9 O&2$& %/& 4+"- 3!$1%,($ 3#(+ ! # ! 7/&#& " ,* "$ ,$%& &# 7,%/ " # $ $. "*
%/& 3!$1%,($ %/"% "**(1,"%&* %( # % "$!! % % % ! $!#! ,%* " & '#%/ 5"# &*% &$%#89 P(# &-"+05&. ,3
# % "(! ")! (! *! $#!! %/&$ Q4+"-"## % *! =4+"-"## % (! @4+"-"## % (! I4+"-"## % $ "$' J4+"-"## % ")% A$ " +,$,+"- 1($%&-%. %/& 1(*% 3!$1%,($ %( )& !*&' ,3 (!%5,&#* "#& "**!+&' 1"$ )& 7#,%%&$
&"" # % 4+"- "" " ## % B=C R,%/ "$8 ,6&$ "$' !. %/& $#'&1#2 3 ! 3&1 #)" 3&"+$ B !"C "**(1,"%&* %/& *&%
%" % "# +,$ " #&"" # ! B@C
7/,1/ ,* (3%&$ " *,$ 5&%($ (# " 2$,%& $!+)&# (3 6&1%(#*9 S(%& %/"% *,$1& &"" # ,* " '&1#&"*,$
3!$1%,($ (3 . %/& +,$,+!+ &" (3 &" # (6&# ! ,* "5*( " '&1#&"*,$ 3!$1%,($ (3 . 4#4.
! & $ ' +&"! & +&""% BIC :/& *&%
%""'# ( ! ! &"" # & ') % BJC
,* ,$1#&"*,$ 7,%/ ! 4#45 % "'# * %!"'# * % % % * %!"'# % ! "$' 7,%/ '! 4#45 '! & '$ '
%""'!# * %""'$# % P, !#& = ,55!*%#"%&* %/&*& 0#(0&#%,&* 7/&$ %/& ',+&$*,($ (3 ( ,* =9 P(# #&"'4
"),5,%8. %/& '&0&$'&$18 (3 %/& *&% %" ,$ ' ,* $(% +&$%,($&'9
@
!"#$% &' ())#*+$,+!-. -/ +0% 1$-1%$+!%* -/ +0% 2-*+ /#.2+!-.' 30%$%,* !! ,.4 " ,$% 4%2$%,*!."
/#.2+!-.* -/ "# $! !.2$%,*%* 3!+0 " ,.4 $
5- !61)%6%.+ %&'7 ,. %82!%.+ ,.4 $%)!,9)% ,)"-$!+06 !* .%%4%4 +- 2-61#+% +0% *%+ " -/ ,)) 6!.!6!:%$* -/ ! -. # $; 50!* +,*< 3!)) 9% 1%$/-$6%4 9= +0% ,)"-$!+06 !"!#!$%7 +- 9%
1$%*%.+%4 !. >%2+!-. ?7 30!20 !* 9,*%4 -. !.+%$@,) 2-.*+$,!.+ 1$-1,",+!-. A(BCD7 9$!%E= $%2,))%4
!. +0% .%F+ *%2+!-.;
3 Interval arithmetic and constraint propagation
50% ,11$-,20 +- 9% %61)-=%4 2-69!.%* +3- 2-61)%6%.+,$= +--)*7 .,6%)= !.+%$@,) ,.,)=*!* G&HI ,.4 2-.*+$,!.+ 1$-1,",+!-. GJJI !.+- 30,+ !* <.-3. ,* !"#$%&' ()!*"$& !" +$)+&,&" )! A(BCD GKI7 GHI; L-+% +0,+ !.+%$@,) ,.,)=*!* !* ,)*- #*%4 /-$ $%)!,9)% ")-9,) -1+!6!:,+!-. 3!+0-#+ 2-.*+$,!.+
1$-1,",+!-.7 *%%7 #-,-7 GMI7 GJNI !. , "%.%$,) 2-.+%F+ ,.4 GJ?I7 G&NI !. , 6!.!6,F 2-.+%F+; O%)!,9)%
")-9,) -1+!6!:,+!-. 9,*%4 -. (BC !* -/+%. 6-$% %82!%.+ GJPI7 GQI; R-$%-@%$7 (BC 0,.4)%* *#9*%+*
-/ A-$ 4-6,!.*D +0,+ 6,= .-+ 9% !.+%$@,)*; S)+0-#"0 *#20 4-6,!.* ,$% )%** %,*!)= 6,.!1#),+%4 +0,. !.+%$@,)*7 +0%= ,))-3 6-$% ,22#$,+% -#+%$ ,11$-F!6,+!-.* -/ *%+*;
3.1 Interval and domain arithmetics
S .)/& ! ! -/ !* , *#9*%+ -/ ; 0)/& ! &$ "1/#" ( !* , "%.%$,)!:,+!-. /-$ 4-6,!.* -/
+0% 2),**!2,) ,$!+06%+!2 /-$ $%,) .#69%$*; T%+ ! ,.4 " 9% +3- 4-6,!.*7 # ,. -1%$,+-$ !.
N
! " ! ! "#$ "%& " " " # !" # #$ % &'!()*+! ,'(- , ,*!. (+,. ) !. ,/#. 0," " "
$ % & ' $ % %'$ ( $ % ( &#
# ($) ' # ($) '$ ( $ #" 123
4-$! )-$ "+5 *!,. )+ 0$ - !"%$" #$ *!)$#6 %,. (% ,,*( % +7$# )*+!, , "$8!$" 09 *!)$#6 % ! %9,*, ( ! 0$ ',$" )+ 7$#&+#5 )-$,$ +7$# )*+!,: ;$#$. )-$ "+5 *!, #$ ,,'5$" )+ (+!,*,) +& 8!*)$
'!*+!, +& *!)$#6 %, !" *!)$#6 % (+57') )*+! ( ! 0$ $<)$!"$" )+ (+57')*!= >*)- ,'(- "+5 *!,
?@AB: C-$ 5 *! "6 !) =$, +& ',*!= "+5 *!, *!,)$ " +& *!)$#6 %, #$ )- ) )-$ ,$) +& "+5 *!,
*, (%+,$" >*)- #$,7$() )+ )-$ '!*+! +7$# )+# ) !" )- ) "+5 *! (+57') )*+! 5 D$, *) 7+,,*0%$
)+ 6+*" !"" #$%%&'&%' >-$! "*,(+!)*!'+', +# 5'%)*6 %'$" &'!()*+!, #$ *!6+%6$" 1?@AB. ?@EB3:
F+# *!,) !($. >*)- *!)$#6 % #*)-5$)*( *!+!* *, ' ,!* *+. >-$#$ , >*)- "+5 *! #*)-5$)*(
*!+!* *, ', ! * !*, ) +* *+"
4$ ,- %% ( %% ()*+$%&), -.')&, +& )-$ G #)$,* ! 7#+"'() +& & "+5 *!, +& . &/$/. $ '
$ + , , , + $ : C-$ !+)*+! +& G #)$,* ! "+5 *! ( ! 0$ *!)$#7#$)$" , ! $<)$!,*+! +& )- ) +&
<*,H %*=!$" 0+< 1+# *!)$#6 % 6$()+#3: C-*, $<)$!,*+! %%+>, 5+#$ (('# )$ +')$# 0+'!"*!= +&
(+57 () ,$), >*)- "*,(+!!$()$" 7 #),: I+)$ )- ) ! <*,H %*=!$" 0+< *, G #)$,* ! "+5 *!. )-$
(+57+!$!), $! +& >-*(- #$ *!)$#6 %,: 4$ ,- %% "$!+)$ )-$ ,$) +& %% G #)$,* ! "+5 *!, +&
09 - ( ): J$()+# ( %('%', ( ! 0$ $<)$!"$" )+ G #)$,* ! "+5 *!, ',*!= *!)$#6 % #*)-5$)*( ?@KB.
!" )-$ !+)*+! +& *!(%',*+! &'!()*+!: G+!,*"$# &'!()*+! # - . : L! &,0"!%&., 1!,0+&., +& # *, &'!()*+! / - - ( ) . - ( )
0$ ( - ( ) #($) 1 /($) 1M3
>-$#$ #($) ' #( )' ( $ #: N+5 *! #*)-5$)*( 5 D$, *) 7+,,*0%$ )+ (+57')$ *!(%',*+! &'!(H )*+!, &+# 6$#9 % #=$ (% ,, +& &'!()*+!, #: C-$ 7#*!(*7%$ *, )+ #$7% ($ $ (- +(('##$!($ +& 6 #* 0%$
$! *! )-$ $<7#$,,*+! +& # 09 )-$ (+##$,7+!"*!= "+5 *! !" $ (- +7$# )+# +# 0 ,*( &'!()*+! 09
*), "+5 *! (+'!)$#7 #). , "$8!$" 09 123: C-$ &+%%+>*!= $< 57%$ *%%',)# )$, )-$ (+57') )*+!
+! "+5 *!, !" "$5+!,)# )$, )-$ 7$,,*5*,5 #$,'%)*!= &#+5 5'%)*7%$ +(('##$!($, +& 6 #* 0%$, *!
)-$ $<7#$,,*+! +& #:
!"#$%& ' (.,%&-$* + $ 1!,0+&., #( ) ' $ $ $! ),- + $ -.')&, $ ' $ + $!2 3&+
$ ' +* ., ),- $!' +!/ !., ) +/ 0," 4 #.%%&5"$ &,0"!%&., 1!,0+&., 1.* # &% /($) ' $ $ $!
+ )+ &% $6)"!)+$- )% 1."".3%
/($) ' +* ., (+* ., " (+!/ !., ) +/ 0,)) 1K3
' +* ., (+!1 !., ) +/ 2,) 1O3
' +!3 4, ) +0 *4," 1P3
71 #( ) &% *$3*&++$, )% '( ) ' $ (* $!) ) ,$3 &,0"!%&., 1!,0+&., &% .5+)&,$- )% 2($) '
Q
! " !# !"# $%&'(&")*+ ,)$'-#
! # $ %! &' " %! !' " %#( #&' $ %( )'## !"#
$ %! &' " %#& #!' $ %) *'# !!#
$ %#) #!' $ %) !+'! !$#
.*"$ "/&" " # $ ! # % & #0 %&'&( ! # 12*%)-$# "/$ $3&4" )5&6$ *7 8, " 9/$2$&# & # 12*%)-$# *+', &+ *("$2 &112*3)5&")*+ :8$4&(#$ "/$ "9* *44(22$+4$# *7 # &2$ "2$&"$- &# )7 "/$, 9$2$ )+-$1$+-$+";
)%*+ ,-./%0 1-.23*/*%-0( %01435%-0 6301*%-05 1/0 7' -7*/%0', 6-8 / 4/89' 14/55 -6 6301*%-05 "
6-8 :+%1+ /0 /0/4;*%1/4 '<28'55%-0 %5 /=/%4/74'& )' 5+/44 5'' %0 >'1*%-0 ?&@ +-: *- -7*/%0 /0
%01435%-0 6301*%-0 6-8 *+' 1-5* 6301*%-0 $ # ,'A0', 7; !# :%*+ *+' +'42 -6 *+' 0-*%-0 -6 5'*
2-4;0-.%/45 %0*8-,31', %0 >'1*%-0 ?&
3.2 Interval constraint propagation
)' 5+/44 1/44 12)5)")%$ 4*+#"2&)+"# 8'4/*%-05 %0=-4=%09 32 *- *+8'' 8'/4 =/8%/74'5 *+/* 1/0 7' :8%**'0 %0 -0' -6 *+' *+8'' 6-44-:%09 6-8.5B
30/8; 1-05*8/%0*# % ' ( :+'8' ( ' ) #
7%0/8; 1-05*8/%0*# % $ " %!# :+'8' " ' *1-5( 5%0( '<2( 4-9( 5C8( 5C8*! ! ! + *'80/8; 1-05*8/%0*# % $ %!, %" :+'8' , ' *" # " &( D( ./<( .%0+!
E 1-05*8/%0* %5 &+-<-$4*51*#&8'$ %6 %* 1/0 7' ,'1-.2-5', %0*- / A0%*' 5'* -6 28%.%*%=' 1-05*8/%0*5 8'4/*', 7; *+' F--4'/0 -2'8/*-8 &+- G-8 %05*/01'( *+' 1-05*8/%0*
,-. # #! # # /01 #!###!" 2.3 # # - ( !H#
%5 &+-I,'1-.2-5/74' 5%01' %* /,.%*5 *+' 6-44-:%09 ,'1-.2-5%*%-0 %0*- 28%.%*%=' 1-05*8/%0*5B
!!
!!
!!
!!
!!
!!
!!
"
!!
!!
!!
!!
!!
!!
!!
#
% $ # #!
%!$ /01 #!#
%"$ # # %!
%#$ ,-. % %"#
%$$ 5C8 %##
%%$ 2.3 # #
%&$ %$" %%
%&' ' # . ('!
!@#
J6 " %5 / 6301*%-0 68-. *- ( ' ) # /0, / ' ) #( JKL ./M'5 %* 2-55%74' *- -7*/%0( %0 / ='8; 'N1%'0* :/;( / K/8*'5%/0 ,-./%0 *+/* '014-5'5 *+' 5'*
0 $ 1 " /# !?#
?
!"#$%&% '()' '(& *"+,'!)$+' !! $, !"-%&*". ",)/0& 1,&&2 #$%$2 34562 3762 3869: ;"
&'!() &( " <$'( !&, &*' '" # .&)+, '" =+% ) >)!'&,$)+ %".)$+ $ ,?*( '()' # % $ % " : @&'
?, $00?,'!)'&2 "+ ) ,$. 0& &A). 0&2 ("< B>C $, ?,&% '" *"+'!)*' ) /"A "! ) >)!'&,$)+ %".)$+ ":
!"#$%& ' *'!+,"#) (-# +#( # "#.!#" /0 12345 6-#)# ! !!!! " !"! " " # $%" %&'" !"
! # $&(" ('# 7' &'!() &( "5 .)+( "#&'89'+# (-# &'!+() ,!( ! ! + $%! % # !!"
$)! %! # !!% "
$*! %" # !"! "
$(! & # %!" %""
$+! & $&(" ('#
7-# "'8 ,!+ (' 6-,&- (-# : ), /;#+ ! " !!" !"" % " %!" %" !" & )# ) !$"!$ ++<8#" (' /#;'!% )#
%,:#! /0 $! ' # $!!' # $!"' # $%" %&' " $% ' # $%!' # $%"' # $&' # '&'" '$ # =') +,89;,&,(05 (-#+#
"'8 ,!+ - :# /##! &-'+#! + ,!(#): ;+5 /<( (-,+ ,+ !'( )#><,)#" /0 (-# 8#(-'"$ ?0 9)'9 % (,!%
(-#+# @'<) &'!+() ,!(+ + ;'!% + &'!() &(,'! ( A#+ 9;  '!# %#(+
$+! ( $&' ,# $&(" ('
$%! ( $% ' ,# $% ' ) $! '!! # $%" %&'!! # $%" %&&' "
$)! ( $%!' ,# $%!' ) $!!' * $% '! # $%" %&' * $%" %&&' # $%" %&&&' "
$*! ( $%"' ,# $%"' ) $!"' * $! '! # $%" %&' * $%" %&' # $%" %&&' "
$(! ( $&' ,# $&' ) $%!' " $%"'! # $&(" (' ) $%" %&&&' " $%" %&&'! # $)" ('"
$(! ( $%!' ,# $%!' ) $&' & $%"'! # $%" %&&&' ) $)" (' & $%" %&&'! # $%" *' "
$(! ( $%"' ,# $%"' ) $&' & $%!'! # $%" %&&' ) $%" (' & $)" *'! # $%" *' "
$*! ( $! ' ,# $! ' ) $%"' ' $!"'! # $%" %&' ) $%" *' ' $%" %&'! # $%" *' "
$*! ( $!"' ,# $!"' ) $%"' ' $! '! # $%" %&' ) $%" *' ' $%" *'! # $ " !' "
$)! ( $% ' ,# $% ' ) $%!' ' $!!'! # $%" %&&' ) $%" *' ' $%" %&'! # $%" *' "
$)! ( $!!' ,# $!!' ) $%!' ' $% '! # $%" %&' ) $%" *' ' $%" *'! # $ " !' "
$%! ( $! ' ,# $! ' ) $% ' # $%" *' ) $%" *' #!
"+
!"
#
14D9
7-<+5
#" $%" %&'", !!!!" !"! $&(" ('$
%%
%"+
*&
- $%" *'!# 14E9
F(&+ '(& *"+,'!)$+', &+*"?+'&!&% )!& +"' !"-%&*". ",)/0&2 '(& *0),,$*)0 B>C ) !")*( %"&, +"' ) 0G %$!&*'0G: H"! $+,')+*&2 '(& *"+,'!)$+' ( #! . (# $+#"0#&% $+ '(& ,"0?'$"+ "I '(& !"/?,' .$+$.)A &,'$.)'$"+ !"/0&. $, +"' !"-%&*". ",)/0&2 ), $00?,'!)'&% /G '(& I"00"<$+J &A). 0&:
D
!"#$%& ' ! !! " #"#$% !" ! " $%& !!!& '() *+,-'.$/,' !! ! *$, 0) )%1$,2)2 /,'+ '()
!+33+4/,5 1./#/'/6) *+,-'.$/,'-7
!! ! !
!!
!!
!!
!!
!!
!!
!!
"
!!
!!
!!
!!
!!
!!
!!
#
#" " !
$,2 # " $%& !!
$,2
!!
!!
!!
!!
!"
!!
!!
!!
!!
!#
$ ##" '() !" #"!
$,2 ##"* # $" !* +.
$ #$" '() !" # !
$,2 #$"* # $" !* +.
$ #%" '() #"" # !
$,2 #%"* # $" !*
!"#
8)*$9-) +! '() 1.)-),*) +! '() 8++3)$, +1).$'+. $%& '() *+,-'.$/,' /- ,+' &'("2)*+#1+-$03) $,2
*3$--/*$3 :; *$,,+' 0) $113/)2<
)' &(&*+&+,$' $- ./0 +$ 1234 $,2"+.5(63$7*$1&896 *%$89671 :,99 86 7&(6 *$11,896 8; +46 ,'+%$(23+,$' $- +46 '6: '$+,$' $- 16+ *$9;'$7,&91 ,' <63+,$' => ?$ ,7*9676'+ !"@ :6 &91$
'66( & %69,&896 *%$36(2%6 -$% A9$8&9 $*+,7,B&+,$'> C6 14&99 216 & +%,D,&9 &(&*+&+,$' $- & 39&11,3&9
$*+,7,B&+,$' &9A$%,+47 EF=G@ EHG *%616'+6( ,' +46 -$99$:,'A 163+,$'> ?46 %6129+,'A &9A$%,+47 ,1
*&%+,329&%9; :699 12,+6( +$ +46 216 $- ./0>
4 MINIMIZE algorithm
?46 *%$8967 +$ 86 1$9D6( ,1 +46 7,',7,B&+,$' $- & 3$1+ -2'3+,$' ! $D6% & 8$I + &*> J6+ %% 86 +46 16+ $- &99 A9$8&9 7,',7,B6%1 $- $D6% + &* &'( + * + *! 86 &' ,'3921,$' -2'3+,$' -$% +46 3$1+
-2'3+,$' !> ?46 &9A$%,+47 !#$#%#&'@ *%616'+6( $' ?&896 !@ A6'6%&+61 & 9,1+ $- 8$I61 %!@ +46 2',$' $- :4,34 3$'+&,'1 %%" &'( 3$7*2+61 &' 6'39$12%6 $- +46 7,',727 % > .+ 2161 & 9$3&9 7,',7,B&+,$' *%$36(2%6 ()*)+$ &+ <+6* K#@ 1,7,9&% +$ +4&+ *%616'+6( ,' E!FG@ +$ (63%6&16 +46 2**6% 8$2'( !-$% +46 7,',727 , > .'+6%D&9 &'&9;1,1 ,1 ,'D$9D6( &+ <+6*1 !L &'( !! +$ 3$7*2+6
&' ,'3921,$' -2'3+,$' + * + *! ,' $%(6% +$ 6'39$16 +46 %&'A6 $- $D6% +46 8$I + *$ M; +&N,'A
&(D&'+&A6 $- +46 &D&,9&8,9,+; $- +46 2**6% 8$2'( !@ ./0 ,1 ,'D$9D6( &+ <+6* = +$ %6*9&36 + * 8;
& 17&996% 8$I + * 1234 +4&+ &'; A9$8&9 7,',7,B6% ,' +!* ,1 &91$ ,' + *> = ,1 & O,%1+5.'5O,%1+5P2+
9,1+ $- 8$I61 3$'+&,','A +46 *&%+ $- +46 16&%34 1*&36 +4&+ 4&1 '$+ ;6+ 866' 1+2(,6(> )'; *$,'+ $-
& ,1 1+,99 & *$+6'+,&9 3&'(,(&+6 -$% 86,'A & A9$8&9 7,',7,B6%> ?46 %6&9 '2786% % & - ,1 +46 :,(+4 869$: :4,34 8$I61 :,99 '$+ 86 8,163+6(> +% * ,1 &' ,'+6%D&9 +4&+ 3$'+&,'1 +46 A9$8&9 7,',727 ,'>
.+ ,1 3$7*2+6( 8; ,'+6%D&9 6D&92&+,$' $- $D6% &99 8$I61 $- %! &+ <+6* !!> ?46 9$:6% 8$2'( $- +46 ,'+6%D&9 + * +!* ,1 (6'$+6( 8; 98 + * +!*!!>
.' +46 3$'+6I+ $- QRS@ +:$ $+46% *%$89671 %67&,' +$ 86 1$9D6(@ '&769; A6++,'A &' ,'3921,$' -2'3+,$' -$% !! &1 (6T'6( 8; !# &'( &(&*+,'A &' ./058&16( *%$36(2%6 +$ +46 3$'+%&3+,$'
$- & 8$I +!* 2'(6% +46 3$'1+%&,'+ !! ! @ &1 %6U2,%6( 8; <+6* = $- !#$#%#&'> ?4616 +:$
V
!"!#!$% !"# !$ "!#$ %&'# !" ( ) % ! !!"$ % #$ % $$ ! % #$
* +,!-. %% #$
/ 0&' 123' .-.4."' %5 !"'% !6 7 % &'(')""8."'.2" !#" "!##6
9 1": ; <%= ! 3&>, ',;' !! & ""! ' $" !# ( ! ( !!$
? !5 ! % #$ ',." @% '% *6
A !5 +!:'," !# ) #(" ',." ! % * ! !"$ @% '% *6"
B <!3.>' ! ;": ;00.": ',. '+% 2.3&-'!"@ <%=.3 '% 6 C .": +,!-.
)D 2.4%E. ;-- !! !" 3&>, ',;' -<" !" !!## $ 6 )) 5%2 ;-- !! !" $ ! % ! * !" !!#$
)* ! % !&! ' $" !F
G;<-. )# 8-;33!>;- H8IJ<;3.: ;-@%2!',4 5%2 2.-!;<-. 4!"!4!K;'!%"
%0.2;'!%"3 +!-- <. <;3.: &0%" %5 ; ".+ 'L0. %5 %<M.>'$ ";4.-L !"# $%&'(%)*+&!$ 02.3."'.: !" ',.
".=' 3.>'!%"F
5 Set polynomials
5.1 Introduction
G,. 02%<-.4 >%"3!:.2.: ,.2. !3 ',. >%"'2;>'!%" %5 ; 8;2'.3!;" :%4;!" + ;33%>!;'.: +!', ',.
E.>'%2 ! 3&<M.>' '% ',. >%"3'2;!"' "!# , - +,." ',!3 >%"3'2;!"' !3 +(,-%.J:.>%40%3;<-.F G,!3 02%<-.4 ,;3 '% <. 3%-E.: '% !40-.4."' N'.0 9 %5 !"!#!$% +,.2. ',. >%"3'2;!"' '% <. ';O." !"'%
;>>%&"' !3 "!# , ! ' $" !F G,. "%'!%"3 :.E.-%0.: !" ',!3 3.>'!%" +!-- ;-3% <. &3.: '% %<';!"
;" !">-&3!%" 5&">'!%" 5%2 ',. >%3' 5&">'!%" "!#" ;3 "..:.: ;' N'.03 )D ;": )) %5 !"!#!$%F G,. 02!">!0-. %5 ',. 02%>.:&2. 5%--%+.: '% >%"'2;>' + >%"3!3'3 %5 ',2.. 3'.03F
. !"# $# P.>%40%3. ',. >%"3'2;!"' "!# , - !"'% ; 3.' %5 % +(,J:.>%40%3;<-. >%"3'2;!"'3 2.-;'.: <L ',. Q%%-.;" %0.2;'%2 %.F R%2 !"3';">.$ ',. >%"3'2;!"' >%"3!:.2.: %" S=;40-. /
!3 :.>%40%3.: ;3 5%--%+3#
&J4;="&" &#" '()"&## ) /
!"
!#
*+,"&" &## )
%2 4;="&#" '()"&## )
%2 4;="&" '()"&## ) !
)C(
. !"# %# 8%"'2;>' + +!', 2.30.>' '% .;>, %5 ',. % >%"3'2;!"'3 ';O." !":.0.":."'-LF G,&3
% 8;2'.3!;" :%4;!"3 +"&#" ! ! ! " + "%# ;2. %<';!".:F B
!"# $ !"#$%&' ! !" " # # # " ! " !
()' *+,-%./&+0' *'/"#$",+&+". 1& 2&'$ 3 4'1*, &" 1 /"#5+.1&"6+14 '7$4",+". +. "%6 /".&'7&8 9&
/1. 5' 10"+*'* 5: 1*1$&+.; &)+, ,/)'#' <' ,)144 %,' 1 ,$'/+=/ *'/"#$",+&+". &" 6'$41/' &)'
*+,-%./&+0' >"6# 1& 2&'$ 3 1.* 1 ,$'/+=/ ,'& 14;"6+&)# &" 6'$41/' &)' %.+"., 1& 2&'$ ?8 ()'
&)'"6'&+/14 51/@;6"%.* .''*'* &" %.*'6,&1.* &)+, 1*1$&1&+". +, $6','.&'* +. 2'/&+"., A8B 1.*
A8?C 0+1 &)' ."&+". "> ,'& $"4:."#+14,8 9. 2'/&+". A8DC 1 .'< $6"/'*%6' +, ;+0'. >"6 /".&61/&+.;
! %.*'6 &)' /".,&61+.& " " $# % &# " # <)+4' 10"+*+.; /"#5+.1&"6+14 '7$4",+".8
5.2 Set polynomials
%&'&( )"*+,!,-+.
()' ,'& >%./&+". ' $ ! " ( # # # ( ! " ) ! " # <)'6' ! " +, &)' ,'& "> 144 ,%5,'&, ">
# +, !"#$% &! '&!&(&! " +>
* !" + , !" # ! ! ! # * " + , " - ' * !"# ! ! ! # * "" + ' , !" # ! ! ! # , "" ! EBFG H"6 +.,&1./'C ' * !"# * %"# * &"" * !" . * %"" " * !" . * &"" +, +./4%,+". #"."&".+/C /".&616: &" ' *" '*C <)'6' '* +, &)' /"#$4'#'.&16: ,'& "> * +. 8
I'& * $" $ ! " # $ ( !# ! ! ! # # 5' ,'& +.*'&'6#+.1&',8 ()' /".,&6%/&+". "> &)' ,'& /)* !"#
! ! ! # * "# "> 144 $"4:."#+14, +. &)',' +.*'&'6#+.1&', <+&) /"'J/+'.&, +. &)' ,'& "> K""4'1.
.%#5'6, / 0*# !1 +,C +. $6+./+$4'C +44+/+&C 5'/1%,' ! " # "# ." +, ."& 1 6+.; 5%& ".4: 1 ,'#+L6+.;C ,+./' ! " # "" +, ".4: 1 #"."+* 1.* ."& 1 ;6"%$ E,'' M33NC $1;' 33OG8 K: 1.
15%,' "> ."&1&+". /"##".4: /"##+&&'*C )*+*C +. &)' E#17CPG /"##%.+&: M3NC <' ,)144 .'0'6&)'L 4',, ,$'1@ "> / )* !"# ! ! ! # * "# 1, 1 ,'& "> $"4:."#+14,8 Q.' ,)"%4* @''$ +. #+.*C )"<'0'6C
&)1& ,"#' /41,,+/14 "$'61&+"., 144"<'* >"6 6+.;L51,'* $"4:."#+14, 16' ." 4".;'6 014+*8 R.: '4'L
#'.& "> / )* !"# ! ! ! # * "# <+44 5' /144'* 1 %)( ,&#-!&' .#8 R. '71#$4' "> 1 ,'& $"4:."#+14 +, * !" . * %"" " * !" . * !"" " * %"# <)+/) +, 1. '4'#'.& "> / )* !"# * %"# ! S)'. &)'6' +, ."
1#5+;%+&:C 2 " / 1.* 2 . / <+44 5' *'."&'* #"6' /"./+,'4: 5: 2 + / 1.* 2!/C 6',$'/&+0'4:8 2'&
$"4:."#+14, 16' "50+"%,4: +./4%,+". #"."&".+/8
(" './4",' 1 ,'& 3 ( ' * !"# ! ! ! # * "" <)'6' ' +, +./4%,+". #"."&".+/C +& ,%J/', &" '.L /4",' '1/) * %" +.&" 1 5"7 , %" E"6 #"6' ;'.'6144: 1 !16&',+1. *"#1+.G 1.* &)'. &" /"#$%&' ' , !" # ! ! ! # , "" ! R #'&)"* >"6 '014%1&+.; ' , !" # ! ! ! # , "" +, $6"$",'* +. &)' >"44"<+.;
,'/&+".8
T
!"!" #$%&'%()*+ *, -.( /*&0+*1)%&- *$.2 3%2(.-)%+ 4*1%)+-
56.*2.1 7 !"#$%&'"( %)*"(&'+(,- .%$ "(/ ! 0% $1+ !"#$%&'"( /+2"'(&3 45%(
', " # # # " ! $ ! " # # # " ! ! " $ ! ! " # # # " $ ! !
'', " # # # " ! % ! " # # # " ! ! & % ! ! " # # # " % ! ! !"#
82**,9 $%& '())* *)( +# +, -(+.+/01 /23 4& ,%/00 )205 6+.& / '())* *)( ++#7 8+(,-1 (&9/00 -%/- +*
! " " " ! ! # ! " " " ! # /(& :))0&/2 2;<=&(,1 -%&21
!!
!# #!! " "" " " ! # "" " " # ! # # # # # # #"" " " # # ! " !!#
>)41 ,+29& +2 :))0&/2 /06&=(/1 # # ' 1 !!# +<'0+&, -%/-
!!
!# #!! ' "" " " ! # # #"" " " # # ! ! !?#
)( &@;+./0&2-05 -%/- A
"" " " ! # # #"" " " # # ! (
!!
!# #!! " !B#
C&- =& / .&9-)( +2 1
) " # # # " ! % ! " # # # " ! !
* $ ) ! /23 " " " /23 $ ) !! )( $ ) ! ! /23 " " " /23 $ ) ! !!
!"#$
( $ ) ! )( $ ) ! !! /23 " " " /23 $ ) ! )( $ ) ! !!
* ) % ! ! " # # # " % ! ! "
!D#
56.*2.1 " E/(-&,+/2 3&9)<'),+-+)2,- 67 $! ! " " " ! %! "#% % !"#$%&'"( /+2"'(& +7 8
"(/ + '& " &%$ *+9:(+2'"98 $5%(
+ $! ! " " " ! %!! & + $! ! " " " ! $!! " # # # " + %! ! " " " ! %!! " !F#
$%+, -%&)(&< +, / 3+(&9- 9)2,&@;&29& )* $%&)(&< "7 G& ,%/00 )205 6+.& / ,H&-9% +-, '())* )2 /2 /9/3&<+9 &I/<'0&7
#:%1/&. ; ;&&<2% $5"$
+ ! !! ,! " "! # !",8 !J#
!"#$$ %&#%' () %&! *!% +, -++$!#) )./0!1 !!' ! " " (/2$(!* %&#% (, " " !' %&!) ! " !' !"!' (, " (* %1.!' ! (*
#$*+ %1.!' 3&("& "#) 0! 31(%%!) #* " # !#
"K
!"#$% &' ()% "$%* +,- !. /)% 012#% ,3 /)% .%/ 4,2*5,6!12 ! " #! 7%85%7 +* 9&:;<
!"# ! " #" $#%&
! " #! !"#" ! $ !!! " " $ "!! $ " $ "!! " # $ #!!
!$% &#
" ! "" ! $ !!""!!! $ " "# ! $ "!"#!!!
!$% &&#
% ! "" $ " "# ! $ !!""!$ "!"#!!
" ! " # ! $ !! "! #!! "
9&=;
>)%5 ! %! " " " ! #! 1$% ?1$/%.!15 7,61!5. 157 !. 1 .%/ 4,2*5,6!12@ /)% .6122%./ ?1$/%.!15 7,61!5 A,5/1!5!5" ! %! " " " ! #!! A15 +% A,64#/%7 %-1A/2* +* $%B$!/!5" !5 7!.C#5A/!0%
3,$6< ?,5.!7%$@ 3,$ !5./15A%@ /)% .!/#1/!,5 ,3 !"#$% &@ B!/)
! " #! " ! & "! ' " & #! ' ! & #! " 9&:;
! " #! !. /)% +,- 41!5/%7 "$%*'
! " #! " ( ' ( ' ! & #! " &# '( $ &# '(" 9DE;
F,B%0%$@ 15 %-1A/ 4$,A%7#$% /, %012#1/% !/ 0!1 /)% A,64#/1/!,5 ,3 1 7!.C#5A/!0% 3,$6 61* +%A,6%
/,, A,642%- B)%5 /)% 5#6+%$ # ,3 .%/. !5A$%1.%.@ +%A1#.% /)!. 7!.C#5A/!0% 3,$6 !. #.#122* 2,5"%$
/)15 /)% !5!/!12 3,$6< (, 10,!7 /)!.@ ,5% 61* #.% ?1$/%.!15 7%A,64,.!/!,5< G!5A% 9&:; !. 12$%17*
!5 7!.C#5A/!0% 3,$6 91 0%$* .4%A!12 A1.%;@ /)% A,642%-!/* ,3 #.!5" /)% ?1$/%.!15 7%A,64,.!/!,5
$%61!5. /)% .16%@ +#/ /)% $%.#2/ !. 5,B 4%..!6!./!A' ! " # ! $ !! "! #!!
" ! & " ! ' " & # ! ' ! & # !! $ !!& "!! ' "!& #!! ' !!& #!!!
" &# '( & &) *( ' &) *( & &% +( ' &# '( & &% +(! $ &# *( & &) +( ' &) +( & &% '( ' &# *( & &% '(!
" ( ' &) +( ' &# '(! $ &) +( ' ( ' &# '(! " &# '( ' &) +(! $ &# '( ' &) +(! "
()% $%.#2/!5" ?1$/%.!15 7,61!5 /)#. A,5.!./. ,3 3,#$ +,-%.@ 157 !. 15 ,#/%$ 144$,-!61/!,5 ,3 /)% 1A/#12 .,2#/!,5 ! " #! " &# '( $ &# '( "
HH
5.3 Case of elementary set polynomials
! "#$ %#&'( #') *++!"+,#" #" &#"(+)*,"+( #% +-! %#). ! / *( "!!0!0 12 3+!4 5 #%
!"!#!$%6 ! 7)(+ )!&*88 +-! 0!7",+,#" #% (2..!+),& (!+ 4#82"#.,*8( *"0 (-#$ -#$ +-!2 9#:!)" +-! )!8*+,#"( 1!+$!!" +-! !";0!&#.4#(*18! &#"(+)*,"+( #% +-! )#1'(+ .,",.*< !(+,.*+,#"
4)#18!.6 =-!"/ $! 4)#4#(! * )!&')(,:! 0!7",+,#" #% (2..!+),& 4#82"#.,*8(/ ," #)0!) +# 0!),:!
*" !>&,!"+ *89#),+-. %#) +-!,) #'+!) !:*8'*+,#" #:!) ?*)+!(,*" 0#.*,"(6
!"!# $%&'()(*'+
@ (!+ 4#82"#.,*8 ! " "!! " " " ! " #!! ,( #$%%&'()* ,% ,+ ,( ,":*),*"+ '"0!) 4!).'+*+,#"6 A#) ,"(+*"&!/ " "!" #! $ " "!" %! $ " #!" %! $ " "!" #!" %! ,( (2..!+),&6 =-! &+&%&!' ($
#$%%&'()* #&' ,-+$!-%) +# *)! 0!7"!0 B12 *"*8#92 $,+- CDDE/ 4*9! DFFG *(
& #! '
!!"
" $!! &" #! '
!"#
" $! $ " !! &# #! '
!"#"$
" $! $ " ! $ " %!! " " " !BFDG
& $ #! '
!"#"$
" $!" !" %!! & # #! '
!"#
" $!" !! & " #! '
!!"
" $!" BFHG
I2 &#":!"+,#"/ & #! ' %" ! (-*88 &*88 && #! +-! ./)!'&(#&*')-! #% +-! # (!+( " %!! % #
$"! " " " ! #%/ *( ,+ ,( +-! (!+ #% *88 ! "#$" %&'()* "( $" '&$!" ! (+ "#&!& !&"!, -.)/&
" ! ! " " # " !
0."# $! # #! ! $ %$ " $! $ % # &%$ & & & $ ' $ 1223
$) &)/'(!45& (+ ( " ! & # & $ ) " ! ! " ' /(4'6 %& (%"$.)&6 %7 &89$)6.)* " .)"( ."!
6.!:4)/".;& +(5<, =)+(5"4)$"&'7> "#.! &89$)!.() *.;&! 5.!& "( $ /(<%.)$"(5.$' &89'(!.(), ?(5 .)!"$)/&> .+ # %' $)6 ! # (> 0#./# /(55&!9()6! "( @A <&$!45&<&)"! 0."# $" <(!" B (4"'.&5!>
" .! "#& !4< (+ C@A <()(<.$'!, D#.! /(<%.)$"(5.$' &89'(!.() /$) %& $;(.6&6 4!.)* $ 5&/45!.;&
6&E).".() +(5 " > 95&!&)"&6 )&8",
!"!# $%&'()*+% ,%-.*/*0. 01 /2% %3%4%./5(6 )%/ )644%/(*& 7036.04*53)
D#& )&8" "#&(5&< 95(;.6&! $ )&0 0$7 "( &;$'4$"& "" ! $ ' ! ' ! !$ &F/.&)"'7 $)6 5&/45!.;&'7 (;&5 ,
@C
!"#$"% & !""#$% &'(& ! "# ! " " " ! ! "# ()% (*(+,(-,% (./ &'(& ( .%0 "%& ! # '(" &1 -% &(2%. +.&1 (331#.&4 5'%. ! # ! " " " ! ! # 3(. -% 1-&(+.%/ )%3#)"+*%,6 (" 71,,10"
!!
!!
"
! #
! #444
! #
#
$$
$$
%$
!!
!!
"
!! ! "# ! #
! ! "# ! # " !! ! "#
444
! ! "# ! # " ! ! "#
#
$$
$$
% !"#
0'%)% !%# $ ! (./ !## $ ! +7 # # $%! " " " ! $%"
$% & !"! &#'&()*+,&- ./01 ,*23,104* *53&.06% 2&% ./31 +* 0%.*,7,*.*8 &1 & %6%(0%*&, 8012,*.*'.09*
1*. 1:1.*9 ;/*,* ./* 1.&.* 4*2.6, 01 ! # $ & !! # " " " "! #' &%8 ./* 0%73. 01 ! #<
'$##(= >/* 7,66? 01 & 80,*2. &77(02&.06% 6? @6,%*,A1 12/*9*< >6 &4608 0%.,68320%) %*; %6.&.06%1
&%8 .*80631 9&%073(&.06%1 6? 0%802*1- ;* 1/&(( ,*1.,02. 63,1*(4*1 .6 2/*2B0%) !"# ?6, $ (<
!!
!!
"
!!(#
!(#
"!(#
#!(#
#
$$
$$
%
!!
!!
"
" # $
" #) " $) # $) " # $
") #) $) " #) " $) # $
) ") #) $
#
$$
$$
%
$
!!
!!
"
! " ## $
! ") #) " ## $) ! " ##
! ) ") ## $) ! ") #) " ##
! $) ! ) ") ##
#
$$
$$
%$
!!
!!
"
!!*# !(#
!*# !(# ) !!*#
"!*# !(# ) !*#
#!*# !(# ) "!*#
#
$$
$$
%
!
>/* ?6((6;0%) ./*6,*9 )04*1 ./,** +&102 7,67*,.0*1 6? ./* 1*. 76(:%690&(1 "! #<
!"#$"% ) 5'% 71,,10+.8 9)19%)&+%" '1,/ &)#%4 :+; !! # ' ! # ' ( ( ( ' "! # !
:++; "! # ' "! ! "# ' ( ( ( ' "!$# $ ( ( ( $ "!%# $ !!
:+++; !## & "! # $ ) * "! # $ " ! !"# ! " " " ! !# ! "# ! !# ) "# ! " " " ! ! ## "
!C#
'$##(= 0# ! # 01 ./* 139 6? &(( 96%690&(1 6? ./* ?6,9 + $ !% # !%"# !%## " " " !%# #<
D6;- ./* 96%690&( + % $ !% # !%"# !%## " " " !%# # 01 & 96%690&( 6? % ! #< >/31-
&%: 96%690&( 6? ! # 01 0%2(38*8 0% % ! #< >/*,*?6,* ! # ' % ! # "
00# "! # $ "! ! "# ! # " " ! ! "#< D6;- ?,69 0#- " ! ! "# ' "! ! "# 16
"! # ' "! ! "# ! # " "! ! "# $ "! ! "#<
000# E*. "! # $ "! !"# ! " " " ! !# ! "# ! !# ) "# ! " " " ! ! ## " F&2.6, "! # ;0./ ,*17*2.
G!
!"#$%&$'#()" !" !" ! " " " ! #" # #$%" $% #"&"
& '#( $ ! "'! " " " ! ##! $% & $" ( $#
) '#( % ! "'! " " " ! #* $% & '" ( !#
+ '#( $ ( ! $, %# #
- '#( % ( ' $, %#
. $% $"& ( $% & $ % !" & $"" ' $% & $ % !" #
/0123 )" !"#$"%&'( ') "( *(+#',$-* ') %.* ,*% /'#0('1&"# %" '!*- # 2"-%*,&"( 3'1"&(,
%# $" %# 43% %" #" ( %" #" $"'%" #"" 5!%3(637% 1#%8 6 936 #: %8 6 3;$0% #! < %8 %" #"
%# 43% %" #" ( %" #" $" %" #"'%" #"%" #"= >#<* 1? 066$@,% #!* $"&%" #" ( $=
/83(3:#(3 %" #" ( $ & %" #"%" #" <8 78 @,2 36 %80% %" #" ( %" #""
5! %83 7#!%3A% #: 1#$!939B3((#( 36% @0% #!* /83#(3@ - 70! 13 !%3(,(3%39 06 :#22#<6" ! $"
@30!6 %80% 6 7#!6 6%3!% < %8 %83 $%8 90%$@C D E : 6 7#!6 6%3!% < %8 0% 2306% # % 90%0*
%83! % 6 026# 7#!6 6%3!% < %8 0% 2306% # % % ! #: %83@C D E : 6 7#!6 6%3!% < %8 0% 2306%
# % #: %83 # F(6% 90%0* %83! % 6 026# 7#!6 6%3!% < %8 0% 2306% # % ! % #: %83 # % ! F(6%
90%0C D E : %83(3 3A 6%6 !# 7#!6 6%3!% < %8 0% 2306% # % #: %83 90%0 0!9 026# < %8 %83 $%8 90%$@* %83! #!3 70! (3@#G3 %83 $%8 90%$@ D<8 78 6 !%3(,(3%39 06 0! #$%2 3(E :(#@ %83 90%0 63% 0!9 (3,2073 1? % ! %# 43% 0 6 @,23( 93F! % #! #: %" #"=
!"!" #$%&'%()*+ *$,- .%-(,/)%+ 0*1%)+/
/# @,23@3!% %83 (37$(6 G3 ,(#739$(3 D+-E* #!3 68#$29 $63 63%6 #! <8 78 $! #!6 #( !%3(637% #!6 70! 13 7#@,$%39 #( 0% 2306% 3!72#639* 6$78 06 H0(%36 0! 9#@0 !6* 1#A36* 322 ,6# 96 #( ,#2?B
%#,36= I!:#(%$!0%32?* %83 3!72#6$(3 < %8 6$78 63%6 !%(#9$736 ,366 @ 6@ 0!9 %83 3;$02 %? D+-E 137#@36 0! !72$6 #!= /83 !"#$%&$'#()" 024#( %8@ 4 G3! ! /0123 ) 7#@,$%36 0 H0(%36 0!
9#@0 ! %80% 3!72#636 %83 63% % !" ! " " " ! #""* % ! "!! " " " ! #! <83(3 %83 63%6 $" 0(3 H0(%36 0! 9#@0 !6" 5! %83 7#@,$%3(* $% & $" ! % ! "%!! " " " ! #! $ ! "'! " " " ! ## 6 (3,(363!%39 06 0 ) *" ( # ) !""B@0%( A* %83 3!%( 36 #: <8 78 0(3 H0(%36 0! 9#@0 !6=
/8 6 024#( %8@ < 22 !#< 13 22$6%(0%39 #! %83 6 %$0% #! 9367( 139 1? ' 4$(3 +* <83(3 %83 H0(%36 0! 9#@0 !6 %# 13 7#!6 93(39 0(3 1#A36= '#( ( '! !! ** !"#$%&$'#()" (36,37% G32?
? 3296 $%!& $ & !" ! " " " ! $ & +"" ( $! $% & $ & !" ! " " " ! $ & +"" ( $ 0!9 $%"& $ & !" ! " " " ! $ & +"" )
$,! -& ( $.! ,& D(3,(363!%39 1? %83 1207J 1#A ! ' 4$(3 )E= /83 (36$2%6 #1%0 !39 83(3 0(3 3A07%*
1$% ! 43!3(02 %83? 0(3 ,366 @ 6% 7= /# 2 @ % 6$78 0 ,366 @ 6@* 0 ,#66 123 @,(#G3@3!% 10639 /83#(3@ - D E 70! 13 $639= /8 6 @,(#G3@3!% 806 !#% 133! @,23@3!%39 ?3%=
&-
!"#$% &' ()% *+,-. */0 !1 2)% 3!42%$1%-2!/4 /5 ! */0%16 5.4 Application to robust minimax estimation
74 2)!1 8,$,"$,8)9 :% 1)/: )/: 1%2 8/+;4/<!,+1 -,4 *% #1%= 2/ -/42$,-2 " # #4=%$ 2)% -/412$,!42
$ % ! ,1 $%>#!$%= *; ?2%8 @ /5 !"!#!$% !4 2)% -/42%02 /5 $/*#12 <!4!<,0 %12!<,2!/49 ,4= 2/ /*2,!4 ,4 !4-+#1!/4 5#4-2!/4 5/$ 9 ,1 $%>#!$%= *; ?2%81 AB ,4= AA6 ()% -/42$,-2!/4 /5
" # !1 , =!$%-2 ,88+!-,2!/4 /5 2)% 5,-2 2),2
" # ! $# " #! !#% & ' " # ! " $# " #! !#! # # # ! " # ! " $# " #! !#%!
! C&DE C1%% C&&EE6 ()% 5/++/:!4" ,+"/$!2)< -/42$,-21 " #6
&'"()*+(C!4' " #! !F /#2' " #EF
A 5/$ $ & ( 2/ %! -/<8#2% , G,$2%1!,4 =/<,!4 $$$%
1#-) 2),2 "!# ! "! $# " #! !#%!
% $$$% % "!#) H & & &3,"(%)-%+(!'"$$$(%! # # # ! $$%%% )
& $%2#$4 " #9 2)% 1<,++%12 */0 2),2 -/42,!41 "!# ! &6
?!4-% 2)% -/42$,!42 "!$!% !9 !1 !"#=%-/<8/1,*+%9 $$$% -,4 *% /*2,!4%= *; #1!4" !42%$I,+
-/412$,!42 8$/8,",2!/4 ,1 %08+,!4%= !4 ?%-2!/4 &6H6
(/ "%2 ,4 !4-+#1!/4 5#4-2!/4 5/$ "$!%9 -/41!=%$ 2)% 1%<!3$!4" C 9 *+,! *-.E6 J%4/2% 2)% &2)
%+%<%42,$; 1;<<%2$!- 8/+;4/<!,+ !4 % !4=%2%$<!4,2%1 *; '"$' ! # # # ! ' %6 /$ !412,4-%9 '"$' ! '#! '$% & *-. $' ! '#! '$%
' $' ! '#! '$% & *+, $*-. $' ! '#% ! *-. $'#! '$% ! *-. $' ! '$%% C&KE '#$' ! '#! '$% & *+, $' ! '#! '$% #
()% -/12 5#4-2!/4 "$!% /5 CAE -,4 2)%4 *% %08$%11%= ,1
"$!% & "$%! !% & '"$" $!%! # # # ! " $!%%# C&LE A@
!" #$% &%'(&)*+% *,-.%,%!# #*/! 0123 ' ! 4% " -#%" #/ #$*) '/!#%5# #/ '/,-(#% !6
!!
!!
"
!" ! !" !
777 !" !
#
$$
$$
%"
!!
!!
"
#$% ! ! &" ! " # !!
#'( #$% ! &" ! " # !!" ! ! &" !!
777
#'( #$% ! ! &" ! " # !!" ! ! &" !!
#
$$
$$
% 0183
9$%&% " $" ! " )" # !" % % % " ## !!* $ &" % % % " !* $ & '* # +" ! " !" !" # $" ! " !"%
:! *!'.()*/! ;(!'#*/! ;/& ! !< ' ! #$() 4% "%&*+%" ;&/, 0183 4= --.=*!> #$% &(.%) /; *!#%&+ . '/,-(# #*/! !" 4= &%#(&!*!> #$% *!#%&+ . %!'./)(&% /; ! !" , -!7
6 Test case
?/!)*"%& #9/@%5-/!%!#* . ,/"%. 9$%&% #$% &%. #*/! 4%#9%%! #$% - & ,%#%& +%'#/& !" #$%
,/"%. /(#-(# *) >*+%! 4=
( " )! " * .%/ !*")! 0 *#.%/ !*$)!% 02A3
B*!'% -%&,(# #*/! /; * 9*#$ *# !" /; *" 9*#$ *$ "/%) !/# C%'# #$% ,/"%. /(#-(# ( < #$%
,/"%. *) !/# >./4 ..= *"%!#*D 4.%7 E$%&%;/&%< != &%.* 4.% *"%!#*D' #*/! ,%#$/" )$/(." .% "
#/ )=,,%#&*' . )/.(#*/!)< *; #$% )% &'$ "/, *! *) . &>% %!/(>$7 :))(,% #$ # #%! " # -/*!#) ( &!" % % % " ( &+! &% >%!%& #%" ) ;/../9)7 F*&)#< !/*)%@;&%% " # +%'#/& *) '/,-(#%"7 G#) HA '/,-/!%!#) &% /4# *!%" 4= '/,-(#*!> ( ! " )#! ) >*+%! 4= 02A3 ;/& ! " 1+" +%2" !&+" +%1!! !" )# " $$"" $ #&" % % % " &+$7 I/*)= " # &% #$%! /4# *!%" 4= ""*!> #/ % '$ '/,-/!%!# (# /; #$% !/*)% +# " %(#% 0 3! & ,#< 9$%&% ,# *) & !"/, !/*)% 9*#$ (!*;/&, "*)#&*4(#*/!
*! #$% *!#%&+ . ,!+%&" +%&-7 E$% &%)(.#*!> " # +%'#/& ! *) #$% &%>(. & " # +%'#/&7 : )%'/!"
" # +%'#/& *) /4# *!%" 4= &%-. '*!> (# 4= 4+ *! !< !" #$*&" /!% " 4= &%-. '*!> (% 4=
!4+ *! 7 F/& - " +%+3 !" ,!!- " ,!5+" 5+- ' ,+" &- ' ,!5+" 5+- ' ,+" &-< #$% &%)(.#) /4# *!%"
4= ()*!> !" ) "%)'&*4%" *! B%'#*/! J &% )(,, &*K%" *! E 4.% 1< 9$%&% L(!& *) #$% !(,4%&
/; 4/5%) /; (!& !" L)-.*# *) #$% !(,4%& /; 4*)%'#*/!) -%&;/&,%" 4= !#$#%#&'7 :.. '/,-(#*!>
#*,%) &% ;/& M%!#*(, H11NOK7 I/#% #$ # ;/& >*+%! " # +%'#/& $< ! ! ! !" 6 ! !! &%
"%'&% )*!> 9$%! ' *!'&% )%) ) %5-%'#%"7 :# % '$ &(!< (!& #(&!) /(# #/ '/!)*)# /; #9/ '/!!%'#%"
'/,-/!%!#)7 P!% /; #$%,< "%!/#%" 4= (!& &!< 4%./!>) #/ #$% $ .; )- '% 9$%&% * & + !" #$%
)%'/!" /!% (!& 1! 4%./!>) #/ #$% $ .; )- '% 9$%&% * . +!7 E$% ), ..%)# 4/5%) >( & !#%%" #/
'/!# *! (!& &! 0 !"!# #$% )%# ))/'* #%" 9*#$ ! 3 /4# *!%" &% >*+%! *! E 4.% 2< 9$*'$ %+*"%!'%)
#$% ; '# #$ # &% )/! 4.% %)#*, #%) &% /4# *!%" /!.= -&/+*"%" #$ # ' *) %Q( . #/ /& >&% #%& #$ !
#$% '#( . !(,4%& /; /(#.*%&) ' 7
R &*/() )#& #%>*%) ' ! 4% #$/(>$# #/ ;/& #$% '$/*'% /; '< #$% , 5*,(, !(,4%& /; #/.%& #%"
/(#.*%&)7 : &% )/! 4.% >(*"% .*!% *) #/ *#%& #% #$% ,*!*,*K #*/! /; ! !! /+%& ,!!- ;/& ' " +" &" 1" % % % (!#*. #$% &%)(.#) /4# *!%" .% " /!% #/ 4%.*%+% #$ # ' *) >&% #%& #$ ! #$% '#( . !(,4%& /; /(#.*%&)
HS
!"! #$" %#&'(" "()$ *#$+,- % !!" " # $
% &'& '%# ( )' %$))*+# %$)+((" *$%,(
* -)+ ,.$, *- %$&(*.# %$&()-" %$,.)
' ,%)) ((%$% '* %$*.-&# %$'*&-" %$),+
! % *+-* -&$- '&% *)$%+,# *)$%.(" &&$%(%
! * &)* '($- (% %$))'.# %$)+-'" *$%,(
! ' .%, *%)$% *% %$&('-# %$&()," %$,.)
" % '.- *+$*, (% *($,%+# *($,+*" &&$%(%
" * '((. ''%$* '), *)$%+.# *)$%.(" '.# +.
" ' &)& )*$+ +. %$))*-# %$)+-%" *$%,(
.!/'$ 01 2$#3'"# 4/"!(5$ /6 "7$ 84/3#" )(5()!9 $#"()!"48 :48 "78$$ !"! #$"# ;("7 <= > !5 ? 43"'($8# 8$#&$+"(@$'6 !5 :48 "78$$ @!'3$# 4: *A8#" &!8"-
!"! #$" B49 C3!8!5"$$ "4 +45"!(5 ##*$
% *-$&*# *-$,&" ! %$.%)&# %$.'))" ! "($,''# "($)%+" ! %$*,%(# %$*,)-"
* *($(-# *($.&" ! %$..+'# *" ! ",$,'-# ",$++-" ! %$*+-'# %$*+.%"
' *.$*,# *.$&*" ! %$..')# *" ! "($,('# "($+(&" ! %$*-.*# %$*.*."
! % &.$)+# )%" ! %$&%%# %$&%)'" ! ")%# "&.$)+" ! %$.--# *"
! * *-$)*# *-$,)" ! %$.%)+# %$.'+'" ! "($,%'# "($)(,(" ! %$*,'%# %$*,))"
! ' *($(.# *-$*(" ! %$..'-# *" ! ",$(&)# ",$+,*-" ! %$*+-&# %$*,%'"
" % &.$.)'# )%" ! %$*&,.# %$*+*)" ! "*($%-(# "*,$*+" ! %$%%*# %$%%*'"
" * &.$&.-# )%" ! %$&%%# %$&%)'" ! ")%# "&.$)+" ! %$.-(-# *"
" ' *-$&-# *-$,)" ! %$.%&+# %$.'(+" ! "($,+&*# "($)++" ! %$*,*(# %$*,+,"
.!/'$ D1 2$#3'"# 4/"!(5$ /6 "7$ 84/3#" )(5()!9 $#"()!"48 :48 "78$$ !"! #$"# ;("7 <= > !5 ? 43"'($8# 8$#&$+"(@$'6 !5 :48 "78$$ @!'3$# 4: *#$+45 &!8"-
>E
!" #$#%&'(%)* +,"*&-.,& &/)#%# 0", %1& -&%&*%)"2 "0 !&3&,%1&4&##5(# )44.#%,(%&- 6$ %1&
&/('+4& )2 %1)# #&*%)"25 )0 %1& "+%)')7&,# (,& "2 %1& 6",-&, "0 ! ", )0 %1& 3(4.& "0 "! )# %"" 4(,8&5 9& *(2 #.#+&*% %1(% %1&,& (,& (% 4&(#% # $ ".%4)&,# !"%& %1(% %1& -)'&2#)"2 "0 "! )# %1(% "0 %1&
".%+.% &,,", (2- "2& "0%&2 :2"9# #"'& 6".2- "2 %1& 4(,8&#% &,,", "2& )# +,&+(,&- %" (**&+%
;",&"3&,5 )0 "! "! ! )# 4(,8& %1& ,&4)(6)4)%$ "0 %1& -(%.' " 91)*1 #(%)#<&# "!! % "!" " & !' 0", "2& ! " "#! )# =.&#%)"2(64& #)2*& )%# +,&#&2*& '"-)0$ %1& &#%)'(%)"2 ,&#.4%# 1&(3)4$ >1&#&
*"''&2%# #.88&#% %1& 0"44"9)28 #%,(%&8$ 0", %1& *1")*& "0 ? %(:& %1& #'(44&#% #.*1 %1(%# @)A
"!! )# (**&+%(64$ #'(445 @))A "!! )# *4"#& %" "!! !5 (2- @)))A "#! )# 2"% "2 %1& 6",-&, "0 %1& #&(,*1 6"/
!"!$
7 Conclusions
B1&2 %1& 2")#& *",,.+%)28 %1& -(%( *(2 6& (##.'&- %" 6&4"28 %" ( #&=.&2*& "0 ,(2-"' 3(,)(64&#
%1(% (,& )2-&+&2-&2%4$ .2)0",'4$ -)#%,)6.%&- "3&, %1& )2%&,3(4 !%# %!5 9)%1 % .2:2"925 ')2)'(/
&#%)'(%)"2 )# ( #%(2-(,- (++,"(*1 0", %1& )-&2%)<*(%)"2 "0 %1& '"-&4 +(,('&%&,#5 6&*(.#& %1&
,&#.4%)28 &#%)'(%&- +(,('&%&, 3&*%", 6&4"28# %" %1& #&% "0 (44 '(/)'.'C4):&4)1""- &#%)'(%&# 0", (2$ 3(4.& "0 % #.*1 %1(% %1)# #&% )# 2"% &'+%$ ;)2)'(/ &#%)'(%)"2 )# 1"9&3&, #&4-"' .#&- )2 +,(*%)*&5 6&*(.#& "0 )%# 9&44 :2"92 #&2#)%)3)%$ %" ".%4)&,# >1& +,"*&-.,& -&#*,)6&- )2 %1)#
+(+&, '(:&# ( ')2)'(/ ,"6.#% &#%)'(%", ,"6.#% %" ( +,&#+&*)<&- 2.'6&, "0 -(%( +")2%# %1(%
*(2 %(:& (,6)%,(,$ 3(4.&# D% -"&# #" )2 ( 8.(,(2%&&- 9($5 6$ &2*4"#)28 %1& #&% "0 ,"6.#% ')2)'(/
&#%)'(%&# %1.# -&<2&- )2 ( .2)"2 "0 6"/&# )2 +(,('&%&, #+(*&5 &3&2 )2 %1& *(#& 91&,& %1& '"-&4 )# 2"24)2&(, )2 )%# +(,('&%&,# (2- %1& &#%)'(%&# (,& 2"% .2)=.&5 (# )44.#%,(%&- 6$ (2 &/('+4&
>" %1& 6&#% "0 "., :2"94&-8&5 %1&,& )# 2" "%1&, '&%1"- (3()4(64& )2 %1& 4)%&,(%.,& %" -&(4 9)%1
%1)# %$+& "0 +,"64&'
>1&,& (,& '(2$ ,&(#"2# 91$ *"'6)2(%",)(4 *"'+4&/)%$ 4""'# "3&, (2$ (%%&'+% (% #"43)28 #.*1 ( +,"64&'5 (2- #&3&,(4 '&(#.,&# 9&,& %(:&2 %" 4)')% )% (# '.*1 (# +"##)64& E),#%5 )% #1".4- 6&
#%,&##&- %1(% %1& 3(,)".# *"'6)2(%)"2# "0 .+ %" ".%4)&,# ('"28 & -(%( +")2%# (,& 2"% *"2#)-&,&- )2 )#"4(%)"2 6.% *"44&*%)3&4$ >1& "%1&, '&(#.,&# 0", 4)')%)28 *"'+4&/)%$ 91)4& +,&#&,3)28 8.(,(2C
%&&-2&## ,&#.4% 0,"' %1& *"'6)2(%)"2 "0 %1,&& %""4#? !"#$%&' &!&'() ) 91)*1 +,"3)-&# 8.(,(2%&&- ,&#.4%# "2 %1& *"'+.%(%)"2#5 *+!)"$& !" ,$+,&-&" +! %" &F*)&2%4$ &4)')2(%& 4(,8& +(,%# "0 %1&
#&(,*1 #+(*& 9)%1".% ,&=.),)28 6)#&*%)"2#5 (2- )#" ,+'(!+. &') %" -&(4 9)%1 G""4&(2 *"22&*%)"2#
6&%9&&2 %1& *"2#%,()2%#
>1& 2"%)"2 "0 &!/0+$C-&*"'+"#(64& 0.2*%)"25 '"%)3(%&- 6$ ,"6.#% ')2)'(/ &#%)'(%)"2 (2- )2C
%,"-.*&- )2 %1)# +(+&,5 ,&+,&#&2%# ( #)82)<*(2% &/%&2#)"2 "0 %1& *4(## "0 +,"64&'# %" 6& *"2#)-&,&- 9)%1 )2%&,3(4 *"2#%,()2% +,"+(8(%)"2 H# #.*15 )% "+&2# .+ 2&9 +"##)6)4)%)&# "0 ,&#&(,*1 )2 %1)#
,&4(%)3&4$ $".28 <&4-5 91)*1 #1".4- (4#" 4&(- %" )'+,"3&'&2%# )2 %1& (48",)%1'# 0", 8.(,(2%&&- 2"24)2&(, &#%)'(%)"2 )2 %1& +,&#&2*& "0 ".%4)&,#
IJ
References
!" #$ %&''())*+ ,$ -./(0+ ,$1$ 2)34(5+ &04 1$6$ 78&45&9$ !"#$%&"'()*'&" )"+ ,'"-)%'*!. /"
/01-2%) 3&% 4'5#%-*- 67-"* !5*-85$ 1./0 :*)(; < =.03+ >(? @.5A+ !BBC$
C" D$:$ %&* &04 E$ -/.$ F*0*G*H&9*.0 ?*9/ I(? J*.)&9(4 '.0395&*093 &04 *93 &KK)*'&9*.0 *0 3(9LG(GM(53/*K *4(09*N'&9*.0$ O0 9%&#. :;/< =&%+ <&"1%-55+ J.)8G( E+ K&P(3 QRQSQRT+
%(*U*0P+ -/*0&+ !BBB$
Q" #$ %(0/&G.8 &04 V$ ,5&0J*))*(53$ W89.G&9*' P(0(5&9*.0 .I 08G(5*'&) 5(4804&0'*(3 I.5 0.0)*0(&5 '.0395&*09 3.)J*0P$ >-0')20- <&8?@*'"1+ K&P(3 QQXSQRR+ !BBY$
R" #$ %(0/&G.8 &04 :$ 2)4(5$ WKK);*0P *09(5J&) &5*9/G(9*' 9. 5(&)+ *09(P(5 &04 %..)(&0 '.0395&*093$ A&@%")0 &3 ,&1'# 9%&1%)88'"1+ K&P(3 !SCR+ !BBY$
X" #$ V$ -/(50.83A.$ *)*- 65*'8)*'&" 3&% 4!")8'# !5*-85$ -Z- 65(33+ !BBR$
[" 1$ -$ -)(&5;$ V.P*'&) &5*9/G(9*'$ ;@*@%- <&8?@*'"1 !5*-85+ C\C]^!CXS!RB+ !BTY$
Y" D$ _&J*3$ -.0395&*09 K5.K&P&9*.0 ?*9/ *09(5J&) )&M()3$ /%*'B#')0 :"*-00'1-"#-+ QC^CT!SQQ!+
!BTY$
T" D$ Z$ E&03(0$ C0&2)0 D?*'8'()*'&" @5'"1 :"*-%7)0 /")0!5'5$ F&5'() _(AA(5+ >(? @.5A+
!BBC$
B" 6$ `&0 E(09(05;'A+ @$ _(J*))(+ &04 V$ F*'/()$ E@8-%'#). / F&+-0'"1 ,)"1@)1- 3&% C0&2)0 D?*'8'()*'&"$ FOa 65(33+ %.39.0+ !BBY$
!b" D$ E;J.0(0$ -.0395&*09 5(&3.0*0P M&3(4 .0 *09(5J&) &5*9/G(9*'c 9/( 9.)(5&0'( K5.K&P&9*.0
&KK5.&'/$ /%*'B#')0 :"*-00'1-"#-+ XT^Y!S!!C+ !BBC$
!!" >$ 1&'.M3.0$ G)5'# /01-2%)$ #5((G&0 &04 -.GK&0;+ =&0 #5&0'*3'.+ !BYR$
!C" V$ 1&8)*0$ O09(5J&) '.0395&*09 K5.K&P&9*.0 ?*9/ &KK)*'&9*.0 9. M.804(4L(55.5 (39*G&9*.0$
/@*&8)*'#) H)##-?*-+ 3&% ?@20'#)*'&"I+ Cbbb$
!Q" V$ 1&8)*0$ Z()*&M)( G*0*G&d K&5&G(9(5 (39*G&9*.0$ >-0')20- <&8?@*'"1 H*& )??-)%I+ Cbbb$
!R" W$ e85H/&03A* &04 O$ `&);*$ 600'?5&'+)0 <)0#@0@5 3&% 65*'8)*'&" )"+ <&"*%&0$ %*5A/f83(5+
%.39.0+ !BB[$
!X" E$ V&/&0*(5+ D$ :&)9(5+ &04 Z$ ,.G(0*$ 2F>D^ & 0(? 5.M839 G(GM(53/*KL3(9 (39*G&9.5 I.5 9/( K&5&G(9(53 .I 0.0)*0(&5 G.4()3$ A. &3 9$)%8)#&J'"-*'#5 )"+ G'&?$)%8)#-@*'#5+
!X^CbQSC!B+ !BTY$
![" F$ F*)&0(3(+ 1$ >.59.0+ E$ 6*(9LV&/&0*(5+ &04 D$ :&)9(5 \D43]$ G&@"+'"1 /??%&)#$-5 *&
!5*-8 :+-"*'B#)*'&"$ 6)(08G 65(33+ >(? @.5A+ !BB[$
!B
!"# $% &% '(()*% !"#$%& '(% )**+,-'",$(& $. /("!01'+ )('+2&,&% +,-' ./01%2 .34156*173452
!8"8%
!9# :% .% ;()<(= >&6%?% +7*@451 4AA/* (= 0(/=6*6B*))() *A<4C5<4(=D ,AA/* !% /("3 43 $. )%'*",1!
5$("0$+ '(% 6,7('+ 80$-!&&,(72 9>!?D!E!!92 !88F%
!8# :% .% ;()<(= >&6%?% +7*@451 4AA/* (= 0(/=6*6B*))() *A<4C5<4(=D ,AA/* G% /("3 43 $. )%'*",1!
5$("0$+ '(% 6,7('+ 80$-!&&,(72 8>!?D!E!HG2 !88I%
GJ# .% :% $(/AA**/K 5=6 -% '% L*)(M% 9$:;&" 9!70!&&,$( '(% <;"+,!0 =!"!-",$(% :(3= N41*M 5=6 +(=A2 ;*K O()P2 !89"%
G!# &% N51<*) >&6%?% +7*@451 4AA/* (= 75)5C*<*) 46*=<4Q@5<4(=A K4<3 *))() 0(/=6A% '"#!>'",-&
'(% 5$>*;"!0& ,( 6,>;+'",$(2 HG>IRS?DFF"ESJ"2 !88J%
GG# T%L% N51<U% V*=*)5<4=W A*C5=<4@ 6*A@)47<4(=A X)(C 6)5K4=WA (X A@*=*A K4<3 A356(KA% ,=
.%Y% N4=A<(=2 *64<()2 ?#! 8&2-#$+$72 $. 5$>*;"!0 @,&,$(2 75W*A !8E8!2 ;*KBO()P2 !8"I%
'@V)5KBY411%
GH# '%-% N(1X*% ,=<*)Z51 C*<3(6A X() W1(051 (7<4C4U5<4(=% )**+,!% '"#!>'",-& '(% 5$>*;A
"'",$(2 "ID!"8EGJS2 !88S%
GF# '%-% N(1X*% [= 64A@)*<* C4=4C5\ 7)(01*CA 4= <3* A*< (X )*51 =/C0*)A /A4=W 4=<*)Z51 5)4<3B C*<4@% 9!+,':+! 5$>*;",(72 I>F?DH"!EH9H2 !888%
GI# :% ]3(/% - 7*)C/<5<4(=B05A*6 577)(5@3 X() A(1Z4=W <3* ^(0BA3(7 7)(01*C% 5$(&"0',("&2
!D!EHJ2 !88S%
GJ