Left Pattern Matching Predictor is Optimal Over Bernoulli Source Models

HAL Id: inria-00073110

https://hal.inria.fr/inria-00073110

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.

Left Pattern Matching Predictor is Optimal Over Bernoulli Source Models

Philippe Jacquet

To cite this version:

Philippe Jacquet. Left Pattern Matching Predictor is Optimal Over Bernoulli Source Models. [Re- search Report] RR-3571, INRIA. 1998. �inria-00073110�

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

LEFT PATTERN MATCHING PREDICTOR IS OPTIMAL OVER BERNOULLI SOURCE

MODELS

Philippe Jacquet

No 3571

TH `EME 1

#$ %$ &' !() !"* #(+, !)-"

.0/214351462687:9<;=?>A@B7?C

DFEHGJILKNMOQPSRUTVKUWYXHZ[K]\^TV_`Ta\bGJILKUT

cedbfYgaKJ\^hSikjlKUdbmJfnI

PSWYjojlf?dp\Sq`K0dbKUmrEHKUdbmrEoKsutnvxw?yzM*O O{M}|~joWnnKUT

€[B‚UƒJ„†…H‡nƒnˆL‰ KuTpEof†Š‹\bEoW†\^\VEHKŒŽK]\‘c2WY\p\bKJdbs:’:W†\rmrEHi“so”jHdbKUq`i•m–\bfndSi•TSjKJdV—KUm]\˜WYslq™fnj`\bi“INWYšf†›nKUd

œKUdVsHf?XHškš“i<Tpf?XHdrm]K^ILf`q`KUškTUž

‰

K˜jHdbf†›nKS\bEHK˜jHdVf?jlfxTpi“\Vikfns[Ÿx_Niksoq`Xlm–\Vikfns fns[\VEHK¡Tpik¢JK˜fYA\VEHK‘\VKJZx\}ž

‰ K

dbKUqHXom]K0\bEHK~TVik¢JK£fn8WL\VKJZx\˜Ÿz_*XlTpiksHN\bEHK~TVi“ILjHškK£\bdVi•mr¤*fY¥KJsHš•WYdbniksHL\bEHK~TVi“¢UKufnB\bEHK~Wnš“joEoWYŸK]\¦U§©¨

\bEHK[XlTpK”fnSŸHXomr¤?K]\~TV_zIuŸfnš•TJž ‰ K[jodVf†›?KL\VEHK i“soqHXom–\bi“f?sªfnsªWnsªKJsHš•WYdbnK}qjHdVf?ŸHškKJI«fnsªŠKJiknEx\VK}q

jlW†\p\bKJdbs INWY\bmrEHiksHLŠ¬i­\bE*\VEHK0XoTVK0fYBjoWYikdbi“sHNmJf?Tp\FINWY\Vdbi­Z®ž

¯±°x²<³b´uµ „†¶B‚nˆ· sH—fndbILWY\Vikfns*DFEHKJf?dV_?¸xc8dVK}q`ikm]\Vf?dU¸zc¥W†\V\VKJdbs™’:W†\rmrEHi“soo¸`œKJdbsHfnXHškškiŽTpf?XHdbmJKUTU¸x¹^š“joEoW†º

ŸK]\

»•¼®½V¾À¿UÁF½¬ÂBÃk¾ÀÄ4Å]Æ

ÇÈoÉBÊÌË<͖ÎÏÎÑÐrÒn͖Ó5ÐbÔ5ÕÖ]×FØBÓ5ÐrÙJÔ2ˮڎØÜÛݖޖߖߖà–ßFÕÏÙÜá©Í–ÕÏÙ]Ôâa͖ÎÏÎÑÐrÒY͖Ó5ÐbÔ4ÕÏ͖٘ãAÕÔ5ä¡åoæçÓ5è}æç×8éÙçÕÖ]×aÓ©ê4ÕԐë

Unit´e de recherche INRIA Rocquencourt

Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) T´el´ephone : 01 39 63 55 11 - International : +33 1 39 63 55 11

T´el´ecopie : (33) 01 39 63 53 30 - International : +33 1 39 63 53 30

) $%*' + ','-./ ''&01.

23 ‚546 3 ˆ87 f?XoT¡ILfnsx\VdbfnslT:9xXHKNškKNjHdbRUq`i•m–\bKJXHd%;*dbKUmrEHKUdbmrEoKq`KNILfn\Vi“;*?WnXomrEHKLKUTp\£joWndp©Wni­\0K]\

f?j`\VikINWYšATVXHdSškKUT^Tpf?XHdbmJKUT¬œKJdbsHf?XHš“ški4ž 7 f?XoTSjHdbfnXo›nfnslTmJK]\V\VK£jHdbfnjodVikR]\bR˜jlWYdSdbRUmJXHdVKUsom]K0TVXHdSš•W\bWni“škš“K

qHX0\VKJZx\bKTVfnXoIi•TUž 7 f?XoTAdbRUqHXHikTVfnslTŽš•W¬\bWni“škškKÜq`X0\bK]Zz\VKjoWndAXHsHKÜK]Z`joWnsoTpikfnsFgaXlq`ikmJi“KUXoTVKq`Kܚ=<WYškjHEoWnŸlKJ\U¸

?dbW?m]K>;±š?<XlTVWnnK”q`K}TuTV_xI~Ÿlf?š“K}T0dbRJXHsHi•T£KUs joW@9xXHKJ\Už 7 f?XoT£jodVf?XH›nf?soT¡š=<fnjH\VikILWnš“i“\VR q`XªjHdbRUq`i•m–\bKJXHd

qoWYsoTFXHs±mUWnTnRUsHRJdrWYš<f@A*š•W~dbKUmrEoKJdrmrEHK˜qHX*ILKUi“škš“KUXHd¬ILfY\bi­2KUTp\¬jlf?soq`RJdbR¡joWYd¬XosHK0INW†\Vdbi•m]K¡q`K£m]fCB`\Už

Dµ

ƒ}‚

³

‡@E

3 ˆ

DFEoRJfndbikK~q`K~š=<

·

s`—fndbINW†\bi“f?sŽ¸lc8dVR}q`ikm]\VKUXHdU¸®P¬K}mrEHKJdrmrEHKuqHK~ILfY\bi­a¸-F`fnXHdrm]K}T^œKJdbsHfnXoš“ški5¸

¹^š“joEoWYŸK]\

1 -> %1

‰ K‘mJfnsoTVi•q`KJdFWYsNiks! osHi“\VK˜drWYsoq`f?I#TpK 9?XoKJsomJK#"%$"'&)(((*"'+,((-(??KJsHKUdbWY\VK}qNWnmJmJfndrq`iksH¡\VfLWYsNXHso¤xsof†Š¬s

drWYslq`fnITpf?XHdbmJK£jHdbf`m]KUTbT¬ŸoW?TpK}q™fns:W. lsHi­\bK~Wnš“jHElWYŸK]\Už ‰ Kq`KJsHfn\VK0/+*\bEHKujHdbK oZ*fn2škKJsoY\VE1fn

\bEHi•T8TVK59xXHKJslm]Knž¥¹ jodVK}q`ikm]\Vf?d8i•T8W¡—XHslm–\Vikfns32.4/+652fn%/+LŠ¬EHi•mrE”Tp\Vdbi“›?KUT2\bfujHdbKUq`i•m–\7"'+98:$¬¤zsHf†Š¬i“so

f?sHšk_/.+<ž¥¹ jKJdV—KUm–\FjHdbKUq`i•m–\bfndFTpEofnXHš•q”ŸK;2.4/+65=<>"?+98:$Yž2cBKUdp—K}m–\FjHdbKUq`i•m–\bfndrTÜWndVK˜fnsHšk_LjlfxTVTVikŸHš“K

f?s drWYslq`fnILškKUTbTTVfnXodbmJKUTUž@˜škfnŸoWnš“šk_”jKJdV—KUm]\SjHdVK}q`i•m–\Vf?dbTFWndVK˜\VEof?TVK˜Š¬EoikmrE±TbW†\Vi•T* oKUT

cedAB2.4/ + 5=<DC6EF<ced-A-" +G8:$ <HC'E

f?d¬WnTV_xILj`\bfY\bikmUWYškš“_”?š“f?ŸoWYškšk_NjlKUdp—K}m–\SjHdbKUq`i•m–\bfndrTŠ¬EHKJdbK9I

