HAL Id: inria-00072786
https://hal.inria.fr/inria-00072786
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 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.
Parallel Constrained Molecular Dynamics
Pierre-Eric Bernard, Olivier Coulaud
To cite this version:
Pierre-Eric Bernard, Olivier Coulaud. Parallel Constrained Molecular Dynamics. [Research Report]
RR-3868, INRIA. 2000, pp.14. �inria-00072786�
ISSN 0249-6399 ISRN INRIA/RR--3868--FR+ENG
a p p o r t
d e r e c h e r c h e
THÈME 4
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Parallel Constrained Molecular Dynamics
Pierre-Eric Bernard — Olivier Coulaud
N° 3868
Janvier 2000
Unité de recherche INRIA Lorraine
LORIA, Technopôle de Nancy-Brabois, Campus scientifique, 615, rue du Jardin Botanique, BP 101, 54602 Villers-Lès-Nancy (France)
Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19
'(*),+-+-)/.0+-(21435),+-6879+;:8<>=@?BA*(DCE(2)F+HG5IKJAL7MJ:
NPORQTSVU"WXYMZ[S#\]D^F_`Zba>cdUT_a>e_`Z[S4Zbf;^F_`Zba>c
g U"fh9f`_QTSVUifkjia>S4e]bU-lKUif
mnaFopUT_%qk\Sr^F_`O
s5^Feeta>n`_ g UunUijORUTnjORUvcEwyx{z{|{z}X~^FcMMZbUTn%{{{X TW4e^F Uif
i/F{{5
]ba9jUTnf`Zba>c4aFR_`ORUfO^FUSVUT_`ORa
g
La>nORU/^i9h^F_a>SVfyf`Z[S\]D^F_`Zba>c4Z[cZba>]ba> {Zbj/^F]f`hKf`_UTSVf
ZbfenUifUTc_U g Z[c_`OZbfe^FeUTn/NPORU"SVUT_`ORa g fa>][Uifkf`\RjijiUiffZ[UT][hZ[c g UTetUTc g UTcM_%]ba9jKfkaFjia>cRf`_`n^FZ[cM_f%aF
f`Sr^F][]f`Z[/UhB^Hq%UT_a>cBSVUT_`ORa g yNPOZbf^F][ a>n`Z[_`OS Zbf¡Z[S4e]bUTSVUTc_U g Z[cV¢{£¡¤¥£¤@£{¦M^Fc4U-§rjTZbUTc_e^Fn^F][]bUT]
SVa>]bUijT\]D^Fn
g
hMc^FS4Zbjifjia
g
U{yNPOZbfSVUT_`ORa
g
O^>ftUiUTc¨_Uif`_U
g
a>c©^f`Sr^F][]f`h9f_UTSª^Fc
g
a>c«^Fc¨Zba>cZbjHj/^Fc^F]
aF|¬>|¬9^F_a>SVf/
©®¯°±#² F³¡{µ´ a>]bUijT\]D^Fn%¶5h9c^FS4Zbjif/¶5Z¸·8UTnUTc_`ZD^F] ][ UTn^FZbjYMhKf`_UTS}EYMO^FUSVUT_`ORa g ¹a>cRf`_`n^FZ[c_fº
my^Fn^F][]bUT][Zbf`S}q5UT_a>c}SVUT_`ORa g
»k¼½F¾À¿ÁÂÃÅÄ#Á8Æ¿Ç{ÈÉÃËʸÂ;ÃÅÌÈpÍBÆ;¿ÆHÇ>ÆÃËÎÂÊϺÐËÑHÒEÐËÓÔ9Æ5ÃÅÈp¿ËÈ`ÆÃÅÕÖ½4Ç,ÃÅÂ×LÈØÕØÎPÂ;ÙBÌÂ-ÚÀÈpÕpÛ,ÚÜÆÃ¿Ë¾ÜÌÛFÚÜÆÎžÀÂ;Ù4¿ËÛFÇFÇ{ÂÃËÎÅÈ`Í#ÝiÞ
Ð*ٺÞܯºß
¡%%E
q%a>\Rf@enifUTc_a>cRf¡ZbjTZM\cRUST_`ORa g Uf`O^FUe^Fn@]ba9jea>\n g Uif¡f`Z[S\]D^F_`Zba>cRf>^F_a>SVUif]ba>\n g f
g ^FcRf g Uif5f`hM_QTSVUif%Zba>]ba> {ZM\RUif/%¹UT_`_U#ST_`ORa g U#nifa>\ g f`\RjijiUiff`Z[UTSVUTcM_ g Uif%]ba9jifkZ[c g TeUTc g ^Fc_f g U
jia>cM_`n^FZ[c_Uif g UueUT_`Z[_Uif%_^FZ[][]bUifke^Fn%\cRUuST_`ORa g U g Uuq5UT_a>c¥%¹UT_H^F][ a>n`Z[_`OSVU#Uif`_%Z[S4e]TSVUTc_ g ^FcRf
¢{£¡¤¥£¤@£{¦\c jia g U}e^Fn^F][]bQT]bU g U g hMc^FS4ZM\RUdSVa>]ijT\]D^FZ[nU{@^ST_`ORa g UUif`_r_Uif_iU f`\n¨\c etUT_`Z[_
f`hKf`_QTSVUHe\Zbf%f`\n\c}j/^Fc^F]¥Zba>cZM\RU g U|¬>|¬9^F_a>SVUif/
²
/
°
g
h9c^FS4ZM\RU4SVa>]ijT\]D^FZ[nU{U \^F_`Zba>cRf
g
Z¸·!TnUTcM_`ZbUT][]bUif4^F][ "Tn`Z\RUif/¡jia>c_`n^FZ[cM_Uif/ye^Fn^F]$#
]T][Zbf`SVU{RST_`ORa g U g UucRUT_a>c¥^F][ a>n`Z[_`OSVUf`O^FU{
) * %"#¥t
+ÉcrjT]D^>ff`Zbj/^F]ESVa>]bUijT\]D^Fn g h9c^FS4Zbjif_`ORUSVa>_`Zba>c«aF¥^F_a>SVfZ[c¨^f`hKf`_UTS aF¥SVa>]bUijT\]bUifZbf g UifjTn`Z[U g Mh4_`ORU
q5UT_a>c-,fkfUijia>c g ]D^//.Lj-`0[(1Ö-0ܬ213-4+Éc}j/^Fn`_Uif`ZD^Fcjia9a>n g Z[c^F_Uif_`ORUuU M\^F_`Zba>cRfk^FnU
57689:;<
6=;
8 > ? :9A@;<
>CB DE
:9:;F<<
.p23
ORUTnU
9:;F<GIH4JFK
g UifjTn`Z[tUifk_`ORUuea{f`Z[_`Zba>caF^F_a>SVf/ML Zbfk_`ORU"c\S#tUTnHaF^F_a>SVf/E Zbf%^Fc UTS4eZ[n`Zbj/^F]
ea>_UTc_`ZD^F]UTcRUTn` {h*\cRjT_`Zba>c^Fc g 5 Zbf^ g ZD^F a>c^F]Sr^F_`n`Z¸l aF%^F_a>S4ZbjrSr^>ffUif#jia>cM_^FZ[cZ[c U/^>jO Sr^>ff
nUTe][Zbj/^F_U g _`On`ZbjiU{
NPORU4ea>_UTc_`ZD^F]UTcRUTn` {hdSr^/h U g Z[9Zg U g Z[c _Öa}e^Fn`_f/BNPORU&NRnf`_ua>cRUrjia>cRjiUTn`cRfu_`ORUBcRa>c #Åa>c g U g
Z[c_UTn^>jT_`Zba>c UT_ÖUiUTc^F_a>SVf#SVa g UT][Z[c {^Fc g UTnPO ^{^F]bf4^Fc g UT]bUijT_`na{f`_^F_`ZbjrZ[cM_UTn^>jT_`Zba>cRfV^Fc g _`ORUfUij #
a>c
g
jia>n`nUif`eta>c
g
f%_aZ[c_`n^ #ÅSVa>]bUijT\]D^Fn" Uia>SVUT_`n`Zbj/^F]yeta>_UTcM_`ZD^F]y][Z[cU
g
_a_`ORUf`UT]bUT_a>caF_`ORU#SVa>]bUijT\]bU
.*a>c g f/R^Fc {]bUif/¥[[Q3-4+Éc}a>\n%^Fee][Zbj/^F_`Zba>c¥_`ORU"eta>_UTcM_`ZD^F]@UTcRUTn` {h«O^>f_`ORUHËa>n`S
E
:9A@;F<
>
EMR
:9<TS EVU
:9=<-S EMW
:9=<-S KYX[Z
\]
^ Z K
\
_ ^ ] `
Z a ]b_
:Fc9 ] B 9 _ cd<
.Ë=3
ORUTnU
9 ]
Zbf_`ORUPea{f`Z[_`Zba>craF_`ORUfeÅ_`O^F_a>S}ga ]_
nUTenUifUTc_f_`ORUPcRa>c #Åa>c g U g e^FZ[n`ZbfUea>_UTc_`ZD^F]Z[cRjT][\ g #
Z[c "_`ORU>^Fc g UTnO ^{^F]bfyea>_UTc_`ZD^F]E^Fc g ¹a>\]ba>S#Zbjea>_UTc_`ZD^F]Å
cihjc
g UTcRa>_Uif_`ORUk\RjT][Zg U/^Fc g Zbf`_^FcRjiU{yNPORU
NRnf`__`OnUiU5eta>_UTcM_`ZD^F]bfa>c_`ORU%n`Z[ {O_PO^Fc g f`Zg U5aFU \^F_`Zba>cl.Ë=3^FnUkea>_UTc_`ZD^F]bfP][Z[cU g _a#_`ORU%f_`n`\RjT_`\nU
aFy_`ORU"SVa>]bUijT\]bUif/4+Éc©_`OZbfe^FeUTn/_`ORU"_UTn`S aFyZ[c_UTnUif`_kZbf_`ORU"a>c g feta>_UTcM_`ZD^F] g U(NRcRU g Mh
EMR
:9<
> Z 8 m
\n ^ Z o R
n
:Fc9p(q nr
B
9ts q nr
c
Bvu n < 8
.Ëx=3
ORUTnUxw Zbf_`ORU4c\S#tUTnBaFPta>c g f/
u n
Zbfu_`ORUrU \Z[][Z[n`Z[\Sµ]bUTc {_`O aF_`ORUy9_`Oa>c g ^Fc g o R
n
Zbf_`ORU
Ëa>njiUjia>cRf`_^Fc_/Az
:y
<{@|V:
y <
^FnU_`ORUcM\SUTnaF_`ORU_Éa#^F_a>SVfZ[ca>][U g Z[cV_`ORU}y9_`OVa>c g yma>_UTcM_`ZD^F][EMU
Zbf^F]bfa#^"O^Fn`SVa>cZbj5ea>_UTc_`ZD^F]8^Fc g Z[_ g UTetUTc g fa>cr_`ORUH^Fc {]bUUT_ÖUiUTc¨_Éa#ta>c g f][Z[c9Z[c _`OnUiUH^F_a>SVf/
EMW#Zbf_`ORUHf`\S aF¡^eta>_UTcM_`ZD^F]¥aF@_a>nf`Zba>c}^F]ba>c V^#ta>c g ^>fU g a>c«_`ORU g Z[ORU g n^F]¥^Fc {]bUu^Fc g ^#O^Fn`SVa>cZbj
ea>_UTc_`ZD^F]^F]bfa^>fU
g
a>c©_`ORU
g
Z[ORU
g
n^F]^Fc {]bU{NPORU%Ëa>njiU"jia>cRf`_^Fc_fkaF_`ORU5O^Fn`SVa>cZbj"a>c
g
ea>_UTc_`ZD^F]bf
^FnU#^Fcda>n g UTn%aFSr^F {cZ[_`\ g U#OZ[ {ORUTn%_`O^Fc _`ORUuea>_UTc_`ZD^F]bf%^>fU g a>c^Fc {]bUif/kY9a4_`ORUuOZ[ {ORUif_k9Z[n^F_`Zba>c
SVa g Uifk^FnU" UTcRUTn^F_U g Mh_`ORUuta>c g ea>_UTc_`ZD^F]bf/
NPORUifUeta>_UTcM_`ZD^F]bf5^FnUOZ[ {O][h©cRa>c][Z[cRU/^Fn/Ea{fjTZ[][]D^F_a>n`h ^Fc
g
_`ORUTh
g
Z¸·8UTnkh«_`ORUTZ[nHf`_`nUTc {_`Od^Fc
g
_`Z[SVU
fj/^F]bU{NPORU g hMc^FS4Zbj#aF¡Zba>]ba> {Zbj/^F]SVa>]bUijT\]bUifZbfOZ[ {O][h©a{fjTZ[][]D^F_a>n`h^Fc g UTn`h«jia>S4e]bU-l8UTUTcjO^>a>_`Zbj{
+Éc SVa>]bUijT\]D^Fn4f`Z[S#\]D^F_`Zba>cRf/U©^FnUZ[c_UTnUif`_U g Z[c UTcRUTn^F_`Z[c ^>jijiUTe_^F]bU©f`_^F_`Zbf`_`Zbj/^F]_`n^,opUijT_a>n`h ^Fc g
f^FS4e][Z[c _`ORUkjia>cgNR {\n^F_`Zba>c^F]8f`e^>jiU%a/UTn]ba>c _`Z[SVU%etUTn`Zba g f/~+Ö_ZbfcRa>_cRUijiUiff^Fn`hB_a"Ëa>][]ba/ _`ORUkU-lR^>jT_
_`n^,o`UijT_a>n`ZbUif/uNPORUBjia>cKLa>n`Sr^F_`Zba>c^F]jO^Fc U4a9jijT\nfHZ[c^¨jia>c_`Z[cM\\S Sr^FccRUTnua/UTn^VËUT eZbjia #ÖfUijia>c g
_aufUijia>c g f_`Z[SVUfj/^F]bU{La>nU-l^FS4e]bU{M_`ORUËa>]g Z[c aF8ena>_UTZ[cRfa9jijT\nfZ[c¨^Fta>\_P^"fUijia>c g yNPORUkq5UT_a>c
U M\^F_`Zba>cRfI.p23La>n`S ^H^FS4Z[][_a>cZD^Fcf`hKf`_UTS Z[_`O_`ORU5^FS4Z[][_a>cZD^Fc
:M@F9=<
> 2
=
5
S
E
:9=<
ORUTnU
Zbf_`ORUHUT]ba9jTZ[_`ZbUifUijT_a>nkaF
9
faB_`ORUuU M\^F_`Zba>cRfkj/^Fc}UHn`Z[_`_UTc
69
6=;
>
5
6=
6;
>B DE
:9=<
.*W3
T
ÙV{({
Na%fa>][U_`OZbf H^FS4Z[][_a>cZD^Fc4f`hKf`_UTS}º_`ORUUif`_^F][ a>n`Z[_`OSVf¡Ëa>n@]ba>c k_`Z[SVUZ[c_UT {n^F_`Zba>cV^FnU_`ORUf`h9S4e]bUijT_`Zbj
Z[cM_UT {n^F_a>nf 0[/ 1Ö O Z[_`O _`ORUifUdSVUT_`ORa g f/kUZ[c_UT {n^F_U c^F_`\n^F][][h Z[c _`ORUdS4ZbjTna #Öj/^FcRa>cZbj/^F]#f`hKf`_UTS
.Lq k 35OZbjOSVU/^FcRf_`ORUBc\S#tUTnaF^F_a>SVf/¥_`ORU4a>][\SVUr^Fc g _`ORU4UTcRUTn` {h .*ORUTnU4_`ORUH^FS4Z[][_a>cZD^Fc$3
^FnUujia>cRf_^Fc_/
cRU4aF_`ORUBSVa{f`_Heta>e\]D^Fn^F][ a>n`Z[_`OS La>n
´
a>]bUijT\]D^Fnu¶%h9c^FS4Zbjif.
´
¶#3ZbfH_`ORU#Ëa>][]ba/Z[c }]bU/^FeKLna>
SVUT_`ORa g
9
` Z >
9 S&;:
X[Z8
B
&;
5
X[Z D E
:9g<<
`
Z8
> 9 ` Z B 9 X[Z
&;
.=3
ORUTnU
&;
Zbf_`ORU5_`Z[SVU #Öf`_UTe¥
9
_`ORUHUijT_a>nPaFeta{f`Z[_`Zba>cRfaFy^F_a>SVf^F__`Z[SVU
;
`
Z8
9_`ORU5UijT_a>naF
_`ORUTZ[nUT]ba9jTZ[_Öh}^F__`Z[SVU
: S
2
<&;
$E
:9 <
Zbf_`ORUueta>_UTcM_`ZD^F]@UT>^F][\^F_U g ^F_eta{fZ[_`Zba>c
9
YMZ[cRjiUH_`OZbfPSVUT_`ORa g ZbfPU-l9e][ZbjTZ[__`ORU5_`Z[SVU #Öf`_UTe©ZbfP][Z[S4Z[_U g Mhr_`ORU5OZ[ {ORUif`_PLnU \RUTcRjTZbUifaFya{fjTZ[][]D^F_`Zba>c
Z[c _`ORUf`hKf`_UTS}Ra>nU-lR^FS4e]bU{f`Z[cRjiU©_`ORU}*nU M\RUTcRjThaFH9Z[n^F_`Zba>c aF¹ # a>c g ZbfVna>\ {O][h^Fa>\_
h
Z!
#"UkO^iUk_a"Z[S4eta{fUk^H_`Z[SVU #Öf`_UTe«aF8^Fna>\c g
$% >C
X[Z'&
% fUkO^iU%f^FZg U-La>nU{La>n ]ba>c ¨f`Z[S\]D^F_`Zba>cRf/U^FnU"cRa>_Z[c_UTnUif_U g Z[c©Ëa>][]ba/Z[c ¨U-l^>jT_`][h«_`ORUua{fjTZ[][]D^F_`Z[c r_`n^,o`UijT_a>n`ZbUif/R\_5a>c][h
_`ORU)(-SVU/^Fc*(_`n^,o`UijT_a>n`ZbUif/ ´ ^Fch4SVUT_`ORa g f^FnU%^/>^FZ[]D^F]bU5_afa>][Uk_`OZbfOZ[ {OrLnU M\RUTcRjTh4ena>]bUTSVff\RjO
^>fZ[S4e][ZbjTZ[_PSVUT_`ORa g f/ -+ySVUT_`ORa g ^Fc g jia>cRf`_`n^FZ[cM_SVUT_`ORa g f!.2La>n^"nUT9ZbUT aF¥_`ORUifUSVUT_`ORa g ffUiUP0[/ 13-
+Éc ´ ¶B>Uf`\eenUiff_`ORUOZ[ {ORUif`_a{fjTZ[][]D^F_`Zba>cRf^Fc g _a g aH_`OZbfUZ[c_`na g \RjiUkjia>cRf`_`n^FZ[cM_fZ[cV_`ORUf`hKf`_UTS
ORUTnUTMhd_`ORU4fh9f`_UTS Uijia>SVUif^¨¶5Z¸·UTnUTcM_`ZD^F]
][ UTn^FZbjrYMh9f_UTS .L¶
Y3-@¶%\RUB_a«_`ORUBSr^F {cZ[_`\
g
UraF
_`ORUVfen`Z[c jia>cRf`_^FcM_f/@_`ORUVta>c g a{fjTZ[][]D^F_`Zba>cRfu UTcRUTn^F_UV_`ORUVOZ[ {ORUif`_uLnU \RUTcRjThOU g Uijia>S4ea{fU4_`ORU
ea>_UTc_`ZD^F]4E ^>f!E
:9=<
>,+
:9=<-S EVR
:9=<
E^Fc g Z[cM_`na g \RjiU_`ORU @^F {n^Fc U#S\][_`Z[e][ZbUTnf.-
>
:!/
Z
@h h h @0/
m <
^>f
UT][]¡^>fw ]bUTc {_`Ojia>cRf_`n^FZ[c_f21
> :1 Z
@h h h @ 1 m <
aFy_`ORUHLa>n`S
1 ]
:9=<
> Z8 :Fc9p(q
]r B
92s q
]r c8 B u 8] < > h
.Ë|=3
NPORUTc}_`ORUjia>cRf`_`n^FZ[cRU g H^FS4Z[][_a>cZD^Fcf`hKf`_UTS Uijia>SVUif
69
6=;
>
5 6=
6=;
>B D
+
:9<
B
1
:9=<
-
1
:9=<
>
.Ŭ3
ORUTnU43
:9=<
>
1
:9=<
>657 1 ]
:9=<
7 9 _ 8
G H m:9
JFK
Z[_`Olw<; L Zbf5_`ORU4~^>jia>ZD^Fc Sr^F_`n`Z¸l8NPORU4fh9f`_UTS .Ŭ3
O^>fL
B w g UT {nUiUifaFLnUiU g a>S}yNPORU^F][ UTn^FZbjjia>cRf`_`n^FZ[c_=1
n
f`\eenUiffUify_`ORU^>ffaMjTZD^F_U g LnU \RUTcRjThaF
9Z[n^F_`Zba>craF_`ORUP_Öa^F_a>SVfZ[ca>][U g Z[c4_`ORU}y
;?>
a>c g ¡NPORUkjia>cRf`_`n^FZ[c_@1
]
Zbf^5ORa>]ba>cRa>S4Zbjkjia>cRf`_`n^FZ[cM_/
^Fc g _`ORUf`h9f_UTS Zbf^k¶ YaFZ[c g U-lxK +ÅRU g Z¸·UTnUTcM_`ZD^F_UP_`ORUjia>cRf`_`n^FZ[cM_fy_ÖZbjiU{{UPa>_^FZ[c#_`ORUOZgg UTc
jia>cRf`_`n^FZ[cM_3
:9=< >
^Fc g - ZbfZ[S4e][ZbjTZ[_`][h g U(NRcRU g Mh
A
:9=<
- > 3
:9=<
5
X[Z 3
:9=<
- >
1 B 3
:9=<
5
X[Z D
+
ORUTnU15Zbf_`ORU"ORUiff`ZD^Fc}aFB1E
ÐDC
ÐFE
k#Rtk% $& ¡ "
Ra>nkfa>][MZ[c I.Ŭ3U^Fee][h«_`ORU"f`O^FU^F][ a>n`Z[_`OS g U(NRcRU g h
9
` Z >
9!S; `
Z8
`
Z8
> X[Z8
B
&;
55 X[Z
D
+
:9 <[S 1
:9 < - 8
1
:9 ` Z < >
.Ëz=3
NPOZbfu^F][ a>n`Z[_`OS g a9UifHcRa>_Hf;^F_`Zbfp*h_`ORU#OZgg UTcjia>cRf_`n^FZ[c_a>c_`ORUUT]baMjTZ[_ÉhP+ÖUBZbfOd_a¨Z[S4ea{fUZ[_/
U¨cRUiU
g
_ad\RfU_`ORU¨s5^F_`_`]bU¨SVUT_`ORa
g
l+Éc _`OZbf4j/^>fU{yU«Z[S4ea{fUr_`ORU¨_Éa jia>cRf`_`n^FZ[cM_fr^Fc
g
_`ORUTc U
O^iU5_ÉaBcRa>c][Z[cRU/^Fnf`hKf`_UTSVf_afa>][U{@na>S ^f`Z[S#\]D^F_`Zba>c©eta>Z[cM_aF@MZbUT _`ORU5_`n^,opUijT_a>n`ZbUifPZ[c¨_`ORU5_Öa
^F][ a>n`Z[_`OSVf%^FnUU \Z[{^F]bUTc_ 0Àz 1Ö
NPORUfO^FUSVUT_`ORa gg
UifjTn`Z[U
g
h .Ëz=3¡Zbf^5nUTUTnf`Z[]bU%^Fc
g
fhMS4e]bUijT_`ZbjkSVUT_`ORa
g Ra>n_`ORUnUif`_aF_`ORU
e^FeUTn/8U4Z[cM_`na g \RjiUV_`ORU4cRUT!>^Fn`ZD^F]bU4-
>
&; 8
-% ´ a>nUia/UTn/¥La>n"_`ORU4jia>cMUTcZbUTcRjiUaF_`ORUBnU/^ g UTn
UunUTc^FSVU - Mh -5
NPORUun`Z[ {OM_%P^ih}_arjia>S4e\_U_`ORUcRUT ea{f`Z[_`Zba>c}Z[cdU \^F_`Zba>cRf&.Ëz=3 0[1Zbfk_aVjia>S4e\_UPNRnf`_%_`ORUuea{f`Z[_`Zba>c
aFy_`ORU^F_a>SVfh«_`ORU"]bU/^FeKLna> VSVUT_`ORa g .=3
9
> 9 S&;
5
X[Z
5E X[Z8
B
&;
D
+
:9 < 8@
.=3
^Fc g _`ORUTcU5jia>S4e\_U"^jia>n`nUijT_ea{f`Z[_`Zba>c«f^F_`ZbfpLhMZ[c #_`ORU%jia>cRf_`n^FZ[c_fPhVfa>][MZ[c _`ORUkcRa>c][Z[cRU/^FnU M\^ #
_`Zba>c
> ? :- < > :? Z :-
<{@hhh @ ? m :-
<<
> 1 : 9 B 5
X[Z 1
:9 < -
<{h
.p/=3
NPORUTnUr^FnUV_Öa jT]D^>ffUif"aFPSVUT_`ORa g f_a©fa>][U4_`ORUBcRa>c][Z[cRU/^Fnf`h9f_UTS .p/=3-VNPORUThdj/^Fc tU4jO^Fn^>j #
_UTn`Z[/U g ^>f! Å]baMj/^F]" "^Fc g (- {]ba>^F]'(5SVUT_`ORa g fº+Öc«_`ORU5]baMj/^F]SVUT_`ORa g f/9U"f^F_`Zbf`*hrjia>cRf_`n^FZ[cRff`\RjijiUiff`Z[UT][h
a>cRU"Mh¨a>cRU^>fPZ[c_`ORU"jT]D^>ff`Zbj/^F]¥SVUT_`ORa g faF#"^F\Rff #ØY9UTZg UT]@q5UT_a>c ^Fc g Y s#Öq%UT_a>c¥ c©_`ORUua>_`ORUTn
O^Fc g {]ba>^F]ESVUT_`ORa g f^>fq5UT_a>c¥jia>cRf`Zg UTnP^F][]jia>cRf`_`n^FZ[c_fP^Fc gVg Z[nUijT_`][h4fa>][U_`ORUcRa>c][Z[cRU/^Fnf`hKf`_UTS
h \RfZ[c df`e^FnfUVSr^F_`n`Z¸l_UijOcZbjifB_a fa>][UV_`ORU¨f`hKf`_UTS}+Éc _`ORUVcRU-lK__Éaf`\RfUijT_`Zba>cRf#U g UifjTn`Z[U
n^FeZg ][h#"^F\Rff #ØY9UTZg UT]¥^Fc g q5UT_a>cSVUT_`ORa g f/+Ö¥_`ORUknU/^ g UTnPZbfZ[c_UTnUif_U g Z[c¨SVa>nU g UT_^FZ[]bfPU%nU-LUTn_a
0À 1Ö-0[/ 1Ö
$%'&(%)& * @º °,+®.-³ ® !/ ®± ²(0 ® 21 ² ³
NPOZbfZbf_`ORU"SVa{f`_kjia>S4SVa>c][h©\RfU g SVUT_`ORa g _arfa>][UHcRa>c][Z[cRU/^Fn%U M\^F_`Zba>cRf .p/=3-NPORU"Zg U/^BZbf_arfa>][U
Z[_UTn^F_`Z[UT][h¥a>cRU4^,L_UTnH^FcRa>_`ORUTn/8U/^>jOaF_`ORUBjia>cRf`_`n^FZ[c_f0[/| 1ÖHNPOZbfHZbf5OhUBZ[c_`na g \RjiU&?
]
_`ORU eÅ_`O
jia>S4ea>cRUTc_%aF?!OZbjO f^F_`ZbfNUif
? ] :- < > 1 ] :
9 B 5 X[Z
3
:9 < -
<{@
^Fc g _`ORUTc}Uufa>][U
$ ] :!/
n
] < > ? ]
:!/
nZ
@0/
n8
@hhh-@0/
n]
X[Z
@0/
n]
@0/
n
X[Z ]` Z
@hhh-@0/
n
X[Z m < > @
.p{23
T
ÙV{({
Mh«q5UT_a>c}SVUT_`ORa g NPOZbf {Z[Uif
/ n] > / n X[Z
] B $ ] :
9 B 5 X[Z
3 :9
< - n
X[Z <
7 $ ] : 9 B 5
X[Z 3
:9 < - n
X[Z
< @
ORUTnU - >
:!/
Z
@h h h @0/
m <
^Fc g 7 $ ]
:9<
>B 3 ]
:9=<
5
X[Z 3 ]
:9 <
cRUBZ[_UTn^F_`Zba>caF_`ORU #"^F\Rff #ØY9UTZg UT]ySVUT_`ORa g a>c_`ORU&eÅ_`O jia>cRf`_`n^FZ[c_u {Z[UifH_`ORUËa>][]ba/Z[c }q5UT_a>c
][ a>n`Z[_`OS
/ ]
>B
w
p(q ]r w
s q ]r
w
p(q ]r S w
s q
]r 1 ]
:9 bn
X[ZF<
9 bn
X[Z
p(q
]r B 9 bn
X[Z
sq]r
@F9
p(q ]r B 9
s q
]
r
/ ]` Z > / ] B / ]
9 bn
p{q
]r > 9 bn
X[Z
p(q ]r B
4/
]
w
p(q ]r
:9
p(q ]r B 9
s q ]r <
9 bn
s q
]r > 9 bn
X[Z
s q
]r S / ]
w
s q ]r
:9
p(q ]r B 9
s q ]r <
ORUTnU
9
_
Zbf%_`ORU#eta{f`Z[_`Zba>cdaF_`ORU_`O^F_a>S ^F_%_`Z[SVU
&;
^Fc g 9 bn
_
Z[_fkea{f`Z[_`Zba>cd^F_5Z[_UTn^F_`Zba>cly}aF_`ORU
cRUT_a>c enaMjiUiffº
NPORU«^>f`h9S4e_a>_`ZbjfetUiU g aFkjia>cMUTn` UTcRjiU«aF_`ORUrSVUT_`ORa g Zbf# {Z[UTc Mh_`ORUrf`eUijT_`n^F]n^ g Z[\RfBaF_`ORU
Sr^F_`n`Z¸l
: S u < X[Z
+
ORUTnU A > 3
:9
< < 5
X[Z 3 :9
< > u
S S +
^Fc g 9 < ZbfV_`ORU ][Z[S4Z[_¨aF"_`ORU
Z[_UTn^F_`Zba>cRfx.LfUiU 0[/| 13-!+É_%Zbf5UT][]y9cRa/c_`O^F_H_`ORU#jia>cMUTn` UTcRjiUVaF #"^F\Rff #ØY9UTZg UT]¡ZbfHf`]baºu!+Ö_Hjia>\]g tU
^>jijiUT]bUTn^F_U g h ^Fc a/UTn #ÅnUT]D^,lR^F_`Zba>c enaMjiUiffº@\__`ORUTnUVZbf#cRajTn`Z[_UTn`ZD^_ajORaMa{fU¨^F\_a>Sr^F_`Zbj/^F][][h_`ORU
a>e_`Z[Sr^F]8e^Fn^FSVUT_UTnkaF¡nUT]D^,l^F_`Zba>c¥q%UTUTn`_`ORUT]bUiffºMU"j/^Fc«Z[c_`na g \RjiU^Fc}^ g ^Fe_^F_`Z[U"enaMjiUiff_a NRc g ^
a9a g ^Feena/l9Z[Sr^F_`Zba>caFy_`O^F_e^Fn^FSVUT_UTn g \n`Z[c V_`ORU NRnf`_Z[_UTn^F_`Zba>cRfkaFy_`ORU"SVUT_`ORa g
$%)&(%$ / ®± ² 0 ® 21 ² ³
NPORU¨fUijia>c g jT]D^>ffaFSVUT_`ORa g f_afa>][U.p/=3"\RfUiff`e^FnfUrSr^F_`n`Z¸l_UijOcZbjif/ +ÅUr\RfUV_`ORUrq5UT_a>c
SVUT_`ORa g _`ORU^F][ a>n`Z[_`OS Zbf
:7 ?
<
- > ? : - n <
- n ` Z > - n B -
9 bn ` Z > 9 bn B 5 X[Z
3
:9 < -
.p/=3
ORUTnU
9 b > 9
ZbfP_`ORU"eta{fZ[_`Zba>c«*na>S _`ORUH]bU/^FeKLna> rfjORUTSVU"OZbjOjia>n`nUifeta>c g fk_a - > 7
?!ZbfP_`ORU
~^>jia>ZD^Fc Sr^F_`n`Z¸l g U(NRcRU g h
7 ?
>B
3
:9 bn < 5
X[Z 3
:9
<{h
.p/x=3
OU#_`ORUTc cRUiU
g
_afa>][U^rcRa>cf`hMS4SVUT_`n`Zbj#][Z[cRU/^FnHf`h9f_UTS ^F_HU/^>jOZ[_UTn^F_`Zba>c aF_`ORU#q5UT_a>c SVUT_`ORa g
YMh9S4SVUT_`n`Zbj%q5UT_a>crSVUT_`ORa g f .LfUiU#0À 13ya>nSVa>nU%U-§rjTZbUTc_Pq%UT_a>c #Å][Z[U%SVUT_`ORa g 0[º¬21tj/^Fc¨^F]bfa"U\RfU g
$%)&(% ² / ®± ² 0 ® 21 ² ³
OU%c\SVUTn^F_U5_`ORUa>c g faF_`ORU%SVa>]bUijT\]D^FnPf`h9f_UTS SVa>]bUijT\]bU%h4SVa>]bUijT\]bU{MLa>nU-l^FS4e]bU{MU%UT {Z[crh
_`ORU%ta>c
g
fZ[cr_`ORU%ena>_UTZ[cLa>][]baºU
g
hV_`ORUkta>c
g
fZ[c¨_`ORUkfa>][UTcM_^uSVa>]bUijT\]bU"^F_^"_`Z[SVU{Y9a#U5a>_^FZ[c
ÐDC
ÐFE
_`ORUHËa>][]ba/Z[c rf_`n`\RjT_`\nUaFy_`ORU"~^>jia>ZD^FcSr^F_`n`Z¸l
A >
A Z A 8
hhh
A
.pTW3
ORUTnU A
Zbf^«f`e^FnfU4Sr^F_`n`Z¸ljia>n`nUifeta>c g Z[c _a©_`ORUBta>c g f#aF_`ORUBena>_UTZ[c¥y^Fc g A ]
La>n e
@Zbf^
L\][]¥f`Sr^F][]8Sr^F_`n`Z¸l}jia>n`nUif`eta>c g Z[c aF¡_`ORUHa>c g faF_`OIeÅ_`O©SVa>]bUijT\]bUaFyfa>][UTc_/¶%\RUH_aB_`ORU"f_`n`\RjT_`\nU
aF_`ORU"Sr^F_`n`Z¸l A!Z[_Zbf%U/^>f`h¨_arfUiU"_`O^F_%U"O^/UZ[c g UTeUTc g UTc_HfUT_faFjia>cRf`_`n^FZ[cM_f/+Ö¡U g Uijia>S4ea{fU
_`ORU4_Éa}UijT_a>nf#aFf`Z[/U&w
- > : - @ - Z
@h h h @ -
<
^Fc g - > :- @ - Z
@h h h @ -
<
_`ORUTc_`ORUVf`hKf`_UTS
A - > > :- <
j/^Fc}UHnUTn`Z[_`_UTc
A - > A -
A Z - Z
hhh
A - > > ? :- <
? Z :- Z <
hhh
? :- < h
.p=3
OU4O^/U 5 S
Z[c g UTeUTc g UTc_Bf`hKf`_UTSVf"_a©fa>][U4A
] - ] > ? ] :- ]<
@fa©_`ORUVZg U/^«Zbf"_a}fa>][UV_`ORUTS Z[c
e^Fn^F][]bUT]Å
$%$%)&
® / -"! -*²(0
+Éc4Sr^FchVf`Z[S#\]D^F_`Zba>cRfZ[_Zbff\K§rjTZbUTc__ajia>cRf`_`n^FZ[ca>c][h_`ORUa>c g fUT_ÖUiUTcORU/^i9hV^F_a>SVf][Z[Uj/^Fn`a>c¥
ailKh9 UTc¥cZ[_`na> UTc¥"[[ ^Fc g _`ORU}][Z[ {O_^F_a>S ZÅU{ Oh g na> UTc¥ YM\RjO ^ f`Z[S\]D^F_`Zba>c ZbfVj/^F][]bU g ^dORU/^/Mh
^F_a>SVfHf`Z[S\]D^F_`Zba>c¥ +Éc_`OZbfHj/^>fU{t_`ORUjia>S4e]bUT_USr^F_`n`Z¸l s ZbfH^r]ba9j g ZD^F a>c^F]ySr^F_`n`Z¸l8^Fc g _`ORUf`Z[/U
aF_`ORUV]ba9j Zbf^F_#SVa{f`_WR}NPORUSr^,lKZ[S\S f`Z[/UVZbfB^F_`_^FZ[cRU g La>n#_`ORUrSVa>]bUijT\]bU©¹ kWR¡\_Z[_Zbf#cRa>_
jia>cRf`Zg UTnU g Z[c Zba>]ba> {Zbj/^F]f`Z[S#\]D^F_`Zba>c¥ORUTnUV_`ORU4Sr^,l9Z[S#\Sµf`Z[/UBZbf#a>c][hx .LN+Émx>m ^F_UTn#SVa>]bUijT\]bU
0[TW13-2Ra>n
g
Z¸·8UTnUTc_Hf`Z[/Uif%aF]ba9jKfkUnUTenUifUTc_5Z[c ¡Z[ {\nUr^Fc
g
rU-l^FS4e]bUif5aF_`ORUjia>cgNR {\n^F_`Zba>c
aF^F_a>SVfuZ[ca>][U g Z[c_`ORU4]ba9j +ÖcZba>]ba> {Zbj/^F]f`hKf`_UTS}¥_ÉhMeU©4Z[c ¡Z[ {\nU¨cRUTUTnB^FeetU/^FnfORUTc
i
l(i) r(i) r(i) l(j)
j r(j)
l(i) i
¡Z[ {\nUV$# _a>SVfkjia>cgNR {\n^F_`Zba>cRfkZ[_`Oa>cRU#^Fc g _Öa4ta>c g f
U"jia>cRf_`n^FZ[c}a>c][hr_`ORUH][Z[ {O_k^F_a>S .%h g na> UTc$3-NPORU"fUijia>c g _Öh9etUu^FeeU/^FnfPZ[c«_`ORUHena>_UTZ[c©ORUTc}a>cRU
^F_a>S ZbfVf`O^FnU g Mh _`OnUiU«a>c g f4_ÉhMeZbj/^F][][h #ع 5xd {na>\e¥NPORU«_`OZ[n g jia>cgNR {\n^F_`Zba>c nUTenUifUTc_fr_`ORU
N+Ømx>m^F_UTnSVa>]bUijT\]bUHORUTnUHUHO^iUu^fUT_aFjThKjT][ZbjHta>c g fPjia>n`nUif`ea>c g Z[c V_a_`ORU5_Öa # a>c g f
^Fc g ^F]bfa}_`ORUx# a>c g +Éc_`OZbfuj/^>fUV_`ORUr^ gg Z[_`Zba>c^F]jia>cRf_`n^FZ[c_uLnUiUT/Uifu_`ORU^Fc {]bUra{fjTZ[][]D^F_`Zba>cRffa
_`O^F__`ORU"SVa>]bUijT\]bUutUTO^/Uif][Z[U^n`Z[ {Zg SVa>]bUijT\]bU{
T
ÙV{({
l(1) l(3) l(2)
3 r(1)
2 r(2)
1
1 Type 1
l(3) 3
Type 3 Type 2
r(3) l(1)
r(1) l(2) 2 r(2) l(3)
3
r(2) r(3)
r(3)
2 l(1) 1
r(1) l(2)
Z[ {\nU# #
_a>SVf%¹a>cgNR {\n^F_`Zba>cRf5Z[_`O xa>c g f
NPORU#a>c g eta>_UTcM_`ZD^F]ZbfkcRa/ g Uijia>S4eta{fU g Z[c_a_Öare^Fn`_fºR_`ORUuea>_UTc_`ZD^F]Ëa>nka>c g fUT_ÖUiUTcd_Öa
ORU/^/Mh ^F_a>SVf g UTcRa>_U g Mh E X
R
^Fc g _`ORU E X
R
Zbf_`ORU¨ea>_UTc_`ZD^F]La>na>c g f#UT_ÖUiUTc^Fc ORU/^/Mh
^F_a>S ^Fc
g
Oh
g
na> UTcd^F_a>S . 3P^>fPËa>][]ba/f
EVR
:9=<
> E X
R
:9=<-S
E X
R
:9=<{h
NPORU {]ba>^F]¥eta>_UTcM_`ZD^F]~E ZbfcRaº g Uijia>S4ea{fU g ^>f E
:9=<
> + :9=<-S
E X
R
:9=<
^Fc g U^Fee][h«_`ORUuf`O^FU
^F][ a>n`Z[_`OS a>c E X
R
:9=<
+Éc _`ORUjia>cRf`_`n^FZ[cRU g ta>c g f#_`ORUTnU^FnUZ[c fa>SVUf`Z[S\]D^F_`Zba>cRf .2Ëa>n#U-lR^FS4e]bU
Z[_`ON+Ømx>m^F_UTnkSVa>]bUijT\]bU23fa>SVUHa>c g fUT_ÖUiUTc _Öa4Oh g na> UTcd^F_a>SVf/
$%$%$ -¥® ³ ! ! ² 1 - ! ® ® 0 /K -*² 0
OU O^iUdZ[S4e]bUTSVUTc_U g _`ORUdf`O^FU^F][ a>n`Z[_`OS Z[c ¢{£¤@£¤@£{¦5^e^Fn^F][]bUT]Hjia g U g Uif`Z[ {cRU g _a O^Fc g ]bU
]D^Fn` UHena>_UTZ[cRfZ[c«Zba>]ba> {hl.0W1Ö[0 13-£¡¤¥£¤@£{¦&f`Z[S\]D^F_Uif]D^Fn` U"f`h9f_UTSVfaF^F_a>SVfPZ[_`O© Uia>SVUT_`n`Zbj/^F]
Ëa>njiUif .5e]ba>n©eta>_UTcM_`ZD^F]j3©^Fc
g
{^Fc
g
UTnIO ^{^F]bf/H¹a>\]ba>S# Ëa>njiUif©Z[_`O _`ORU jT\_aF· ^FeenailKZ[Sr^F_`Zba>c¥
NPORU4e^Fn^F][]bUT]jia g UBO^>ftUiUTc g UTUT]ba>eU g Mh\Rf`Z[c ©_`ORU4e^Fn^F][]bUT]UTcMMZ[na>cSVUTcM_ _`O^Fe^>fj/^Fc 0Àx 1^>fU g
a>c S\][_`Z$#Å_`OnU/^ g Z[c R+Ö_UTS4e]ba/hKfa>_`O _`ORUjia>S4S\cZbj/^F_`Zba>c][Z[n^Fn`h 0 1^Fc g ^©UTn`cRUT]PaFeta{fZ¸l
_`OnU/^
g f 0[ 1Ö
NPORUen`Z[cRjTZ[e]bUkaF_`ORUjia g UPZbf^>fU g a>c^Hf`e^F_`ZD^F] g Uijia>S4eta{f`Z[_`Zba>c¥K^F]bfa"j/^F][]bU g _`ORU][Z[c #ÖjiUT][]RSVUT_`ORa g
0[/x 1ÖOZbjOjia>n`nUif`ea>c g fk_a«^B Uia>SVUT_`n`Zbj g Uijia>S4eta{fZ[_`Zba>cdaF_`ORU g a>Sr^FZ[c¥Yk^>jOde^Fn`_%aF_`ORUeOhKf`Zbj/^F]
g a>Sr^FZ[c Zbf^>ff`Z[ {cRU g _a}^«enaMjiUiffa>n/¥_`ORU4Sr^FZ[c jO^Fn^>jT_UTn`Zbf`_`ZbjZbf"_`O^F_#^F_a>SVfB^FnU4cRa>_#^>ff`Z[ {cRU g _a^
{Z[UTc}ena9jiUiffa>n/R\__`ORUTh«^FnU#^F][]ba/U g _a4SVa/U"*na>S a>cRU"ena9jiUiffa>n_aVZ[_fcRUTZ[ {Oa>nf/
f^F_a>SVfj/^Fc«e^>ffP_a4^FcRa>_`ORUTnena9jiUiffa>n g \n`Z[c 4_`ORUHf`Z[S#\]D^F_`Zba>c©U"^F_`_^>jO}_aB^#ORU/^i9h¨^F_a>S ^F][]
OMh g na> UTc ^F_a>SVfHZ[cMa>][U g _`Ona>\ {O ^ra>c g Z[_`OdZ[_/NPOZbf%SVU/^FcRfH_`O^F_HOMh g na> UTc ^F_a>SVfu^FnUe]D^>jiU g
a>c _`ORUf^FSVU«enaMjiUiffa>nr^>f4_`ORU©ORU/^/Mh ^F_a>S _aOZbjOZ[_VZbf4a>c g U g ^Fc g _`ORU©ORU/^i9h^F_a>SVf g n`Z[U
_`ORU g Zbfe]D^>jiUTSVUTc_BaF^F][]^>ffaMjTZD^F_U g Oh g na> UTc ^F_a>SVf/¨Y9a@ORUTc ^«ORU/^/Mh^F_a>S jO^Fc Uifena9jiUiffa>n
!"
¾À¿¡ÍºÈ#TÈpÚÀÂ-Ç{ÈpÍ%¾ÀÙF¿Ë¾ÜÍ,ÈyÎŽ,ÈyÇ,ÃÅÂ×LÈØÕØÎ E@Ç>ÆÕɽ,Èy¾ÀÙ%$ÃÅÈpÙ,Â-ÝFÚÀÈ-Ô,ÎŽFÈ¡ÃÅÈØ¿ËÈ`ÆÃÅÕÖ½HÇ,ÃÅÂ×LÈØÕØÎ¡¾À¿¥¿ËÛFÇ,Ç{Â;ÃËÎÅÈ`ÍkÝiÞ%Ð2Ù,Þܯ
ÐDC
ÐFE
UV^F]bfa«SVa/U4_`ORUBOMh g na> UTc ^F_a>SVfuta>c g U g _a«Z[_/ 5UTcRjiUBU4O^/U 0@² ² 0 -K -2² 0UT_ÖUiUTc
ena9jiUiffa>nf g \n`Z[c _`ORUkZ[S4e]bUTSVUTc_^F_`Zba>caF@fO^FU5^F][ a>n`Z[_`OS ^Fc g _`ORUTnUkZbfP^F]bfa 0@² ¯ 0 1 ² 0 - K -*² 0
^F__`OZbf]bUTUT]Å Y9ay_`ORUrZ[cR\RUTcRjiU¨aFk_`ORU¨f`O^FU^F][ a>n`Z[_`OS}^>fU g a>c ]ba9jKf#aF%jia>cRf_`n^FZ[c_f/a>c _`ORU
U-§rjTZbUTcRjThaF_`ORUe^Fn^F][]bUT]¡jia g U g UTeUTc g f5a>cd^4 a9a g ^F]D^FcRjTZ[c ©aFjia>cRf`_`n^FZ[c_f"a>c _`ORUuena9jiUiffa>nf/Y+Éc
Å^>jT__`ORU5e]D^>jiUTSVUTc_%aF@_`ORU%jia>cRf_`n^FZ[c_fa>c«_`ORU%enaMjiUiffa>nfZbfZ[c
g
\RjiU
g
Mhr_`ORU%e]D^>jiUTSVUTc_kaF@_`ORU5ailUif
a>cd_`ORa{fUuena9jiUiffa>nf/5Y9UTUTn^F]y^F][ a>n`Z[_`OS aFe]D^>jiUTSVUTc_^FnU^i{^FZ[]D^F]bUZ[c N^F{^F{^i #n^Fc g a>S}@mN2
ms ^Fc g ms ^>fU g a>c©_`ORU"a>n`«etUTnpËa>n`SVU g Z[c}_`ORU"UT{^F][\^F_`Zba>c aFycRa>c©ta>c g U g Z[c_UTn^>jT_`Zba>cRf/
NPORUdZ[cZ[_`ZD^F]^F][]ba9j/^F_`Zba>c Zbf«jia>S4e\_U g Mh ^Fc ^F][ a>n`Z[_`OS ^>fU g a>c ^nUijT\nf`Z[UZbfUijT_`Zba>cC. ms
^Fc g ms434La>n g Zbf`_`n`Z[\_`Z[c _`ORUdailUif¨a>cM_a _`ORUdenaMjiUiffa>nf/ f¨UdO^/U^F][nU/^ g hSVUTc_`Zba>cRU g
_`ORU g a>Sr^FZ[c O^>fuUiUTc g Uijia>S4eta{fU g Z[c_a jT\ZbjVailUif"ORa{fUf`Zg U4Zbf"]D^Fn` UTna>nU \^F]_a}_`ORUVjT\_ #ÖaF·
n^ g Z[\Rf/uNPORUBjia>S4e\_^F_`Zba>c^F]]ba^ g aFcRa>c #Åta>c g U g Z[cM_UTn^>jT_`Zba>cRf"Zbf"f`\ g Z[MZg U g Z[c_a¨_^>f`Kf"^>ffa9jTZD^F_U g
Z[_`O¨ta/lKUif #¡_`ORU5_^>f`KfËa>njia>S4e\_^F_`Zba>c}aF¥cRa>c #Åa>c g U g Z[c_UTn^>jT_`Zba>cRfPËa>nPU/^>jO¨ta/l¨^Fc g Ëa>nPU/^>jO«e^FZ[n
aF%cRUTZ[ {OMta>n4ailUif/ NPORUnUijT\nfZ[U«ZbfUijT_`Zba>cSVUT_`ORa g ^F][]baºf4_aj/^Fe_`\nU«_`ORU«_`n^ g U #ÖaF· UT_ÖUiUTc^
a9a g nUTe^Fn`_`Z[_`Zba>c aF_`ORUrcM\SUTnBaF%^F_a>SVf.*OZbjO Zbf#ena>ea>n`_`Zba>c^F]_a ]ba9j/^F]jia>S4e\_^F_`Zba>cRf{3^Fc g ^
nUT]D^F_`Z[UT][h f`Sr^F][]jia>S4S\cZbj/^F_`Zba>cjia{f_ 0[{(1ÖRa>n ms UO^iU«^ NRcRUif`_ g Uijia>S4eta{fZ[_`Zba>c¥yZÅU{©cRa>_
f`SVa9a>_`O©Z[c_UTnpÅ^>jiUHtUT_ÉUiUTc _`ORU5fUT_aFailUif/9OZbjO}Z[c g \RjiUifk^UT_`_UTn]ba^ g #Å^F]D^FcRjTZ[c RNPORU @mN2 Zbf
^re\nU#]ba^ g ^F]D^FcRjTZ[c ©f`_`n^F_UT {hOZbjO g aMUif%cRa>_H_^FUZ[cM_a«^>jijia>\cM_^Fchjia>S4S#\cZbj/^F_`Zba>c#"^V {nUiU g h
^F][ a>n`Z[_`OS ^>fU g a>c _`ORUUT][]$#Å9cRa/c ¥mN n`\]bU.*OZbjO f`_^Fc g fËa>n @^Fn` Uif_mna9jiUiff`Z[c NPZ[SVUNRnf`_
0À| 13-OU"nU-ËUTn_a0 18Ëa>nSVa>nU g UT_^FZ[]bf/
¶5\RU_a .p=3-{U/^>jOena9jiUiffa>n¡O^>f^kfUT_aFZ[c g UTeUTc g UTc_jia>cRf`_`n^FZ[cM_fyOZbjOV^FnUfa>][U g MhUTZ[_`ORUTny_`ORU
#"^F\Rff #ØY9UTZ
g
UT]@SVUT_`ORa
g
q5UT_a>ca>nk_`ORU"SVUT_`ORa
g
^>fkUZ[][]@fUiU"cRaºuOU#jia>cRf`Z
g
UTnk_ÉarSVUT_`ORa
g
f/_`ORU
NRnf`_HZbf5_`ORUBjT]D^>ff`Zbj/^F]#"^F\Rff #ØY9UTZg UT]q5UT_a>c g UTcRa>_U g h #uY9q#tNPORUBfUijia>c g ZbfHj/^F][]bU g ]ba9j#Öq5UT_a>c
. q!3-ENPORUZg U/^VORUTnU{Zbf%_arfa>][UMh©_`ORUucRUT_a>c ^F][ a>n`Z[_`OS _`ORU]baMj9f5aFjia>cRf`_`n^FZ[cM_f/kNa g ar_`OZbf/
^F][]y_`ORUBjia>cRf`_`n^FZ[c_fufO^Fn`Z[c }a>cRUB^F_a>S ^FnUBnUT {na>\eU
g
Z[c^V]ba9jNPORU]ba9j_ÉhMeUifu^FnUBfa>n`_U
g
^Fc
g
UTc\SVUTn^F_U g ^>f g UifjTn`Z[U g Z[cNR {\nUifHH^Fc g KNPORUTcU5fa>][U%Z[_UTn^F_`Z[UT][h«^F][]E_`ORU%Z[c g UTeUTc g UTc_]ba9jKf
h©q5UT_a>c©SVUT_`ORa g .p/=3-
B$& yt¡© pE
q%\SVUTn`Zbj/^F]8nUif`\][_f^FnUHenUifUTc_U g a>c¨_Éa4SVa>]bUijT\]D^Fnfh9f`_UTSVfPZ[c©a>n g UTn_aBjia>S4e^FnU"_`ORU5_Öa4SVUT_`ORa g f
#uY9q ^Fc g q g UifjTn`Z[tU g ^Fa/U{NPORU NRnf`_f`hKf`_UTS ZbffSr^F][]tZ[_`O}x{|{ 4^F_a>SVf/9_`ORUHfUijia>c g Zbf^Fc«Zba>cZbj
j/^Fc^F]aF@|¬ {zu^F_a>SVfº
][]R_`ORUjia>S4e\_^F_`Zba>cRfP^FnU
g
a>cRUka>cV_`ORU
n`Z[ {Z[c{{"Z[_`O¨s/{{{u^F_% ´
%
ena9jiUiffa>nf/
$ !
NPOZbff`hKf`_UTS ZbfP^f`Sr^F][]8f`_`n`\RjT_`\nUHjia>S4ea{fU g aF¡^#ena>_UTZ[c©aFr^F_a>SVf^Fc g ¬SVa>]bUijT\]bUifaF@P^F_UTn
Z[c {^>jT\\S}OUrO^iUd/z{z¬©jia>cRf`_`n^FZ[cM_f#OZbjO jia>n`nUifeta>c g _a {/zFW ]baMj9f/¡_`ORU g Z¸·UTnUTcM_#_ÉhMeUif#aF
]ba9jKfV^FnU« {Z[UTcZ[c N¡^F]bU{ Na jia>S4e\_U«_`ORU«cRa>c #Åta>c g U g Ëa>njiUifBU«\RfU«^jT\_aF· aF/¡_`OZbf
N^F]bU$#Nh9etUuaF¡_`ORUujia>cRf`_`n^FZ[cM_f
_ÉhMeUV _Öh9eU _Öh9etUux jia>cRf_`n^FZ[c_f
¬> {FW z{z¬
Z[c g \RjiUif5¬>4ta/lKUifaFf`Z[/UV/ g Zbf`_`n`Z[\_U g a>c}_`ORU"ena9jiUiffa>nf/ ][]¥_`ORU"nUif\][_ff`ORa/c Z[c}N^FB_aBW
^FnUHLna>S f`Z[S\]D^F_`Zba>cRf5a>c}a>cRU"ena9jiUiffa>n/
T
ÙV{({
N¡^F]bU}}enUifUTc_fB_`ORU«a/UTn`ORU/^ g Ëa>n#_`ORU g Z¸·8UTnUTc_rYMO^FU¨SVUT_`ORa g fBORUTc _`ORU¨_a>]bUTn^FcRjiULa>n_`ORU
jia>cRf`_`n^FZ[cM_f/ºKZbffNlU g _a
X
_`OZbfSVU/^FcRf_`O^F_
w
c1 ] :|<c
$
| e
>
@hhhT@
w ;
h
.p/|=3
+Éc#_`ORUPN^F]bUxK>UPenUifUTc_y_`ORU^iUTn^F U_`Z[SVUËa>nya>cRUZ[_UTn^F_`Zba>c4Z[_`O g Z¸·8UTnUTc_y{^F][\RUifaF_`ORU_a>]bUTn^FcRjiU
N¡^F]bU# # UTn^F U"_`Z[SVUHZ[cfUijia>c g fPLa>na>cRUuZ[_UTn^F_`Zba>c
¥U/^FeK*na> #uY9q q
KÀ KÀ¬,W KÀ {z
Ëa>nk_`ORU#jia>cRf`_`n^FZ[c_f/kNPORUu_`Z[SVUf_UTeZbfkaF h X %
^Fc g U#Z[c_UT {n^F_U g \n`Z[c /{4_`Z[SVU #Öf`_UTeRf/ f
N^F]bUx # UTn^F Uu_`Z[SVU"Z[cfUijia>c g Ëa>na>cRUHZ[_UTn^F_`Zba>c¥
2;
> h X
{À
X KÀ
X
{À
X
{À
X[Z 8
#uY9q KÀ{|¬ KÀ¬>z KÀ KÀxK{
q KÀ {z KÀ ¬ KÀ {z KÀ ¬
Uj/^Fc fUiU{_`ORU
]baMj©q%UT_a>c SVUT_`ORa
g
ZbfPË^>f_UTn/NPOZbfkZbf
g
\RU"_ar_`ORUHË^>jT_kUfa>][U
g
Z[nUijT_`][h^F][]¥_`ORU
g UTeUTc g UTc_kjia>cRf_`n^FZ[c_f/ fUj/^Fc}fUiU{9_`ORU"jORa>ZbjiUuaF¡_`ORUH_a>]bUTn^FcRjiU"e^Fn^FSVUT_UTnZbfPcRa>_Z[S4ea>n`_^Fc_Z[c
_`ORU ]baMjrq5UT_a>c«^F][ a>n`Z[_`OS}NPORU5]D^>f`_N^F]bU5Ëa>n_`OZbfPf`hKf`_UTS}9f`ORa/ _`ORU%Z[cR\RUTcRjiU5aF_`ORUk_`Z[SVUHf`_UTe
N^F]bUW # UTn^F Uu_`Z[SVU"Z[cfUijia>c g Ëa>na>cRUHZ[_UTn^F_`Zba>c
&;
KÀ
X
{À
XMJ
WRÀ
XMJ
#uY9q KÀ{|{x KÀ¬>z KÀ K
q KÀ ¬ KÀ ¬ KÀ
a>c}_`ORU#^iUTn^F UuZ[_UTn^F_`Zba>c_`Z[SVU{4+Öc}N¡^F]bUuW4_`ORU"_a>]bUTn^FcRjiUuLa>n_`ORU"jia>cRf_`n^FZ[c_f%Zbf
X
NPORU«cRU-lK_B_Öa_^F]bUifVf`ORa/ª_`ORU«Z[cR\RUTcRjiU©aFHa>\nBf_`n^F_UT {h aF%e]D^>jiUTSVUTcM_raFk_`ORU}^F_a>SVf4a>c _`ORU
e^Fn^F][]bUT][Zbf`S} q%aºv_`ORUf`Z[S\]D^F_`Zba>c Zbf#etUTnpËa>n`SVU g aºUTn
f`_UTeRfB^Fc g _`ORU¨f`_`n`\RjT_`\nUif4^FnUV\e g ^F_U g U/^>jO
f_UTeRf/NPOZbfrSVU/^Fc _`O^F_ g \n`Z[c U/^>jO\e g ^F_U{ g ^F_^^>ffa9jTZD^F_U g Z[_`O U/^>jOaF"_`ORU^F_a>S
Z[cRjT][\ g Z[c jia>cRf_`n^FZ[c_f4OZbjOO^>f#SVaºU g ^>jijTna{ffB_a ^Fc ^ g o`^>jiUTcM_4ta/l OZbjOSr^/h U©^F_`_^>jORU g _a
^FcRa>_`ORUTn¡enaMjiUiffa>n¥O^>f¥_atUjia>S4S#\cZbj/^F_U g _a_`ORUcRUT enaMjiUiffa>n/@NPORU_a>]bUTn^FcRjiUËa>n¥_`ORUjia>cRf`_`n^FZ[cM_f
g U(NRcRU g Mh.p/|=3Zbf NlKU g _a
X
+Éc¨N¡^F UHfUiU5_`ORU%Z[cR\RUTcRjiU"aFya>\nPcRUT f_`n^F_UT {haF@e]D^>jiUTSVUTcM_/
a>c}_`ORUHcM\SUTnf%aF^F_a>SVf/Ra>c©_`ORUjia>cRf`_`n^FZ[c_fketUTnena9jiUiffa>nf^Fc g _`ORU"SVU/^Fc}_`Z[SVUuaFa>cRUHZ[_UTn^F_`Zba>c¥
Ra>n @U/^FeK*na> ^F][ a>n`Z[_`OS70 1O^/Uf`ORa/c4_`O^F_ msZbfy_`ORUUif`_f`_^F_`Zbje]D^>jiUTSVUTc_Ëa>ny_`ORU g ^F_^kOZbjO
{Z[Uifu^r aMa g ]ba^ g ^F]D^FcRjTZ[c «Ëa>][]ba/U g h @mN2P+ÖUjia>cRfZg UTn ms e]D^>jiUTSVUTcM_/8_^F]bU rf`ORaºf
_`O^F_5_`ORUTnUZbf%cRaZ[cR\RUTcRjiU#aF_`ORUf`O^FUB^F][ a>n`Z[_`OS a>cd_`ORU]ba^ g ^F]D^FcRjTZ[c g \RU_a_`ORUuSVa g ZNj/^F_`Zba>c
aF_`ORUrf_`n^F_UT {haFPe]D^>jiUTSVUTcM_aFk^F_a>SVf#Z[c_ata/lKUif/ +Éc_`ORU4cRU-lK__^F]bU{U¨f`ORa/v_`ORU4Z[cR\RUTcRjiU¨aF
_`ORUf`O^FUucRUT_a>cd]ba9j^F][ a>n`Z[_`OS a>c_`ORUf`eUiU g \e¥NPORUf`eUiU g \eZbf g U(NRcRU g h©_`ORU#n^F_`Zba>cdaF_`ORU
fU M\RUTc_`ZD^F]_`Z[SVUua/UTnk_`ORU"_`Z[SVU"Z[c©e^Fn^F][]bUT]Å
) $
NPORUHfUijia>c g f`hKf`_UTS Zbf^SVUTSn^FcRU{K_`ORUHj/^F]bjT\]D^F_`Zba>cRf^FnU g a>cRU5Z[c©^uail¨aF@f`Z[/U {| Mh {| MhzFW
R\c g UTn%etUTn`Zba g Zbjua>\c g ^Fn`h©jia>c g Z[_`Zba>cRf/NPORUfh9f`_UTS Zbfkjia>cRf`_`Z[_`\_U g h|¬V|¬9^F_a>SVf5^Fc g |¬ {
ÐDC
ÐFE
N^F]bU #+ÖcR\RUTcRjiUuaFy_`ORU"e]D^>jiUTSVUTcM_
m]D^>jiUTSVUTc_ mna9j{ mna9j{ mna9j{x _`Z[SVU"Z[cfUij{
s q5¶ ´ q%\SUTnkaF¡jia>cRf_`n^FZ[c_f | {x Wx{| ¬ {z
q%\SUTnkaFy^F_a>SVf /x{ z { TW|{z
q%\SUTnkaFy^F_a>SVfkZ[_`ORa>\_HYMO^FU /x{{z z {z TW
UTn^F UH_`Z[SVUuaFa>cRU"Z[_UTn^F_`Zba>c KÀx{xK
ms q%\SUTnkaF¡jia>cRf_`n^FZ[c_f WFW WxFW
q%\SUTnkaFy^F_a>SVf ¬,W º¬{x z {z
q%\SUTnkaFy^F_a>SVfkZ[_`ORa>\_HYMO^FU {z{ º¬>z{z z
UTn^F UH_`Z[SVUuaFa>cRU"Z[_UTn^F_`Zba>c KÀx{{
@mN2 q%\SUTnkaF¡jia>cRf_`n^FZ[c_f | |{x{ {z
q%\SUTnkaFy^F_a>SVf /{¬ /{xK {/|¬
q%\SUTnkaFy^F_a>SVfkZ[_`ORa>\_HYMO^FU /K/ /K { {z
UTn^F UH_`Z[SVUuaFa>cRU"Z[_UTn^F_`Zba>c KÀ¬,W
ms q%\SUTnkaF¡jia>cRf_`n^FZ[c_f {z{z ¬>K {z
q%\SUTnkaFy^F_a>SVf / ¬ /x{|{| {/|{
q%\SUTnkaFy^F_a>SVfkZ[_`ORa>\_HYMO^FU / /x{|{x {/|{x
UTn^F UH_`Z[SVUuaFa>cRU"Z[_UTn^F_`Zba>c KÀ{|
N^F]bU#| #jia>S4e^Fn`Zbfa>c aFYMetUiU g \e}UT_ÖUiUTc]bU/^FeKLna> ^Fc g YMO^FU
qk\S#tUTnkaFyena9jiUiffa>n W z
¥U/^FeK*na> xKܬ9 |K{z
YMO^FU#uY xKܬ> |KÀx{x
YMO^FUq xKܬ,W |KÀ{x
a>c g f/IOUO^iU {x FW jia>cRf`_`n^FZ[c_fBOZbjO jia>n`nUifeta>c g _adK© {|]baMj9fºy_`ORU g Z¸·8UTnUTc_B_Öh9eUifaF
]ba9jKfk^FnU g UifjTn`Z[U g Z[c}N^F]bUB¬9
N^F]bUB¬ #Nh9etUuaF¡_`ORUujia>cRf`_`n^FZ[cM_f
_Öh9etUV _ÉhMeUu _ÉhMeUx jia>cRf`_`n^FZ[cM_f
HWx | FW{W /4z¬{¬ {x FW
+Éc ^F][]f`Z[S#\]D^F_`Zba>cRf#aFP_`OZbffUijT_`Zba>c _`ORUVjT\_aF· Ëa>nu_`ORU4cRa>c #Åa>c g U g Ëa>njiUifuZbfV/ 8_`OZbfZ[c g \RjiUif
x{zFWrailUifkaFfZ[/UV/ g Zbf_`n`Z[\_U g a>c _`ORUuena9jiUiffa>nfZ[_`O _`ORU mN2e]D^>jiUTSVUTc_/NPORU_a>]bUTn^FcRjiU
Ëa>n_`ORUujia>cRf`_`n^FZ[c_fkZbffNlU g _a
X
+ÉcdN¡^F]bU4zKEUBjia>cRf`Zg UTnH^Fc^ g Z[SVUTcRf`Zba>c^F]y_`Z[SVU #Öf`_UTe aF h
XMJ %
.*WRÀrLUTS#_a{fUijia>c g 35^Fc g U
Z[c_UT {n^F_Ua>c][h¨a>c{#_`Z[SVU #Öf`_UTeRf/ +Öc«_`OZbfj/^>fU{9Ëa>nP]D^Fn` U
&;
_`ORU ]ba9j«q%UT_a>c©ZbfPnU/^F][][h¨Z[c_UTnUif_`Z[c
N¡^F]bUz # UTn^F U"_`Z[SVU"Z[c}fUijia>c g aFya>cRUHZ[_UTn^F_`Zba>c
#uY9q q
KÀx{zK KÀ¬>|
Uij/^F\RfUfNRnf`_`][h4_`ORUZ[cZ[_`ZD^F]E>^F][\RUk {Z[UTcrMh.=3ZbfcRa>_jT]ba{fU_a"_`ORU%fa>][\_`Zba>c¥Y9Uijia>c g ][h4UkO^iU%^u]D^Fn` U
c\S#tUTn5aF¡jia>cRf`_`n^FZ[cM_f%aF¡_Öh9etU#x#La>nPOZbjO Uufa>][UH_`ORU"jia>cRf`_`n^FZ[c_fkË^>f_UTn/NPORU NR {\nUxBf`ORa/fk\Rf
T
ÙV{({
SpeedUp
17 21 25 29 33 37 41 45 49 53 57
17 21 25 29 33 37 41 45 49 53 57
Linear scaling
Number of processors
Z[ {\nU#x #YMetUiU g e
_`ORU#f`etUiU g \edaF_`ORU"SVUT_`ORa g fº a>nk_`OZbf5f`Z[S\]D^F_`Zba>cdUZ[c_UT {n^F_Ua>c {4_`Z[SVU#f`_UTeRf%^Fc g Uu\e g ^F_U
_`ORUeta{fZ[_`Zba>c aF%^F_a>SVf/¡_`ORUrjia>cRf_`n^FZ[c_f/[[©a>c^F][]_`ORUena9jiUiffa>nfUTUTn`h {©Z[_UTn^F_`Zba>cRf/ NPORUV_`Z[SVU
f`_UTe Zbfa>cRU4eZbjia{fUijia>c g . h
XMJ
3- Uij/^F\RfU4_`ORU4f`hKf`_UTS ZbfH]D^Fn` U{@U4UT {Z[c_`ORU4f`Z[S#\]D^F_`Zba>c a>c
ena9jiUiffa>nf%_arf`\eenUiff_`ORUuZ[cR\RUTcRjiUaF_`ORUj/^>jORU#a>c _`ORUf`eUiU g \e¥+Ö¡_`OZbf%ZbfcRa>_ g a>cRU{RUO^/U^
f`\eUTn][Z[cRU/^Fn%fetUiU
g
\e©\cM_`Z[] Bena9jiUiffa>nf/
+ÉcVjia>cRjT][\Rf`Zba>c¥_`ORU]baMjq5UT_a>c4SVUT_`ORa g ZbfynU/^F][][h#Z[cM_UTnUif`_`Z[c _a"fa>][U \ZbjM][h4^Fc g Z[_`Or^5 {nU/^F_
enUijTZbf`Zba>cr_`ORUf`h9f_UTSaF]ba9jKfaFjia>cRf`_`n^FZ[cM_f/ \ne^Fn^F][]bUT]RZ[S4e]bUTSVUTcM_^F_`Zba>c¨aFt_`ORUf`O^FU^F][ a>n`Z[_`OS
{Z[UifkcRU/^Fn`][h¨_`ORU"f;^FSVUuf`eUiU g \e^>fh«_`ORUujia g UHZ[_`ORa>\_kf`O^FU{
¨ #
²8®
-*® 0
/
²
K/
- AÖ²
r ²
²
21
®®
²(0
i/,
-'0
/
¹a>cRf`Z
g
UTnkjia>cRf`_`n^FZ[cM_kaF¡_`ORU"La>n`S
1 ]
:9=<
> Z8 :Fc9 p(q
]r B 9 sq]r c8
Bvu 8] < >
_`ORUTc}_`ORU~^>jia>ZD^Fc aFy_`ORU eÅ_`O}jia>cRf`_`n^FZ[cM_kZbf
D 1 ]
:9=<
>
:9 p(q ]r B 9 s q
]r
< p(q ]r b_ B
:9 p(q ]r B 9 s q
]r
< s q ]rb
_
_ ^
ZK h
NPORU5jiaMU-§rjTZbUTcM_faF¥Sr^F_`n`Z¸l
7 ?
>CB
A g U(NRcRU g Z[c.p/x=3aF¥_`ORU%][Z[cRU/^Fnf`hKf`_UTS La>ne
@
>
h h
#^FnU% {Z[UTc
Mh
A ] b_ > ]
ps _
ps
Z
m p(q
]rb
p(q
_ r B Z
m p(q
]rbsq_ r B Z
m s q
]rb
p(q
_ r S Z
m s q
]r b
s q _ r
ORUTnU
]
ps
>
9p(q ]r B
9tsq]r
^Fc g ]
ps
> 9 p(q
]r B 9 sq]r +ÅyU g UTcRa>_U"!
] > Z
m
S Z
m
_`ORUTc _`ORU g ZD^F a>c^F]
jia9U-§rjTZbUTc_fH^FnU
A ]b] > ! ] ]
ps
]
ps
$
| e
>
h h h
ÐDC
ÐFE
q5a/utU g U(NRcRUBU-l9e][ZbjTZ[_`][h©_`ORUjiaMU-§rjTZbUTcM_fHaF_`ORUSr^F_`n`Z¸l#A!La>n%_Öh9etUBr^Fc g _Öh9etUxBËa>nk]ba9jaF
_`OnUiUujia>cRf`_`n^FZ[cM_f/:a>n_Öh9etUu_`ORUuSr^F_`n`Z¸l A ^FnUH {Z[UTc h
A
8 > ! ps
ps
Z
m
ps h Z
ps
Z
m
ps h 8
ps
Z
m Zps h ps
! Z Zpsh Zps Z
m Zps h 8ps
Z
m 8
ps h
ps
Z
m 8
ps h Z
ps
! 8 8
ps
8
ps @
ORUTnU w > w
s q
Z r > w s q
8 r > w sqJ r
Zbf5_`ORUSr^>ff5aF_`ORUORU/^/Mh ^F_a>S jia>ccRUijT_U g _a_`ORU#_`OnUiU#a>c g f/
NPORU"Sr^F_`n`Z¸lA La>nk_Öh9etUuxn`Z[_Uif
A
J > !
ps h
ps
B Z
m
ps h Zps
B Z
m
ps h 8ps
B Z
m Zpsh ps
! Z Zpsh Zps
B Z
m Z
ps h 8ps
B Z
m 8psh ps
B Z
m 8ps h Zps
! 8 8ps h 8ps
h
B 0@²9± ® ³ ® ® 0 % OU^FcM_B_a_`O^Fc_`ORU 4(MFA({P{%& ¨nUifU/^FnjOjiUTcM_UTn/yLa>nB^F]$#
]ba/Z[c \Rf_aV^>jijiUiff_aV_`ORUTZ[n%|FW4enaMjiUiffa>nf n`Z[ {Z[cd{{{K
i yt
0[(1 ´ m ][]bUTcr^Fc g ¶B~R{NPZ[]g Uif`]bUTh %A ($j%&A' fiA TM¹]D^FnUTc g a>crmnUiff
lMËa>n g {z¬9
0À 1 k ^Fn`_`O¥! 4" H\RjT/UTn^K ¥UTZ[S4M\O]bUTn«^Fc g sYMUiUT]Å ][ a>n`Z[_`OSVfrLa>nrjia>cRf_`n^FZ[c_fSVa>]bUijT\]D^Fn
g h9c^FS4Zbjif/R~a>\n`c^F]aF¹a>S4e\_^F_`Zba>c^F]¹ORUTS4Zbf`_`n`h a>]/|Kq%a©/K¥{ { #/{ K
0Àx 1#~R n`ZD^F_/+; #5Z[ci\n` R ´ my^>f`Z[c¥^Fc gB ,m]D^F_U/^F\¥ _`O^Fe^>fj/^FcVsk\c_`Z[SVU#-ky§rjTZbUTcRjTh#Ëa>n +Én`nUT {\]D^Fn
Z[c}mna9jiUiU
g
Z[c f5aF¡_`ORU k\na>e^Fnt,¬¨¹a>cKËUTnUTcRjiU{Rm¡^>ff^F\¥ #HUTn`Sr^FcMhRee {# K
\ R8 ¬
0W1#m¡dk UTn`c^Fn g 8m¡^Fn^F][]T][Zbf;^F_`Zba>c UT_HS\][_`Z[ena> {n^FS4Sr^F_`Zba>c ea>\nH\cRU4^Fee][Zbj/^F_`Zba>c Z[nT {\][ZbQTnU g U g h#
c^FS4ZM\RUkSVa>]ijT\]D^FZ[nU5a>e!Tn^F_`Zba>ccRUT][]bU{NPORQifU g Uk],d+ÖcRf`_`Z[_`\_q5^F_`Zba>c^F]m¡a>][hM_UijOcZ\RU g U #HnUTcRa>]bU{
jT_/¥ ¬9
0 1#m¡dk UTn`c^Fn g N"!#u^F\_`ZbUTn¨^Fc g ¶BN@n`h9f`_`n^FS} @^Fn` UY9j/^F]bUdYMZ[S#\]D^F_`Zba>c aFumy^Fn^F][]bUT] ´ a>]bUijT\]D^Fn
¶5h9c^FS4Zbjif}Z[cmna9jiUiU
g
Z[c fraFY9Uijia>c g´
UTn` U
g
YMh9S4ea{f`Z[\S +ÉmmY%${Y9m¶Hm /xF_`O +Éc_UTn`c^F_`Zba>c^F]
my^Fn^F][]bUT]Emna9jiUiff`Z[c BYMhMS4ea{f`Z[\S ^Fc g /F_`O¨YMh9S4ea{f`Z[\S a>cVmy^Fn^F][]bUT]^Fc g ¶5Zbf`_`n`Z[\_U g mnaMjiUiff`Z[c R
ee|{x{z#9|FW{WRt^Fen`Z[]Å¥ K
0À| 1#s#.#5n^FO^FS} a>\c g fËa>n¹UTn`_^FZ[c ´ \][_`Z[ena9jiUiffa>n cRa>Sr^F][ZbUifº UT][]YMhKf`_UTS N@UijO«~R[Ma>]W KMee
{|{x#E{zK{ {|{|K
0ܬ21#¶BnUTcUT]^Fc g @YMS4Z[_/'&T$( $)( A*M% A ,+ %.- (=(/% 0-12i'F43
'T j/^ g UTS4Zbj#mnUiff/@ {|K
0Àz 1 ¥UTZ[S49\O]bUTn^Fc g s#¶B{Y9UTUT]Å9YMhMS4e]bUijT_`Zbjq%\SVUTn`Zbj/^F]V+ÖcM_UT {n^F_a>nfZ[cr¹a>cRf`_`n^FZ[cRU g H^FS4Z[][_a>cZD^Fc
YMhKf`_UTS}~a>\n`c^F]¡aF¹a>S4e\_^F_`Zba>c^F]ymOhKf`Zbjif/Ra>]{/Kee {º¬#/ K¥ FWR
T
ÙV{({
0 1POi {na>ee¥ k¥\Rf`H^Fc g ,YM,o`UT][][\S} &T{)(} 3 (4 (%&%&j (/!( (
Y (j)({M(/= ´ +ØN enUiff/8 FWR
0[/ 1#~´ YK^Fc #ØY9UTn`c^KYMh9S4e]bUijT_`ZbjZ[cM_UT {n^F_a>nf%La>n}H^FS4Z[][_a>cZD^Fcena>]bUTSVf #P^Fc a/UTn`9ZbUTu jT_^rqk\ #
SVUTn`Zbj/^=3-eeFWR #É{z{|K@ {K
0[{(1 @s~R 8Z[e_a>c¥5¶B~RPska{fU{^Fc g sN^FnLo^Fc kc g nU{ #HUTcRUTn^F][Z[/U g cRUif`_U g g ZbffUijT_`Zba>c¥5YM_^FcKËa>n g
cZ[UTnf`Z[_Éh¶HUTe^Fn`_`SVUTc_5aF¹a>S4e\_UTn"Y9jTZbUTcRjiUuN@UijOcZbj/^F]¡s%UTeta>n`_%¹Y #ÖNs#ج{¬#É|FW K@ K
0[/ 1 m¡UT_`/a>]
g ~^/hk~R UTc¥q%\SVUTn`Zbj/^F]5fa>][\_`Zba>c aFuOZ[ {O][ha{fjTZ[][]D^F_a>n`h a>n
g
Z[c^Fn`h
g
Z¸·UTnUTcM_`ZD^F]
U M\^F_`Zba>cRf/ jT_^Vqk\SVUTn`Zbj/^Kee Wx¬#ÅWz¬9¥ ¬9
0[/x 1BYtFm][Z[S4e_a>c¥ ^>f_¡my^Fn^F][]bUT]
][ a>n`Z[_`OSVfËa>nyYMORa>n`_ #Ös%^Fc U
´
a>]bUijT\]D^Fn
g
h9c^FS4Zbjif/>~a>\n`c^F]aFt¹a>S #
e\_^F_`Zba>c^F]¡mOhKf`Zbjif/@{º¬9ee # K¥ K
0[TW1PO8~a>n` UTcRfUTc¥@~R@¹O^Fc g n^>fUT9O^Fn/@~ ´ ^ g \n^K¥s#O +ÉS4etUThd^Fc g ´ H]bUTZ[c¥¡¹a>S4e^Fn`Zbfa>c
aFf`Z[S4e]bU"ea>_UTc_`ZD^F]@*\cRjT_`Zba>cRfLa>nkfZ[S\]D^F_`Z[c V][ZM\Zg ^F_UTn/E~RE¹ORUTS}RmOhKf/a>]¡¬KRq5aVK8 {z{xK
0[ 1#¶Bs# \_UTcORaF` (%&%&j)(/ g (I/F= T gg Zbfa>c # OUif`]bUTh@mnaFLUiff`Zba>c^F]¹a>S4e\_`Z[c
Y9UTn`ZbUifº¥ ¬9
0[/| 1#~´ n`_UT ^H^Fc g ¹5FsORUTZ[cMta>]g _/( ( A' $Vi g'&( ( {T
j/^ g UTS4Zbj#mnUiff/q5UT #a>n`¬>K
0[º¬21#~UTc^Fc g {m¡UT_`/a>]g K^FcrU-§rjTZbUTc_cRUT_a>c #Å_Öh9etUkZ[_UTn^F_`Zba>c4La>n_`ORUc\SVUTn`Zbj/^F]Efa>][\_`Zba>craFtOZ[ {O][h
a{fjTZ[][]D^F_a>n`hjia>cRf_`n^FZ[cRU g S\][_`Z[a g h g h9c^FS4ZbjVf`hKf`_UTSVf/@YMZD^FS ~Y9jTZÅ@¹a>S4e\_/¥a>] cRaK8ee
K/x #{xFWR {zK
ÐDC
ÐFE
Unité de recherche INRIA Lorraine
LORIA, Technopôle de Nancy-Brabois - Campus scientifique
615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)
Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)
Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)
Éditeur
INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)