HAL Id: inria-00071964
https://hal.inria.fr/inria-00071964
Submitted on 23 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.
CTRU, a polynomial analogue of NTRU
Philippe Gaborit, Julien Ohler, Patrick Solé
To cite this version:
Philippe Gaborit, Julien Ohler, Patrick Solé. CTRU, a polynomial analogue of NTRU. RR-4621,
INRIA. 2002. �inria-00071964�
ISSN 0249-6399 ISRN INRIA/RR--4621--FR+ENG
a p p o r t
d e r e c h e r c h e
THÈME 2
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
CTRU, a polynomial analogue of NTRU
Philippe Gaborit — Julien Ohler — Patrick Solé
N° 4621
November 2002
Unité de recherche INRIA Sophia Antipolis
2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France)
Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65
&')(+*,(+-)-/.0132/4356(87:9<;>=3?@*,(+.BADCE'@*,.F56GH;I&J1K7L56(,M:NPOQ4R*,SUT
VXWZY\[^]_`baJc\dZef]hgjilkBejmef]\g
]nompqgrmtsKgvuxwU[y3ilgjerzBsK]
{I|}iq~]nopq8c
opqZ3il| n]h| ]6mWZ]|mWZ]dRQBB_ZH`i:B][y3]|o_llF_J`L_pqkl]6u
Q\:Zll VXp dZ]\¡¢ZsZyZgjejmt£¥¤B]w¦mt|}wUn iFuxwuxn ][§ejuefdFn}| isKm]\©¨Dª«d¦n}WZejuHpqdpqgjilklsK]Hil
¬VXQn WZ]H| ejdZkilefdFn}]kl]\|}ueju|}]Zgrplm]\yUwn WZ]H| ejdZkilo3ilgjwFdKil[®ejplgjuefd¯ildZ]Lpl| erpqyKgf]i:B]|p
°
dZe±n}]
°
]gr©¨³²nxnplm¤uXyKpBux]6ildH]efn WK]|Xn WK]µ´Q´¶´ pqgjkliB| efn WK[·il|n WZ]/WZejdZ]6ux]h]\[®plefd]|VXWZ]\il|}][
pl| ]µpLliBejZ]\©¨@²dHef[®3il| n}pldBnXn}iFiBg©iqQm| wUnpqdKplgfwu ejueru/n WZ]{)il3i:¸dZiB| [¸pqg38iB| [·ilQ[¸p:n}| ermt]6u/¡efn W
3ilgjwUdZil[®erpqg3]dFn |}ej]\u\¨)VXWZ]µu ]\]\ilv]dKm| wUn}efiBd3¹:Z]\mt|}wUn ejild¸il@VXPeru>n WZ]µu pl[®]¬pluoVXP8il|
n}WZ]u}pq[®]µLplgfsK]Jil@º»¨@²odEef[®Zgj][®]dFnp:n ejildEejd<²gril|eru]\u}mt|}ejy]6©¨
¼<½F¾R¿}ÀÁ :Â)l /|}wUn iBkl|pqZWUwBU¬VXK{)il3i:¸dZiB| [¸pqgR8iB| [Eópl|}u WKpq[®i:aJejgfy3]| ny3ilsZdK
Ä>ÅUÆQǶÈ/ÉʶËLÌÍtÎÏ+Ð+ÌÑ¥ÒIÓ6ÎIÅUÌÕÔÖ×ÎÐ ÉFØxÙÚ/Ï+ÛLÎIÆQÜÕÝqÎxÏ8ÑQÞ¶ß6ÖÔàÐ É6átâãããXÅUÌÕÔÖ×ÎÐ É\ä:Ï¥àË6åxγætç}è\é}êLëìtí}îï:ë ð\ë+ñRòróê
ô@õ8ö)÷võ
ÆøoùKÏ+Ö}ú+ΫÑIûIüBýtþqÉ6ÙããÿLÉ
÷
ÖÛ\Ñ¥ÎIÓLÎжÅUÛLåÌÕÖÜÕÎÐùÚ/äã ãÙ\Ö LßLÌàXÆQËÑ+ÌqÖÜÕÌÕÐQÇ©ÎÓLÎoä:Ï+àËLåÎ
Ç öQ÷
õ
ÚlÉ õÉ ÷
ÖÛ6Ñ+ÎIÓLÎÐ@ÇRÖÜÕÜÕÎÐ ÉLã ãÚ\Ö Lß6ÌàXÆ)ËtÑ¥ÌqÖÜÕÌÕÐ É\ä:Ï+àËLåÎtÉ}í ëlòróê
ilsu¸efdFn}| isZeru ildKuVX³sKd$dKilsZB]\pqs$uxwuxn Y\[^]<]m| wUn}ilkB|}plZWZej] mtgjc<Zs£
yKgferzFsZ]l¨Jpqdumt]npqdKplgfiBklsZ] oVX/gpqdKdZ]\pls$]6u¸]dFn}ef]\|}u®]6un|}][®ZgrplmcHpq|gpldZdZ]6pqs¦]\u
3ilgjwUdl[®]6u>sZdKef:pq|}ejc\u miF]mtej]dFn}uXZpldKu>sKdHmil|}Ku ° dKe+¨³oilsKucUefn iBdKu/plefduxeRgj]\uXp:n n}plzFsZ]6u>yplu c]\u
u sZ|¬gpqgjkliB| efn WZ[®]´Q´¶´¯ils<yZej]dgf]n WZc\il|]\[^]s|}]\uxn ]mWKefdZiBeju\¨oodilsn}efg)ej[^3il| n}pldFnJ]^mt|}wFZn}p:£
dpqgjwUu ]]HVX]6ungrpE8iB| [®]¸dZiB| [¸pqgj]]{)iBi: ]\uh[¸pqn |}ejm]\u <miF]mtej]dFn}uiBgfwUdZiB[^erpqsR¨
´QpUefn ]\u}u ]¬]dKm| wUn}efiBd]tn]Jc\m| wUn}efiBd]VP]\uxngrp[\[^]µzFsZ]¬m]gjgf]µ]JoVXP3ilsK|/gj]\u
[\[^]6uX:pqgj]sZ|u]º¨IiBsKuc6mt|}efBildKuXplsKu u eRsZdZ]hej[®Zgfc\[®]dFn}pqn ejildE]d "!"#)¨
$ Á
6
¿
&%
/|}wUn iBkl|pqZWZej]lLoVXL8il|}[^]/dZil|}[¸pqgj]/]{)il3i:RLyiB| dZ]X]ópq|uxWpq[®i:aJefgjy]\|xn
) E)t
efdKm]lKlphdZ]\¡ {IsZyZgjermµ]w/|}wFZn iBu wun}][ iq©ejdKsKuxn |}ejplg|}]gj]:pldKmt]WKpBu>y3]]\d]\l]gjil3]\j¥¨
ªnudKpq[®]µoVX8Z|}ildZiBsZdKm]\pqejd nn |}sZ] >efdKZejm\p:n ]6u/n WZ]JsKu ]¬ilQdUsZ[y3]|/n WK]il|}wpqd|}efdZkFu¨ªn}u
u ]\msZ|}e±nwHeju¬yKpBux]6Eild<n}WZ]WKpl|}ZdZ]\u}uilIn WZ]^uxWZiB|xn¬l]\mtn iB|oZ|}ilyZgj][ 8iB|¬u il[®]u ]6mterpqg)gjpqnxn ermt]6u¨¬ª n}u
uxn |}ildKkiBefdFn}upq|}]uxWKil| n¤l]w$uxe"!]BpqdK u 3]]\¦ilh]dKm| wUn}efiBd¦pldK ]6mt|}wFZn ejildvXn¡i»plu}ux]n}u¸il
m| smterpqg³ej[®iB|xnpqdKm]efd¯][ypq|}¤l]\ plZZgjejm\p:n ejilduhgfej¤l]WKpqdK WK]gr»]Uermt]6upqd ¡ef|}]gj]\u}uu wUuxn ]\[¸u¨
ªnJWKplu¬y3]]dplu}ux]6u u ]\E|}]\m]dFn gjwHpBun}WZ],pBun}]\uxnJ{IsKyZgferm#µ]w/| wUn}iBu wun}][$% ¨'&¬d<n WZ]dZ]kFp:n}efB]
u er]¡]dZiln ]pux]\dKuxefn ejUe±nwn igjpqnxn}ejm]|}]\sKmtn ejildpqnxn}pBm¤u'(@pldK/WZejdZ]6ux]^][¸pqejdK]\|¬VXWZ]\il|}][
@V)p:n n}plm¤u*+ ¨>VXWZ]|}]herudZi®8il|}[¸pqg©Z|}iUiq)efd<Z|}ejdBn8iB|Xn WZ]LplgferefnwiqI]6mt|}wFZn ejild,Z.-_Z¨ ¥¨
ª«dn WZ]®Z|}]\u ]dFnµ¡/iB| ¤E¡]^Z]|}efB]^piBgfwUdZiB[®ejplg@pldKpqgjilkBsZ]iloVX WZ]\| ]\yFw<]\dZiqn}]\yUwV
,Z|}ildZiBsZdKmt]6/
]]Jn}| sZ] t¨>ilsKklWZgjwu ]6pq¤UefdKkn}WZ]|}ilgj]µZgjpLwB]\yUw0$efd<oVXDeruxKgjpLwB]\yFwn WZ]
|}ejdZk2143657)8)il>iBgfwUdZiB[®ejplgju¬efdildZ]:pq|}ejplyZgf]97i:l]\|n}WZ]yKefdKpl| w
°
dKe±n}]
°
]gr:143<;RVXWK]|}ilgj]il³n WZ]
´Q´¶´¦pqgjkliB| efn WK[ ejuhKgjpLwB]\yUwn WZ]{)il3i:E8il|}[ 8|}il[ gfejdZ]\pl|huxwuxn ][!n WZ]\il|}w=fL_¨)V p:n n}pBm¤Uu
pl| ]µdZilnn i¸y3]µ8]\pl| ]6ejd<Uef]\¡Piq)n WK]dZildZ£u ef[®Zgjermtefnwiq)n WZ]| iUiqnuiq?>/@BADCµi:l]|p
°
dKe±n}]
°
]gr©¨
VXWK]JK| iUiq)iq@:pqgjejefnwil@]6mt|}wUn ejildHejup®u ef[®Zgj]pqd|}efkBil|}ilsKuX]\kl|}]]µpq|}klsZ[®]\dBn6¨
VXWZ]¸mil|}| ]6ux3ildKZ]dKm]eru¬iB| kFpqdZe"!]6<ejdn}WZ]^8ilgjgfi:¡ejdZkH¡pLwB¨VXWZ]^dZ] Unux]6mn}efiBd ]6u m| ejy3]\uJWZi:¡
n}WZ]u wUuxn ]\[!iB]\|}pqn ]\uFEµn WK]| ]\gjpqn ejild y]n¡/]\]d ZsZyKgferm¸pqdK u ]\m| ]n¤l]wuhpldKn WZ]]\dKmt|}wUn ejild pqd
Z]\mt|}wUn ejildZ|}iUm]\sK| ]6u¨ ]\mtn ejild^ªxªxªQklejl]6u)pJyZ|}ej]tKn}sn iB| erpqgUiBd^{)il3i:hdZiB| [¸pqgF8iB| [ pldK^]\u}mt|}efy3]\u
n¡i®p:nxnplm¤uFEQiBdn}WZ]ux]6mt|}]tnX¤l]\wpqdKildEpqdEpq|}yZefn |pq|}w^[®]6u u}pqkB]l¨@²mtiejdZkn}WZ]iB| ]n ermJ[^i]\g©ejuXil
u il[®]ejdFn ]|}]\uxnIn WK]|}]l¨ ]\mtn ejild¸ª«ÃPZ]\u}mt|}efy3]Xn WZ]oKpq|pq[®]tn}]|uImWZilermt]pld¸sKu ]|³WKpBuIn}ih[®pl¤l]B¨ ]6mn}efiBd
à eju]\liqn}]\^n}idUsZ[®]|}ejm\u¨ ]6mn ejild¸Ã¬ª³mtiB[^pq|}]\uIn}WZ]¬mil[®Zgj] efnwilvef[®Zgj][®]dFnp:n ejild¸ilG*7H'I
¡efn WHn}WKp:nil)º:7H'IJ;
K L
JMNO@t)t "QP· JQ R)t
SJTVU WQXZY\[]Y_^`Xacb
²·VXm| wUn}iBu wun}][ ]3]dZuµild pqdejdFn ]\kl]|µºpldKiBdn¡iej| |}]\ZsKmtejyZgj]3ilgjwUdZil[®erpqgrucdfehg
iljilk+mn1
3 57J8¥¨po]u WKpqgjgopBu u sZ[®]Hn WKpqnd pldKqg!pl| ]E3ilgjwFdKil[®ejplgju®ilJ|}]\u 3]\mn}efB]<]kB| ]\]\u2r
pldKts¡e±n}Wvuqwnrtwxsye³pldK©Xgrpluxn®yKsndZiln®gj]\pBun{zRGj|~}s/er2mlC;o]<¡il|}¤ejd n}WZ]|}efdKk
Hk+mpi95>:8 }>/@tAtCeZilJn |}sZdKm\p:n ]63ilgjwUdZil[®erpqgruX¡e±n}WEiBgfwUdZiB[^erpqgvmiU] mtej]dFn}u:¨³VXWK]J|}]\pB]|
plgf|}]\pBw®,pq[®ejgferpq|¡efn W<¬VD[®ejklWFn¡pldFnn}i®¤l]]\EefdH[®efdKn}WZ]µ8ilgjgfi:¡ejdZk¸ermn}efiBdKpq|}wl¨
oVX VX
0 i
d
g
"
3 } r
"
3 } s
05>~8 }>/@yABC i#5>~8 \}>/@tABC
4
}?
_ _
÷Q÷
Ë(ZÿÙ6Ø
VXWK]IgjpBunvn¡iXgfejdZ]6uv¡ejgfgBy]³]ZgjplefdK]\Jefdµn}WZ]Idmt|}wFZn ejildhux]6mn}efiBdv6pldK¬n WZ]/{QiBi:o8il|}[ u sZyKu ]\mtn ejildv
|}]\u 3]\mn}efB]gjwl¨R&¬yKux]\| B]µn WKpqn¬n}WZ]zFsZiln ej]dFn}u¬|}efdZkFuci! ¦pqd~i#" iqiyFwn WK]er]\plgju9}d#pqd=}g#
|}]\u 3]\mn}efB]gjw^pl| ]n WZ]
°
dZefn ]
°
]grZu1 3%$
pqdK 1 3'&
;o]µ]\dZiqn}]oyUw H! eH!" n}WZ]JzFsZiln ej]dFn/|}ejdZkBu>iqNH
yUw^n WK]¬er]\plgjuc}d#Ipqd:} g#@|}]\u ]6mn ejl]\gfwB¨)(/w^n}WZ]Jpl| efn WK[^]n ermomildKuxn |pqejdFnOzRGj|:}s/er?m Co¡]¬u ]]
n}WKp:nZ143 $* 143 & mq1\3;l´¶ef¤B]efd¸¬V¦ejdK]\]\dK]\dKmt]il3|}]\ZsKmn}efiBd^[®i }d#QpldK }g#veruI]6u u ]dFn erpqg
n}iHpLBiler<n}| ejUejplg@pqnxnplm¤u¨(/w,+.- }0/#¡/]¸u WKpqgjgI]dKiqn ]n WK]]kB| ]\]iq1/24356.487494:; 4< 9~7
´¶ef¤B]J8il|oVXD¡]µdZ]]6n}i¸] ° dK]uxiB[^]hpls efgjejpl| wu ]tnuXiq@iBgfwUdZiB[®ejplgju\¨
´¶]tn = } k+m?>@/BA H
+C- }0/#<D
FE
y3] ] ° dK]\¦8iB|HpldFw¦ejdFn ]kB]|u
w$s ¨ªn}uHuxe"!]eju:u@<G;1HQej|unE] ° dK]n}WZ][®]6u u}pqkB]uxplmt]JI
pBu
=
}¥º:er ¨Pªn}uu e!\]Eejuu@K;>]Fn¡]<] ° dZ]En WZ]ux]n}u®¡WZ]\| ]Hn WK]ux]6mt|}]tn¸¤l]\wv}MLe
pldK n WZ]
|pqdil[®e"!]|Npq|}]Ju}pq[®Zgj]\8|}il[E¨
´¶]tn
PO
e
Q
e
PR
y3]hejdBn}]kB]|ucwBs/;\o e±n}WEn WZ]6ux]µdZiln}p:n}efiBdKuX¡]µZ]° dZ]
= O km = }
PO#S
Ce
= Q km = }
Q1S
Ce
= R km = }
R4TVU
SJTS WYX[Z]\J^.X.[]Y_^`Xa
VQimt|}]\pqn ]pVX ¤l]\whn¡ipq|}yZe±n}|}pl| wh3ilgjwUdZil[®erpqgruLe
pl| ]Kejm¤B]\^efd¶l|}]\u ]6mn ejl]\gfwB
= O
pqdK
= Q ;
²¬u u sZ[®]8sK|xn}WZ]|¬n WKpqn_L eruJefdUB]| n ejyZgf]efd/H! ¦pldK~H!"f;©VXWZeruo[®]\pldKuon WKpqn_L }0`
+d#*8|}]\u v¨_L
}M`
+:g# iU]6udZilnoy]\gfiBdZk¸n}iuxiB[®]ux[¸plgfg)mtwmtgjejmmti]i:B]|i! 8|}]\u v¨Ji#"t¡WKejmWerudKiqnn}iFi
|}]\uxn |}ermn ejl]B¨Qª«d]]6©pu ef[®Zgj]µmtil[®ZsZn}p:n}efiBdvUyKplu ]\ildn}WZ])V efdn WZ]J|}efdZk#H! »uxWKi:¡uIn Wp:nXn WZ]
K| iBiB|xn}efiBdiq)efdUB]| n ejyZgf]aLefdn Wp:n|}efdZk®erup:ngj]\pBunR}VCJA
U
3%$
@;Z²u ef[®ejgjpl|| ]6uxsKg±nWZiBgjZu8iB|)Hb");
VXWZ] ½ q ½ c ½F¾erun WZ]hpqej|*}dLe
;ZVXWUsKun}WZ]ux]6mt|}]tnX¤l]\wejupld]\gf]\[^]\dFniqN1@
3%egfih 1@
3
egj n}WKp:n
erup:n[®iFunR}
PO#S Q
º yZe±nu¨³VXWK]!k Q"%ml,nc ½F¾ erun WZ]\d
o km
L }0` +y}>
@
ABCehg#V;
VXWUsKuXn}WZ]hZsZyKgfermµ¤l]\w¸ejupld]\gf]\[®]dFniq1@
3'&
n WKpqnejupldEil|]|Xiq@uxe"!]hilsEº!yKe±nuh¨
SJT0p q:a#r^CZts)Y_^`Xa [Zau]vwXVr^CZts)Y_^`Xa
´¶ef¤B]hoVXn}WZ]h]dmt|}wFZn ejildejdVXDejuXZ|}ilypqyZejgferuxn ermE@klejl]\dn}WZ]u pl[®]JK| ej:p:n ]µ¤B]w¸n}WZ]u pl[®]
KgjplefdFn ]Uno¡efgjg)y]]dKm| wUn}]\<ex3]\| ]\dFn gjwEpqn¬ex3]\| ]\dFnon ej[®]\u\¨ªyI[®[¸p¸n WK]]dmt|}wFZn ]|¬¡eju WZ]6un i
u ]dpZgrpqejdFn ] Unz A{I n}i ¬]dZdKejun WZ]H]\m| wUn}]|u WZ]n |pqdKu [®e±nuild»pZsZyZgjejmmWKpqdKdZ]g/n WZ]
zFsKpldFn efnw
k+mvdaN o S z }0` +:g#e
¡WK]|}] o eru ¬]dZdKejuZZsZyKgfermµ¤l]\wpqdK|N<|pqdil[ ejd
= R
;K3ildE|}]\m]n}efiBd ¬]dZdKejumil[®Zsn}]\u
L~}vdaN
!S
zL }0` +:g#;
{³| i:Uer]\n Wp:n*r
StR_StQ
Dqs pqdK~r StO
Dqs uxej[sZgfn}pldZ]iBsKu gfwWZilgro]\dZdZeru¬m\pqdE|}]kBpl|}
L
pBuhpHiBgfwUdZiB[^erpqg@ilfH#; ¬]dZdZerum\pqdn WZ]\| ]8il|}]gj]kBe±n}ef[¸p:n}]gjw|}]\sKm]
L }0` +d#kl]tn n ejdZk,zL
}M` +d#>pldKyUwejdUl]\|}u efiBdil)L }0` + d#In}WZ]hZgrpqejdFn ] Unz ;
õ8ö)÷võ
Æ
HKil|X8sn}sZ| ]hsux]h¡]h]\mej]Jn}imWZiUiBu ]on}WZ]h:pqgjsZ]\u
O
mDs A=rJABCe
Q
m
R
m
s A=r)ABC
u
¡WKejmWEu pqn eru8wn WZ]plyi:B]¬n¡i^| ]6zBsKef|}][®]dFnu¨
o ]µ][®ZWKpBuxe"!]¬n WZ]µpqdpqgjilklw^¡efn WEoVX ¡WZ]|}]n}WZ]µ| iBgf]¬iqvn}WZ]h]kB| ]\]oejd7Pil¶3ilgjwFdKil[®ejplgju
eru®ZgrpLwl]6»yUw n WZ]<plyKuxiBgfsZn ]E:pqgjsZ]EiqoejdFn ]kB]|u¨
ejdKmt]EejdBn}]kB]|u^pl| ]H[®il|}]Hmil[®Zgjejm\p:n}]\»iBy~]\mtn}u
n}WKpqdiBgfwUdZiB[®ejplgju*8¡WZermWpl| ]Jmpl| |}wF£+8|}]]Jn}WZ]µuxej[®Zgf]µpqd, 4'P3/pq|}klsZ[®]\dBnXpqy3i:l]Wplu/n i^y]
|}]KgjpBmt]\n WZ]\| ]^yUwpq|}klsK[^]\dFn}u¬yKplu ]\ildn WZ]¸u iq£«mpqgjgj]\zFsKpBuxef£ [sZgfn ejZgjejm\p:n ejUe±nwEil>n WK]^]\sKmtgjer]\pld
dKil|}[H@pqd 6 6 : 0 9¡WKejmW»m\pqdH~sKuxn e° ]\yUwn WZ] µWZefdmWZefdK]¸efdZ]6zFsKpqgje±nw8|}il[!K| iByKpqyZejgje±nw
n}WZ]iB| wf6vil|Xn}WZ]ux]\[®e±£ ][®Zej| ermplg¶/ilZ3]|ux[®efn WEy3ilsZdKHil (¨
JX{) t MQ M
ª«d=(Q8ilsZ|Jex3]\| ]\dBn¬¤FejdKZuoiq³p:n n}pBm¤Uuopq|}]klejl]\dv¨XaJejl]\dEn WZ]^uxej[®efgrpq|}efnwiq³uxn |}sKmn}sZ|}]iq@n WK]n¡i
m| wUn}iBu wun}][¸u3n}WZ] ° |}uxnµn WZ|}]]®p:n n}pBm¤Uuµpl| ][®plefdKgfwer]\dBn}ejm\pqgIpqdn}WZ]^8ilsZ| n W p:nxnplm¤<yKpBux]6iBd
grp:n n ermt]6uXejuXn}sZ|}dZ]\efdFn}ipqdEp:nxnplm¤®n}WZ| iBsZklWn WK]{QiBi:dZil|}[¸pqgR8il|}[ il)p^iBgfwUdZiB[®ejplg©[®pqn |}e©¨
pJTVU ^JYCXhXy^ rXQ[]YY\[ r
ª«dn WZ]Jmplu ]iq¶pyZ| sZn ]8iB|}m]p:n n}plm¤®pqdpqnxnplm¤l]\|³[¸pLw¡XpqdFn³n}ihn |}w¸pqgjgK3iBu}uxejyZgj]omWZiBejm]\uI8iB|LHpqd
n}| wn i
°
dK<ef<L o Wplu]\dFn |}ef]6uiq>u [¸pqgjgQ]\kl|}]]B¨(/w<pldKpqgjilkBw¸n WZ]^u pl[®]p:n n}pBm¤mpldpqgru i¸y]^ildZ]
plkBplefdKuxnhpkBefB]d [^]6u u}pqkB]yUw<n}]\uxn ejdZk<pqgjgIiFu u efyKgf] N»pldKu ]\pl|}mWKefdZk8il|
A N o }0` +:g#WKplu
miU] mtej]dFn}uoiq/u [¸pqgjgQ]\kl|}]]B¨¬VXWZ]\| ]8il|}]hn WZ]¤l]\wEu ]\msZ|}e±nwHeju
= Q
pqdEn WZ][®]\u}u plkl]u ]\msZ| efnwHeju
= R ¨o]dKm]^pBuo8iB|J¬VX sKu ejdZkn}WZ]~: % 9C :; Pµp:nxnplm¤HildZ]^WKpBun}inpq¤l]n WZ]®u}zBspq|}]
|}iUiqn6¨
pJTS X X Y! (^Va" Y$#X% '& ^'uu)( Xp[]YY\[)r$
² : % 9 C :; Cp:nxnplm¤^¡pBuIZ|}il3iBu ]\®yUw&Jgjw!\¤liµ8iB|/oVX pqdKZ]l]\gfiBZ3]\¸yUw
efgjl]\|x£
[¸pldejdjF ¨QVXWZeru@p:n n}plm¤hm\pqdplgju iy3]XsKux]6plkBpqejdKuxnvn WKeju@mt|}wUn iFuxwuxn ]\[ suxejdZk¬n WZ]Xu pl[®]/pq|}klsK[^]\dFn
iBdn}WZ]¸]kB| ]\]iq>n WZ]®3ilgjwFdKil[®ejplgju\¨VXWZeruµp:nxnplm¤<dZ]\]\ZuµpgfilnJil/uxn il|pqkB]m\pqKpBmtefnwEpldKmsnµn WZ]
u ]\pl|}mWHn}ef[®]^yFwn WK]sKu sKplgQu}zBspq|}]| iUiln\¨*o]dKm]efn¬[®]\pldKun}WKp:n¬n WZ]^ux]n¬il³iFu u efyKgf]
pqdiN WKplu
n}i¸mtildFnpqejdHpqnXgj]\pBuncu U,+.-
]gj][®]dFnuefdHil|]\|Xn i®ilynpqejdHp®u ]\msZ| efnwilZu/
- ¨
pJT0p 0*( Y_^gs)( XvYP^4[?acb1& ^bb^VXa [YY\[)r$Jb
ªX²[¸pqdZpu ]dZuµpHu ejdZklgj][®]6u u}pqkB]s%¡e±n}W ZexR]|}]dFn N"uµyZsZnJn}WZ]¸u pl[®]ZsKyZgferm^¤l]\w<e±nheruon}WZ]d
3iBu}u efyZgj]hn}iilyZn}pqejdejd8il|}[¸p:n}efiBd<ild<n}WZ];N"u¨ sZZ3iBu ]u WZ]u ]dZu¬ZexR]|}]dFn¬]\dKmt|}wUn ]6<[®]\u}u plkl]6u
32
Bn}WZ]dmtil[®ZsZn ejdZk2}
32
A U o }0` +g FildZ]¬ilynpqejdKu³]pBmn}gfwn WZ]¬:pqgjsZ]oil N U AnN
2
U|}]3]\p:n}efdKk
n}WZeru³il3]|p:n}efiBd¸¡e±n}W®n WZ]Jex3]\| ]\dBn
2
gf]6plZu³n iu s mtej]dFnefd8iB| [¸pqn ejild^8il|uxiB[^]¬mtiUil|ejdKp:n}]\uIil N U
n}i¸pqgjgfi:¡ pyK| sn}]J8il|mt]hp:n n}plm¤ildn WZ]h|}][¸pqejdZejdZk¸mtiUil|ejdKp:n}]\u\¨
÷Q÷
Ë(ZÿÙ6Ø
pJT XysRX WQXy^& [ ( hXy^&
´¶]tnt/y3]Jp ° ]grpldK pldyUw o[®pqn |}e¸¡efn W]dFn |}ef]6uefd~/257J8R¡WZ]\| ]c7 ejuXpldsZdKZ]tn ]\| [®ejdKp:n}]l¨
o ]¸pq|}]ejdFn ]|}]\uxn ]6ejdn}WZ]5/257)8A[®isZgj]
=
uxpqdZdZ]6yUwEn}WZ]®| i:¡u¬iq ; o efn W ]B]|}wEl]\mtn iB|
il¶gj]dZkln W oi:l]\|</257J8©¡/]Jp:nxnplmWe±nu3 6,94:u}pLw
] ° dZ]6pBu³n}WZ]¬grpq|}kl]6unX]kB| ]\]oejd7 iq¶efn}u
]\dFn |}ef]6u¨)HZiB| [¸plgfgjw
mw`>
}
2
}7'V
m Ce e
E
VXWK]|}]^]ejuxn}uhpld] x3]6mn ejl]plgfkBil|}e±n}WZ[ iqiBgfwUdZiB[®ejplg³mtil[®Zgj] efnw<n i<mil[®Zsn}]®n WZ]¸[®ejdZef[sZ[!il
n}WZ]u sZdZiB| [
iqm<i:B]| A =
;)V¶iZ]\u}mt|}efy3]n}WZejuZ|}iUm]\sK| ]¡]dZ]\]\ n}WZ]dKiqn ejildil
,¡/]6pq¤_"!oÁ k³Á$#&%Á 8iB|/n}WZ]h[¸p:n}| e' ;¬]
°
dZ]
°
|}uxnXn WZ]b6 )(441 9% . +*
2
pqnxn}pBmWZ]\n i®|}i:¡
n i
y3]'me±vn}WZ]J| i:¡
iqberuO!]\| i^pqdKpBu³n}WZ]J| ejklWFn [®iFunXmtilgjsZ[®dejdK] ,u sKmWn WKpqnOs 2-.
Wplu/n WZ]
grpq|}kl]6un]\kl|}]]hejd~7 8il|/,w0 ;]Un¬¡]u pLwn WKpqn1efd<¡]\pl¤{)il3i:8iB| [ ef>ejuxn ejdKmtno| i:¡uopq|}]
plgfgjiqn}]\Herun}efdKmtnZejliqnejdKermt]6u¨Zo ]mplddZi:¡ zFsZiqn}]#j6_K´v]\[^[¸p %Z¨j
2/½ 436587:9<; C %3_Y d)= P9F9?>A@V6 ! 9CBDEt6C("F: 49%1G,Cb3: 3%y3 6
94: HFa5B{HFIKJ/L#M(4ON4%3_ 9,0P#/257)8d3d6.49iHFaC_'B 3aPFI P(4 3 6i9 : 4% 3
G;
²m\mtil|ejdZk<n}i j6_U³VXWZ]\il|}][ _¨Õ_/n WZ]Hmtil[®Zgj] efnwilomtiB[^Ksn ejdZkn}WZ]¡]\pl¤ {)iBi:8il|}[%eju
Q }R H 3 ° ]gril3]|p:n ejilduF¡e±n}W:HDy]\efdZk^n}WZ]_/ A|}pldZ¤®iqSDpldK
p^y3]\uxnsZZ3]|y3ilsZdKiqQn WZ]
Z]kl|}]]6uiq)n WZ]µ]dFn}| ej]\uXilT ;
pJTRU V YY[)r Xa [ s IW)(^gr X[Z
VXWK]oZ|}ef:pqn ]o¤B]w }MLe )Fej]¡]\WZ]|}]opluphB]\mn}il|/iqvgj]dZkln W{ulº i:l]\|Z1 3 57J83y]\gfiBdZkBu>n ihn}WZ]Jgjpqnxn ermt]
= X
iq@ef[®]\dKuxejild<pldK|pqdK¤º!kBefB]dHyUw
= X
k+m?>}MLZYe
YyA{1 3 57J8 3 @
LZYo } Y }M` + > @ ABC
E
´¶]tn1[]dZiln ]n WZ]^mtej|}msZgjpldFno[¸p:n |}eH¡efn W ° |}uxn¬|}i:¡Pn}WZ]®mtiU] mtej]dFnuiqIn}WZ]V)pLwUgfiB|ou ]|}ef]6uejd
> iq o ;VXWZ]µgjpqnxn ermt]
= X
ejun WZ]j1_3 57)8©u KpldHil¶n}WZ]h| i:¡uilQn}WZ]h[¸p:n |}e'
X
] ° dZ]\EpBu
X m]\
* @ [
g }7RR*
@_^
;
¬uxejdZkEn}WZ]pqgjkliB| efn WZ[!efdDj6_>¡]mpldmtil[®ZsZn ]®n WK]¸[^ejdZej[sZ[a`
X
il
= X
8il|µn}WZ]u sZ dZil|}[E¨ª
y3iqn}W4`
X w O pldKb`
X w Q
WZiBgjn WK]dn WZ]¸B]\mn}il|µiqXuxsK dKil|}[c`
X
¡efgjgIy3]p
k v4l
Á
¶|c
½F¾
ejdn WZ]u ]dKu ]µiqO¥¨y³u}u ]dFn erpqgjgfwBUn WZeru[®]\pldKun Wp:nuxsmWHp^¤l]\w¡ilsZgrplgfgji:¡Ppld]6plu l]\u}|}ilZ3]|/n i
|}]\pB 9F7µ[®]\u}u plkl]Jil|}efkBefdKpqn ]6yUwp®mt]\|xnpqejdsKu ]|6¨@ªZildHn}WZ]mtiBdBn}|}pl| wB
Q
D&`
X w
PO
n}WZ]dHn}WZ]{)il3i:dZil|}[¸pqg38il|}[ ¡ejgfg¶y]hsZdpqyZgj]Jn i¸yZ|}]\pl¤®n WZ]u wun}][E¨
VQi<]\uxn ej[¸p:n ]`
X
¡]¸uxWpqgjg³sKu ]n}WZ]®8ilgjgji:¡efdZkdN% 4 9!i0P%4' M 8N :5 ±¨VXWZ]pq[yZej]dFnh[^]n |}ejm
u KpBmt]µ¡efgjg¶y3]hn}WZ]dEn}WZ]l]6mn}il|u Kplm]'d
G
iqIiBgfwUdZiB[®ejplgjuXil]1 3 57J8¶iqI]\kl|}]] D ; HZiB|Xn ]\mWKdZejm\pqg
õ8ö)÷võ
Æ
|}]\pBuxiBdKuXF¡/]ou WKplgfg3plu}uxsZ[®]
s/;BVXWZ][®]n |}ejm¡ejgjgy3]n WK]¬u sZ¸dZil|}[pqdK^n}WZ]omti]n WZ]¬gjpqnxn ermt]
= X
eZejdFn ]\|}u ]\mtn ]\¡efn Wd
G
;KVXWZ]\dn}WZ]hyKplgfg©il)|plejsKu*AtCµ¡ejgfg©y3]'d 3
;²dH]gj][®]dFn}pl| wmtilsKdBn}efdKk
pl| kBsZ[®]dFnhuxWZi:¡uon Wp:n
d 3
G mu
3 G @
evpldKn}WKp:n6¶u ef[®ejgjpl| gjwl
d 3
G mu
3 @ ; (wmtiBdKu ej]\| ejdZkn WZ]
u 3]\mterpqg>8il|}[!iln}WZ][¸pqn |}ed
X
¡]u ]]¸n}WKp:n
d 3
G * = X m u 3
@G )@*;]o ]mpld n WZ]\d»sKu ]¸n WZ]
kB]dZ]\|}plgK| ejdKmtejZgj]¬ejdEmtiejdZkn}WZ]iB| w^n}WKp:n[®iBuxnXmi]\uXpq|}]oiBdn}WZ]haJefgjy]\|xnópl|}u WKpq[®i:®y3ilsZdKy,²
|}ejklil|}ilsu>B]|uxejild8il|Xn WK] opq[®[®ejdZk®[^]n |}ejmµeruXejd/Õ_Z´¶][®[¸p ¨ ¨IVXWZ]plZZ|}i Uej[¸p:n}]o]\zFsKplgfefnw
d 3
G
m d 3
"
d
3
G
= X e
gj]\pBZun WK]dHn i^n WK]h]\uxn ej[®pqn ]
` X m su ;
aJiBefdKk¸yKplm¤n i®n WK]] Z|}]\u}uxejildH8iB|
O
¡/]u ]]n WKpqnn WZ]mtilde±n}efiBdC`
X w O
m\pqdEy]| ]\¡| efnxn}]dplu
ur9wqsy;3sZ[®]|}ermpqgQ] 3]|}ef[®]dFnuejd²gril|JuxWZi:¡ n Wp:non}WZ]pqnxn}pBm¤eruejdZ]xR]\mtn ejl]8il|kBefB]dº%ejd
n}WZ]h|pqdZkB]
r -
}+º=wBr'w 4;s/e
¡efn W2r
-
}¥º,¶u [®plgfg.Vw¨ HZiB|IZsZ|}iFux]Xiq©mWZiBejm]ilKpl|}pl[®]tn ]\|}u)¡]X¡efgjgn WK]|}]t8il|}]mWZiUiBu ]fr m ¨
pJT V uX r ^b^`Xa s^_X W)( X &
VXWK]ux]6mtsZ|}efnwilI¬VX|}]gjef]6uildpux3]\mejplg¶ejdKunpqdKm]iqIn}WZ] ÃJ{ Z|}ilyKgf]\[ 8iB|ogrp:nxn}ejm]\u\¨ª«d<n WKeju
u ]\mtn ejildE¡]hklejl]hpqd<pqdpqgjilklsK]µZ]\mteru efiBdHK| iByZgf]\[ 8iB|JVXZ¡WZermW<¡]mpqgjg©n}WZ]u WZil| n ]6unKplef|il
B]\mtn il|uZ|}ilyZgj][n {IÃJ{¨
\\ ½ ´¶]tni
U
pqd9i 3 Z]dZiln ]n¡/iJ[¸p:n}| ermt]6u:il:| ]6ux3]\mtn ejl]gjwl1 3 57J8
U
pqdR1 3 57J8 3 e
pldK
PU
e 3 n¡i¸efdFn}]kl]\|}u\¨X´v]tn*|¢y]p®y3]\uxnosZK]\|oy3ilsZdKildHn WZ]]kB| ]\]hefd:7Diq@n}WZ]]dFn}| ej]\uil
y3iqn}WE[®pqn |}ejm]\u\¨
½ \ lÁ ªuXn}WZ]|}]hpqd ,A1 3 57J8 u sKmWn WKpqnyiln W
!i U
w
CU
pqd
"!i 3 w 3 WZilgr$#
oiqn ]n Wp:n\>e±
PU
m 3 n WZ]\d»n WK]H{)il3i: dZil|}[¸pqg| ]6sKmtn ejild¯plgfkBil|}e±n}WZ[
°
dKZu®pu ilgjsn}efiBd¯ejd
3ilgjwUdZil[®erpqgRn}ef[®]l¨
ª ZiBdHn WZ]hiln WZ]\|WKpqdKv
PU
m
3 n}WZ]dE¡]h¤UdZi:¡ iq@dZi¸pqgjkliB| efn WK[·n i¸u ilgjl]¬n WKpqnZ| iByZgj][E¨
i¡/]m\pqd u}pLw»n Wp:nn}WZ]u ]\mtsK| efnw¯ilVX |}]gjef]6u¸ild pu 3]\mterpqgoefdKuxn}pldKmt]iqJn WZ] {Iì{
K| iByZgf]\[E¨
% &
') OQ J MQ t J)t
TVU \ #)X^'rXQX ('
HKil|oVX n}WZ]µefdFn ]\kl]\|Xº WKpBn}i^y3]Jn}pl¤l]dHZ|}ef[®]µejdUej]¡Pil@aJ]\dBn}| w uXp:nxnplm¤:+¨³VXWZerup:nxnplm¤
|}]gjej]\ildn WZ]µ,pBmn iB| e"!\pqn ejild
> @
AtCmQz#}>=}>
G
AtC
8iB|u il[®]<,plmtn iB|
ilº:e/pldK¦ild¦n}WZ] /WZejdZ]\u ]]\[¸pqejdK]|HVXWZ]iB| ]\[ )V)pqZKgfej]\$n}in WZ]
milZ|}ej[^]pqdKmtil[¸p Uej[¸pqgQej]6pqgru} z9XpldK }> G ADC ¨hVXWZeruJp:nxnplm¤<iU]\u¬dZilnJ]Fn}]dK<n |}efUerpqgjgfwHn i
÷Q÷
Ë(ZÿÙ6Ø
n}WZ]
°
dZefn ]
°
]grHux]nx£sZejdUej]¡ il¶[sKg±n}efZgj]µ| iUiln}u/iqN>/@ A C 8iB|]\l]\dº>¡WZermWwUef]\gjHmtiB[®[^iBd
,pBmn}il|u/il?zpqdK{> G)A C;ZVQi®klejl]µyZsnopld]Un |}][®]µ] Zpq[®Zgj]µiq¶n}WZeruuxefn sp:n ejildHi:l]\|O1
3
¡/]µWKpLB]
n}WZ]µ,plmtn iB| e"!\pqn ejild
> 3 &
AtCcm }> AtC
3 &
8iB|pqgjg s C;
TS v Xy^.X X s[ ^_[ & X YCX ^4b
VQi¸plL~sunXn WK]µZ]kl|}]]JKpl|}pl[^]n ]\|}u
O e Q e R
¡/]µmtiB[®Zsn ]µ8|}il[ -_¨ n WZ]hu e!\]JejdHyZe±nuiq@ux]\l]\|}plg
|}]gj]:pldBnzFsKpldBn}e±n}ef]6u EIu ]\m| ]npldKZsZyZgjejmµ¤B]wBZgjplefd<pldKmefKWZ]|Xn}] Un\¨
:pq|}ejplyZgj] uxe"!] ,yZe±nu
}MLe
3
}s A=rº
o º:s
z ºr
º:s
VXWZ]\| ]Eeru^n WZ]\| ]8il|}]Hp[®]\u}u plkl]H] KpldKuxejild iq*s: r;IVXWZeru¸u WZilsZgr dZiqn¸y3]Ep Z|}ilyKgf]\[ e±Jn WZ]
u wun}][ erusKu ]\ejdEmild:~sKdKmn}efiBd¡efn Wp®u wF[®[®]tn}| ermµmtejZWZ]\|\[®]|}]gjw¸n}i¸] ZmWKpqdKkl]J¤l]wu\¨
T0p X r6X & & XNa#uX u [ ^_[ & X YCX ^4b
o ]] ° dZ]hn}WZ|}]]hgj]l]\gjuiq³ux]6mtsZ|}efnwE>[^i]\|}pqn ]BZWZejklWpqdEl]|}wWZejklWmil|}| ]6ux3ildefdKkn}iex3]\| ]\dBn
pq|pq[®]tn}]|u©¡]¸pqgruxiHklejl]n WZ]u sZZ3iBu ]\ u ]\mtsK| efnw¡WZermW|}]gjej]\uµ]\u 3]\mterpqgjgjw<ildn WZ]¸[®]]nx£efdZ£+n}WZ]t£
[®erZgj]¬pqnxn}pBm¤il©n WZ]K| ]\Fejilsu>u ]\mn}efiBduxejdKm]n WZ]J{)il3i:dZiB| [¸pqgK8il|}[ pqnxnplm¤m\pqdZdKiqn>y3]¬plZZgjef]6
¡efn WHn}WZ]hKpq|pq[®]n ]|u¡/]hmWZiUiFux]B¨
$Á Â ½
:
½¶½
¶4l ¾ !
: ½ ½
:
¿ 3:
ºxm u_e]s m u\e4rcm
5
{I|}ejLpqn ]'µ]\wEfCu?yZefn}u\K{IsZyKgfermRµ]w6EfCu^yZe±nu
µ]\wux]6mtsZ|}efnw~Eu 3 - -
E]\u}u}pqkl]µu ]\mtsK| efnw~Eu
3
-.-
¨
l
¶½
v4l
¾!
ZL ½ ½
L
¿ L
ºxm! 4e?s m u_e\r*m
5
{I|}ejLpqn ]'µ]\wEu ?yZefn}u\K{IsZyKgfermRµ]w6Eu#"yZe±nu
µ]\wux]6mtsZ|}efnw~Eu - -
E]\u}u}pqkl]µu ]\mtsK| efnw~Eu
-.-
¨
$h½ ¾% l ¶½ v4l ¾ ! : ½ ½ : ¿ 7&'(: ºxm Cu)"_e?s m u\e4r*m 5
{I|}ejLpqn ]'µ]\wE *"??yZefn}u\K{IsZyKgfermRµ]w6E #+) yZe±nu
µ]\wux]6mtsZ|}efnw~Eu/
- -
E]\u}u}pqkl]µu ]\mtsK| efnw~Eu/
-.-
¨
, &
J)":') ¢ t M) M
UJTVU \/X & s)( X-J^`YZ X /.!& s)( X &BXaY\[]Y_^`Xa
VXWK] ° |uxnJu wUuxn ]\[ VXu WZilsKgj<y3]¸mtiB[^pq|}]\Hn iHeruJ¬VX¨ µ]]\ZefdKkejd[®efdn}WZ]^Zejmtn ejildKpl| w
ilZ-_Z¨f¬¡/]Jux]\]on}WKp:nn WZ]µmtiB[®Zgf]e±nw®iq)VX efdn ]\| [¸u/iq¶yZejdKpl| w®il3]|p:n}efiBdKu³eru/n WZ]µmtiB[®Zgf]e±nw
õ8ö)÷võ
Æ
il)¬VDejdn ]|}[¸uXiq 9F /iB]\|}pqn ejildKu\¨)¬pq[®]gjw¸n}WZ]mtiB[^Kgf]Uefnw¸iq@]dmt|}wFZn ejilderu
Q
}¥º 3 s 3
pldKn WZ]^mtiB[^Kgf]Uefnwil³]\m| wUn}efiBdHeru
Q
}¥º 3 s 3
;VXWK]zFsZ]\uxn ejildEdZi:¡Dy3ilejgjuZi:¡dEn imil[®Kpq|}ejdZk
n}WZ]mil[®Zgj] e±nwiqplKe±n}efiBdKupldK [sKg±n}efZgjermp:n}efiBdKuhejd 0 ,efdFn ]\kl]\|}uh[®i
J8iB|oVX pldK ejd
n}WZ] ° dZefn ] ° ]gr 1 8il|VX¨²ou}u sZ[®efdZk#s wQCpldKp3]\mWgfiBkej[®Zgf]\[®]dFn}pqn ejildilvn WZ]Jgrp:nxn}]|
jKv¨K e±neruX¡/]\gfgf£¤FdKi:¡dn Wp:nXn WZ]mil[®Zgj] efnw¸iqQ[sZgfn ejZgfermpqn ejildEpqdK[sKg±n}efZgjermp:n}efiBdejd{1 eju
ilIn WZ]^il|]\|oiq³[¸plkldZefn sKZ]iq>n WZ]^mtil[®Zgj] efnwEiq>plKe±n}efiBdejdy0 n WKpqn¬eru Q }s}¨9&¬d<n WZ]^iqn}WZ]|
WpqdKn WK]mtil[®Zgj] efnwiqR[sKg±n}efZgjermp:n}efiBd®efd 0 eruIp:n³y3]\uxn\B8il|@n}WZ]\u ]:pqgjsZ]\uIils·suxejdZk'hpq|p:nuxsKyKp
plgfkBil|}e±n}WZ[xj\¶ilQiB|}]\| Q }s
eZ¡efn W_ )m " }_ " } u C; "#+# u/
0 1 il3]|p:n}efiBd
m s m s S
m s U
m s h
iF8il|>[®i]\|}pqn ])s¢pqdK¸n WZ]Ju pl[^]¬:pqgjsZ]\u>iq¶º VX erumt]| n}plefdKgfw,pluxn ]\|³n Wpqd¬V¨CHZil|
grpq|}kl]J:pqgjsZ]\uXil]s¢n}WZ]h3]| 8il|}[®pldKmt]µ¡ejgfgvZ]3]dKHildHn}WZ]mWZiBu ]def[®Zgj][®]\dBnp:n}efiBdv¨
UJTS V rY$)[ ( .!& s)(X &BXaY\[]Y_^`Xa
o ]ej[®Zgj][®]dFn ]6<n}WZ]m| wUn}iBu wUuxn ]\[ suxejdZkn}WZ]gjejyZ|}pl| w L#@'iqIn}WZ]mil[®Zsn}]|JgjpldZklsKplkl]²og±£
Zil|*f RiBdpyZe±£ Z|}imt]\u}u il|_{)]dFn ejsZ[ ª ªxª³iB]\|}pqn ejdZkpqnf #EW_!lF¡efn WEpkBefkFpqimn}]tn/il¶[®][®il|}wl¨
²ogjZil|erup®WZejklW£gj]l]\gR8il|}[¸pqgvmtiB[®Zsn}pqn ejildEgrpqdZkBsKpqkB]J¡|}efnxn ]\dEefd¬¨_o ]iByn}plefdZ]6n}WZ]h8iBgfgji:¡efdKk
|}]\u sZgfn}uO,u ]\]\u m\pqgj]\µn}i*qB EW¸]\dFn ejsZ[2:8iB|¶n}WZ]>n}WZ|}]]/ZexR]|}]dFnIuxwuxn ][¸uQ¡/]/Z|}il3iBu ]l¨¶VXWZ]6ux]
|}]\u sZgfn}uhmil[®Kpq|}]^¡/]\gfgI¡efn W n WK]¸| ]6uxsZgfn}uµil*%(I8iB|hiqn}WZ]|{h¬¨¶oiqn ]^n}WKp:niBsZ|hef[®Zgj][®]\dBnp:n}efiBd
¡XpludZilniln}ef[®e"!]6HpldKHmtilsKgjy]hej[®Z|}i:l]\yUw¸n WK]hsKux]µilQn}WZ]aHKpBunHZiBsZ|}ef]\|V¶|pqdKux8il|}[E¨
&¬]\|}pqn ejild VX£
_ VX£«q V£}L_%
µ]wkl]dK]|p:n ejild/8[¸uh _: _
IdKmt|}wUn ejild=,[®uh _ _%
o]6mt|}wUn ejild=8[¸uh %
{\M)t
o ]Z|}]\u ]dFn}]\®WZ]\| ]ph3ilgjwUdZil[®erpqgKpldKpqgjilkhilvoVXFmpqgjgj]\VX¨FVXWZeju/uxwuxn ]\[]\d:~i:wu³ph|}efkBil| £
iBsKu]|}ef:pqn ejildilvn WZ]µ]6mt|}wFZn ejildvpqd]\u}mpl]6u/´Q´¶´pqdKE)V yKplu ]\p:nxnplm¤u\¨)VXWZ]µmtiB[®Zgf]e±nw
ilK]dmt|}wFZn ejildpldKZ]\mt|}wUn ejildeju)n}WZ]u pl[®]³8il|)n}WZ]u pl[^]Xº:;qVXWZ]u e!\]/ilº ¡WZejmW¡pBu¶K| iB[^ejdZ]\dBn
ejdoVX u ]]\[®uhn i<ZgrpLwWZ]\| ]pEgj]\u}u ]|h|}ilgj]^ejd»u ]\mtsK| efnwpqdpqgjwUu eru¨²¬up<mildKu ]\zFsZ]\dKmt]B¶uxWKil| n ]|
:plgfsZ]6uXiq@º [®ejklWFny]h]\[®Zgfi:wB]\©|}]\u sZgfn ejdZk®efd<u ]\]\HpqdKH¤B]wu e!\]µef[®Z|}i:l]\[^]\dFn}u\¨
VXDeruXKp:n}]dFn]\dKejdZkK¨
®@c ¶ÁUÀ %½ Â ½ ½ VXWZ]hn WK| ]\]pqsZn WZiB|}upl| ]hejdK]\yn ]6En i <pqdUsZ]\gV(| iBdKuxn ]ejdE8il|oyKplu ejm]\U£
smp:n}efiBdEefd{)il3i:pldK<²gril|6¨/VXWK]ux]6mtildHplsn WKil|eruejdK]yZn ]\<n i¸Z|}iq~]6mnJ²H $8|}il[ ªoª²
ilZWZerp8il|¸pn}WZ|}]]E[®ildFn WKu^WZiFuxKe±npqgje±nwB>pqdK¯n i pJ&J´]&J kB|}pldFn^ª¬ª²£ª _qlKt£_qBB_8il|
u sZZ3il| n\¨
÷Q÷
Ë(ZÿÙ6Ø
": J) JM
f
_(h²¨(Xpl| kU/il[®Zgj] efnweru}uxsZ]6u³ejdmtiejdZkhn}WZ]iB| wB/Wpqn}]| efd49% D;HF 9! C7:
è ¨K{³gf]6u u\_o¨¬¨sCxR[¸pqdvK]\Zu\KiB|xn}W oilgjgjpldK/F%¨
m Igjef]6mt]B\ejd
a^¨¨U/ilWK]dvqª¨ildK¤LplgjpK ¨l´¶e±nuxwUdvF²¨l´¶ilyKuxn ]\efd¶ (4 91 3Foil| n W£iBgfgrpqd ¨
¨v/ilZ3]|ux[®efn Wv3²¨ WKpl[^ej|6´¶pqnxn}ejm]p:n n}plm¤uiBdoVX IsZ|}imt|}wFZnc Z|}ejdZkl]\|o´¶µ
L_
xF Ol_UZB¨
(¬¨JaJ]dFn |}wlRµ]wP| ]6mti:l]\| w¦pqd [®]6u u}pqkB] pqnxn}pBm¤uiBd ¬VX£«mtil[®3iBu e±n}]l_IsZ|}imt|}wUnZl
Z| ejdZkB]|´¶µ
_qq2¥_qlK¬F%F_RFq¨
l]xR|}]w i xRuxn ]\efdvlefgjg@{IefKWZ]|6qiFux]\ZW ¨ ejgfB]|}[¸pqdvRoVX'E©²efdKk (Xplu ]\{³sZyZgjejm#µ]w
/|}wUn iFuxwuxn ]\[ efd ²gjklil|}efn WZ[®ermosZ[y3]|VXWZ]\il|}w=,²o¬V ª ªxªVt¶{)il| n grpqdK©N&Jh lsZdZ]HF%K
K¨{Q¨y(sZWKgf]\| ,]\©¨+´v]\mtn sZ|}]Eiqn}]\uefd /il[®Zsn}]| mef]\dKmt] U_ K| ejdZkl]\|x£ÃI]|}grpqkK (]|}gfejdv
%ZZ_q £_%%K¨+mtiBFwU|}efkBWFnJ%K Z| ejdZkB]| £¥ÃI]\| grpqk
!"$#&%###'$ ")( )*+,+ -"!./") 10!#2!34536789-
%h{)¨ hpl| s pqdK Z¨ ´¶ilej¤U¤LpldZ]d¶ {I|plmtn ermplg mil[®Kpl| eruxiBd iq ,pluxn ZsZyZgjejmt£¥¤B]w
m| wUn}iBu wun}][¸u ][®ejdKpq| iBd ]n¡/iB| ¤ ]\msZ| efnwl V¶]\gf]6mtil[®[sZdZermp:n}efiBdKu ilnx£
¡Xpq|}] pqdK EsZgfn ej[^]6erp ´Qpqy3il|p:n}il|}wl ]\gju ejdZ¤Ue odZejl]|u e±nw il VQ]\mWZdZiBgfiBklwB¨
:3;<="?>6% @A%BB$ C6%D)E!**GFHIF)*1 JFFF $#)(K536<
h¨4¬ilyZgje±n!l.Igjgjefn}ejmmtsZ|}l]6um| wUn}iBu wun}][¸u <pqn WEiq>/il[®v¨%F% /_l
Z_qZ¨
j\jµdUsn}Wv¨f
P+L#HF 4:#6C IE1' '::; 9!lZÃIilgv_Z_qdK]6©¨jZ²ZeruxiBd£o ]\u gj]wl]6plU£
ejdZk<plu}u\©F%Kl¨
jl ¬¨KLpld<´viBpldv 4:#6C 4M 49 ;L ': B4OD@3 F4a0PML 43NLV'C '9.3F4:^ ª² HZ|}ild£
n}ef]\|}uefdE²ZKgfej]\<pqn W,B_¨
VXWK]il|}wlªV£
j6_(µVµ¨ EsZgr]\|}u\²¨ n}il|+~ilWKpldZdv6&¬dEgrp:n n ermt]|}]\ZsKmn}efiBd8iB|o3ilgjwUdZil[®erpqgv[¸p:n}| ermt]6u]+_lllV¶]6mW
]3il| n q;³V 3sK| ermWv¨
j µ¨K¨)<m ³gfej]\m]lGO ²¯KsZyZgjejmt£¥¤B]whmt|}wUn iFuxwuxn ][DyKpBux]6iBdpqgjkl]\yZ|pqerm³mtiejdZk¬n WZ]\il|}wlPB{³´
{³| iBkl|}]\u}u]3il| nXU_L£l3Bl£}B\2xF %t¨
j!H¨QZ¨ plm o ejgjgferpq[¸u\®¨K¨²¨ gjiBpldZ]l P C7 HFSR'4 4'ON 0 91 3oil| n W£
oilgjgjpldK,
¨
j(4?B"&T3
õ8ö)÷võ
Æ
j\ K¨K{IejZWZ]\|\R/ilsZ|ux]µiln ]6u8il|HZiBsZ|}ef]\|ª«dKun}e±n}sn ]u sZ[®[®]|ou}mWZiUilg¥ZaJ| ]\dZilyKgf] +_llF_¨
j ¨¨){)ilWKuxn\ ¨ mWKiF]\| dKefk]&¬d efdFn ]\kl|pqgIyKpBuxeruh|}]\smn ejild ejdklgjilyKplgQ8sKdKmn}efiBd ° ]grZu\){I|}iq£
m]]6efdKkBuXiqI²o¬V £ªxª K| ejdZkl]\|XÃI]|}gjplkK¨.XFl/_ ( £_%F_¨
jF%µ¨efB]\uxn\J²¨ WKpl[®ef|6¬´>¨²gf]\[¸pqdvµ²![®]n WZiP8il|EilynpqejdZejdZk ejklefn}plghuxejkldKpqn sZ|}]\uHpqd
KsZyZgjejmt£¥¤B]wm| wUn}iBu wUuxn ]\[¸uK/il[®[E¨Zil)VXWZ]²o 3_ F %oL_qq£}L_qZ¨
jF K¨¨ ejgfB]|}[®pldvI² E]\]tn £¥ª«d£«VXWZ]£EerZgj]iBd¯pqd oVX {I|}ejLpqn ] µ]wlIK| ]\Z| ejdFnpL:pqejgjplyZgj]
8|}il[ ?B"&T3¶¨
÷Q÷
Ë(ZÿÙ6Ø
') ']M
7 \ Á ÂQq@lÁ 3
H½ \l lk @lÁ Á % k³½ : lÁ 3
_Z¨f oiqnp:n ejildu¢¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
_Z¨_ µ]\wH/|}]\p:n}efiBd§¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
_Z¨ ³dKmt|}wUn ejild<pqd¬]\m| wUn}efiBd ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
3 ¶½ ¶ l8 ¾ %¾ l8
¨f (|}sn ]J8iB|}m]µpqnxnplm¤ ¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
¨_ E]\]tnx£ ejd£+n}WZ]t£[®ejKgf]pqnxnplm¤®¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
¨ <sZg±n}efKgf]µn}|}pldKux[®eru u ejildEp:nxnplm¤u ¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
¨ {)iBi:oil|}[¸pqgR8il|}[ ¨h¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
¨ ²n n}pBm¤ild<p^ZsZyZgjermµ¤l]w ¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
¨ ²Z]\mteru efiBdZ|}ilyKgf]\[¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
! : ½ ½ ½ %½ q lÁ
¨f /WKilermt]µiqIº ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
¨_ ¬]kB| ]\]µKpq|pq[®]tn}]|u ¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨ %
¨ ]\mtiB[®[^]\dK]6H{@pl|}pl[^]n ]\|}u¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨ %
!¬½ %Á ½ %¾ @l8 '
Z¨f /iB[®Zgf]e±nwil)ª«[®Zgj][®]\dBnp:n}efiBd ¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨ %
Z¨_ ²mtn sKplgvª«[®Zgj][®]dFn}pqn ejild ¨µ¨h¨µ¨h¨h¨J¨h¨µ¨h¨µ¨h¨h¨µ¨h¨µ¨h¨J¨h¨µ¨h¨h¨µ¨h¨µ¨h¨µ¨h¨h¨J¨h¨
Á %¶@lÁ
õ8ö)÷võ
Æ
Unité de recherche INRIA Sophia Antipolis
2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)
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)
Éditeur
INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)