JLKNM

+GO0PRQ

ced-AS2.4/ + 5=<DC'E#TÌc8dAS" +98:$ <DC'E

Q

<DU

DFEoikT¡TVEHfnXHš•q±sHfn\˜ŸKNm]f?s`—XoTVKUq±Š¬i“\VEfnj`\bi“INWnšjHdbKUqHikm]\VfndrT‘Š¬EHikmrEÌILi“sHikILi“¢UKUT˜ced-AS2.4/.+65WV<X"?+98:$SE

f?dLŠ¬i­\bE W?Tp_zILj`\bfY\Vi•mJWnš“šk_ fnjH\VikILWnš¬jHdbKUq`i•m–\bfndLŠ¬EHi•mrE \bKJsoqoT\Vf ILi“sHikILi“¢UK™\VEHi•TNjHdbfnŸlWYŸHikš“i“\a_ Š¬EHKUs

1ZY\[ ž P¬KUILWndV¤\bEoW†\LŠ¬i­\bE œKJdbsHf?XHš“škiFTpf?XHdbmJK”ILf`q`KJš•TJ¸8nškfnŸoWnš“šk_ÌjKJdV—KUm]\jodVK}q`ikm]\Vf?dbT~WYdbK WYš•TVf

f?j`\VikINWYš¬WYslq¦}§±¦]J¨†ž ·\”i•Tu\bdVXoK \bEoW†\L—f?dLWnš“š¬¤ziksoqHTLfn‘Tpf?XHdrm]KUTf?j`\VikINWYški­\a_ ikILjHš“ikKUTL?š“f?ŸoWYš

jKJdV—KUm]\Vikfns ŸHX`\L\VEHK±mJfnsx\VdrWYdb_Ìi•TsHfY\NWYškŠFWç_zTu\VdbXHK?ž_^Hf?dKJZHWYILjHškK WÌjHdVK}q`i•m–\Vf?dNmJWYs ŸlK*nškfnŸlWYškš“_

jKJdV—KUm]\܏—f?d’ WYdb¤nf†›~TVfnXodbmJKUTeŸoX`\¬sHfY\fnj`\bi“INWYš4¸`TpiksomJK^\bEHK‘jodVf?ŸoWYŸHikški­\a_fYŽ\bdbWnsoTVi­\bi“f?sN—dVf?I\VEHK˜škW?Ta\

TV_zIuŸfnš®INWç_”sHfn\¬ŸlK0dbKUTVjlK}m–\bKUq®ž

¹^sK]ZHWYILjHškK fYNTpikILjHš“K jodVK}q`ikm]\Vf?d*i•T™\bEHK fnsHK Š¬EoikmrEdbKJjKUW†\rT*\VEHK š•WnTp\:mrEoWYdrWnm]\VKUd*fn`/+%I

2.4/+65#<a"?+®žcb‘Ÿz›xikfnXlTpšk_*\VEHi•T˜jHdVK}q`i•m–\Vf?d‘i•T˜fnj`\bi“INWnšBWnsoq:?š“f?ŸoWYšBjlKUdp—K}m–\˜—fnd¡œKJdbsHfnXHškškiBTVfnXHdrm]K}TJž

DFEoK0jHdVK}q`i•m–\Vf?d¬ikT¬W?Tp_zILj`\bfY\Vi•mJWnš“šk_”?š“f?ŸoWYškš“_[jlKUdp—K}m–\¬—fnd‘’:WYdb¤nf†›NTVfnXHdrm]K}TFŸHX`\SsHfn\^WnTV_xILj`\bfY\bikmUWYškš“_

f?j`\VikINWYš<TpiksomJKS\VEoK^\bdbWnsoTpi“\Vikfns”\Vf£\bEHK˜škW?Ta\FmrEoWYdrWnm]\VKJdÜikTÜsHfn\FmJfnsoTVikqHKJdbKUq®¸?i“s joWYdV\Vi•m]XHš•WYd8—fndF’:WYdb¤nf†›

TVfnXodbmJKUTŠ¬EHKJdbK¡ced-A-"'+G8:$d<>"?+?Ee<HUož

œK]—f?dVK~WnTV_xILj`\bfY\bikmUWYškš“_ fnj`\bi“INWYšjHdbKUq`i•m–\bfndrTSWYdbK¡\VEHKWnTV_zIjH\VfY\bikmUWYškš“_ š“f`mUWYškš“_*fnj`\bi“INWnšAjHdbKUq`i•m–º

\bfndrTIB—f?dSWYškš®i“sx\VKUnKUdgf%IB—fndSWYškšATVXHŸzŠÜf?dbqoTh%iufYškKJsoY\VEjf[nKUsHKJdrW†\bKUq Ÿx_”\VEHK0drWYsoqHfnI!TVfnXHdrm]KGI

JLKNM

+GO0P Q

ced-AS2.4/ + 5k<HC

Q " +mlni (-((o" + <Hh i E#TÌc8dAS" +98:$ <DC

Q " +mlni (-((" + <>h i E Q

<DU

·\¬i•TFsHfY\Sq`iLp”m]XHš“\¬\VfLjHdbf†›nK^\VEoWY\SWnTV_xILj`\bfY\bikmUWYškš“_Nškf`mJWYškšk_”fnj`\bi“INWnšjodVK}q`ikm]\Vf?dbTFWYdbK¡WnTV_xILj`\bfY\bikmUWYškš“_

f?j`\VikINWYš<—f?dSTpf?XHdbmJKUTFTbW†\Vi•Tp—_xiksHLILi­Z`iksHNm]f?soq`i“\VikfnsoTUž

DFEHKÌWYjHjHški•mJW†\bi“f?soTNWYdbK±szXHILKJdbfnXoTNWnsoqINWç_-sHfn\”sHKJK}q\Vf ŸK:š“i•Tp\VKUqiksq`K]\rWYikškTUž‹DFEoKJdbK:WYdbK

WnjHjHškikmUW†\bi“f?s iks*mJfnsx\Vdbfnš4¸z—fndbKUmUWnTp\U¸ osoWnsom]i•WYšŽqoW†\bWo¸Hm]f?II~XHsHi•mJWY\VikfnsŽ¸:qJž

·

s\VEoKjodVK}TpKUs?\0sHfn\VKLŠKiksz›nK}Ta\bi“xW†\VKc¥W†\V\VKJdbs ’:W†\rmrEHi“so*ŸlWnTVKUqÌjHdVK}q`i•m–\Vf?d.r“MY¸B|Ss4ž”¹joWY\p\bKJdbs

INWY\bmrEHiksH*jHdVK}q`i•m–\Vf?d˜TbmJWnsoT‘\VEHKLTVK59xXHKJslm]K`/.+ i“sÌfndrq`KJd˜\bft oslq:\bEHKLškWndV?KUTp\˜TVX!pLZ:Š¬EHikmrEÌEoWnT¡Wns

KJZHWnm–\¡m]f?jx_™iksoTVikq`K`/+<ž£ŒŽKJ\;f:ŸlK~\VEHKjf?TVi­\bi“f?s iks/+±fY8\VEHKškW?Ta\0mrEoWndbW?m–\VKUdSfY8\VEHi•T0m]f?jx_?¸o\bEHKJs

\bEHK0jHdbKUq`i•m–\bi“f?s i•T\VEoKJdbK]—fndbK˜\VEHK0›†Wnš“XHK˜\bEHK£mrEoWYdrWnm]\VKUdgaXlTa\^WY\VKJdSI=2.4/+65k<>"%i8:$nž

· s‹\VEHK mJW?TpK̊¬EHKJdbK:\bEHK škWndV?KUTp\ TVX!pLZEoWnT*ILfndbK:\bEoWYs‹fnsHK m]škfnsHKÌi“slTpi•q`Ku/.+\VEHKUdVKÌikT™Wns

WnIuŸHiknXoi­\a_?ž · 8f?sHK~TVKJškKUm]\^\bEHKc ldbTp\¡mJfnjz_ \VEHKUs ŠK~WYdbKuiks škK]\¡š•WYdbnKUTp\^joWY\p\bKJdbs INW†\rmrEHi“so[›nKUdbTVikfns

v

ŒŽc8’«jHdbKUqHikm]\Vfndw–¸`i“2ŠÜK0TVKJškKUm–\¬\bEHK0š•WnTp\¬mJfnjz_”ŠK0WYdbK‘iks™dViknEx\¬škWndV?KUTp\FmJfnjz_

