HAL Id: hal-00844895
https://hal.archives-ouvertes.fr/hal-00844895
Submitted on 16 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.
Interval constraint propagation with application to bounded-error estimation
Luc Jaulin
To cite this version:
Luc Jaulin. Interval constraint propagation with application to bounded-error estimation. Automat- ica, Elsevier, 2000, 36 (10), pp.1547-1552. �hal-00844895�
Interval constraint propagation with application to bounded-error
estimation
!" #$!%&'
!"#$!%#&$' (') *&+,!-. '% */)%01')2 345*2 *-678'92 :8!%'!- (' ;#-8#,2
<==<> ?&@A)-$ABC'%%' 3'('.2 D$!,9'E
F, 8'!C' @$#1
!"#$!%#&$' (GH,+7,&'$&' (') */)%01') I-%#1!%&)7)2 H*JHI2 K> !C',-' 4#%$' L!1' (- !92
M<NNN I,+'$)2 D$!,9'
:O#,'P QRRS = K< TU =V >=
D!.P QRRS = K< M= RN KN W1!&8P X!-8&,Y8))E)-6'8'9E@$
(!))*+,*- .!''&') ,&,%*P 3#,)&)%',9/ J'9O,&Z-') @#$ W)%&1!%&#,E
/0+,.$",P D#$ ! 8!$+' 98!)) #@ "#-,('(A'$$#$ ')%&1!%&#, 6$#"8'1)2 %O' 6#)%'$&#$ @'!)&"8' )'%
@#$ %O' 6!$!1'%'$) 9!, "' ('[,'( "/ ,#,8&,'!$ &,'Z-!8&%&')E JO' )'%A&,C'$)&#, !66$#!9O 9#1"&,') 98!))&9!8 &,%'$C!8 !,!8/)&) \&%O "$!,9OA!,(A"#-,( !8+#$&%O1) %# 9O!$!9%'$&]' E ^,@#$%-,!%'8/2
!) "&)'9%&#,) O!C' %# "' (#,' &, !88 (&$'9%&#,) #@ %O' 6!$!1'%'$ )6!9'2 %O&) !66$#!9O &) 8&1&%'(
%# 6$#"8'1) &,C#8C&,+ ! )1!88 ,-1"'$ #@ 6!$!1'%'$)E J'9O,&Z-') "!)'( #, &,%'$C!8 9#,)%$!&,%
6$#6!+!%&#, 1!_' &% 6#))&"8' %# ($!)%&9!88/ $'(-9' %O' ,-1"'$ #@ "&)'9%&#,)E H, %O&) 6!6'$2 %O')'
%'9O,&Z-') !$' 9#1"&,'( \&%O )'% &,C'$)&#, %# "$!9_'% "'%\'', &,,'$ !,( #-%'$ )-"6!C&,+) Q-,&#, #@ ,#,#C'$8!66&,+ "#.')SE `O', #,8/ &,%'$')%'( &, %O' @'!)&"8' &,%'$C!8) @#$ %O' 6!$!A 1'%'$)2 %O' )'% &,C'$)&#, !66$#!9O "'9#1') &,'a9&',%2 !,( ! ,'\ !8+#$&%O1 !"8' %# 9#16-%'
%O')' &,%'$C!8) &) +&C',E JO&) !8+#$&%O1 -)') ! ,'\ &,%'$C!8A"!)'( 8#9!8 $')'!$9O %# 9#16-%' %O' )1!88')% "#. %O!% 9#,%!&,) E H% &) %O', 9#16!$'( \&%O '.&)%&,+ 1'%O#() #, !, '.!168' %!_',
@$#1 %O' 8&%'$!%-$'E
1*234.-+P b#-,('(A'$$#$ ')%&1!%&#,2 3#,)%$!&,% 6$#6!+!%&#,2 H,%'$C!8 !,!8/)&)2 4#,8&,'!$
9#,)%$!&,% )#8C&,+2 *'% &,C'$)&#,E
=
1 Introduction
!"# $%$&' "# ()*(&'*&+ ,"-! &#-".%-"*/ -!& 0*1*),* $%'%.&-&'# )2 % .)+&3 2'). &4$&'".&*-%3 +%-% ()33&(-&+ )* % #5#-&.6 "* % 7)0*+&+8&'')' ()*-&4- 9#&&6 !"! :%3-&'6 ;<<=> ?)'-)*6 ;<<@>
?)'-)*6 ;<<A> B"3%*&#& # $%!6 ;<<C> :%3-&' %*+ D')*E%-)6 ;<<FGH I&*)-& 75 ! -!& J&(-)' )2 %33 -!&#& +%-% %*+ 75 " -!& $%'%.&-&' J&(-)' -) 7& &#-".%-&+H K##0.& -!%- % $%'%.&-'"( .)+&3
#-'0(-0'& #! 9&! H % #&- )2 .)+&3# $%'%.&-'"E&+ 75 "G "# %J%"3%73& 2)' -!& #5#-&.H L)' -!&
&4$&'".&*-%3 ()*+"-")*# 0#&+6 &%(! .)+&3 "! /&*&'%-&# % J&(-)' )0-$0- $ "! !).)/&*&)0# -) -!& +%-% J&(-)' !H M2 " !# +&*)-&# -!& %4"#8%3"/*&+ 7)4 )2 %33 %+."##"73& )0-$0- J&(-)'#6 %*+ " "#6 -!& '(&)( 2&%#"73& %4"#8%3"/*&+ 7)4 2)' -!& $%'%.&-&'#6 #* ')+# (&)( , $+&-% + # "# +&N*&+ 75
! $ $ " !#! " " "# 9;G
,!&'& $ #! "# -!& '&("$')(%3 ".%/& )2 $ "* % #&- -!&)'&-"(%3 #&*#&H !& $')73&. -) 7& #)3J&+6 1*),* %# + # &./ (+&). '()-% 06 "# -!%- )2 (!%'%(-&'"E"*/ ! "* % /0%'%*-&&+ ,%5H :!&* -!& J&(-)' 20*(-")* $ "# %O*& "* "6 &O("&*- %*+ %((0'%-& .&-!)+# &4"#- -) &*(3)#& ! "* %* &33"$#)"+ )' % 7)4 9P&32)'-& # $%H6 ;<<=> L)/&3 %*+ Q0%*/6 ;<RS> B"3%*&#& %*+ P&32)'-&6 ;<RSG )' -) (!%'%(-&'"E&
! &4%(-35 9 !"!1 :%3-&' %*+ D"&-8T%!%*"&'6 ;<R<GH :!&* $ "# *)*3"*&%'6 #".$3&8#!%$&+ #&-# -!%- ()*-%"* ! (%* 7& ().$0-&+ #).&-".&# 9 !"! ?)'-)*6 ;<RF> B"3%*&#& %*+ U"("*)6 ;<<;GH M* -!"#
$%$&'6 -!& (%#& ,!&'& $ "# *)*3"*&%' "# ()*#"+&'&+ %*+ -,) 1"*+# )2 (!%'%(-&'"E%-")* 2)' ! %'& )2
"*-&'&#-H !& N'#- )*& ()*#"#-# "* 7'%(1&-"*/ ! 7&-,&&* "**&' %*+ )0-&' #07$%J"*/# 9% +2-'$/&."
"# %* 0*")* )2 *)*)J&'3%$$"*/ 7)4&#G ,"-! %* %'7"-'%'5 $'&("#")*H !& #&()*+ )*& ()*#"#-# "*
N*+"*/ -!& #.%33&#- %4"#8%3"/*&+ 7)4 9%3#) (%33&+ "*-&'J%3 !033G "!# ,!"(! ()*-%"*# !H
:!&* -!& *0.7&' )2 $%'%.&-&'# "# #.%336 -!& %3/)'"-!. VMUMK 9V&- M*J&'#")* U"% M*-&'J%3 K*%35#"#G $'&#&*-&+ "* 9W%03"* %*+ :%3-&'6 ;<<XG ().7"*&# 7'%*(!8%*+87)0*+ -&(!*"Y0&# ,"-!
"*-&'J%3 %*%35#"# 9B))'&6 ;<F<G -) 7'%(1&- ! 7&-,&&* -,) #07$%J"*/# ,"-! %* %'7"-'%'5 $'&("#")*H P0-6 %# 7"#&(-")*# !%J& -) 7& $&'2)'.&+ "* %33 +"'&(-")*# )2 -!& $%'%.&-&' #$%(&6 VMUMK "# 3"."-&+
-) $')73&.# "*J)3J"*/ )*35 2&, $%'%.&-&'#H M* -!"# $%$&'6 VMUMK "# 0#&+ ,"-! &.# (/$% 3).+#($&.#
'()'$"$#&). 4 MZDG -&(!*"Y0&# "* )'+&' -) '&+0(& -!& *0.7&' )2 7"#&(-")*# -) 7& $&'2)'.&+H M*-&'J%3 ()*#-'%"*- $')$%/%-")* 9%3#) (%33&+ %)3$% 3).+&+# .35 %$$')%(! "* -!& 3"-&'%-0'&G6 ,%#
$")*&&'&+ 75 Z3&%'5 9;<RFG %*+ I%J"# 9;<RFGH M- ().7"*&# ()*#-'%"*- $')$%/%-")* -&(!*"Y0 (3%##"(%335 0#&+ "* -!& +).%"*# )2 %'-"N("%3 "*-&33"/&*(& 9B%(1,)'-!6 ;<FFG6 ,"-! "*-&'J%3 %*%35#"#H Z)*#-'%"*- $')$%/%-")* -&(!*"Y0&# ,&'& "*-')+0(&+ 75 :%3-E 9;<FAG -) %++'&## ().7"*%-)'"%3
$')73&.# )J&' N*"-& #&-# %*+ !%J& 7&&* "*-&*#"J&35 #-0+"&+ #"*(& -!&*H
:!&* )*35 "*-&'&#-&+ "* -!& 2&%#"73& "*-&'J%3# 2)' -!& $%'%.&-&'#6 .%*5 ().$0-%-")*# $&'2)'.&+
75 VMUMK 7&().& 0#&3&## %*+ % *&, &O("&*- %3/)'"-!. %73& -) ().$0-& -!&#& "*-&'J%3# "# /"J&*H !"# %3/)'"-!. %3-&'*%-&# % *&, "*-&'J%387%#&+ 3)(%3 '&#&%'(! ,"-! % &3"."*%-")* $')(&+0'& -) 7'%(1&- -!& "*-&'J%3 !033 "!# )2 !H !& ().$)*&*-# )2 "!# %'& -!& 2&%#"73& "*-&'J%3# 2)' -!&
$%'%.&-&'#H
!& $%$&' "# )'/%*"E&+ %# 2)33),#H MZD -&(!*"Y0&# %'& 7'"&[5 $'&#&*-&+ "* #&(-")* SH M* V&(-")*
S
! "#$ %$& '$()*+% +, "#$ -./+(*"#0 12324! 5-)$6 +% 278! *) 9($)$%"$6 -%6 :+09-($6 &*"#
"#$ ,+(0$( 12324 &*"# - "$)";:-)$ "-<$% ,(+0 =>*.-%$)$ -%6 3*:*%+! ?@@?AB 2% 1$:"*+% C! "#$
-./+(*"#0 &#*:# :+09D"$) "#$ *%"$('-. #D.. +, *) 9($)$%"$6 -%6 - :+09-(*)+% &*"# "#$ ($)D.") +5"-*%$6 5E >*.-%$)$ -%6 3*:*%+ =?@@?A *) )#+&%B 4 %+"-"*+% "-5.$ *) /*'$% +% 9-/$ ?CB
2 INTERVAL CONSTRAINT PROPAGATION
2%"$('-. :+%)"(-*%" 9(+9-/-"*+% =278A 0-<$) *" 9+))*5.$ =F$%#-0+D -%6 G.6$(! ?@@HA "+ /$%$(-"$
- )$ID$%:$ +, %$)"$6 -J*);-.*/%$6 )D55+J$) !! +, "! &#*:# $%:.+)$ "#$ 9+)"$(*+( ,$-)*5.$ )$"
6$K%$6 5E =?AB 4) "#$)$ 0$"#+6) -($ %+" 5(-%:#;-%6;5+D%6) 5-)$6! "#$E :-% $-)*.E 6$-. &*"#
#*/#;6*0$%)*+%-. 9(+5.$0)B L$($! 278 *) D)$6 "+ )+.'$ "#$ !"#$%&'( ) '*+!, ,+( =?A &#*:#
:+%)*)") *% K%6*%/ - )D55+J +, "! -) )0-.. -) 9+))*5.$ &#*:# $%:.+)$) ! &*"#+D" 5*)$:"*+%)B 278
*) 5-)$6 +% "#$ %+"*+% +, *%:.D)*+% ,D%:"*+% -%6 )+.D"*+% ,D%:"*+% 5(*$ME ($:-..$6 *% "#$ ,+..+&*%/
)D5)$:"*+%)B
2.1 Inclusion function
N$" # " $ $ 5$ - ,D%:"*+%B 4% &($+#-&'( .#($%&'( *) - )$";'-.D$6 ,D%:"*+%! 6$%+"$6 5E #!%
&#*:# -))+:*-"$) "+ -%E -J*);-.*/%$6 5+J =5+J ,+( )#+("A &! +, $ -% *%"$('-. 6$%+"$6 #! # &!$
"#-" :+%"-*%) "#$ *0-/$ +, # +'$( &!B 2%"$('-. -%-.E)*) =>++($! ?@OOP >++($! ?@H@! L-%)$%!
?@@QP L-00$( !% /+0! ?@@RA 9(+'*6$) $S:*$%" "++.) "+ :+09D"$ *%:.D)*+% ,D%:"*+%)B 2, ,+( -.. 5+J &!! #! # &!$ *) "#$ )0-..$)" *%"$('-. "#-" :+%"-*%) "#$ *0-/$ )$"! #! *) )-*6 "+ 5$ "#$ ,&(&,/+0
2.2 Reduction with one constraint
N$" " % #" % " % ' ' ' % " $ 5$ - '$:"+( +, $ B 4 $'(-% /&(% *) - )D5)$" !! +, $ =)$$! F$%#-0+D -%6 G.6$(! ?@@HA' L$($! &$ )#-.. :+%)*6$( +%.E :+%)"(-*%") +, "#$ ,+(0
!!% " " # $ $## "$ # (!% % # !# (!$% =QA
&#$($ (! *) -% *%"$('-. -%6 # *) - :+%"*%D+D) ,D%:"*+% 0-99*%/ $ *%"+ $' N$" "! 5$ - 5+J! "#$
($6D:"*+% 9(+5.$0 :+%)*)") *% K%6*%/ - 5+J )!! *, 9+))*5.$ )0-.. -%6 &*"#+D" 5*)$:"*+%)! "#-"
:+%"-*%) "#$ )$"
&!% # !# (!$ ' "!' = A
4 9+))*5.$ -99(+-:# *) 5-)$6 +% "#$ ,+..+&*%/ "#$+($0B
!"#$"% &T 4))D0$ "#-" *" *) 9+))*5.$ "+ *)+.-"$ "! *% "#$ $J9($))*+% ## "$ % (! &0!01 "#$($ $J*)")
!"#$%&'# %( % ) %&)*+)
! "#! " $ # " "#% $!% ,-.
/(+0+ "# " # % & & & % # % # !% & & & % #!! 1 2(+ !"#$%&'# &) $ 33+4 !"#$%!& '#&($%!& ) !(%)$*+
,%$- #1 5+#'%+ 67 ' %(+ 80'9+$%&'# '8+0 %'0 '# %(+ (%( :&) #4 67 # $ # &#$3")&'# !"#$%&'#
!'0 1 ;+ ( <+
' !!! " # $ #"#$ % #$$! # ##$ ,=.
/(+0+ #"#$ " ##!$ % & & & % ## !$ % ## !$ % & & & % ##!$! 1 >'0+'<+0? &! &) $'#%&#"'") #4 &! # $ &) @&#&A
@ 3? %(+# %(+ &#$3")&'# 0+3 %&'# ,=. 6+$'@+) # +B" 3&%71 $
!""#C D&#$+ %(+ !'33'/&#E +B"&< 3+#$+) ('34
! #!% & & & % #!! % #$$ &$ % #$$ '! #!% & & & % #!! " $!
"#$
&$ % #$$ '# " "#% $!!
% ,F.
/+ ( <+
' !!! " (# % ##$')) *" (% &#"% ##"$% ! #!% & & & % #!! % #$$+
"%$
" (# % ##$')) *" (% &#"% ##"$% &$ % #$$ /&%( # " "#% $!+
" "
# % ##$'# % #"#$ % #$$!#
&
,G.
2(+ 80'9+$%&'# )+% ' !!! &) %(") &#$3"4+4 &# %(+ &#%+0< 3
#' $ !!! " "
# % ##$'# % # $ #"#$ % #$$!#
" # $ #"#$ % #$$!
# ## $
/&%( ' !!! " #' $ !!! &! # $ &) @&#&@ 3 #4 &) $'#%&#"'")1 $
$%&'()* +C H'#)&4+0 %(+ $'#)%0 &#% #!#& % #%% &'$ #4 %(+ 6': #"#$ " #(% &$,#(% &$1 I# +#$3')"0+
'! !! 4+*#+4 67 ,J. $ # 6+ '6% &#+4 67 0+4"$&#E #"#$ ) !'33'/)1 D&#$+
#!#&" $ #! " $
#& #& " $
#! ,!'0 # *" '.? ,K.
%(+ )'3"%&'# !"#$%&'#) 0+ ! #&% $! " $# #4 & #!% $! " $#!1 L0'@ 2(+'0+@ M? %(+ 80'9+$%&'#) '! !! 0+ E&<+# 67
'! !!! " # !$ ##&$ % #$$! # ##!$ " #$$
##&$# ##!$ " #%% &'$
#(% &$ # #(% &$ " #)% &$
'& !!! " # &$ ##!$ % #$$! # ##&$ " #$$
##!$# ##&$ " #)% &$%
#4 %(")? %(+ &#%+0< 3 ("33 '! !! &) #!!$ " #)% &$ , #)% &$& $
-
2.3 Reduction with m constraints
!" #"$%&'()* +#),-". /00)&(/'"$ 1('! 234 /.)%*'0 ') 5*$6 1('!)%' ,#/*&!(*76 / 0%,,)8 !! 2/0 0./-- /0 +)00(,-"4 )9 "! 0%&! '!/' !!: !" (*'"#;/- "! (0 !"#$#%&"% 1('! '!" &)*0'#/(*'
!! " #! # $!!$ % & " #%% ' ' ' % ($% (9
"! " ) #%!$ 6 2<4
1!"#" %! " !! & "!' !" (*'"#;/- "! (0 '! ('') !"#$#%&"% 2/-0) &/--"$ (* + !"#$#%&"% (* '!"
-('"#/'%#"4 1('! 2346 (9 (' (0 !"#$#%&"% 1('! /-- %!, $-&-6 "! "
! ! "###"$"
) #%!$ : 23=4
"! (0 .'!/('') !"#$#%&"% 1('! 2346 (9 "! " )
!
"
! ! "###"$"
%!
#
$ " )#%$' 2334
>)'" '!/'6 0(*&" 9)# '1) 0"'0 * /*$ +% ) #*&+$ )#*$&)#+$6 '!" 7-),/- &)*0(0'"*&? (.+-("0 '!" -)&/- &)*0(0'"*&?: !" ,)8 "! (0 .'!/('') !"#$#%&"% 1('! 234 (9 /-- ('0 &).+)*"*'0 /#" 7-),/--?
&)*0(0'"*' 1('! 234: @* '!(0 &/0"6 "! (0 '!" (*'"#;/- !%-- )9 %:
A00%." '!/' 9)# 0)." & " #%% ' ' ' % ($ /*$ , " #%% ' ' ' % -$% '!" ;/#(/,-" " &/* ," (0)-/'"$ (* '!"
"8+#"00()* #!# "$ " $6 $-&-, '!"#" "8(0'0 / 0)-%'()* 9%*&'()* .! '!/' 0/'(05"0
#!# "$ " $! ' " " .!# "% $!$' 23B4 C#). !")#". 3
) #%!$ .!!# "! % $!!$ & "!' 23D4 !"#"9)#"6 (& " #%% ' ' ' % ($6(, " #%% ' ' ' % -$% ) #%!$ (0 (*0($" '!" (*'"#;/-
/!!# "!% $!!$ "
% .!!# "! % $!!$ & "! (9 .! "8(0'0
"! )'!"#1(0": 23E4
!" /-7)#('!. ') ," +#"0"*'"$ 7"*"#/'"0 / *"0'"$ 0"F%"*&" )9 0%,,)8"0 )9 "!% 1!(&! &)*'/(*0
%: !(0 /-7)#('!. (0 / 0(.+-" ;"#0()* )9 '!" '! (' 0('%1 2'%&*$". ('.!*$%34 (*('(/--? +#"0"*'"$ ,?
G/-'H 23<IJ4 9)# #"/- *%.,"#0 /*$ "8'"*$"$ ') (*'"#;/-0 ,? K/;(0 23<LI4 /*$ M-"/#? 23<LI4: !"
0')++(*7 &#('"#()* ') ," %0"$ (0 ,/0"$ )* '!" *&'(%$5& *&4!%&"&## 0 # 1! % $!$ )9 / ,)8 1! 2%') / ,)8 $! 2%6 $"5*"$ ,?
0 # 1! % $!$ " &'(
"###"% &'(
& &! &'(
&
)%1 ) $"
*$"* %$#) 1
*$#* '
' 23J4
G!"* '!" #"$%&'()* +#)$%&"$ /' / 7(;"* ('"#/'()* (0 0./--"# '!/* / 7(;"* 0./-- +)0('(;" #"/-
*%.,"# 36 '!" /-7)#('!. 0')+0:
J
!"#$ !! " #!!
"#$%&' $" !! " #!"
()$)*&
! ! # !!"
+,- % # $ &, & ., +,- ' # $ &, ( .,
!! # )!!% !!" #!!&"
/#&01 * % ! ! " !!& + ,"
2%&$%& !!"
3405 *16,-0&47 05 5*0. &, 8) !"# $ 8)9*%5) )*94 9,#5&-*0#& 05 9,#50.)-). 0#.)$)#.)#&1:; +,-
* % !&# *$$-,*94< 5)) =:>,#)#< ?@@A!; B) 4*>) &4) C,11,D0#6 $-,$)-&0)5 E)#4*7,% *#.
F-*#>0110)-5< ?@@G!' !"#$ &)-70#*&)5 0C , - '< 0& 05 "!''(") #, 5,1%&0,# 05 1,5&!< 0C , # ' *#. 0C
&4) 70#07*1 0#91%50,# C%#9&0,#5 *-) *>*01*81) C,- *11 5,1%&0,# C%#9&0,#5 &4)# !! &)#.5 &,D*-. * 8,H D4094 05 1,9*11: 9,#505&)#&;
!"#$%& '' +,- &4) 5)& 0#>)-50,# $-,81)7
!"
!#
!!( )!" !$" $!
!!! !" !$" $!
! !$'" $'! " !$'" $'!.
?I!
&4) 5,1%&0,# C%#9&0,#5 *-)
/!!%!"" #& # #!! )!" /"!%!!" #& # " #"
/"!%!"" #& # #"( !" /""%!!" #& # !#"( !! ?G!
34) -)5%1&5 ,C &4) J-5& 0&)-*&0,# ,C &4) '(*(#)+,-). 1,,$ *-) 60>)# 8:
!!! # % !$" $! ! ) !$'" $'!& # !$'" $'! # !$'" $'!
!"! # $
# !$!$ # ! $! $
"
%# !$'" $'! # !$$
) "$$
) ! !!! #
&
!$" $! ( !$$
) "$$
) ! '
# !$'" $'! # !$*
) "$*
) ! !"! #
&
!$" $! ( !$*
) "$*
) ! '
# !$$
) "$$
) ! # !$$
) "$$
) !
34) &D, 9,#5&-*0#&5 ,C ?I! *-) -)$-)5)#&). 8: &4) 4*&94). J)1.5 0# +06%-) ?; 34) 1064&6-):
-)9&*#61) -)$-)5)#&5 &4) -).%9). 8,H 0! # !!%""!%"! " !!!""!!" ! ,8&*0#). *C&)- &4) J-5& 0&)-*&0,#;
34) .*-K6-): 8,H 05 ,8&*0#). *C&)- &D, 0&)-*&0,#5; 34) 57*11 D40&) 8,H 0# &4) 9)#&)- 05 61,8*11:
9,#505&)#& D0&4 ?I!;
I
-10
-10 10
10
!"#$% &' ()% *+, -$.* .*%/. ,0 *)% 1,231 431*5 -1*%$!6" 31",$!*)7
!" #$%&"'($" )*+ ,-%#. /%$ 01,-*1&". 2!"1 "*&! &%1,-$*01- &%1-*01, -2% %##%,0-" 3"$-0&", %/
-!" 4%5 !!6 71 -!" ,"- 013"$,0%1 #$%48")
!"
!#
" " " !## #!
"!! " !## #!
" !#$# #$! " !#$# #$!#
9:;<
,01&" -!" !(88 4%5 %/ $! !% !## #!& # "! *1' -!" !(88 4%5 %/ $ !% !## #!& # "! *$" 4%-! "=(*8 -%
"!# -!" 4%5 "! 0, 8%&*88+ &%1,0,-"1- 4(- 1%- >8%4*88+ &%1,0,-"1- 20-! 9:;<6 !" !"#$ *8>%$0-!)
0, -!"1 (1*48" -% $"'(&" "!% $
!"#$% &? @!"1 &*$"/(88+ &!%,"1. *''0-0%1 %/ $"'(1'*1- &%1,-$*01-, '$*,-0&*88+ 0)#$%3" -!"
#"$/%$)*1&", %/ -!" !"#$ *8>%$0-!) 9,"" A"1!*)%( *1' B$*130880"$,. :CCD<6 E"'(1'*1-
&%1,-$*01-, &*1 4" %4-*01"' 4+ ,%)" "8")"1-*$+ *8>"4$*0& )*10#(8*-0%1,6 71 9:;<. 4+ *''01>
-!" -2% &%1,-$*01-,. 2" >"- * -!0$' &%1,-$*01- >03"1 4+ '"! !'# '!% !" @*8-F *8>%$0-!) 0, 1%2 *48" -% $"'(&" "!6 7/ #%,,048". -!" *8>"4$*0& )*10#(8*-0%1, !*3" -% 4" #"$/%$)"' 01 %$'"$
-% &$"*-" 1"2 &%1,-$*01-, -!*- 013%83" * ,)*88 1()4"$ %/ 3*$0*48",6 E"&"1-8+. ,"3"$*8 *(-!%$,
!*3" ,-('0"' 3*$0%(, &%)401*-0%1, %/ ,%83"$, 01 -!" &*," %/ &%1-01(%(, $"*8 &%1,-$*01-, *1' 01
#*$-0&(8*$. &%)401*-0%1, %/ -"&!10=(", /$%) &%)#(-"$ *8>"4$* *1' 7GH 9,"" %8"8 I*$-0 *1'
E("!"$. :CCJ<6 $
3 SET INVERSION WITH REDUCTION
!" ,"- 013"$,0%1 *8>%$0-!) K7L7M% "!& 9N*(801 *1' @*8-"$. :CCO< )*P", 0- #%,,048" -% "1&8%,"
-!" ,"- % >03"1 4+ 9:< 4"-2""1 *1 011"$ ,(4#*301> % *1' *1 %(-"$ ,(4#*301> %"( % & )%6
D
!"#$$ %&#% # '()*#+,-. ,' # (-,/- /0 -/-/+!1$#**,-. )/2!'3 4 -!5 +!1',/- /0 !"!# %&#% ,-"$(6!'
%&! $/"#$ 7#$%8 9$%!1,-. *1/"!6(1! ,' -/5 *1/*/'!63 :- 5&#% 0/$$/5';
5,6%& ! !"# $ %&'
! !"""!#"" ! !#!
# <=>?
5&!1! %&! "@' #1! #1),%1#1A 5!,.&%,-. "/!B",!-%'3 C&! ),'!"%,/-' #1! *!10/1D!6 5,%& 1!'*!"%
%/ %&! 6,1!"%,/- $ %&#% D#2,D,8!' " ! !#!
3 C&! 1!E(,1!6 #""(1#"A % ,' %&! 5,6%& )!A/-6 5&,"& ),'!"%,/-' #1! -/% #$$/5!63 F/1 D/1! ,-0/1D#%,/- '!! <G#($,- #-6 7#$%!1; =>>H?3
!"!#<! !"?
I%!* = :0 ! &" ! !"# ! ! '"# J"#$ "## ! !" K 1!%(1-LK I%!* M ! !" $ $#%&' &# ! !" # ! '"#K
I%!* H :0 ! !" ,' !D*%A; 1!%(1-K
I%!* N :0 5,6%& ! !"# ( %; J(" $ (" # ! !" K 1!%(1-LK I%!* O P,'!"% ! !" .!%%,-. %&! %5/ )/2!' ! !"! #-6 ! !"") I%!* Q !"!# ! !"!#) !"!# ! !""#)
R/%! %&#% ,0 5! 1!D/+! %&! I%!* M /0 %&,' #$./1,%&D; 5! /)%#,- %&! "$#'',"#$ I:S:43 4' #-
#**$,"#%,/-; "/-',6!1 # D/6!$ .,+!- )A # '(D /0 !2*/-!-%,#$ 0(-"%,/-'3 C&! '!% ,-+!1',/- *1/)$!D
%/ )! '/$+!6 ,' .,+!- )A <=?; 5,%&
! !" $ !*# +," $ !,# -" $ ! .,# -" $ !,# ,)/" ) * $ ,)0/# -)/# *)*/# .# +# 1# -.# -0# *-# */# )
' $ 0).1# 2),1# -)02# ,),10# *)//# *)+1# *),0# -)22# ,)13# ,)++# )
!'$" $ '$4 ! ,),/ #)' '$# ,)-# ,),/ #)' '$# 4 ,)-" )
&$ !# $ !!+#% & 4 !#+#%!& )
I,-"! #$$ +#1,#)$!' "#- )! ,'/$#%!6 ,- !#"& "/-'%1#,-%; %&! ,$@' ('!6 )A %&! 7#$%8 *1/"!6(1! #1!
.,+!- )A
,$! $ '$ !#+#%!& !
+% & # <MT?
,$" $ -
*$ 567
"
'$ !#+%!&
!!
#
# <M=?
,$# $ '$ !!+#% & !
+%!& # <MM?
,$$ $ -
*$ 567
"'$ !!+% &
!#
#
) <MH?
C&! 5!,.&%,-. "/!B",!-%' #1! "&/'!- #'
"! $ ,),*# ""$ -# "#$ ,),.# "$ $ *) <MN?
F/1 % $ ,)*# - $ ,),,-# %&! '()*#+,-. " $ "## (" &#' )!!- /)%#,-!6 #0%!1 =O '!"/-6' /- # U!-%,(DV=HHW&8 U!1'/-#$ X/D*(%!13 C&! *1/Y!"%,/-' /0 " /- %&! !!# !## #-6 !"# !$#V'*#"!';
Z
!" !"#!"$"%&"' (% )(*+!"$ ,- %' ,-./ 0(&12+& &1" !"'+3&(2% #!23"'+!"4 52! !!"4 67879 2.& (%$ $+.# :(%* ;1(31 *2"$ 5 ! ."<2%' &1" (%(&( = .2> %' 52! !!#4 67879 *"%"! &"$
&1" $+.# :(%* 25 )(*+!"$ ,-3 %' ,-' 5&"! ? @(%+&"$/ )(*+!" ,4 $12;$ &1 & ":"% +$(%* !2+*1
#!"3($(2%4 67879 ;(&1 &1" !"'+3&(2% #!23"'+!" #!2:('"$ ."&&"! !"$+=&$ &1 % &1" 3= $$(3 = 67879/
2 60
-1
-30 2 60
-1
p -30
p
1 3
p p
1 3
0 1
0.5
0 1 0
0.5
0 p
p
2 4
p p
2 4
( )d ( )a
( )b
( )c
SIVIA with
reduction Classical SIVIA
!"#$% &' ()*+,$!-). /%01%%. 02% .%1 ,.3 02% 4)$*%$ 567689
!"#$% &' )2! &1($ &"$&3 $"4 " 31 32%$&! (%& (%:2=:"$ 52+! # ! @"&"!$/ 9$ (==+$&! &"' .<
A"@ !B C4 &1" #"!52!@ %3"$ 25 !"#$ 32+=' ." (%3!" $"' .< ''(%* %"; 32%$&! (%&$ (%:2=:(%*
="$$ # ! @"&"!$/ )2! (%$& %3"4 5!2@ &1" &;2 "D+ &(2%$
" # ! $ " # !! $"
"!# ! $ " # !! $# E,FG
;" 3 % *"& FHI $2=+&(2% 5+%3&(2%$ 25 &1" 52!@
"$ %"%#$%$"%$ %"$"& "$ && ;(&1 ' '! '" %' ( )! E,JG K%" 25 &1"@ ($
"" %!% %#"%# %" & "#& #
*"! *#
!'()!
$#! " # !! "
! '()!
$"! " # !!!""
! E,LG
M1"$" $2=+&(2% 5+%3&(2%$ 3 % ." (%$"!&"' (% !"#$4 .+& 2%=< 5"; 25 &1"@ ;2+=' (@#!2:" &1"
"N3("%3< 25 &1" @"&12'/ 75 == &1" %"%#$%$"%$ !" 32%$('"!"' (% !"#$4 &1" 32@#+&(%* &(@" 25 % (&"! &(2% ."32@"$ &22 1(*1/ M1" 312(3" 25 &12$" ;1(31 !" ;2!&1 &2 ." (%$"!&"' ($ 25&"% :"!<
'(N3+=& E$"" O"%1 @2+ %' P! %':(==("!$ ECQQLG (% &1" 3 $" ;1"!" &1" +"R$ !" #2=<%2@( =G/ )2!
&1" $ B" 25 $(@#=(3(&<4 &1($ #2$$(.=" (@#!2:"@"%& 25 &1" @"&12' 1 $ %2& .""% 32%$('"!"' (% &1"
##=(3 &(2% 32%$('"!"' (% &1($ # #"!/ "
Q
4 COMPUTING THE INTERVAL HULL
! "#!$ %&'(#'&)!%* +, #-, !)' &!',-,%',. &! #! #//(-#', -,0-,%,!'#'&)! )1 '2, 0)%',-&)- 1,#%&34,
%,' * 5&6,! 3$ 789* 3(' )!4$ &! '2, %"#44,%' 3): 7)- &!',-6#4 2(449 ! )1 ; <2, /)"0)!,!'% )1 ! -,0-,%,!' '2, 1,#%&34, &!',-6#4% 1)- '2, 0#-#",',-% #!. '2, /,!',- )1 ! &% # 0)&!' ,%'&"#', +2&/2 ,!=)$% (%,1(4 )0'&"#4&'$ 0-)0,-'&,% 7>&4#!,%, ! "#$* 8?@A9; <2, B C D #45)-&'2" 0-,%,!',.
&! '2, 0-,6&)(% %,/'&)! /#! ,#%&4$ 3, '-#!%1)-",. ') /)"0(', # 3-#/E,'&!5 )1 !* 3('* #% '2, 5,!,-#',. %(30#6&!5% #//("(4#', )! '2, +2)4, 1-)!'&,- )1 * "#!$ (!!,/,%%#-$ /)"0('#'&)!%
#-, 0,-1)-",.; ! '2&% %,/'&)!* +, 0-)0)%, # !,+ #45)-&'2" +2&/2 3-#/E,'% ! 3,'+,,! '+) 3):,% ! !! #!. !"#$!* %$ $&
! !! !! !"#$! " 7F@9
' &% #%%(",. '2#' '2, %)4('&)! 1(!/'&)!% #%%)/&#',. +&'2 ,#/2 # #-, #6#&4#34,* %$ $& 1)- #44
$ " #"% " " " % &$ #!. ' " #"% " " " % ($* '2,-, ,:&%'% # 1(!/'&)! )!# #% *!$ %(/2 '2#'
+!# #$ % *! % # % )!# #% *!$" 7F?9
4.1 Cross propagation algorithm
<2, #&" )1 '2, /-)%% 0-)0#5#'&)! #45)-&'2" ') 3, 0-,%,!',. &% ') G!. # 3): ! !! % #% 4#-5, #%
0)%%&34,* +2&/2 &% &!/4(.,. &! !!; <2, 0-&!/&04, )1 '2, #00-)#/2 &% !)' !,+H &' /)!%&%'% &! G!.&!5
%)", 1,#%&34, #I '2, &!',-6#4 2(44 )1 #44 '2,%, 1,#%&34, # &% '2(% #! #00-):&"#'&)! )1 !! " J2#' &%
!,+ &% '2#' &!',-6#4 #!#4$%&% &% (%,. ') &!/-,#%, '2, ,K/&,!/$ )1 '2, 4)/#4 -,%,#-/2,%; <2, 4)/#4 -,%,#-/2 )1 %)", 1,#%&34, 0)&!'% &! '2, $'2 .&-,/'&)! &% 3#%,. )! '2, 1)44)+&!5 '2,)-,";
!"#$"% &H L,' , 3, # 0)&!' &! -"; M,!)', 3$ &# ,$* '2, 4&!,* 0#-#44,4 ') '2, $'2 #:&%* +2&/2 /)!'#&!% ,; <2, &!',-%,/'&)! 3,'+,,! &# ,$ #!. ! &% 5&6,! 3$
.# ,% !$ %!, % " " " % , %"#
! !
)!# ,% *!!$ ' #!% , "!% " " " % ,"
#
$
" (
'$##() / " .# ,% !$ &% ,N(&6#4,!' ')
% / " &# ,$
/ "&#
! !)!# ,% *!!$ ' #!%
%$ $&
% / " & # ,$
)' " #"% " " " % ($% **! " *!!+/ % )!# ,% *!$ #!. / " #!% 7OP9
8P
!"#! "$ %&'"()*%+, ,- ! ! "! " #. $ !"#$% &/ 0 #-+$%&'%+#% -1 ,!"$ ,!%-2%3 "$ ,!), "1 # %"$ % % % $ &&$
! "! " #! ' #'$ "$ #! %!" $ % % % $ " $"!
" !
#("$ "$ #)"$! " #*$$ " "!$ % % % $ "#
#
$ % 4567
8-,% ,!), #'$ "$ #! "$ ) 9%:%+%2),%9 ;-<. =!"$ "+#*'$"-+ ;%#-3%$ )+ %&')*",> "1 (" "$ #-+,"+'-'$
)+9 #("$ "$ ,!% 3"+"3)*. $
=!% 1-**- "+: 2%#'2$"(% )*:-2",!3 !"##4 "7 )$$'3%$ ,!), 3"+"3)* "+#*'$"-+ 1'+#,"-+$ )2% )()"*?
);*% 1-2 )** ("@$. # + !$ "$ ) :*-;)* ()2");*% !"#! 2%A2%$%+,$ ) 4A-$$";*> %3A,>7 $';;-< -1 ##$.
B!%+ ) 1%)$";*% A-"+, " "$ 1-'+9C # + !$ "$ "+#2%)$%9 "+ -29%2 ,- #-+,)"+ ". D+ !"##4 "7C # + !$ ( ! 9%+-,%$ ,!% $3)**%$, ;-< !"#! #-+,)"+$ # + !$ )+9 !C ! "$ ,!% #-2+%2 -1 # !$ !-$% #-3A-+%+,$
)2% ,!% *- %2 ;-'+9$ -1 ,!% "+,%2()* #-3A-+%+,$ -1 # !$ )+9 !" "$ ,!% #-2+%2 -1 # !$ ), ,!% -AA-$",%
-1 ! .
!"##4 "7 E,%A 6 F-2 ! ! !
" #$ % ""## "$# $"%& %&
" #$ & '( ""## !) *#+ &
" #$ , '( ' $"# & ""( !#% ) *) ""( !# ""( !# " "# & !"##$"# %&
" #$ - '( ' $"# & ""( !#% ) *) ""( !# ""( !# " "# & !"##$"# %&
" #$ . /#+ &
01#* !"##2"%3 '4 5677#8 9: 1# ;6'* $<!=<6; 2$%&&) ='>#* '* 1# *#+ 4?94#5 '!*3) ""( !# '4 6 2$!44'97: #;$ :3 9!+ @1'51 164 9##* $<!>#8 ! 9# '*57?8#8 '* " #A B1# !" 7!!$ =#*#<6 #4 6 4#
!( 4#=;#* 4 2 1# 5<!443 16 9#7!*= ! + C651 >#< #+ "# 6*8 "# !( #651 4#=;#* !( 1# 5<!44 '4 (#64'97# 6*8 '4 1?4 7'D#7: ! '*5<#64# ""( !#A E( ""( !# '4 '*5<#64#8 4'=*'F56* 7:) 6 " #$4 , 6*8 -) 6*
! 1#< 5677 !( !"## !55?<4A
4.2 Bracketing the interval hull
B1# (!77!@'*= <#5?<4'># 67=!<' 1; $%&&2"",#3 =#*#<6 #4 @! 9!+#4 ""( !# 6*8 ""("#$# 16 46 '4(: 2%G3A H<!; 6 5!;$? #< $!'* !( >'#@) ""( !# 6*8 ""("#$# 6<# @! =7!967 >6<'697#4 '*' '67'I#8 64J ""( !# ! 6*8 ""("#$# !A K( #< 5!;$7# '!* !( 1# 67=!<' 1;) 1# $<#5'4'!* !( 1# 9<65D# '*= $<!>'8#8 9:
$%&& '4 #+$#5 #8 ! 46 '4(:)
' $""("#$# & ""( !#% # -+ 2&%3 L!4 !( #*) @1#* . '4 4;677 #*!?=1) 2&%3 '4 46 '4F#8) 9? 1#<# #+'4 4 4!;# 6 :$'567 4' ?6 '!*4 '* @1'51 ' *! <?#A E* @16 (!77!@4) ""("#$# " ""( !# 8#*! #4 1# '* #<>67 1?77 !( ""("#$# $ ""( !#A
MM
!"" !!!
"#$% & #$%&& "'$(#$) " !!## * " !"! $ " !"! "#$! %
"#$% + !! $ '(")*" #$ !! $ %!#*
"#$% , -. !! /0 $1%#23 )$#4)(*
"#$% 5 -. 6/7#8" !!# & ' 9) ( " !! $ "#$!# & )3 : " !"! $ " !"! !! * )$#4)(;*
"#$% < =/0$># !! ?$##/(? #8$ #69 @9A$0 !! B(7 !! %
"#$% C !""" !!!#% !""" !! #%
D# "#$% &3 #$%&& B##$1%#0 #9 /(>)$B0$ "#$! @2 40/(? B E9>BE B%%)9B>8 #9 F(7 091$ ($6 .$B0/@E$
!G H8$ >4))$(# @9A /0 )$74>$7 B# "#$% ,G H8$ 'I>9(7/#/9( B# "#$% 5 B004)$0 #8B# !"" /0 B F(/#$
BE?9)/#81G H8$ )I>9(7/#/9( /0 74$ #9 ,+! B(7 BJ9/70 4(($>$00B)2 )$F($1$(#G
4.3 Application
'9(0/7$) #8$ #$0#>B0$ %)$0$(#$7 /( "$>#/9( ,G K9) ' $ * $ + $ &,&&' B(7 ) $ &,&'3 !"" F(70 /( E$00 #8B( L 0$>9(70 9( B M$(#/41I&,, NOP M$)09(BE '91%4#$) 0%$$7Q &, NR9%0S0$>! #8B#
"#$! $ '(,)$ )*,(+! ! &,,&'$ &,-+! ! "'*$ ".,-! ! &,&(*($ &,',.-! ,,!
" !"! $ '(,&.$ )(! ! &,)+/$ &,-+.! ! "'*,)$ ".,,-! ! &,&(*,$ &,',.+! ,5!
-( N/EB($0$ B(7 T/>/(9 &UU&! B 0/?(91/BE B%%)9B>8 /0 %)9%90$7 #9 09EJ$ #8/0 %)9@E$1G H8$
BE?9)/#81 9. KBEV &UW,! /0 40$7 B(7 /# 9@#B/(0 /( &X 1/(4#$0 9( B TDY LLXX 0%$$7Q &G, NR9%0S0$>! #8B# #! /0 B%%)9A/1B#$73 6/#8 B )$EB#/J$ $))9) 9. + %$)>$(#03 @2 #8$ @9A3
!%&! $ '(,)$ )*,+! ! &,,$ &,-+! ! "'*,'$ ".,-! ! &,&(($ &,',*! ,<!
68/>8 >9))$0%9(70 #9 #8$ @)B>V$#/(?
"%&#$ ! $ '(,..$ )*,,*! ! &,,&*$ &,-/! ! "'.,(($ ".,.'! ! &,&(/*$ &,',,!$ ,C!
"%& !"! $ '*,/.$ )(,--! ! &,)+-$ &,.! ! "'*,-,$ ".,)+! ! &,&(.-$ &,',//!, ,W!
Z9#$ #8B#
"%&#$ ! $ "#$! $ #! $ " !"! $ "%& !"! ,L!
H8$ )$04E#0 9@#B/($7 @2 !"" B)$ #840 19)$ B>>4)B#$ B(7 19)$ $[>/$(# B@94# L #/1$0 .B0#$) /. #8$ >91%4#B#/9(0 B)$ %$).9)1$7 9( #8$ 0B1$ 1B>8/($! #8B( #890$ 9@#B/($7 @2 N/EB($0$ B(7 T/>/(9 &UU&!G
!"#$% &Q D0 %)$0$(#$7 B@9J$3 #8$ >EB00 9. %)9@E$10 #8B# >B( @$ #)$B#$7 @2 !"" /0 )B#8$) E/1I /#$7 @$>B40$ BEE 09E4#/9( .4(>#/9(0 B(7 #8$/) B009>/B#$7 1/(/1BE /(>E40/9( .4(>#/9(0 B)$ 04%%90$7
#9 @$ BJB/EB@E$G \8$( #8$0$ B0041%#/9(0 B)$ (9# .4EFEE$73 !"" >94E7 @$ B7B%#$7 .9) /(0#B(>$
@2 )$%EB>/(? #8$ /(#$)JBE E9>BE )$0$B)>8 @2 B >EB00/>BE 9($G '9(>$)(/(? #8$ KBEV BE?9)/#813 /#
B0041$0 #8B# #8$ #]0 B)$ %9E2(91/BEG
&+
5 CONCLUSION
! "#$% &'&()* $!"()+', -.!%")'$!" &).&'/'"$.! 0 123 '!4 %.5( .6 $"% '&&,$-'"$.!% ". 7.8!4(49 ()).) (%"$5'"$.! $% &)(%(!"(4: ! "#( ;)%" &')" .6 "#( &'&()* 12 $% 8%(4 ". $!-)('%( "#( (<-$(!-=
.6 "#( %("9$!+()%$.! ',/.)$"#5 > ? @: A%$!/ '! (B'5&,( 6).5 "#( ,$"()'"8)(* "#( $5&).+(4 +()%$.!
.6 > ? @ $% -.5&')(4 ". "#( 6.)5() > ? @: " .7"'$!% 5.)( '--8)'"( )(%8,"% $! ' CD "$5(% %#.)"() -.5&8"$!/ "$5(: @ !(E ',/.)$"#5 6.) .7"'$!$!/ "#( $!"()+', #8,, .6 "#( &.%"()$.) 6('%$7,( %(" $%
&)(%(!"(4 $! "#( %(-.!4 &')" .6 "#( &'&(): F#$% ',/.)$"#5 ',"()!'"(% '! 1297'%(4 (,$5$!'"$.!
&).-(48)( E$"# ' !(E $!"()+',97'%(4 &).-(48)( "#'" &()6.)5% ,.-', )(%(')-#(% .6 %.5( 6('%$7,(
&.$!"%: G= '! (B'5&,( "'H(! 6).5 "#( ,$"()'"8)(* "#$% ',/.)$"#5 #'% 7((! %#.E! ". 7( 5.)(
(<-$(!" "#'! "#( %$/!.5$',97'%(4 ',/.)$"#5 .6 I',H 0JKLC3:
M#(! 4(',$!/ E$"# $!"()+',97'%(4 7)'!-#9'!497.8!4 ',/.)$"#5* "#( 8%( .6 )(48-$!/ 5("#.4%
5'H(% $" &.%%$7,( ". 4(-)('%( 4)'%"$-',,= "#( !857() .6 7$%(-"$.!%* "#8% ',,.E$!/ 58-# 5.)(
(<-$(!" ',/.)$"#5%: 12 &).+$4(% ' %$5&,( E'= ". )(48-( "#( 7.B(%* 78"* '% $" ')( ,.-',* $" $%
8!'7,( ". "'H( $!". '--.8!" "#( 4(&(!4(!-(% 7("E((! -.!%")'$!"%: F#()(6.)( %.5( 7$%(-"$.!%
"#'" -.8,4 7( '+.$4(4 #'+( ". 7( 4.!( $6 .!,= ,.-', &).&'/'"$.! "(-#!$N8(% ')( -.!%$4()(4:
O"#() )(48-"$.! "(-#!$N8(% E#$-# ')( 5.)( /,.7',* !"!# E#$-# "'H( $!". '--.8!" "#( 4(&(!4(!-(%
7("E((! -.!%")'$!"%* E$,, 7( %"84$(4 $! .!/.$!/ )(%(')-#(%: M( N8."( "E. .6 "#(5P "#( '8".5'"$- /(!()'"$.! .6 )(48!4'!" -.!%")'$!"% 0%(( G(!#'5.8 '!4 Q)'!+$,,$()%* JKKL3 '!4 "#( $!"()+', R(E".! )(48-"$.! 5("#.4 0S..)(* JKTTU V'!%(!* JKKW3:
JC
!"#"$!% &#'()
!"#$%&'(#) #!%"*'#" #) '+% !'+ *,(-.
" #$% ! ()'%"-%&'(#) /%'0%%) '+% 1()% #$! *)2 !.
& 3()(343 0(2'+ #5 /#,%- *11#0%2 '# /% /(-%&'%2 () !"!# *)2 $%&&' ' ( 3()(343 !"#6"%-- "%74("%2 () )#&*+.
( 3()(343 !"#6"%-- "%74("%2 () ,-.//'
) "%74("%2 "%3#'%)%-- /%'0%%) '+% ())%" *)2 #4'%" /#,%- () $%&&'
#* * % + + + % * % * !% + + + % * ! .
! #$! 1()% #5 , &#)'*()()6 #$ *)2 !*"*11%1 '# '+% !'+ *,(-.
! !#-'%"(#" 5%*-(/1% -%'8 -%% "%1*'(#) 9:;.
- "#.# % "#/#! "%3#'%)%-- #5 "#.# '# "#/#8 -%% %74*'(#) 9:<;.
"!# ()'%"=*1 +411 #5 !8 !"!'+% -3*11%-' *,(->*1(6)%2 /#, 0+(&+ %)&1#-%- !.
" # $ ()'%"=*1 +411 #5 " % $.
:?
!"! !#$!%
!"#$%&'( )* $"+ ,* -.$"/0110!.2 345567* 8'9&%$90: ;!"!.$90&" &< "'%!.0:$1 .!+'"+$":0!2 <&.
"&"=10"!$. :&"29.$0"9 2&1/0";* !"#$%"! &'()*+#,-( &( >>?=>@@*
!"#$%&'( )* $"+ A* B1+!. 345567* 8CC1D0"; 0"9!./$1 $.09#%!90: 9& .!$1( 0"9!;!. $"+ E&&1!$"
:&"29.$0"92* .'*/,$" '0 1'-#2 3/'-/$((#,-( &'( 4=F@*
!1<&.9! -*( * &"$ $"+ G* H!.&"! 3455I7* J$.$%!9!. !290%$90&" $1;&.09#%2 <&. $ 2!9 %!%E!.=
2#0C +!2:.0C90&" &< '":!.9$0"9D* 4*+'($+#2$5 '(( KK6=K5K*
H1!$.D( L* H* 345K67* ,&;0:$1 $.09#%!90:* 6*+*/! &'()*+#,- 789+!(95 '( 3F7( 4F?=4@5*
M$/02( N* 345K67* H&"29.$0"9 C.&C$;$90&" O09# 0"9!./$1 1$E!12* 4/+#:2#$" ;,+!""#-!,2!( &'( FK4=
>>4*
)$1P( L* N* 3456>7* -1&E$1 2&1'90&"2 <&. 20;"&%0$1 C.&;.$%2* <!2=> !)> <?@AB5 C!'/-! D$9=?
#,-+', E,#F>5 A$2#0";9&"( MH*
)&;!1( N* $"+ Q* )* R'$"; 345KF7* B" 9#! /$1'! &< 0"<&.%$90&" 0" 2D29!% 0+!"90S:$90&" = E&'"+!+
"&02! :$2!* 4*+'($+#2$( )*( FF5=F>K*
R$%%!.( T*( U* R&:P2( V* W'102:#( $"+ M* T$9X 3455?7* &GG <''"%'H 6'/ I!/#:!J &'()*+#,-*
YC.0";!.=G!.1$;( R!0+!1E!.;*
R$"2!"( N* 3455F7* C"'%$" K)+#(#L$+#', E9#,- ;,+!/F$" 4,$"89#9* U$.:!1 M!PP!.( Z!O Q&.P*
RD/["!"( N* 3455F7* H&"29.$0"9 .!$2&"0"; E$2!+ &" 0"9!./$1 $.09#%!90:\ ]#! 9&1!.$":! C.&C$;$=
90&" $CC.&$:#* 4/+#:2#$" ;,+!""#-!,2!5 +*( 64=44F*
L$'10"( ,* $"+ N* A$19!. 3455>7* Y!9 0"/!.20&" /0$ 0"9!./$1 $"$1D202* 4*+'($+#2$( ',( 4I?>=4I^@*
U$:PO&.9#( 8* 345667* H&"2029!":D 0" "!9O&.P2 &< .!1$90&"2* 4/+#:2#$" #,+!""#-!,2!( *( 55=44K*
U$.90( J* $"+ U* T'!#!. 3455?7* 8 +029.0E'9!+ :&&C!.$90"; :&"29.$0"9 2&1/0"; 2D29!%* ;,+!/,$?
+#',$" .'*/,$" '0 4/+#:2#$" ;,+!""#-!,2! <''"9( -( 5>=44>*
U01$"!2!( U* $"+ -* !1<&.9! 345KF7* N290%$90&" 9#!&.D $"+ '":!.9$0"9D 0"9!./$1 !/$1'$90&"
0" C.!2!":! &< '"P"&O"=E'9=E&'"+!+ !..&.2* ,0"!$. <$%010!2 &< %&+!12 $"+ !290%$9&.2* ;MMM
</$,9> 4*+> &',+/'"( '.( @IK=@4@*
U01$"!2!( U*( T* ]!%C& $"+ 8* G0:0"& 345K^7* Y9.&";1D &C90%$1 $1;&.09#%2 $"+ &C90%$1 0"<&.=
4?
!"#$% #% &'"# !"#$% ()$*+& ', ! "#$%&'()*+, - ./01/,
2#+!%&'&- 2, !%3 4, 5#6#%$ 781189, :'"# !"#$% ";&$)< =$) %$%+#%&!) $3&+' !%3 '&" & *&)';#(
>%6&)"!#%"<, -.*#$/*)0/, !- ?@A0?@/,
2#+!%&'&- 2,- B, C$)"$%- D, E#&"0F!;!%#&) !%3 :, G!+"&) 7:3',9 7811H9, 1#.23)24 -%%5#/06'7
*# 8+7*'$ 93'2*):0/*)#2, E+&%> - C&I J$)K,
2$$)&- L, :, 781HH9, 92*'5;/& -2/&+7)7! E)&%"#6&0D!++- :%M+&I$$3 N+#O'- CB,
2$$)&- L, :, 781.19, <'*6#37 /23 -%%&)0/*)#27 #= 92*'5;/& -2/&+7)7, PQ42- E;#+!3&+(;#!, C$)"$%- B, E, 781/.9, Q3&%"#R6!"#$% $= (!)! &"&) *$>%3' =$) 4L24S $3&+' =)$ )&6$)3' I#";
*$>%3&3 %$#'&, 92*! ! "#2*5#&- "#- A.TUA1@,
C$)"$%- B, E, 7:3,9 7811?9, P(&6#!+ #''>& $% *$>%3&30&))$) &'"# !"#$%- $, 92*! ! -3/%*! "#2*5#&
8)42/& >5#0!- %789- 8U88/,
C$)"$%- B, E, 7:3,9 7811T9, P(&6#!+ #''>& $% *$>%3&30&))$) &'"# !"#$%- , 92*! ! -3/%*! "#2*5#&
8)42/& >5#0!- &789- 8U8AV,
G!+"&)- :, !%3 D, E#&"0F!;!%#&) 781/19, :W!6" )&6>)'#X& ($+<;&3)!+ 3&'6)#("#$% $= ";& =&!'#*+&
(!)! &"&) '&" =$) *$>%3&30&))$) $3&+', 9??? @5/27! -.*! "#2*5#&, '"- 188018T,
G!+"&)- :, 7:3,9 7811@9, E!)! &"&) #3&%"#R6!"#$%' I#"; &))$) *$>%3', '(&6#!+ #''>& $= </*6'A
$/*)07 /23 "#$%.*'57 )2 8)$.&/*)#2- ' 7TYH9- ??.0HA/,
G!+"&)- :, !%3 F, E)$%Z!"$ 7811.9, 93'2*):0/*)#2 #= >/5/$'*5)0 <#3'&7 =5#$ ?(%'5)$'2*/& B/*/, P()#%M&)- F$%3$%,
G!+"Z- [, F, 781.T9, \&%&)!"#%M '& !%"#6 3&'6)#("#$%' =)$ 3)!I#%M' $= '6&%&' I#"; ';!3$I',
#%] E,D, G#%'"$%- &3#"$)- @6' >7+06#+ #= "#$%.*'5 C)7)#2- 26\)!I0D#++- C&I J$)K- 81018,
8H
