HAL Id: inria-00074433
https://hal.inria.fr/inria-00074433
Submitted on 24 May 2006
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
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
Computing the toughness and the scattering number for interval and other graphs
Dieter Kratsch, T. Klots, H. Müller
To cite this version:
Dieter Kratsch, T. Klots, H. Müller. Computing the toughness and the scattering number for interval and other graphs. [Research Report] RR-2237, INRIA. 1994. �inria-00074433�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
Computing the toughness and the scattering number for interval and other graphs
D. Kratsch, T. Kloks, H. M ¨uller
N˚ 2237
Mars 1994
PROGRAMME 1
Architectures parall`eles, bases de donn´ees, r´eseaux et syst`emes distribu´es
# $%& (')* +! -,./ & 0* 12
3/45 687:98;=<=>?A@CB415EDGF:H;1?I?A@CJ%41KML
N
DODQPR6-?I?S?
TVUXW=Y8U[Z]\^\_`ba cbUedgfihkjl_dIjlmiUX_nopZ]UeZ]qrqts_uqr_vnSwRxyZ=nz_vnb{R_|{RW8}i}~_u_vnSwiU~_vnz_Zmi
_ujnQinQjs_u\^_n1{RhnzjXUlhrxm"~_n
TUlW= Q_jTZ\opZ
Z]oiopW=UXj{_!UX_d[fi_uU[d[fi_}|=8&a Z]U[n&`u8]a =opZ]Y8_n
Si=)2_nQfiWjlfyZ]jjlfi_nXduZ]jXjl_uUXhr}iY}Rmi\*xp_uUZ]}p{jlfi_"jXW=miY8fi}i_nXnW]ZY=U[ZoifAw
jQ1WY=U[ZoifopZU[Z]\^_ujl_uUennzjXUlW=}Y=qr%UX_uq Zjl_{jlWfpZ\hrqkjlW=}h Z]}¡oiUlW8o¢_Uljlhk_nW]&Y8U[Z]ofpnSw
duZ]}xp_dIW=\oimjl_{#hk} o¢W8qr}iW=\^h Z]qjlhr\^_!W8}2hk}RjX_uUl£8ZqY=UeZ]oifpnIwdShkU[dSmq Z]UX¤OZU[dY8U[Z]ofpnSw
op_uUl\*mij[ZjlhkW=}%Y=UeZ]oifpnIwdShrUedSmiq ZUop_uUl\*mij[ZjlhkW=}Y8U[Z]ofpnSw"jlUeZ]op_u¥uW8h {%Y=U[ZoifpnZ}p{dSW8¤
dSW=\^opZ]UeZ]xihkqrhrjQY=UeZ]oifpn*W]|xpW=mi}p{_{{Rhr\^_u}pnzhkW=}A¦/§1fihn¨qk_Z={injlW¡}i_u©ZqrY=W8Ulhkjlfi\+n
{R_dSh{Rhr}Y"fi_ujXfi_uU|ZY=U[ZoiffpZ8n&ZfyZ]\hkqrjlW8}ih Z}dShrUedSmihkjZ}p{2ZfpZ\hrqkjlW8}ih Z} opZ]jXfAw
Ul_nQop_dSjlhk£)_uqrªwª«W8UnzW8\_W]Vjlfi_nQ_|dSq Z8nlnz_vnS¦
¬®¯
°G±G²u³
¯
°´yµk±Q¶¸·[¹
ºu»«¼½»«¾u¿-ÀÁAÂgÃÄÅÆAÇuÈÉ¢ÈXÂ[ÅÊÌËÌÈQÅÀ=ÍIÎSÏ[ÐѼAÈQÒÒ]ÈQÆXÀ)Ó]ÔtÂ[Ò=ÕOÈIÖ
ºOº×ØÈQÄ8ÂgÔ«Ù¸ÃÈQÒuÙpÚgÛyÜ&ÂgÙ«ÝÈQÃÂ[Ù¸ËÞÕGÆßÂ[Ò8ÇbÁ:ÚIÃbÄÅÙ«ËÌÒà¾ÕOËÌÈQÒ8ÕGÈIÀ)áiËÌÒ8ÇuÝÚ[âSÈQÒãAÒËÌâSÈQԫƸËäÙ å"ÚgÛæiÈXÕ¸ÝÒÚIÊèç
ÚSàIåuÀÎIéIÏSÏ-Ü!É+áiËÌÒ8ÇuÝÚ[âSÈQÒÀuæAÝÈê½ÈQÙ«ÝÈzÔ«ÊëÂ[Ò8ÇvÆXÖ
ºOºOºÓ=Â[ìuÅÊÌÙXíÂgÙ1ÛGíÅÔÜ&Â[Ù¸ÝÈQÃÂgÙ«ËÌì*Å]Ò8Ç» ÒuÛkÚSÔ«ÃÂ[Ù«ËÌì)ÀßÓ]Ô«ËÌÈXÇvÔ«ËëÕ¸Ýu箾]Õ«Ý]ËäÊÌÊÌÈQÔ®ç®ã½ÒËÌâIÈQԸƫËÌÙXíÂgÙXÀÏSîIî[ÐuÏïIÈQÒ=ÂÀ
ð ÈzÔ«ÃÂgÒuåÖ
Unit´e de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France)
2%& % 0. - [+& -,.. &
X - -
bW=myn!\W8}RjXUlW=}yn)mi_qk_}W=\*xiUl_*{R_dSW=UXh Z=dIhrj~_*_uj|{R_+{h nzop_uUenzhkW=}%{mi}
Y=UeZ]oifi_ op_umi£)_u}j_ujXUl_ duZq dSmiq~_n_u}%jl_\opn!opW8qr}iW=\hZ]q-o¢W8miU*qr_nY8U[Z]ofi_n*{èhk}RjX_uUl¤
£8Z]qrqk_nSwpqr_vn Y8U[Z]ofi_n{äZ]UedundShkU[dSmiqZ]hkUl_nIwRqr_vn Y8U[Z]ofi_n&{R_op_uUX\mj[Z]jXhrW8}pnSwiqk_n Y8U[Zoifi_n
jlUeZ]o~_u¥W {Z]mi+_ujqr_n1Y8U[Zoifi_n{_dSWdSW8\opZU[Z]xhrqrh~_n"{R_|{Rhk\_u}pnQhrW=}+xpW=UX}"~_u_)¦W8\\_
dSW=}ynR~_)mi_u}pdI_)wA}iW=mpn&W=xijX_u}iW8}pn{R_*}iW=mi£)_vZ]miZqrY=W8Ulhkjlfi\_vn op_uUX\_ujXj[Z]}j&{R_^{-~_dIh {R_uU
nzhmi}Y8U[Zoifi_Z={\_ujmi} dShrUedSmihrj|fpZ]\^hrqrjXW=}ihk_u}W8mmi}d[fi_u\hk}2fyZ]\hkqrjlW8}ihr_}opW=miU
dS_uUXj[Z]hk}i_n"{R_vn"dSq Z8nlnz_vn1oiU~_dß~_{R_u\_}Rj-dShkji~_u_nI¦
! "
# $%& (')* +! -,./ & 0* 12
+
, -.
/10 Ø=324/
. 5
6 7
&8 2 92
.
i2
:
; < 2 . 2 %
8 =
]/p]* . 0u)Ru
2 .?>@. 2
A
5 B /
>DC?.
u
. 0 E2 . 2 %
8
&=
iR/p F
:
-.
HGp
8 >
= C
,I6
J K C
8
iu
"/LNM
88PO
S Ø= Ø
0 >
= C
,&Q
A R$/ . 8
H2/ . , F
Q
S
.
/TM
8 0 > .
v
, F
+ -#2
O}jXfih nopZ]op_uU1_oiUX_nz_u}jopW=qr}iW8\h Zqijlhk\_"ZqrY=W8Ulhkjlfi\+ndSW8\oimijXhr}iYjlfi_nlduZjljX_uUlhk}iY
}Rm\xp_uU^Z]}p{jlf_ jlW=mY=fi}i_vnlnW] Y=U[Zoifpn+"fi_u}jlf_ hr}ioimjY=UeZ]oifpn Z]UX_ Ul_nQjlUlhdSjl_v{
jlW £8Z]UXhrW8mpndSq Z8nlnQ_nW]-_uqrqk¤OnQjlUlmydSjlmiUX_{2Y8U[Z]ofpnS¦¡§1fi_oiUXW=xiqk_u\+n&Z]UX_ WopZ]UXjlhdSmiq ZU
hr}jl_uUX_nzj-xp_duZ]mynz_WjQ1W|Ul_Z8nzW8}pnS¦} W8}i_fpZ}p{:wijXW=miY8fi}i_nXn hn1dSW8}pnzh{R_uUl_v{jlWxp_|Z
Ul_Z8nzW8}pZ]xiqk_\_Z8nzmiUX_ «W8UbjXfi_UX_uqrhZ]xihkqrhkjzW-Z}i_jz-W=Uhr}duZ=nQ_W]V}iW{R_tZ]hkqrmiUX_n`8w
t¦} jlfi_|W=jlf_uUfpZ}p{:w:xpW=jXf opZ]UeZ]\_jl_uUen"Z]Ul_ nzjXUlW=}Y=qr Ul_uqZ]jX_{ jXWfpZ\hrqkjlW8}ih Z}
oiUlW8op_uUljXhr_nW]-Y8U[Z]ofpnS¦¸ZY8U[Z]of2fpZ8n&ZfyZ]\hkqrjlW8}ih Z} dShkU[dSmhrj"jlf_u} hrjennlduZjljX_uUlhk}iY
}Rm\xp_uUhn&Z]j\^W)nzj¥u_uUlW Z}p{2hrjenjlW=mY=fi}i_vnlnh n&Zj!qk_Z=nQj&W=}i_)¦_u£)_uUljXfi_uqk_nln"xpW=jlf
dSW=}y{RhrjXhrW=}ynZ]UX_"}iW=j-nzm +dShk_u}j:«W=UfpZ]\^hrqrjXW=}ihdShrjQ"WAY=UeZ]oifynVhk}Y8_u}i_uUeZ]qO¦"!iW=UljXmi}pZjl_uqk
xpW=jlfdIW=}p{RhkjlhkW=}pnZ]UX_}i_dI_nlnXZ]Ul Z}p{ nzm#dShk_u}Rj«W=U&nQW=\_&Y8U[Z]ofdSq Z8nlnz_vnS¦"§1fihn Z=n
nzfiW"}«W=U^dSW=Y8U[ZoifpnxR%$=mi}Y&`'Z]}p{UX_dS_u}jlqk_ujl_u}p{_{jlW%dSWdIW=\opZU[ZxihrqkhrjQ
Y=UeZ]oifpnxR)(ªjl_uhk}i_uU+*O¦
,Z\hrqkjlW8}ih Z}#oiUXW=op_uUljXhr_n&W]Y=U[ZoifpnZUl_*W=}i_Wjlfi_*\Wªnzj&hr}jl_u}ynzhr£)_qr+nQjlmp{Rhk_{
nzmixi Q_vdSj[n"W]Y8U[Zoif jlfi_W=Ul.-tnz_u_|_)¦èY¦/0*21[¦3}R«W=UXjlmi}pZjl_uqk+jlfi_546"7982:';<=8>6"=@?A82BC
?D8>;2oUlW=xqr_u\FEHGhr£)_u}+ZY8U[ZoifJI+wp{_dSh {_"fi_ujXfi_uU"hrj"fyZ=nZ¨fpZ\hrqkjlW8}ih Z}+dShrUedSmihkj
Z=n1-_uqrqpZ8njXfi_467982:';K<=8>6"=ML+6A;4#oiUXW=xiqk_u\NEOGhk£)_u}*Z!Y8U[Z]ofPI+wi{_dSh {_""fi_ujlf_uU
hrjfpZ=nZ¨fpZ\hrqkjlW8}ih Z}opZ]jXf AZUl_RQ
7
¤tdSW=\oqr_ujX_)wRqkhO)_\+Z}R^W=jlf_uUZqrY8W=Ulhkjlfi\^h d{R_¤
dSh nQhrW8} oUlW=xqr_u\+nUl_uqZ]jX_{jlW1_qrqr¤tnzjXmp{Rhk_{Y=UeZ]oif oiUlW8xiqr_\+nSë`u+O¦
§1fi_jXW=miY8fi}i_nXnØW]ßZ1Y8U[Zoifh nAZ}_ujl_u}ynzhr£)_qrnzjXmp{Rhk_{Y=U[ZoifopZU[Z]\^_ujl_uUTèwRwU+Ow
"fih d[f#hn \Z]hr}qr^{Rmi_jXWjXfi_!tZ\W=mynbdSW8}= Q_dSjXmiUl_&W f£~Z]j[ZqØjXfpZ]j_u£)_uUl*Y=UeZ]oif&I
h n&}i_dS_nXnlZUlhrqk fpZ]\^hrqrjXW=}ihZ]}hhkj[njlW8miY=fi}_nln)VW-XI15YZt¦),bW-_u£)_uU&}iW=j|\mydgf
h n[}iW"} Z]xpW=mijjlfi_|Z]qkY=W8UlhrjXfi\hd oiUXW=op_uUXjlhr_vn1W]jlfi_;<"D]\4/=/^`__boUlW=xqr_u\aEOGhr£)_}
Z Y8U[Z]ofbI Z]}y{Z UeZ]jlhkW=}pZqVced½w{R_dSh{R_"fi_ujXfi_uUfVW-XI1RYV r¦fg"Zmi_uUuw/,ZRhk\h
Z]}p{J(dgfi\^_uh d[fi_uqfyZv£)_nzfiW"}/jlfpZjjlfi_ oiUlW8xiqr_\0h n*/AQ
7
¤OdIW=\oiqk_ujl_hèt¦&iV£)_}
jlfi_^oiUlW8xiqr_u\jEHGhr£)_u}Z+xihropZUljXhrjl_*Y=UeZ]oifkI+w{R_vdSh {R_"f_ujlfi_UlVW-mIn1o` AUl_u\+Zhr}pn
/AQ 7 ¤OdIW=\oiqk_ujl_hèR`WO¦W8Ul}i_uhkqOwp:_uUedgfynZ]}p{q()jl_uZ]UXjfpZu£)_ Y8hr£)_u} ZEqkhr}i_ZUjXhr\_
Z]qkY=W=UXhrjXfi\dSW=\omijlhk}iYjlfi_|nXduZ]jXjl_uUXhr}iY}mi\*x¢_U1W]dSW=Y8U[Z]ofpnb"fihdgf+qr_vZ={in"jlW*qrhk}i_Z]U
jlhk\_ Z]qrY8W=UXhrjlf\+n{_dSh {hr}iY"f_ujlfi_UZ%dSW8Y=U[Zoif fpZ=n+Z2fpZ\hrqkjlW8}ih Z}dShkU[dSmihkj*Z]}p{
"fi_ujXfi_uUZdIW=Y=UeZ]oiffyZ=nZbfpZ\hrqkjlW=}h Z]}&opZjlfrë`'d+O¦§1fi_Ul_1hnZts-mu vw)1-Z]qrY8W=UXhrjlf\
{R_dSh{Rhr}Y"fi_ujlf_uUZnzoiqkhrj"Y8U[Z]of#fpZ8n jXW=miY8fi}i_nXnbqr_nXn1jlfpZ}+W=}i_xèR`WO¦
Z}RopZ]op_uUen1_uUX_"UlhkjljX_u}hr}¡jlfi_qZ=nQj*{R_duZ8{R_n{_Z]qkhr}iY "hkjlfjXfi_+Z]qkY=W8UlhrjXfi¤
\h d&dSW8\oiqk_uRhkjQW]jXfi_fpZ\hrqkjlW8}ih Z} dShkU[dSmihkj1oiUXW=xiqk_u\©"fi_u} UX_nzjXUlh dIjl_{jlWdS_uUljeZ]hk}
dSq Z8nlnQ_nW]A-_uqrqk¤OnQjlUXmpdSjlmUl_{&Y=U[Zoifpny`z*iw=pw)+{+t¦§1fi_1«W8qrqkW]"hk}iY&ZUl_jlfi_"xp_nQj|}iW"}
jlhk\_uxpW=mi}y{inW]"opW8qr}iW=\hZ]qjXhr\_|fpZ]\^hrqrjXW=}ihZ]}dShkU[dSmhrjZ]qrY8W=UXhrjlf\+nb«W=U&jlfi_*Y=UeZ]oif
dSq Z8nlnQ_ndSW=}pnQh {R_Ul_{hr}jXfih nopZo¢_UnsR- vfw)1R`zU+pZ]}y{ sR- v yv1Rè8+R«W=Uhk}RjX_uUl£8Z]q
Y=UeZ]oifpnIw|sR- v v1"«W=U-dShrUedSmiqZ]Ul¤tZ]Ued1Y=UeZ]oifpn+U:Z}p{ s- v'11«W8U"dSWdIW=\opZU[ZxihrqkhrjQ
Y=UeZ]oifpn5`uO¦
!iW=U-{R_p}ihrjXhrW8}pnZ]}y{oiUlW8op_uUljXhr_nW]½dSq Z8nlnQ_nW]A-_uqrqk¤OnQjlUXmpdSjlmUl_{&Y=U[Zoifpn}iW=j-Y=hr£)_}
fi_uUX_!-_&Ul_S«_uU-jlW ÞªwA`'{t¦
O}jXfih nAopZo¢_U-_1hkqrqrmynzjlUeZ]jX_1Z\_ujlfW{!"fihdgf|_u}pZ]xqr_nAjlfi_{_nzhkY=}Wßo¢W8qr}iW=\^h Z]q
jlhk\_+Z]qkY=W8UlhrjXfi\+n!«W8UdSW8\oimijXhr}iY jXfi_ nlduZjljX_uUlhk}iY2}mi\*xp_uUZ}p{ jXfi_#jXW=miY8fi}i_nXnW]
hr}jl_uUX£8Z]qpY=UeZ]oifpnIwidShkU[dSmq Z]UX¤OZU[d"Y=UeZ]oifpnIwiop_uUl\*mij[ZjlhkW=}Y=UeZ]oifynSwpdShkU[dSmiqZ]Uop_uUX\mj[Z]jXhrW8}
Y=UeZ]oifpnIw¢jXU[Zo¢_¥uW=h{ Y=UeZ]oifynbZ}p{#dSWdIW=\opZU[ZxihrqkhrjQY=UeZ]oifpnW]x¢W8mi}p{R_v{ {Rhr\_}pnzhkW=}A¦
1.
§1fiUlW8miY=fW=mij|jlfi_|opZ]op_uU-_*dSW=}ynzh {_uUbW8}iqrp}ihkjl_)wimi}y{RhrUX_dSjl_v{ Y=UeZ]oifynlIo-1
"hrjXfiW=mij+qkW)W=opn+Z]}y{"hrjlfW=mij+\*miqrjXhroiqk__{Y=_nI¦ §1fi_ £)_Uljl_%nz_uj^W]|jlfi_ Y8U[Zoif hn
{R_u}iW8jl_{%xR Z}p{ jXfi_+_{RY8_ nz_jW]&jXfi_+Y=U[Zoifhn{R_u}iW8jl_{x ¦%2_ Zqr"Zun
{R_u}iW8jl_jXfi_}Rm\xp_uU"W1£)_UljlhdS_n1W"Z*Y=U[ZoifxR v Z]}y{EjXfi_}mi\*x¢_U"W]"_v{RY=_n"W] Z
Y=UeZ]oif x.w¦
p:_ujIZo - 1"xp_&Z&Y=UeZ]oifA¦ p:_uj xp_Znzmxpnz_uj-W] ¦§1fi_u} I5!&{R_}iW=jX_n
jlfi_&Y8U[Z]ofE # xjXfi_&£)_uUljX_u*nz_uj"©wihO¦_)¦rw/I#&fyZ=n"£)_uUljX_u*nz_uj" Z]}p{+jz-W
£)_uUljXh dS_vnVW$ Z]UX_&Z={ XZ=dS_u}j1hk}@I5#JhëZ]}y{W8}iqr*hjXfi_u*ZUl_|Z={] XZ8dS_u}j1hk}@I+¦_
{R_u}iW8jl_+jlf_}Rm\xp_uU&W] dSW8}i}i_dSjX_{dSW8\opW=}i_}Rjen W&Z#Y8U[ZoifIMx&%-XI18¦cnQ_uj
')( h nnlZh {jXWxp_&Z + -«W=U HT1WSI h*%-XI5!,+-'/ 1Tc `p¦ bW=jX_jlfpZj
' o.+hn"ZnQ_uopZ]UeZ]jXW=UW]RIh0/&I h n"{RhnldSW8}i}i_dSjX_{:¦
bW/1_Y=hr£)_nQW=\_{R_ y}ihrjXhrW=}ynZ}p{hk\opW=UljeZ]}jtZ=dSjenVW8}jlW8miY=f}i_nlnIwpnlduZjljX_uUlhk}iY
}Rm\xp_uUwfpZ]\hkqrjXW=}ihdShrjQ Z}p{ jXU[Z8dS_Z]xhrqrhkjQ W]Y=U[ZoifpnI¦§1fi_@ MVW-XI1W|Z
Y=UeZ]oif&I"Z8n"{R_ p}_{xR f£~Z]j[ZqAhr} èO¦
1
32
. 2 2/ . 644, *DbjXW=miY8fi}i_nXn % +D) #+6587 VW-95 71o;: =<%tI
+D) D
VW-XI1o\hk}> ? ' ?
%-XI5!&+'/21
@' + %tIBADC
E #+ I $ !#$GFkjlW=mY=f % V -mI1SYkV )N ' ? ' ?
YkV-HI%-mI#J+'/ 1
% (K + L' %tIM
§1fi_'# &"!# %-mIn1W]-ZY=UeZ]oifqI "Z=n{R_ y}i_{xR $=mi}iY*hr} ë`]'t¦
1
32
.
2 2/
. 64P6
*D 4' "!#% +D)' #+ 587 %- 5871So
: <%tI +D) D
%-XI1o\+Z %-mI5! + ']21
?' ?
)' + % I C
§1fi_!«W8qrqkW]"hk}iYh n"Z}+hr\\_v{Rh Zjl_dSW8}pnz_)mi_u}ydS_W]Vjlfi_|{R_ y}ihrjXhrW=}ynS¦
64 ;
(K #+.I )RVW-XI1 Y ` %-XI1&d C
§1fi_ Q 7
¤tdSW8\oiqr_jl_u}i_vnlnW]*jXfi_2oUlW=xqr_u\ EOGhr£)_} ZxihropZUljXhrjl_Y=UeZ]oif I+w{_dSh {_
"fi_ujXfi_uUVW-XI1 ` /R`'Z]}y{lp:_\\+Z¦Ìhk\\_{RhkZjl_uqkhr\^oiqr
B C /p
6 45
*D1+ !#)N( " !+ #+ IZok-11&& DD
%-mIn1 cPd Q 7 F' +D)z9$ # D_?A6`; ;^AB82=/\P=/D]7 ^AB + !#) N(
" #+.I &'&/ &H& DD %-mIn1 Y Q 7 F' +D)''
1
32
.
2 2/
. 64
: EfpZ\hrqkjlW8}ih Z}*dShrUedSmihrj % #+rIZok-1" +D) K#)
& )) ( # % IM E #+ E!#fpZ]\hkqrjXW=}ihZ]} %
") HH XE fpZ\hrqkjlW=}h Z]} oyZ]jlf % #+PIaoa-1@ +D)
+P & @) ) ( # %)IME #+ " !#jXU[Z8dS_Z]xqr_ %
") +A
§1fi_«W8qrqkW]"hk}iY"jlf_uW=UX_u\ nQj[Zjl_nA1_uqkqr¤2R}W]"}}i_dS_nXnlZUl&dSW8}p{RhkjlhrW8}pn:«W=UAfpZ\hrqkjlW=}h dShkjz
Z]}p{+jlUeZ=dS_ZxihrqkhrjQ 0*Rw+O¦
B C /p
6 4J <%lIeoe-1 ") #+ PD @%-XI5! +$'/ 1
?' ?
% (K +D9K + #+D ! =' %D
<%SI ok- 1 #!#) #+ PD %-mI# + '/21
?' ?
` % (K +D9K
+ #+D ! ' % .
§1fi_!«W8qrqkW]"hk}iY*dSW8UlW=qkq ZUlY8hr£)_u}+hr} Rw`]'AhnbZ}#hk\\_{Rh Zjl_dSW=}pnQ_)mi_u}pdS_W]-§1fi_W=¤
Ul_u\ R¦*w b_ p}hrjlhkW=} R¦k`Z}p{+R¦äR¦
R$/p/
88
"!
64
A<%$ #+MI N") PD )VW-XI1 YC`@ %-XI1&d <%
" #+.I #!#) D # %-XI1C`
!iW=UljXmi}pZjl_uqkjlf_uUl_Z]Ul_dIq Z=nXnz_nAW]ß-_uqrqk¤OnQjlUlmydSjlmiUX_{!Y8U[Zoifpn½«W8U"fih d[fjXfi_dSW8}p{RhrjXhrW8}pn
W] W8UlW8qrq ZUl+¦ Z]UX_nQm#dShr_u}j"Z8n -_uqrqt¦
1
32
.
2 2/
. 64 Q
!# D K #)% #+ $ !#dSidIqr_u¤
jlW8miY=f % % ( K"#+ I % ) I ") % &)K%fI
` F A " @!#&opZ]jXfi¤«jlW=mY=f % % (K #+%I % )hI
#!#)$%$ )K % %-XI1 `
WdSW=\^opZ]UeZ]xihkqrhrjQ*Y=UeZ]oifpnZ]Ul_|dSdSqk_u¤¸jXW=miY8f è+*Z]}p{+opZ]jXfi¤«jlW=mY=f%è8t¦
B C /p
6 4F E +!H) K #+)IZok- 1 ") % )K
%fI ` F A E +!H ) K #+ Ibo - 1 #!)"% )K
% %-mI1 C`
,b_u}pdI_hr}jl_uUX£8Z]qOwop_uUl\*mij[ZjlhkW=}AwjlU[Zop_u¥uW=h{+Z]}p{ dSWdSW=\^opZ]UeZ]xihkqrhrjQ*Y=UeZ]oifpn"W]{Rhr\_}i¤
nzhkW=} Z]j-\W)nQj«W8UZ]}LpR_v{ Y `pwZ=noUlW=op_uUnQmixßdSq Z8nlnQ_n1W]jXfi_dIq Z=nXnWdSWdIW=\¤
opZ]UeZ]xihkqrhkjz*Y=UeZ]oifynSwßZ]Ul_ Z]q nQW*dSdSqr_u¤«jlW8miY=f Z}p{opZ]jXfi¤¸jXW=miY8fA¦"§1fi_tZ=dSj"jXfpZ]j"hk}RjX_uUl£8Z]q
Y=UeZ]oifpnZ]Ul_|dSdSqk_u¤¸jXW=miY8f+h n1hr\^oiqrhdShrjXq|\_u}jlhkW=}i_{hr} ë`'URwp8+O¦
§1fi_Ul_hnbZ*qrW=jW]-_u£h {R_u}ydS_jlfyZ]j467y82: ;K<=8>6=%?`82B? D8>;¡"fi_u} Ul_vnzjlUXh dSjX_{ jXW
ZdSdSqr_u¤«jlW8miY=f^Y=U[Zoif dIq Z=nXn"duZ]}^}iW=j"xp_RQ
7
¤tdSW=\oqr_ujX_)w)Z=nnzfW]"}+xjXfi_b«W8qrqrW"hk}iY
jlfi_W=Ul_\Y=hk£)_u}hr} R`'O¦
B C /p
6 4,
!##+@#) + !#) !#)
Q 7 /`Q 7 $<% K)F D Df467982:';K<=8>6"=?`82B ?D8>; + !#) n
D @ # !#yQ
7
F' +D)' & &) Q
7
/AQ
7
bW=jXh dS_-jlfpZjjlfi_-pU[nQj1Z8nlnQmi\oijXhrW=}W §1fi_uW=UX_u\ ¦r`zdbh nØW8xR£hrW8mpnzqk!«miqpqrqk_{b«W=U_£)_uUl
Y=UeZ]oifdSqZ=nXn1fpZu£Rhk}iY*Z¨opW8qr}iW=\hZ]qßjlhr\^_bUX_dSW=Y8}ihrjXhrW8}#ZqrY8W=Ulhkjlfi\¦
cnQhr\hkq ZU¢jXfi_uW8Ul_u\ fW=q {n¢«W=UAopZjlfi¤«jlW8miY=fY8U[Z]ofdSqZ=nlnQ_nAZ]}y{!jlf_[46"7982:';<=8>6=
L+6A;4 oiUlW8xiqr_u\ èR`WO¦
2 . ! 1 " ! " # $%&
miU-Z]qrY8W=UXhrjlf\+nSw)dIW=\oimjlhr}Yjlfi_nldZ]jljX_uUlhk}iY}mi\*x¢_UZ]}p{jlf_bjXW=miY8fi}i_nXnV«W=Uhk}RjX_uUl¤
£8Z]q1Y8U[ZoifpnSwdShrUedSmiqZ]Ul¤tZ]UedY=UeZ]oifpnIwop_uUl\*mij[ZjlhkW=} Y=UeZ]oifynZ]}y{2W=jXfi_uU&Y=UeZ]oif%dIq Z=nXnz_nIw
"hrqkqifi_Zu£hrqr|mpnz_\hk}ihr\+Zqnz_uoyZ]U[ZjlW8U[nWAY8U[Z]ofpn"Z]}p{*Z EÞ{R}pZ]\hdoiUXW=Y8U[Z]\^\hr}iYW=}
oihr_vdS_n nzhk\hrqZ]UjlW*jlfi_&jX_dgf}ih)mi_hr}jlUlW{mpdS_{hr} iwA`=`'t¦
1
32
.
2 2/
. ; 44,
E ! $')( $ F4 + *% # & ( #
% #+&I o -1 %D"(H) % ' + '
# @ + & <% + #+D &! % ' F4 +
PD ' "" ") F4 + 'E\hk}ihr\Z]q)nQ_uopZU[Z]jXW=U ' V% ( #
& =' "" ") F4 + ?% $ # & ( #
A
§1fi_«W=qrqkW"hr}iYqk_u\\+ZZ=nY=hk£)_u} hr}%ë`uiwA d+O¦OjoUlW£Rh{R_nZ}2_vZ=nzZqrY8W=Ulhkjlfi\ jXW
Ul_dIW=Y=}hr¥u_&\hk}ihr\^Z]qpnQ_uopZU[Z]jXW=UenS¦
; 46 "' !# + %D #+&I oj-1 *D '
" ") + %I % " &)K"% PD NN?) &V #'
+ & % I5! + '/ % @( K(
%"' ! ! %
PD" + P
miU\+Z]hk}#jXW)W=q«W=U&{_nzhkY=}ihk}iY_ dShr_}RjZqrY=W8Ulhkjlfi\+ndSW8\oimijXhr}iYjXfi_*nlduZjljX_uUlhk}iY
}Rm\xp_uU-W]Z¨Y8U[Zoif#W8}dS_uUljeZ]hk}#dIq Z=nXnz_n"W]V1_uqkqr¤tnzjlUXmpdSjXmiUl_{*Y=U[Zoifpnbhn Y8hr£)_u}+hk} jXfi_
}i_uj"jlfi_W=Ul_\ ¦
B C /p
;4;
9IZok- 1 !#$ #+ $ +D)''*D
%-mI1|o \+Z]
\+Z]A- %-XI5 1 u`1
?' ?
D D"
" ())N" ")V + ' % D #+%I
u¦u¦u¦
PD$ #' + &$%tI5# +'/
7
/1/L
4
!ØhkU[nQj qk_uj xp_¡ZnQ_uopZ]UeZ]jXW=U#W I o - 1Enzmpd[f jXfpZ]j %-XI1 o
%-mI5!&+r 1 ? ?
¦[p:_uj"' xp_|Z¨\^hr}ihk\+Z]qpnQ_uopZU[Z]jXW=UW]RIjXfpZ]jh n"Z*nzmixynz_ujW]
Z]}p{+qr_uj
¦u¦u¦
xp_&jlfi_|dSW8}i}i_dSjX_{+dSW=\^o¢W8}i_u}j[nW]RI# +'/I¦
_"dSW8}pnzh{R_uUjlfi_nQ_uj[n
o
w )` [ u¦u¦u¦ :¦cnlnQmi\_
o.A¦§1fi_u}
hnbZq nQW+ZdSW8\opW=}i_u}j"W]5I#J+)I¦W8}pnz_)mi_u}jlqk,%-XI5
+
1 ? ? o `p¦
cnlnQmi\_
o .A¦[()mioo¢Wªnz_
1W8miq {}iW8jxp_ZnQ_uopZ]UeZ]jXW=U1WyI
I¦§1f_u}-_"fpZ={
%-mI5! +- +!
1 1 ?
+!
?
o&%-XI5# +!r 1 ? ? ? ? c %-XI5# +!r1 ? ? o
%-mIn18wZdSW8}RjXU[Z={h dSjXhrW=} ¦,b_u}pdS_
"
o.hk\oiqrhk_nAjlfpZj#
hn1ZnQ_uopZU[Z]jXW=U"WSI5
Sw
jlfmpn %-mI5
21Y&%-mI5
+"
1 ? ? ¦
W8\oimijXhr}iY %-mI# +)21
? ?
x%_nlnQ_u}RjXh Zqrqr¡nzm\\hr}Y#miojXfi_+£=Zqrmi_vnW]
%-mI5
+$
1 ? ?
W£)_uUZ]qkqpdSW8\opW=}i_u}j[n%
W9I5# + '/"hrqrqydSW=\oqr_ujX_jXfi_oiUlW)W
W]jXfi_$pU[nQj{RhrUX_dSjXhrW=} ¦
%-XI1o&%-mI5! +") 1 ? ? o
&
%-XI5
+"
21
? ? ?' ?
&
\Z]A- %-XI5 1 u`1
?' ?C
bW qk_uj '2xp_-Z1\hk}ihr\+Zqnz_opZ]UeZ]jlW8UØWIZok-18¦!imiUljXfi_uUX\W=UX_Øqk_uj
u¦¦u¦
xp_jlf_dIW=}i}i_vdSjl_{+dSW8\opW=}i_}Rjen1W]RI# +'/I¦_dSW8}pnzjXUlmpdSjZ*nz_opZ]UeZ]jlW8U WI
nzmpd[f+jlfpZj o'
&
"hkjlf (
«W8Ub_£)_uUl )`I[ ¦u¦u¦ :¦
!iW=U )`I[ u¦¦u¦ -_nQ_uj o . h %-mI5
21 `¢¦FjXfi_uUl"hnz_)wh
%-mI
21.c `pwb-_dgfiW)Wªnz_¡Z%nz_uopZU[ZjlW=U
W].I5
nQmpdgf jlfyZ]j %-XI5 1Mo
%-mI5
+"
1 ? ?
¦§1fi_u} J' hn"Znz_uopZU[ZjlW=UW]I©Z}p{ -_&fpZu£)_
%-XI1 Y&%-mI5! +") 1 ? ? o
&
%-XI5
+"
21
? ? ?' ?C
C¦qO¦èW¦èY¦qr_uj
u¦u¦¦ wd w1xp_ jXfi_ dSW8\opW=}i_}RjenW]MI "hkjlf
%-mI
21 `¢¦ W=}ynz_)mi_u}jlqk
%-XI1o
& %-mI5
+"
1 ? ? ?' ? o
&
`
&
%-XI5
1 ?' ? o
&
\Z]A- %-XI5 1 u`1
?' ?C
§1fih ndSW8\oiqr_jl_njlf_!oUlW)W]X¦
2 2 .%&2 -*
W=}jlUeZ]Ul jXW+jlfi_£)_uUXjl_u+UeZ]} hr}iY^oiUlW8xiqr_u\ Z]}p{ jlf_*dSW=\omij[ZjlhrW8} W]jlfi_*nXduZ]jXjl_uUX¤
hr}iY*}mi\xp_uUjXfi_uUl_|nQ_u_u\+njlW*x¢_&}iW«W=UX\mq ZdIW=}pdS_Ul}ihk}iYjlW8miY=fi}_nln"W]jXfi_&jQRop_&W]
§1fi_uW8Ul_u\©¦Ìw¢ht¦è_)¦kwRZ«W=UX\mq ZtVW-XI1o\hr}
'VW-XI5
1 VW-XI5
1 u¦u¦u¦ VW-XI5 1
"fi_uUX_jXfi_\^hr}ihk\mi\h njeZ)_u}W£)_uU&Z]qkq\hr}ihk\Zqnz_uoyZ]U[ZjlW8U[n6' W]jXfi_Y=UeZ]oif I+w
¦u¦u¦
Z]UX_jlf_+dSW=}}i_dSjX_{dSW8\opW=}i_u}j[n&W]fI5!+ ']|Z}p{
h n|Z]}qEÌ_W¤
dShr_}RjXqr dIW=\oimj[Z]xqr_«mi}pdSjXhrW=} r¦r!yW8UljXmi}pZ]jX_uqrjlf_uUl_*h n|Z#o¢WªnlnQhrxihkqrhrjQ jXW#W£)_uU[dIW=\_
jlfihn"{RhdSmiqkjQ"fihdgf^Ul_)mihrUX_njXWdIW=\oimjl_&ZmiRhkqrhZ]Ul^{iZj[ZR¦
1
32
.
2 2/
. 5 44,
INo - 1 !# #+A %d u` ¦u¦u¦v &
%
-XI1@ !#D)4& $ "!# % + &P PD$#+PI & %'"PD
"() %"
#)K ( # N z %7 -mIn1o&d % qv
%
-XI1[o/\+Z %-XI5# +'/ 1 ')(J
?' ? o C
S 546 9IZok- 1 !# " #+ +D)''*D
VW-mIn1o\^hr} >
% -mIn1
%
-XI1 c ` ADC
§1fi_!«W8qrqkW]"hk}iYjlf_uW=UX_u\nQfiWn fW] jlW^dSW=\omijl_ %
-XI1b«W8UZqrq d u`Iu¦u¦u¦ v ߦ
B C /p
54;
nIeoN- 1 !# #+#1 +D)' )%
d u`Iu¦u¦u¦ v / <% %
-mI1[c ` D
%
-mI1|o \Z]
\+Z]
7
% -XI5
1
o ?'
?
D D$"
"& ( )) " ") + ' % I ( ))
( &'&@(# P-
u¦u¦u¦
1# &D#"
u¦u¦u¦
PD$ #' + & % I5# +'/
7
/1/L
4
p:_j@I o - 1 x¢_ZY8U[Z]of"fih d[fh n}iW=j dSW8\oiqk_ujl_+Z}p{qr_uj
d u`Iu¦u¦u¦ v nzmpd[f+jlfpZj %
-XI1 c `p¦
!ØhkU[nQj"qr_uj xp_Z^nzmixpnQ_ujW] "hkjlf
? ? o &Z]}p{ %-mI#J+")21[o %
-XI1ycC`p¦
,b_u}pdI_ hn Z%nQ_uopZ]UeZ]jXW=U#W.I+¦Np:_uj ' xp_¡Z \^hr}ihk\+Z]qnz_uopZU[ZjlW=U W] I "hkjlf
')( ¦p:_uj
u¦u¦u¦
xp_jlfi_ dSW=}i}_dSjl_v{dSW=\^o¢W8}i_u}j[nW]I5# + '/I¦Ø_&nQ_uj
o
«W=U_u£)_uUl )`I[ u¦¦u¦ ߦ§1fi_u}
%
-XI1o&%-XI5!&+r 1o
%-mI
+"
21
% -XI5
21
\+Z]
\Z]
7
% -XI5
1-
o
?'
?
C
bW%qr_j='/xp_Z\hk}ihr\^Z]qnQ_uopZ]UeZ]jXW=U1WyI "hrjXf
?' ?
"Z}p{¨qk_ujR-
u¦u¦¦ 1
xp_Z£)_dSjXW=UUl_Zqrhk¥uhr}iYjlf_"\+Z]hr\*mi\ W]AjXfi_"UlhkY=fjl¤«fpZ]}y{nQh {R_"W:jXfi_1«W=UX\mq ZZ]xpW£)_)¦
!iW=U&_u£)_uUX )` [ u¦u¦u¦ #-_*dgfiW)Wªnz_^Z+nzmixpnQ_uj
(
nQmpd[f jlfpZj
? ? o
Z]}p{ % -mI
1o&%-XI5
+
18¦,b_u}pdI_ o '
hn"ZnQmixpnz_j"W] Z]}p{
? ? o ?' ?
? ? o ?' ?
o ]¦ W8}pnz_)mi_u}jlqk
\+Z]
\Z]
7
% -mI
1-
o
?'
?
o
%-XI5
+
1o %-mI# +r1&%
-XI1C
§1fih ndSW8\oiqr_jl_njlf_!oUlW)W]X¦
S
545
(K #+ZI o -1 ) %
-XI1Mo ` %@ &)KE%
To v ` -mI1 D -mIn1 & ' $D$(
(H K% I
,bWCjlW+fpZ}p{Rqk_Zqrq\hk}ihr\^Z]qnQ_uopZU[Z]jXW=Uen!"hrqkqxp_*nzfiW"}hk} jlfi_«W=qkqrW"hr}Y+nz_dI¤
jlhkW=}pnI¦§1f_jlW=mY=fi}i_vnln «W8Ul\*miq Zf-O§1f_uW=UX_u\ ¦Ì 1hn W8xR£hrW8mpnzqk#fpZU[{R_UjlW dSW8\oimijX_
jlfpZ}%jlfi_^nlduZjljX_uUlhk}iY#}mi\*x¢_Ub«W=UX\miqZ)-O§1f_uW=UX_u\0¦Ì1[¦+§1fi_}_uRj&qk_u\\+Z*nzfiWn
jlfpZjbjXfi_|{Rh0/ß_uUX_u}pdS_h n1}iW8jbjXW)WqZ]UlY8_hk}jlfi_|nQ_u}pnz_|W]_ dShr_u}j-dSW=\^oimij[ZjlhkW=}pnI¦
5 4: I o - 1 !# #+ 1 " +D)")' !#
" ") + "%MI )
¦u¦u¦
!# PD #' + P
%tI5! + '/ (K )` u¦¦u¦ @) PD )
!# -9%
-mI
21%
-mI
1
¦u¦u¦ % -XI5
21 1 "*D $ )# + T
\+Z]
7
% z-XI5
21
o
?'
?
% (K Y
?' ?
% D )P
u¦u¦u¦
sR- v 1
7
/1/L
4
p:_ujD' xp_|Z\hr}ihk\Zqpnz_opZ]UeZ]jlW8UbWjXfi_Y8U[Z]of I Z}p{qr_uj
u¦u¦u¦
xp_jlfi_ dSW=\opW8}i_u}j[n"W]RI#+ ']I¦"_{R_ y}i_ %
-mI5!&+$'/ 18w"` wßZ=nbjXfi_
q ZUlY=_vnzj}mi\xp_uU&W&dSW8\opW=}i_}Rjen!W]jXfi_+Y=UeZ]oifbI5
Zu«jl_uU|jlfi_+UX_u\W£8Z]qW]
?' ?
£)_uUljXh dS_nW]
¦,b_u}pdI_"%
-XI5#@+ '/1"hn_uZ=dSjXqrjXfi_bqZ]UXY=_nQj"}Rmi\*xp_uU
W]|dIW=\opW=}_u}RjenhI5
duZ}fpZu£)_ Zv«jX_uUjlf_ UX_u\W£8Z]q-W] ?' ?
£)_uUljXh dS_n&W]
"fih d[f+h n1_uZ=dIjlqr
\+Z
7
% z-XI5
21-
o ?'
?
C
p:_ujjlf_!qkh nQj
xp_.-9%
-mI5!&+$'/ 1 %
-mI#J+ ']21u¦¦u¦%
-mI# +$'/ 11=w
` ¦§1fi_u}
o
¦
§1fi_^Z]qkY=W8UlhrjXfi\ hrjl_U[Z]jXhr£)_uqk dSW8\oimijX_n «W8U )o [ u¦u¦u¦ jXfi_qrhnzj
«UlW8\
Z]}p{ xmpnQhr}iY
%
-mI5!&+'/1"o\+Z] %
-mI# +'/21 )% -XI5 1 8no C
§1fi_dSW=\omij[ZjlhrW8}W]W8}i_b_}RjXUlB%
-XI5# + '/ 1duZ]}*xp_{RW8}i_hk}jlhr\^_ sR- v18¦,b_u}pdI_
Z]qkq9sR- v 1_u}RjXUlhk_n1ZUl_|dSW=\^oimijl_v{hr}+jlhk\_fs- v 1xRjXfi_|Z]qkY=W=UXhrjXfi\ ¦
O}&jlfi_-}i_ujnz_dIjlhrW8}-_1{_u\W=}ynzjlUeZ]jX_fW]/ZSEë{R}pZ\h dØoUlW=Y8U[Z\\hr}Y1W=}|oihr_vdS_n
qr_Z8{injlW+opW=qkR}iW8\h Zqjlhk\_|Z]qkY=W=UXhrjXfi\+n «W8UdIW=\oimjlhr}YjlW8miY=fi}_nln|Z]}p{nlduZjljX_uUlhk}iY
}Rm\xp_uU-W=}#hk}RjX_uUl£8Zq:Y=UeZ]oifynS¦
+& -,./* 12
c Y8U[Z]of IZok-11hnØZ} & #(H) #+"hëpjlf_uUl_-h nZbW=}i_¤¸jXW=¤«W=}i_dSW=UXUl_nQopW=}p{R_}pdS_
xp_ujQ1_u_u} jXfi_£)_uUXjl_u nz_j Z}p{Z^tZ\hrqkW]hr}jl_uUX£8Z]q n"W]jlfi_UX_Z]qqrhr}_nzmydgfjlfpZj
jQ1W#£)_UljlhdS_nbWtI Z]UX_ QW=hk}i_{ xR¡Z]}¡_{RY=_^h0/%jXfi_+dSW8UlUl_vnzopW=}p{hr}iY hk}RjX_uUl£8Z]qnfpZu£)_
}iW=}¤¸_u\^oijQhr}jl_uUenz_dIjlhrW8}A¦qO}jl_uUX£=Zq"Y=UeZ]oifpn^Z]Ul_Z21_qrqr¤2}iW"} tZ\hrqk2W|o¢_Uz«_dSj
Y=UeZ]oifpn&"hrjXf oiqr_u}jQW]}ih dI_nzjXUlmpdIjlmiUeZ]qoiUXW=op_uUXjlhr_vn -tdgX¦"Þ)w`'{21[¦&2_"hkqrqmpnz_jXfi_
«W=qkqrW"hr}iY*d[fpZU[Z=dIjl_uUXhr¥ZjlhrW8}+Y=hr£)_}xRrGbhkqr\W8Ul_Z]}p{r,bW /ß\+Z} `S O¦
:
4,
E #+.IZok-1 & #(H)D #+ %$ &)K % PD$"
F
") )H %tI !#$) )K & & P>D% ( K (
%tI
PD$"
") #)H
H& TT ()K
()mydgfZqkhr}i_vZ]UW=U[{_uUlhk}iY+W]-jlfi_\Z]hr\+ZqAdSqkh )mi_n"W]Z} hr}jl_uUX£8Z]qY=U[ZoifhnnlZh {
jlW+xp_*Z@ TH ( #)H # & ¸¦ bW=jXh dS_|jlfpZj&jlUlhZ]}iY8miq Zjl_{#Y8U[Zoifpn&Z]}p{