v

P¬c8’«jHdbKUq`i•m–\bfndw–ž

· s\VEoKKJZz\VdbKJINWYšemUWnTVK~Š¬EHKUdVKLsHf™š•WYdbnK}Ta\0TpXxpZmJWYsŸK~—f?XHsoqnIN§y0Š¬EHKJs\VEoKš•WnTp\£mrEoWYdrWnm]\VKUd

fne/+EoW?TNW ›çWnš“XoK:Š¬EHi•mrE WnjHjKUWYdrTLsHf†Š¬EHKUdVK™KUškTVK±i“s \bEHK:TVK59xXHKJslm]Kn¸\bEHKJdbK]—f?dVK™Ÿz_mJfnsz›nKUsx\Vikfns

2.4/ + 5=<>" & —fndSŒŽcܒ«Wnsoqz2.4/ + 5=<H" + —fndSP¬c8’ªž

ÚÚÙ={-|–Þ}-~

·

\NŠ¬ikš“š¬ŸK jodVf†›?KJsªiksW sHK]Zz\NjoWnjlKUdŠ¬i“\VE

‰

fYgpm]ikKUmrE Fz¢JjoWnsH¤nf†ŠSTV¤zi8\bEoW†\Lc¥W†\V\VKJdbs ’:W†\rmrEHi“so

jodVK}q`ikm]\Vf?dbT~WYdbK WYškšFWnTV_xILj`\bfY\bikmUWYškš“_š“f`mUWYškš“_ fnjH\VikILWnš—fndLW:›nKUdV_š•WYdbnK mJškW?TVTufY^drWYslq`fnI Tpf?XHdrm]KUT

v

ILi­Z`iksH ILfzqHKJšw–ž‹DFEoK:WYikIfY˜\VEoikT TpEHf?dp\NsHfn\VK±i•TL\Vf jodVf†›?K \bEoW†\[ŒAc8’ jHdbKUq`i•m–\bfndNi•TNnškfnŸlWYškš“_

jKJdV—KUm]\

v

Wnsoq”\bEHKJdbK]—f?dVK¡f?j`\VikINWYšw܏—fndSœKJdbsHfnXoš“ški<If`q`KUš5¸lWYsoq™P¬c8’«i•TFsHfY\}ž

1 $. '

‰

K¬\rWY¤nK}T2\VEoKSškW?Ta\ejlWYdrWYndrWYjoEufY<\bEHKSjHdbKJ›zikfnXoT¥TVKUm]\Vikfns”WYslq~ŠK^WnjHjHšk_£\Vfui­\8škK]\ÜjoW†\V\VKJdbsNINW†\rmrEHi“so

jodVK}q`ikm]\Vf?dUžÜfndbdVK}m–\bš“_”jodVK}q`ikm]\VK}q±TpXHŸlTa\bdViksH?T^WYdbK0XHsoq`KUdVški“soKUq®ž¬DFEHK¡\bEHdVKUK; odrTa\‘š“KJ\p\VKUdbTSfY2\VEHKu\VKJZx\

ŠKJdbK˜jHdVf†›zi•q`KUq*WnTFiksHi“\Vi•WYški“¢}W†\bi“f?s iksHjHX`\Siks*\VEHK0jodVK}q`ikm]\Vf?dSWYšknfndbi“\VEHI™ž

"!#! $%!&(') *$&""+-,-$. ($ /-"-! 01$.-2,)!435" "6&728)4)9

$&-:$&; $49=< 01()&/728$&; <>; 28$&=< &(-01$ @?;&A$ B<C $&/3& 2$49*9 &?

/$&!)6 &0D9E4F)/29 GH01'&!43 0I46&""J -, $&0:&? -, 79 9E,&4 !&&-K79 )L"/4

-,-$. "?; "$ //-!M01$;)2,)!&3N"-6&728)& 79 3&.&8$&; < "" ?.28#GO$4!)6 -, -"?4

&"/01$& J ?(4 8 -!&4F) 0I46& $4!)6 -73&,- "$ //-!M01$;)2,)!&3N"-6&728)&

79 !&&

Üf?s?\bdbWndV_*\bf™WnjHjoWndVKUsom]K?¸<\VEHKNINW†\rmrEHiksH ŸK]\aŠKJKUs \bEHKLjHdbKUq`i•m–\bKUq \VK]Zz\uWnsoq:\bEHKLfndbi“?i“slWYšB\VKJZx\

i•T‘›nKJdb_™nfzf`qnISILfndbK£\bEoWYsÌfnsHKu\VEHikdrq:fY8\VEHKš“KJ\p\bKJdrT

v

K]ZHWnm]\Všk_ Ux(PPQRSwFŠKJdbK~mJfndbdVK}m–\bš“_*jHdbKUq`i•m–\bKUq®¸

Š¬EoikmrE*ikTSIuXomrE*ŸlKJ\p\bKJd¬\bEoWYs±WdbWnsoq`f?I#nXHK}TVTFf†›?KJd\VEHKu|?wuqHiTS<KJdbKJsx\^TV_xI~Ÿlf?škTFXlTpK}q WnŸlf†›?Knž

ŒAK]\SŸKJškf†Š WdrWYsoq`f?I#\VKJZz\^fnŸ`\rWYiksHKUq Ÿz_ WLœKJdbsHfnXoš“škiŽTpf?XHdrm]K0Tp_zI~Ÿlf?š®XoTpiksHL\bEHK£TVWnILK¡TV_zIuŸfnš

jodVf?jlf?dp\bi“f?s[WnTFiks[\bEHK¡jHdbKJ›zi“f?XoTÜ\VKJZx\}žeDFEHK0m]f?dVdbKUm]\jHdbKUqHikm]\Vikfns[jodVf?ŸoWYŸHikški­\a_”q`dbfnjlTqHf†Š¬s[\bf.U6(UUBVlž

-!-' 44$)&$44-=-K,43WX!X-/$W;(-&Y( 6)/$ $.)40Z<4?(9Z9E;2-! 9 /$&/$ 24,)

?.X-,)$-3&/-8! "2F)0N[<($"$&4-8 -F)0 ?.('4"80:!&01""Y.<4 $-F)!)

? 73&0I6&"!&"!)!--6&\/?:-"$->;-"0I34"74 \](/$ -.K!&&M$)$& !-$.-$;-

$&740I9E"""?^$_$&?%0I_`) 9E4;!- 0I01/$&8/$:($_-?."01$aGH";b6_$:/--$&,)F4-c

,/< L<)4"X;!&4!)?."9$&;,&&8<d9e$&6/$&$490$.-""0I3 $&!)""$)'&!&0--/&$49$))-01;?.6)

ŒAK]\XlTmJfnsoTVikqHKJdW^ŸHiksoWYdb_˜Wnš“joEoWYŸK]\7ASCf^gSE‘žœKJškf†Š ŠÜKq`ikTVjHš•Wç_^\bEHK܌Ac8’,Wnsoq£P¬cܒ#jHdbKUq`i•m–\bi“f?s

f†›?KJd¬WŸHiksoWYdb_”WYškjHEoWnŸlKJ\^WYsoq*WYškšATp\Vdbi“sHxTfY2š“KUsHY\bE™|LWnsoq vož

h—ÇBÚ)hÈ

Tp\Vdbi“so ŒŽc8’«jHdbKUqHikm]\Vikfns P¬c8’ jodVK}q`ikm]\Vikfns

CmC C C

C(g g g

gC C C

geg g g

CmCC C C

CmC.g C g

C(gC g g

gCmC C C

gegC g C

gC(g C C

C.gg g g

ggeg g g

CmCmCmC C C

CmCmC(g C g

CmC(gC C g

C(gCmC g C

gCCmC C C

CmC(geg g g

C(gC(g C C

C(gegC g g

gCmC(g C C

gC(gC g g

gegCC C C

C(gegeg g g

gC(geg C g

gegC(g g C

gegegC g C

gegegeg g g

ŒAK]\

+

4?5‘ŸK~\bEHKLjHdbfnŸoWnŸHi“ški“\a_±fYÜjodVK}q`ikm]\ViksH C±f†›nKUd˜W™œKJdbsHf?XHš“škiB\VKJZx\0fnÜškKJsHn\VE 1-Š¬EHKUdVK.C

f`mUm]XHdrT2Š¬i­\bELjHdVf?ŸoWYŸoš“i“\a_NWYsoq g8Š¬i­\bELjHdVf?ŸoWYŸoi“ški­\a_XR TŽž + 4?52ikT¥W¡jfnšk_zsHfnILi•WYš`fYLŠ¬i­\bENq`KJ?dVKUK

TVINWYškš“KUd\VEoWns*f?d¬K59xXoWnš<\Vf.1¥ž ‰ K£mJfnILjHX`\bK + 4%58—fndd1j< "fPf((-(Ѹ

7&4%5 <

4%5 <

4%5 <

4%5 <

4%5 <

B4%5 <

4%5 <

4%5 <

$4%5 < v

MSw

ÚÚÙ={-|–Þ}-~

DFEHKUdVKJ—fndbK˜ŒAc8’ikTFf?j`\VikINWYš—fndF\bEHf?TVK‘›†Wnš“XHK}TfY1¥žeDFEoK‘f?Ÿ`gaKUm]\FfnA\bEHikTFsofY\VK˜i•T\VfLjHdbf†›nKS\bEoW†\

\bEHi•T^dbKUTVXHš“\^ikT^\VdbXHK0—f?d˜Wnš“š1 i“sÌWNnKUsHKJdrWYšŽŠFWç_nž‘œÜXH\‘ŸK]—fndbK£ŠK£Š¬ikš“šBjHdbf†›nK¡\VElW†\˜PSc8’ jHdbKUqHikm]\Vfnd

i•T,? ŽfnjH\VikILWnš5ž

ŒAK]\ + 4?5^ŸK~\bEHKLjHdbfnŸoWnŸHi“ški“\a_ \bEoW†\¡\bEHKLjHdVK}q`i•m–\VikfnsÌikT˜K 9?XlWYšB\Vf±TV_xI~Ÿlf?š=C™f†›nKJd¡W*œÜKUdVsofnXHškš“i

\bK]Zz\SfY2škKJsHn\VEz1̊¬EoKJdbK,C[f`mJm]XodbTFŠ¬i“\VE™jHdbfnŸoWnŸHikš“i“\a_ ±WYslqWg^Š¬i“\VE±jHdbfnŸoWnŸHikš“i“\a_ RdT Žž + 4%5ikT¬W

jfnšk_zsHfnILi•WYš®fn ™Š¬i“\VE±q`KJ?dVKUK˜TVINWYškš“KUdF\VEoWns f?d¬K59xXoWnš<\Vf1¥ž8WnTV_[mJfnILjHX`\rW†\VikfnslTF_xikKJš•qnI

e& 4%5 <

4%5 < .T%P

&

4%5 < .T%P

&

4%5 < P .T%Q &

REU

TDR U

4%5 < P .TMRSU

&

9U T U

4%5 < V .TMR

&

V;U

T5U V T

4%5 < V .T 9U

&

Q

TNR-UGU R-UP

T5UP R

4%5 < .T%PR

&

RSUQ T

QP T BV

R*P9U

T#V

R-U

$ 4%5 < .T%PP

&

R T

V8RR

T%PQQ

TMRSU

BV v

|9w

FziksomJKe+%4%5eV< [—fnd1 <]P"f Vf-(((?i­\Fi•TmJš“K}WYdÜ\VEoWY\FPSc8’)i•TsHfY\fnj`\bi“INWYš

v

fndnškfnŸoWnš“šk_~jKJdV—KUm]\w

—f?dL\VEHK}TpK±›†Wnš“XHK}TLfY,1¥ž

·

\”Š¬ikš“šSŸK:jHdbf†›nKUs-iks WÌsoK]Zz\”joWYjKJd”\VEoWY\N\VEHi•TNjHdbfnjKJdV\a_ªi•TL\VdbXHK™fnsHšk_

¨]%q 5§r¨ †ž

°zµ „ ° 6 %†§q £§N];? ?4§L¨BG F? (­§.S9]!631#" 6y

$ „ µŽµ&% ˆ ‰ KLm]f?soTpi•q`KUdS\VElW†\˜Tp\VdbiksHt/ + i•TS—dbfnIW”œKJdbsHf?XHš“ški2Tpf?XHdbmJK£Š¬EHKUdVK0\bEHKjHdVf?ŸoWYŸoi“ški­\a_ :fn

TV_zIuŸfnš C[f`mJmJXHdbKJsomJK£ikT^›nKUdV_*TpINWYškš4žeb‘XHd^Wni“I$i•T¬\Vf[ILWn¤nK0\bEHK~DBWç_zš“f?d¬K]Z`joWnsoTpikfns±fn + 4?5Š¬i“\VE

dbKUTVjKUm–\F\bf Xoj \bf` odbTp\Sfndrq`KUdUž

‰ EHKUs™nKJsoKJdrW†\ViksHLTa\bdViksH./ + ¸HŠK˜ElWç›nK˜\VEHK˜—f?š“škf†Š¬i“soKU›nKUs?\¬ŸHdbKUWn¤`q`f†Š¬s I

Mnž ‰ i­\bE±jHdbfnŸoWnŸHi“ški“\a_ RdT 1 ('

4

&

5–¸x/ + mJfnsx\bWni“soTf?sHš“_Wg*)

|`žFŠ¬i­\bE”jHdbfnŸoWnŸHikš“i“\a_c1 +'

4

&

5r¸/.+NmJfnsx\bWni“slT¥fnsHšk_fnsHK#CŠ¬i“\VEL\VEoKg1™jlfxTpi“\VikfnsNK 9xXHi“jodVf?ŸoWYŸHškK)

vHžFfY\bEHKJdSmJfns! o?XHdrW†\VikfnslTÜf`mUm]XHd¬Š¬i“\VE™jHdbfnŸoWnŸHikš“i“\a_

'

4

&

5–ž

·

s™mJW?TpKMn¸z\bEHK0ŒŽc8’ WYslq[P¬c8’«jHdbKUqHikm]\Vikfns*ikTZgçž

·

s™mJW?TpK0|0\bEHK£P¬c8’jHdbKUq`i•m–\bi“f?s i•TdCNWnTFškfnso

\bEHK˜š“f?sHnK}Ta\Fm]fnsx\bi“szXHf?XoTÜTVK59xXHKUsom]K˜fYdg <TÜiks3/+Ni•TÜ\VEHK˜fnsHKÜgaXoTp\ŸK]—f?dVK‘\VEoK˜jf?TVi“\Vikfns”fnTp_zI~Ÿlf?š%C¸

slWYILKJšk_”Š¬EHKUszC”jlfxTpi“\Vikfns™›†WYdbi“K}TŸlKJ\aŠÜKUKJs,

+

&.-

Wnsoqt1¥žeDFEoKJdbK]—fndbK

+ 4?5=<0/

1

21

'

4

& 5

Š¬EoikmrE™m]f?s! odbILTÜ\bEHK£WYŸf†›nK‘sxXoIKUdVi•mJWnšŽm]f?IjoX`\bWY\VikfnsoTUž¥DFEHKJdbK]—f?dVK˜P¬c8’«jHdbKUq`i•m–\bfndFikTFsofY\SjKJdV—KUm–\

vfnj`\bi“INWnšNw܏—f?dSœÜKUdVsofnXHškš“i<ILf`q`KJš•TUž

h—ÇBÚ)hÈ

0 0.2 0.4 0.6 0.8 1

0.2 0.4 p 0.6 0.8 1

^iknXodVKLM9I2ceškfY\^qHikTVjHš•Wç_”fY 4%5r¸ 4?5r¸ ,$*& 4?5

2 ° 6ª…`„¥ˆ· sÌmJWnTVKu|NŒAc8’ ILfzqHKJšAjodVK}q`ikm]\bTFC[f?sHš“_*Š¬EHKUs™\VEHK~jlfxTpi“\Vikfns±fn¥TV_zIuŸfnš:C*i•TSKJZ`W?m–\bš“_

, +

&.-

ž0DFEHKUdVKJ—fndbK + 4?5g< ' 4

&

5¬—fnd¡WYškš1¥¸®Š¬EHikmrE ikT¡W nfzf`q±EHiks?\˜—fnd˜\bEHK~jodVf?jlfxTpi“\Vikfns±\bEoW†\

+ 4?5)< Až

DFEHK*WnTV_zIjH\VfY\bikmUWYšef?j`\VikINWYški­\a_fYSP¬iknEx\uc¥WY\p\VKUdVsª’ W†\bmrEoi“sH±jodVK}q`ikm]\Vf?dui•T£K59xXHik›†WYškKJsx\0\Vf \VEHK

©W?m–\F\VElW†\¬—fndSWnsz_ HZ`KUq UfRqI

JKNM

+GO0P

+ 4?5)< ( v

vGw

œX`\2iks?\bKJdbKUTp\ViksHnšk_¡KJsHf?XHnE£\VEHi•T¥m]f?sx›?KJdbnKUsom]Keq`fzK}TsofY\2i“ILjHšk_¡\VEoWY\\bEHK¬m]fzKp”mJi“KUs?\rTAfnojfnšk_xsofnILikWnškT

e+%4 m5¡mJfnsz›nKUdV?K~\bf±\VEoK[m]fzKp”mJi“KUs?\rT£fn\bEHK”jfnšk_zsHfnILi•WYš

v

fndujlf?š“_zsHf?Ii•WYšÜikqHKJsx\Vi“\a_xw–ž · sªfY\bEHKJd

ŠfndrqHT¥ŠKSf?sHš“_~EoWç›nKS\VEHK^mJfnsz›nKUdV?KJsomJKFfY<—XHsom]\Vikfns e+%4%5B\Vf Ni“s TpKUsoTpK^fY®ILKUWnTVXHdbK¬fnsU"fERÀ¸?WYslq

\bEHK0m]f?sx›?KJdbnKUsom]K^qHfxK}TsHfY\¬EHf?škq fnX`\rTpi•q`K‘\VEHi•TFiks?\bKJdb›†WYš4ž · s3 o?XHdVKM˜ŠÜK¡q`i•TpjHš•Wç_L\VEoK˜još“fn\ lnXHdbK‘fn

—Xosom–\bi“f?soT 4?5r¸ 4%5FWYslq ,$*& 4?5rž¬DFEHK~m]fnsz›?KJdbnKJslm]K˜fY F+n4?5Ü\bf ™i•T^TVKJsoTVi“Ÿoš“K¡—f?d:WYdbfnXosoq

R uŸHX`\

( '- %! $% 1# $-

"!#%$&#('*),+-'./0+#%'*#('*01

DFEoKjodVfzfYŠ¬i“škš¥jHdbf`m]KJK}q Ÿz_:dbKUmJXHdrTpikfnsÌfnsu1¥ž@˜ik›nKUsWnsWnš“joEoWYŸK]\0fYFTpik¢JK32 I.ASCx$*f(-((EfC(4Ex¸ŽŠÜK

qHKJsHfn\VK;/+6587:9:9:97+6;ªWLdbWnsoq`f?I,TpK 9xXHKJsomJK0Š¬EHi•mrE*dbKUTVjKUm–\bi“›?KJšk_[m]f?sx\bWYiksoTd1$˜TV_zIuŸfnš•TdCx$†¸x1 &0TV_zIuŸfnš

ÚÚÙ={-|–Þ}-~

Cm&n¸k((-(“¸ 1 4 TV_zIuŸfnš•T,C%4¬¸AWYškš¥jKJdbIuX`\rW†\VikfnslT‘ŸKJiksH™K59xXHikjHdbfnŸoWnŸHškKnž

‰

KNWYdbK~?fniksH \Vf*jHdVf†›?Ku\bEoW†\

—f?d¬KJ›?KJdb_”Tp_zIuŸfnš C2iks*\VEHK£Wnš“jHElWYŸK]\-I

ced-AS2.4/ + 5 7:9:9:97+ ;5=<DC EF<

1

1 v w

Š¬i“\VE 1 < 1$

1 4¬ž ‰ K™mJWYškš\VEHK*WYŸf†›nK ikq`KUsx\Vi“\VikKUTU¸¥\VEHK jlKUdVI~X`\bWY\Vikfns ikq`KUsx\Vi“\VikKUTUž?XoTp\~Ÿz_

K 9xXHi“›†Wnš“KUsom]K¡Š¬i“\VE™jlf?š“_zsHf?ILikWnš®ikq`KUsx\Vi“\VikKUT¬i“\SikT¬mJš“K}WYdF\bEoW†\SjKJdbIuX`\rW†\bi“f?s i•q`KJsx\bi­\bi“K}TJ¸HŠ¬EoKJs*\VdbXHK˜—fnd

Wnš“šzm]f?IuŸHiksoWY\VikfnsoTŠ¬i­\bEHiks~WS?i“›?KJs01¥¸YWndVKÜTa\bdVi•m–\bš“_0K 9?Xoi“›†WYškKJsx\\Vf˜nškfnŸoWnšnfnjH\VikILWnš“i“\a_˜—fnd2WYškš`œÜKUdVsofnXHškš“i

TVfnXodbmJKUT܏—fndSTVK59xXHKUsom]K¡fYBš“KUsHY\bEz1¥ž

0',#%0.$&# #% + $ # /'+

DFEoKTp\VdrW†\bKJn_*fY8\VEHKjHdbfxfn8i•T‘ŸlWnTVKUq±f?s iksoq`Xom]\Vikfns f?s1¥ž0œX`\0ŸlKJ—fndbKujHdbf`m]KUKUq`iksH[ŠKŠ¬i“škš2sHKJK}q

\bf KUsHš•WYdbnK~\VEHKLjHdbfnŸHškKJI)Wnsoq:ŠKi“sx\Vdbf`q`XomJK~\bEHKLŠÜKUi“?Ex\VKUq joW†\V\VKUdVsÌILWY\bmrEHiksH*jHdbKUq`i•m–\bfnd v‰ c8’

jodVK}q`ikm]\Vf?dw]ž ‰ K¡i“sx\Vdbf`q`XomJK‘W~joWYikdViksH~ILWY\Vdbi­Z < ŽŠ¬EHikmrE TVWY\Vi•To oK}TÜ\VEHK‘—fnškš“f†Š¬iksH~jHdVf?jlKUdp\bi“K}TI

WYškšAm]fzKpNmJi“KUsx\bT0WndVK˜jf?TVi­\bi“›?K)

\VEHK0INWY\Vdbi­Z[i•TSTV_zIILKJ\Vdbikm9Ie< )

—fndSWnš“š"!f$#6I% < M'&)( i A MWK+* A, Ni f i- E9E

DFEoK~š•WnTp\˜jodVf?jlKUdp\a_:mUWYs ŸKNmJWnš“škKUq:\VEHKLILi“sHº4INW†Z:iks†gaK}m–\Vik›zi­\a_%I˜ŠÜKEoWç›?K'/.0 <1iks:\bEHKNWYšknK]º

ŸodbW[Š¬EHKJdbKuf?jlKUdbWY\Vfnd32–INWYZ"20jHškWç_`T^\VEHKdbfnškKufYWnqHq`i“\VikfnsWYsoq fnjKJdrW†\bfnd42]ILi“s52ujHš•Wç_`TS\bEHK~dbfnškKufn

I~XHš“\VikjHš“i•mJWY\VikfnsŽž 7 fY\Vi•m]KS\VEoWY\ÜfnjKJdrW†\bfnd76pILi“s8‘qHikTp\Vdbi“ŸoX`\VK}Tef†›nKUdefnjKJdrW†\bfnd76pINW†Z98

v

WYslqL›xi•m]K^›nKJdrTbWGw–¸

\bEHKJdbK]—f?dVK

v

6pINW†Z98–¸:6aINW†Z98*w8—fndbILT¬Wns*Wnš“?KJŸHdrWHž

’:WY\Vdbi­Z ikq`KUsx\Vi“\a_[jHš•Wç_`T\VEHK0dbfnškK¡fY2joWYikdViksHLINW†\bdVi“Z[iks \bEHK0ŸoW?Tpi•m˜joW†\V\VKJdbs™INW†\bmrEoi“sHLjHdbKUqHikm]\Vfnd

jodVf?ŸHš“KUI™ž

2 ° 6ª…`„¥ˆ

DFEoK0ILWY\Vdbi­Z; i•TSq`i•WYnf?soWYškšk_”q`fnILiksoW†\bKUq®¸Ž§ySy<=?>@¡—fnd‘WYškšA!^f$#lžeDFEHK£m]fzKp”mJi“KUs?\

B i•TF\VEoK0ŠÜKUi“?E?\¬fnBTV_xI~Ÿlf?š C ž

DFEHK™joWni“dbiksH ŠKJiknEx\~fnS\aŠf̊fndrqHTW/ WYsoqDC+i•T~\VEHK±TVXHI fY^\VEHK±TV_xI~Ÿlf?šÜŠKJiknEx\rT~fn^KUW?mrE

mrElWYdrWnm–\bKJdrT^iksÌ\VEHKNš•WYdbnK}Ta\0m]f?IILf?sÌTVX!pLZ \Vfz/ WYsoqCjHškXoT˜\VEHK”mJfzKp”m]ikKJsx\E jHdbf†›zikqHKUq±\bEoW†\

\bEHKumrEoWndbW?m–\bKJd¬ŸK]—fndbK0\bEHKujHdbK oZ iksj/ ikTFC WYsoq*\bEHK~mrElWYdrWnm–\bKJd¬ŸK]—f?dVK¡\bEHKujHdbK oZ*iksFC#i•TgC ž ·

sofLmrElWYdrWnm–\bKJdikTSjHdVK}TpKUsx\FŸK]—f?dVK˜\bEHK0jHdbK HZ[iksz/f?d¬i“sGC”¸oŸx_ m]fnsz›?KJsx\Vikfns ŠÜK0Wnqoq sofY\VEoi“sHlž

DFEHK¡ŠKJiknEx\VK}q”joWY\p\bKJdbs[INW†\rmrEHi“somJfnsoTVikTp\bTiksx\VfW osoq`iksH\VEHK¡m]f?jz_NfYA\bEHK˜škWndV?KUTp\FTVX!pLZ”Š¬EHi•mrE

INWYZzikILi“¢UKUTÜ\VEoK0joWYikdViksHŠÜKUi“?Ex\Už · s*mUWnTVK‘fnBWnIuŸHiknXHi“\a_L\VEoK, odbTp\FškWndV?KUTp\ŠKJiknEx\VK}q[mJfnjz_”i•T\bWY¤?KJsŽž

¹^soq\VEoK ‰ c8’ jHdbKUq`i•m–\bfnd¡\rWY¤nK}T¡\VEoKN›çWnš“XoKUT0fn\bEHK odrTp\umrEoWYdrWnm]\VKJd0WY\VKJd£\VEHK”š•WYdbnK}Ta\0ŠKJiknEx\VK}q

mJfnjz_nž

H'+JI* $ + . /$ '(0. 1LKNM)JI1

O*°9PRQRSƒ S©µTQ VU 'WB6CS§N],]–§L£§]–§m0/+ !x Ce- !]; 3 ?0§3/+ y

h—ÇBÚ)hÈ

O*°9PRQRS

ƒ

S©µTQ

U

'WB6CS§N]H¨Y§ .]3W 6C:[§ ] –§c/.+ !6

ygC˜¨ ?0C: ¨0W ]–§mBL~§3/.+

ygC:™§N]cxtt]3WBk†§ g6F*FC !z§ N¨?§§-] Niu†¦L¨B] 3W ],CxiY%]6

§t/+ y

Ü° 6 6ª… :JW /+ W0¨:¨ W]§V¨`]–§yg]'WBmC§N] o¨†§`W]'WBmC:L§`/+6

xcJ¦B]£§N];= 6#]'WB6C:[§N]`o¨†§t`]'W ?CS§t/+ y

$ „ µŽµ&% ˆ ¹^TbTpXHILKjC£i•TNjoWni“dbKUq-\Vf C ±iks>/.+<ž ŒŽKJ\g4/+65ŸK±\bEHK TVK]\”fY˜\VEoK:i“slq`K]Z`KUT”fY¡\VEHK

TV_zIuŸfnš•TFjHdbKUTVKJsx\¬i“s /+<ž8DFEHKUdVKJ—fndbK`A!f#6EF4/+'5rž^Hf?dSWYškšf g4/+'5–¸'f*q`iTS<KJdbKJsx\SfnR!WYsoq3#

ŠKFEoWç›nK i nž FzXHjHjf?TVK¬sHf†Š \bEoW†\)C:i•Td%`joWni“dbKUq£\Vf0Caž2DFEHKJdbK]—f?dVKÜ\VEoKJdbK¬K]Z`ikTp\bTkf g4/+'5

qHiTS<KJdbKJsx\FfY"!eWYslq #LTpXlmrEN\VEoWY\ i0> nž¥DFEzXoTÜ\VEHK‘\VdbikWnsHnXoškWnd8iksHK59xXoWnš“i“\a_LfYŽ\bEHK‘jlWYikdViksHuINWY\Vdbi­Z

ŠfnXoškq š“K}Wnq[\Vf

i

> M`K+* A

f

i- Ee<

Š¬EHi•mrE*mJfnsx\VdrWnqHikm]\bTÜ\VEHK¡©W?m–\¬\bEoW†\

"

i

ž

H I '# #('+ $ + . $ #%) '+

DFEoK˜jodVf?jlfxTpi“\Vikfns \VEoWY\SŠÜK¡Š¬ikš“šAjHdVf†›?K‘i•T\VElW†\SŠ¬EoWY\VKJ›?KJd\VEoK0joWYikdViksHLINW†\bdVi“ZnI

ced-AS2.4/+6587:9:9:97+6;5=<DC9*EF<

1

1 v

w9w

9xXHik›†WYškKJsx\Všk_~\VEHKSjodVf?ŸoWYŸHikški­\a_~fY®jHdbKUq`i•m–\bi“sH£TV_zIuŸfnš6C —dbfnI TVK59xXHKJslm]Kd/ + 5 7:9:9:97+ ;:i•T2\VEHK˜TVWnILK

W?Te\bEHK˜jHdVf?ŸoWYŸoi“ški­\a_LfnAEoWç›zi“so0\VEHKe odrTp\mrEoWndbW?m–\VKUd8fn:/ + 5 7:9:9:97+ ;ÌK 9?XlWYšl\Vf.C ž¥DFEHikTdbKJINWYdb¤LŠ¬i“škš<ŸlK

fnBTVfnILK¡X`\Vikški­\a_ škWY\VKJd}ž

DFEHK*jHdbfnjf?TVi­\bi“f?s ikT~fnŸz›zikfnXoT£—fnd`1 < `¸=1 < P ikT~škK]\\Vf:\bEHK[dbKUW?q`KJd}ž ‰ K*Š¬i“škšÜjodVf†›?KN\VEHK

jodVf?jlfxTpi“\Vikfns Ÿx_ i“slq`Xom–\bi“f?sŽžeDf~\bEHi•T¬KJsoq*ŠK¡Š¬i“škšŽTpjoš“i“\

v

wGwi“s*\VEoK¡—fnškš“f†Š¬iksHikq`KUsx\Vi“\a_?I

cedAB2.4/ + 5 7:9:9:97+ ; 5)<>C EF<

1T

1

c8dAS/ + 5 7:9:9:97+"!l $ 7:9:9:97+ ;C <DC E v w

DFEHKUdVKJ—fndbKFŠÜKFŠ¬ikš“šTa\bXoq`_£\bEHKSq`i•Ta\bdVikŸHX`\bi“f?sLfYn2.4/+6587:9:9:97+6;C5–ž¥DAf£TVi“ILjHški“—_uŠK¬ikq`KUsx\Vi“—_ !< Rnž

DFEoK˜mUWnTVK^Š¬EHKUdVK˜Tp_zIuŸfnšnCx$SikTFTVi“sH?š“K

v

1$#<HUGw8i“s /+6587:9:9:97+6;Cx$^mJWYs[ŸlK¡EoWnsoq`škKUq[qHi“dbKUm]\Všk_NŠ¬i­\bEHfnX`\

iksoq`Xlm–\VikfnsAž · slq`KJK}qN\VEoK‘Šfndb¤mJfnsoTVi•Ta\rT8iksx\VfW osoq`iksH£\bEHK˜sHK]Zz\¬Tp_zIuŸfnš•T8\Vf~\VEHK˜š“KJ\VILf?Tp\¬Tp_zIuŸfnšiks

/+65 7:9:9:97+6;Š¬EHi•mrE™IiksHikILi“¢UKE-$nž

Ü° 6 6ª… #Cx$§N];]–§mBL4W !)? -o¨†§[§t/+65 7:9:9:97+ ;:Cx$#k6`u¨ !$

ced-A-/+6587:9:9:97+ ;:Cx$d<DCEe<

1"

1 v

y w

!¥§.1j<H1 $

1 4 y

dC $ §N]H¨Y§ 0C § / + 5 7:9:9:97+ ;:C $ )6%'&)(N§N],= 6k ~¨ !,Y§N]5§%do R™¨? #%y+*F%

ced-A-/ + 57:9:9:97+ ;C $ <HC Ee<HU

W !8§ !6H¨

ced-A-/+65 7:9:9:97+6;Cx$d<DC!$BEe<

R

1

ÚÚÙ={-|–Þ}-~

$ „ µŽµ&%

ˆ

\VEHK0jHdbfzfYBikT¬Tp\VdrWYiknEx\p—f?dVŠFWYdrq”Wnsoq[škK]\^\Vf\VEHK0dbKUW?q`KJd}ž

^ofndSWYškšAmUWnTVK‘Š¬EHKUdVK,1$ "RUŠÜK¡Š¬ikš“šŽjodVf†›?K‘Ÿz_”iksoq`Xom]\Vikfns*—fndSWnš“š7!I

ced-A-/ + 5 7:9:9:97+ ;:C $ <DC Ee<

1

1

Š¬EoKJdbK#1 <>1 $

1 4 ž)b‘dU¸?K59xXHik›çWnš“KUsx\Všk_n¸?\VEoWY\72.4/ + 5 7:9:9:97+ ;C $ 52EoW?TeTbWYILK^q`i•Ta\bdVikŸHX`\bi“f?s[WnTe\VEHK

ldbTp\SmrEoWYdrWnm]\VKJdFiks3/ + 5 7:9:9:97+ ;C $ ž

µ „ µ E=E©…`„ ² ,6£§% 65§ z^6x]–§N]£§N];= 6)#1 kx % (N§N]0= 6kd1)y

$ „ µŽµ&%

ˆ

ŒŽK]\eC!iuŸK£WYs™ikIjlWYikdVK}q*TV_zIuŸfnšŽiksz/+6587:9:9:97+6;8ž F`i“somJK

v

y9wikT^WnTbTpXHILK}q[\bfNŸlK£\VdbXHK0i“s±Wnš“š

mUWnTVK‘ŠK0EoWç›?K9I

ced-AS2.4/.+ 587:9:9:97+6;5=<HCxiGE < + !

+

c8dAS/.+ 587:9:9:97+ ! l $ 7:9:9:97+6;:C:g<DCxiGE

<

i + !

+

+

+ml $ +

+

+ Sl $

+mln$

<

+

+ v w

ŒAK]\C ŸK*W joWYikdbKUqªTV_zIuŸfnši“s / + 5 9:9:97+ ;8ž ŒŽKJ\.C \bEHK*TV_zIuŸfnšjoWYikdbKUq \bfuC ž ¹^s-f?Ÿx›zikfnXoT

mJfnsoTVK59xXHKUsom]K˜i•TF\VEoWY\#1 <>1 < R0Wnsoq*Ÿx_[š“KUIINW”|

c8dAS/ + 5 7:9:9:97+qln$ 7:9:9:97+ ;C <>C E < $

+ml $

ced-A-/ + 57:9:9:97+"!ln$ 7:9:9:97+ ;:C <>C E < U

^ofndSWnš“š:f V</!^f$#LŠK˜ElWç›nK

ced-A-/

+ 5

7:9:9:97+ ln$ 7:9:9:97+

;C

i

<DC

Ee<

R

1zTNR

·

s±TVXHILINWYdb_?I

ced-AS2.4/.+ 587:9:9:97+6;5=<HCxiGE <

+"!

+

c8dAS/.+ 587:9:9:97+ ! l $ 7:9:9:97+6;:C:g<DCxiGE

< $

+ $ +ml $

i

7 ++ $ +!ln$

< $

+ v

Gw

· s-mJfnsomJš“XlTpikfns i“\TVX!p”m]K}T£\bf jHdbf†›nKNŸz_i“soqHXom–\bi“f?sªikqHKJsx\Vi“\a_

v

y w0—fndWYškšÜ›?KUm–\bfndrT41$Bf(-((ef1 475

TVXomrE \VEoWY\#1$ " U~\bff?Ÿ`\bWni“s*i•q`KJsx\Vi“\a_

v

w9w›†WYški•q”—f?dSWYškšk41$ f((-(f1 4)5rž

&0% +> $%1' %1%! &$% $

‰ K¬m]f?soTpi•q`KUdA\bEHK¬TpK 9?XoKJsomJK<C?+98:$d<H/+6587:9:9:97+6;Cx$8Š¬i­\bEW1$ "RUHžBDFEHKFi“soqHXom–\bi“f?s~WYdbnXoIKUsx\2mJfnsoTVikTp\bT

iksx\Vf™q`KUmJdVKUILKJsx\ViksH \VEHKLszXHIuŸKJd;1

R~fnmrEoWndbW?m–\bKJdrTSiks C?+:\bf INWn¤nKi­\£TVILWnš“škKJd¡f?d˜K 9xXoWYšB\Vfz1¥ž

Df™\VEoikTuKJsoq ŠKNsoW†\bXHdrWYškš“_ÌsHKJK}qHT¡\Vf±KJZ`joWYsoq\bEHK[TVi“¢UKNfY\VEHK WYškjHEoWYŸK]\}ž ‰ K[q`f i­\uŸz_q`K osoi“sH

soKJŠTV_xI~Ÿlf?šW?T8?dVf?XHj”fnŽfnš•q”Tp_zI~Ÿlf?škTUž¥¹ŸHXlmr¤nK]\FTp_zI~Ÿlf?šli•T8fnŽ\VEoK^—f?dVI hnCx$¬Š¬EoKJdbKFh±i•TÜW0 osHi“\VK

TVK59xXHKUsom]K;hÌfY¥mrEoWYdrWnm]\VKUdbTWYškšAq`iSKUdVKUsx\SfY=C!$†ž ‰ K0dbKUTp\Vdbi•m–\F\Vf”TVK59xXHKUsom]K}TFfY¥Tpik¢JK0TVILWnš“škKJdF\bEoWYsz1¥ž

DFEoK¡TVINWYškš“K}Ta\¬ŸHXlmr¤nK]\^TV_zIuŸfnš®i•TdC $ Š¬EHKJs hÌikTFKUIjH\a_nž

h—ÇBÚ)hÈ

œKJškf†Š i•TWns£K]ZHWYILjHškK8Š¬i“\VE~ŸHiksoWYdb_0WYškjHEoWYŸK]\7ASCf^gBE?ž

‰

KmJfnsoTVi•q`KJd2Ta\bdViksHxTŽKJslq`i“so‘Š¬i“\VEuTV_zIuŸfnš

Cž

‰

K£q`i•TpjHš•Wç_Niks \bEHK¡\bWnŸHškK0ŸlKUš“f†Š\VEHK0škikTp\¬fY2ŸHXomr¤?K]\STp_zI~Ÿlf?škT-I

ŸHXlmr¤nK]\STV_zIuŸfnš TV_zIuŸfnš®soWnILK

C

gC n$

gegC ?&

ggegC

geggegC

(-((

ŒAK]\d/ + <DC(gC(gC(gegC(gCmC(gCuŸK0W~Tp\VdbiksHož¥DFEHK¡ŸHXomr¤?K]\©Wnm]\Vfndbik¢UW†\bi“f?s[fnTa\bdViksH`/ + i•T¬WnT܏—fnškš“f†ŠST

/+.< 4Cx54gCx54gCx54gegCx54gCx54gC!5F(

DFEoKJdbK]—fndbK‘\VEHK0K 9?Xoi“›†WYškKJsx\/ + fn/ + Š¬dVi“\p\bKJs™i“s™ŸHXlmr¤nK]\STV_zIuŸfnš•TFikT

/+.< %$%$?&n$n$W(

DFEHKLjoWni“dbiksH INWY\Vdbi­Z $ikT0q`K osHK}qÌW?T˜—fnškš“f†Š0žŒŽK]\0h

$ C $ WYsoquh

& C $

ŸlKL\aŠf ŸoXomr¤nKJ\0TV_zIuŸfnš•TJž

DFEoK¡mJfzKp”m]ikKJsx\FfY#m]fndbdbKUTVjlf?soq`iksH£\bf~\bEHK¡joWYikd,4h $ C $ fh & C $ 5Üi•TÜK 9xXoWYš<\bf~\bEHK¡joWYikdbi“sHŠKJiknEx\fn

\bEHK˜\aŠÜfLŠfndrqHT/ <DC $ h $ WYsoq C <HC $ h & ž 7 fY\bikmJK‘\bEoW†\¬iks™Ÿlfn\VE /«WnsoqC[¸HTp_zI~Ÿlf?š C $ i•TFjHX`\Sf?s

\bEHKe odrTa\¬jHš•WnmJKn¸`iks f?dbq`KUd\VfLi“slm]škXoq`K0Ÿfndrq`KJdFKeS<KUm]\Už`ÜEHK}mr¤zi“sHILi“sHº4INW†Z i“s†gaK}m–\bi“›zi“\a_[i•TFš“KJ\¬\Vf\VEHK

dbKUW?q`KJd}ž

¹^škTVfNš“KJ\¬\VfL\bEHK0dVK}Wnq`KUdF\VEHK0›?KJdbi mJW†\bi“f?s[\bEoW†\¬\bEHK0ŠKJiknEx\VK}q[joWY\p\bKJdbs*INWY\bmrEHiksHLfns;C?+”\bdbWnsoTaº

mJdVikj`\bKUq iks-ŸHXlmr¤nK]\LTp_zI~Ÿlf?škT0 osoqHT~\VEoK*TbWYILK”jf?TVi­\bi“f?soTu—fnd~\VEHK™m]f?jHi“K}Tufn¬\VEHK*š•WYdbnKUTp\uŠKJiknEx\VK}q

TVX!pLZ”Š¬i“\VE”\bEHK¡sHKJŠjoWYikdViksH~ILWY\Vdbi­Z W?Tfns C?+”Š¬dbi­\bKJs Š¬i­\bE i“\bTfndbikniksoWYš<Tp_zI~Ÿlf?škT܊¬i­\bE[\bEHK˜fnš•q

INWY\Vdbi­Z [ž 7 fY\bikmJK0\VElW†\^\bEHKuŠKJiknEx\rTSWYdbKFgaXoTp\^\VEoK~TbWYILK£ŸHX`\¡TpEoi­\bKUq±Ÿz_ \VEHKm]fnslTa\rWYsx\¬\VKUdVI -$$çž

DFEoKJdbK]—fndbKFi­W2.4 C?+65BikT¥\VEHKSŸoXomr¤nKJ\ejHdVK}q`i•m–\VikfnsLfn C?+®¸Y\bEHKJsL\bEHKSTVKJškKUm–\bKUqLŸHXlmr¤nK]\8mrElWYdrWnm–\bKJd¥Tp\bWYdV\bT

f?s\VEHK^TbWYILK¬jf?TVi­\bi“f?sNWnT2\bEHK^TVKJškKUm–\bKUqNTV_zIuŸfnšHŠ¬i“\VEL\bEHKSfnš•qLjHdbKUq`i•m–\bi“f?sŽž2DFEHKJdbK]—f?dVKFi“4c2.4C'+'55*$

i•T\VEoK, odbTp\STp_zI~Ÿlf?šŽfY\VEHK0ŸHXlmr¤nK]\¬jHdbKUqHikm]\Vikfns*ŠÜK0EoWç›?KW4c2.4C'+'55*$#<H2.4 C?+'5rž

7

f†ŠdbKJINWni“soT£\Vf±©W?m–\bfndbi“¢UK C + iksªŸHXlmr¤nK]\Tp_zIuŸfnš•TUž

·

\ikT~sHfn\~q`iLpNmJXHš“\u\VfTpKUKN\VElW†\4C + Š¬ikš“š

mJfnsx\bWni“sK]ZHW?m–\Všk_c1 $

R¬ŸHXomr¤?K]\8TV_xI~Ÿlf?škTUžŒAK]\ \VEoK^Tpik¢JK¬fnl\bEHKSŸHXlmr¤nK]\8Wnš“joEoWYŸK]\8Wnsoqš“KJ\Üq`KJsofY\VK

\bEHKŸHXomr¤nKJ\BTV_zIuŸfnš•TAŸz_ g $

f((-(g̸nWnsoq0škK]\/5

7:9:9:97

ŸK¬WSdrWYsoq`f?IjlKUdVI~X`\bWY\Vikfns£fn

$

TV_xI~Ÿlf?škT

g $

¸

&

TV_xI~Ÿlf?škT g &

¸6(-((k¸!TV_zIuŸfnš•T g̞ ·\esHKJK}q›nKJdb_£ški­\V\VškK¬KeS<fndV\¥\Vf£TVKJK\VElW†\e\bEHKSq`i•Ta\bdVikŸHX`\bi“f?s

f†›?KJdC

+

©W?m–\Vf?dVik¢JK˜iks?\bfNTpKU›nKJdrWYš®mJškW?TVTVKUTfYB\VEoK¡—fndbI/5

7:9:9:97

”ž

FziksomJK‘\bEHK0szXHIuŸKJdFfnŸHXomr¤?K]\STV_xI~Ÿlf?škTiks/ 587:9:9:97 i•TFK]ZHWnm]\Všk_1$

R0WYsoqt1$

R_1

v

K]Zzº

mJKJj`\bKUqLiks\Vdbi“›zi•WYšomUWnTVKUT¥K}WnTV_0\Vf£ElWYsoq`škKSw]¸nŠKSmJWns”WYjHjHšk_£\bEHKSiksoq`Xom]\VikfnsNEz_zjlfn\VEHK}Tpi•TUžBDFEHKUdVKJ—fndbK

v

w9w

Eofnš•qHT2fnsKUW?mrEmJškW?TVTU¸†\VEoKJdbK]—fndbK\VEHKSqHikTp\Vdbi“ŸoX`\VikfnsfYc2.4/ 5 7:9:9:97 `5Bi•TB\VEHKSTbWYILK¬WnTB\bEHKSq`i•Ta\bdVikŸHX`º

\bi“f?s™fYB\VEHK; ldbTp\SŸHXomr¤?K]\^mrEoWndbW?m–\VKUdFi“s/57:9:9:97”žÜDFEHKJdbK]—f?dVK¡i“\‘m]f?IK}TF\VElW†\¬\VEoKuq`i•Ta\bdVikŸHX`\bi“f?s*fn

W2.4 C + 5Bi•T2\VEHK‘TVWnIKSW?TB\VEHK‘q`ikTp\VdbikŸHX`\VikfnsLfn\bEHK¬›†WYškXHK¬fY<\bEHK odrTa\eŸHXlmr¤nK]\8mrElWYdrWnm–\bKJd2iks C + žFziksom]K

\bEHKe odrTa\SmrEoWndbW?m–\VKUdFfYA\bEHKe odrTa\¬ŸHXomr¤?K]\STV_xI~Ÿlf?š®fYC + ikT\bEHK, odrTa\SmrEoWndbW?m–\bKJdfYRC + ŠÜK¡fnŸH\bWYiks

v

y w

Ÿz_”iksoq`Xlm–\VikfnsA¸oWYsoqt osoWnš“šk_

v

w9w]ž

DFEHKUdVKJ—fndbK0ŒŽc8’«jHdbKUq`i•m–\bfndFi•T¬fnj`\bi“INWnš<—fndSœKJdbsHfnXoš“škiŽTpf?XHdrm]KUTUž

ÚÚÙ={-|–Þ}-~

+ ! 1 '

r“Ms lž¡i“KSKUdU¸,6acedbKUqHikm]\Vikfns[Wnsoq ·s`—fndbINW†\bi“f?sL\VEHKUfndb_n¸8¬iks U §0: !]F-N¨4§%6 †¸

jodVKUjHdViksx\U¸®M ž

r|s0¹už 8EHdVKUs`—KJXlmrE?\}¸lžÜ’±_`m]ikKJš•TV¤xi4¸J6V¹joTVKJXoq`f?dbWnsoq`f?I TVK59xXHKJslm]K Eof†ŠdrWYslq`fnI ikT[i­\ 8 iks

!6] Ѧ[?:WL W]–¸lP¬i•mrEoWndbqz@˜XH_ 8qŽž“¸ljHjŽžovzy†v†ºvxynw`¸lM x|`ž

h—ÇBÚ)hÈ

Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS L `ES NANCY

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex

Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

Editeur´

INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

ISSN 0249-6399