Linear Time Recognition of P4-Indifference Graphs

HAL Id: inria-00072882

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

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.

Linear Time Recognition of P4-Indifference Graphs

Michel Habib, Christophe Paul, Laurent Viennot

To cite this version:

Michel Habib, Christophe Paul, Laurent Viennot. Linear Time Recognition of P4-Indifference Graphs.

[Research Report] RR-3779, INRIA. 1999. �inria-00072882�

ISSN 0249-6399 ISRN INRIA/RR--3779--FR+ENG

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

Linear time recognition of P4-indifference graphs

M. Habib , C. Paul , L. Viennot

No 3779

Octobre 1999

TH `EME 1

.0/214365'785)9;:=</2>?36@'A8B:2CD/FE,7HGJI'IK6LNM

OQPSRTVUXWDY Z[\]U_^a`Jb,Ucd\]eJ\]cfRTVU\

g=hfikj]Ucmldnogqp2Z&rQst

Z?^vuSuwiah]cQxSU h]UyzPSUhfyzPSU{}|~€€a‚;Y sycƒi„!hfUXW…‚‚‚Y W_†XuS^a‡U\

ˆŠ‰'‹Œ_kŽSaŒŠ‘ ‡hf^auSP“’”\D^gq•k–—’”{!xS’™˜wUh]U{SyUš‡hƒ^vuSP“’™›2’™cD^axSTV’™cf\^a{“ih]xSUh]’”{S‡“œ0i{

’™cƒ\DaUhžcƒ’”yU\\f`SyzPŸcƒP ^vcUUhžeŸyzPSihfx!¡”U\]\uS^vcƒP%¢’™cfPŸaUh]cf’”yU\^!£„¤£Fyv£x¥^a{SxŸUxS‡aU\

^a„¦£¦„§ya£¦yx“P ^a\ ^!œ„¦œyvœdx“iahmx¦œyaœ„¦œd^!¨©UšuSh]U\fU{c}^Š¡™’”{SU^ahcƒ’”TVUhfUyi‡{S’ªcƒ’™i{

›Hih&cƒPSU\fU‡hƒ^vuSPS\¨

«­¬®¤¯]°š± k²‹a g=•v–—’™{SxS’™˜wUh]U{SyUa£ ^v¡”‡ih]’™cfPST­£³h]Uyia‡{S’™cf’”i{¤¨

´¶µ·—¸—¹…ºQ·q»¼ª¸—½8¾¿

ÀwÁžÂQÃ$ÄÆŁdzÈkÉʁË]Êk̅Ík˃ÎzÏ_ÏFÐHÑÎaÒ]Ó³ÔHÕÖ ÖX×ØÙNÄÆÚÁ]ÛÝÜÞÄàßÞá¦ÖâÙßÞãaÁžÅÆÅÆÄàÁ]Û Ô8ԗׅä]åkäwÛÝæNÁ¦çéèNÃN×ê$ëêìíFÖâÙß8î

ãaÁžÅÆÅÆÄàÁ]ÛïwÁ]è…Ážð×vñNÛòÃ$ÙkóžÁ

ô

ÁžÂQÃ$ÄÆÅéÇ)õkÉökÍ̅ÍÉÊ_ÎË!Ð÷öø]ÊkùÎ_ú_û_É$ö…ü§ÐHÑÎaÒaÓJÃý¤Õԗ׳ØÙNÄÆÚÁ]ÛÝÜÞÄþßÝáQýwâÛÝèNÁ]Ã$æNð ԗ×JêÿNäóžâæNÛòÜ=è…Á&ÅÆÃ

ÓJÄkážÛòÃzßÞÄÆâÙJ×wêêëÿ!Ã$ÅÆÁžÙkóžÁïwÁ]è…Ážð×éñkÛÝÃÙkóoÁçéèNè…ÄàßÞÄÆâÙkÃÅFÜ8ækãNãvâÛ8ßòÜ XßkÁ ÕéÁÄàâÙ4çæNÄàßÝÃÄàÙNÁ

§ÛÞâHÁ]ó—ß ìí$ëí

Á]Â&ÃÄàŠDžÉö…ÎNû¤ÐËzû kù_ÌvËÎËzɧÐ÷ÑÎÒ§Ô! ÕéÔHç Õéâ…ó"ækÁžÙkóžâæNÛÞß]×#âÂQÃ$ÄÆÙNÁè…Á$ âÅÆækóoÁfÃ$æ³×

Õâ_ó"æNÁžÙkóžâæNÛÞß]×Ný% ä"ÿ…×'&(käfÿê2Ó³Á2ï)NÁfÜ8ÙvÃ*mïwÁ]è…Ážð×NñNÛòÃ$ÙkóžÁ

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

*,-$ '

‹  {“‡hf^auSPSU}U\]cDxS’™cDgq•k–—’”{!xS’™˜w[h]U{cm\à’™¡)^ax!T UcD`S{“ih]xShfUcƒiacƒ^a¡F\f`Sh\]U\

\fiTVT Ucƒ\qxSU?\fihžcƒUJ`!U?cƒia`!cyzP!UTV’”{4\f^a{S\2yih]xSUmx!U?\]iT TVUcf\^ £J„¤£ yv£ xŠUcxÆ^ahcfU\

^a„¦£„wyv£yxa[hf’ U ^!œ„¦œyaœxia`x¦œyvœd„¤œ?^ ¨ {¥^a¡”‡aihf’ªcƒPSTVU}xSUVhfUyi{!{ ^a’”\]\ƒ^a{!yU

U{cƒUTVuS\¡”’™{S[_^v’”hfU?U\žc?u!hfiu§i\f[v¨

± ŒN‹ ¯   g=•v–—’™{SxS’™˜w[h]U{c_£S^a¡”‡iahf’™cfPSTVUa£JhfUyi{S{ ^v’”\f\f^a{SyUa¨

. / Xé V"10,2

‘3254 ’™\q^yzP!ihfxS¡™U\]\ u ^kcƒPXia›¤›Hia`Sh)Uh]cƒ’™yU\¨ ‘ ‡hƒ^vuSP ’™\ 264 –ò’”{Sx!’™˜wUhfU{SyU’ª›w’ªc2^axSTV’™cf\

^a{¥ih]xSUh]’”{S‡87i{¥’ªcƒ\ UhžcƒU$b \fUcš\]`SyzP cƒP ^kcšUaUhže 254:9<;'='> P ^a\ 9 7 ; 7 = 7 >

ih > 7 = 7 ; 7 9 ¨@? `SyzPŸ^a{“iahfxSUhf’”{!‡Š’”\Dy^a¡”¡™Ux ^ 264 –ò’”{SxS’ª˜¤UhfU{SyUšiahfxSUhf’”{!‡S¨OQPSU

264

–ò’”{SxS’ª˜¤UhfU{SyU‡hƒ^au!PS\D¢UhfU ’™{³cfhfiJxS`SyUx“’”{BADCE)^a\^Šu ^vh]cƒ’™y`S¡”^ahdy¡÷^v\f\Dia›F*' G'HJI

#K' )-LMHNO )'*+-,¨ ‘ ‡hƒ^au!P­’™\QuwUh]›HUycƒ¡ªeihfx!Uhƒ^v„S¡”U ’™›FcƒP!UhfUUb ’™\]cƒ\?^a{,ihfx!Uhf’™{S‡Xi{

’™cƒ\ Uh]cfUb¥\fUc}›Hih¢P!’”yzP¥cfPSU4‡h]UUx!e¥yi¡”ia`Shf’™{S‡ ^v¡”‡ih]’™cfPST uSh]i x!`SyU\ ^a{ iu cƒ’”T ^a¡

yi¡™i`Shf’™{S‡S¨

OQP!U  hf\žcDh]Uyia‡{S’™cf’”i{,^a¡™‡ih]’™cƒP!T ›Hih 264 –ò’”{SxS’ª˜¤UhfU{SyU‡hƒ^vuSPS\m’™\?x!`SUcfiŠl?iQPa{S‡

^a{SxVZdUUx4^a{SxXP ^a\qyiaT uS¡™Ub ’™c—eSRUTWVXZY[A]\^EÞ¨)OQPSUeXyiTVuS`!cƒU&cfPSUU ³`S’ªa^v¡”U{!yUy¡”^a\f\]U\

ia›q\fiTVU}h]U¡”^vcƒ’™i{­ia{ cƒPSU 264

þ\Dia›=cfPSUš‡hf^auSP¦¨?OQPSU{“cƒP!Ue­P ^_Ušcƒi4yzPSUy_,cƒP ^vc?cƒPS’™\

y¡÷^v\f\fU\XxSi U\ {Siac yi{cz^a’™{ ^;yUhžcz^a’™{\f`S„S‡ahƒ^auSP ¢’ªcƒP`\;Uh]cƒ’™yU\¨`a^vcƒUh£2Zd^a\fyzPS¡™U

^a{Sx`? ’™T ia{¦£\žcƒ`Sx e ’™{S‡;TVihfUVy_^vhfU›H`!¡”¡™e“cfPSU 254 þ\šhfU¡÷^vcf’”i{S\£u!hfiu§i\fUx ^a{bRTVdcefY

hfUyi‡{S’ªcƒ’™i{^a¡”‡aihf’ªcƒPSTgA¶W…†^EÞ¨

ZUyU{cƒ¡ªe£l?i-Pa{!‡S£&t­^v˜¤hf^_e ^a{Sxih?i…e ‡^_U­^%yzP ^ahƒ^vycƒUhf’kj_^vcf’”i{ „e ›Hih]„S’”xSx!U{

’”{SxS`!yUx\]`S„S‡hf^auSPS\&ADlE¤^a{Sxhf^a’”\]Ux4cfPSU ³`SU\]cƒ’™i{ia›écfPSUmU$b!’™\]cfU{SyUia›F^}¡”’™{SU_^vh2cf’”TVU

hfUyi‡{S’ªcƒ’™i{ ^a¡™‡ihf’ªcƒPST,¨¦©U^a{S\]¢ Uh=cfiDcƒPS’™\ ³`SU\žcƒ’”ia{V„ecƒPSU^^mVh]T4^vcf’™aUcƒP ^v{n_³\)cƒi

\fiTVUiv›'cƒP!U’”hQcfPSUih]UTV\¨dt­iahfUi…aUhDi`!h?^v¡”‡ih]’™cfPST yiT u!`!cƒU\m^a{ ^axSUJ`S^vcƒUihfxSU$–

hf’”{!‡ ia›cfPSUUh]cƒ’™yU\d¢PSU{ ’ªcQyi{!y¡”`!xSU\cƒP ^kcQcƒPSU ’”{!uS`!c‡hf^auSP’”\ 254 –—’”{!xS’™˜wUh]U{SyUa¨

o p

+Q && rq­-é-

©¥U `S\]U cfPSU›Hi¡”¡™i…¢’”{S‡}cfPSUiahfUTV\Q›HhfiTsADltEu

vxw ¬J±

 ¬ y{z|~}O

I 254

!"$#%&' '€ )'*+ZKH‚ƒHHD,W+ƒGHHN„FK&*$ *' ',M…

†-‡&ˆ :‰,ŠŒ‹ 4` b+ #‰HN,,Š'I<'HNŒŽHN'KW+‘W+'’:‰,f

+K'<,O,“' ‡

”K‡&ˆ•‰,–‹ 4 +'—˜N,xŒ' Z™H$ )'*+ ‡

OQP!U\fUdc—¢iuSh]iuwUh]cf’”U\q’™{S\fuS’™hfU&cfPSUQ›Hi¡”¡™iN¢’™{S‡hfUyi‡a{S’™cf’”i{X^a¡™‡ih]’™cƒP!TŠuFriTVuS`!cfU

cƒPSUT iJxS`S¡”^ahQxSUyiTVuwia\f’™cf’”i{cfhfUUia›)cfPSU’”{SuS` c_¨•š ihU_^vyzP ³`Siacƒ’™U{c?‡hƒ^au!P ia›)^a{e

{Si x!U?ia›¤cƒPSUdcƒhfUU?aUhf’ª› eXcƒP ^vc ’™c2’™\^a{4’”{cƒUh]v^a¡6‡hƒ^vuSP¦¨qriTVuS`!cfUm^v{Š’”{cƒUh]v^a¡6hfUuShfU$–

\fU{cƒ^vcƒ’™i{“ia›2’™cD^a{Sx%`S\fU ’ªcmcfiŠcƒU\žc¢PSUcfPSUh ’ªcD’”\D^

264

–—’™{SxS’ª˜¤UhfU{!yUš‡hf^auSP%^a{!x;cƒi

ÕFÕ Ùœ›ê &&$ì

‡ ‡ ‡

yiTVuS`!cfU ^Š‡iJi x;iahfxSUhf’”{!‡ia›qcƒPSU}aUhžcƒ’”yU\ ’™›=cfPSUh]U Ub ’”\žcƒ\i{!Ua¨OQPSU Ub ’”\žcƒU{SyUXia›

¡”’”{!U_^ah2cƒ’”TVU^a¡™‡ih]’™cƒP!T \2›HihQT iJxS`S¡”^ahx!UyiaT u§i\f’ªcƒ’™i{^a{Sx,’”{cfUh]v^a¡¤‡hƒ^au!P,h]Uyi‡{S’¶–

cƒ’”ia{‘Aà‚!£§€“ET4^^_aUcƒPS’™\Q\fyzPSUT Uu§i\f\]’”„S¡™Um›Hih^X¡”’”{!U_^ahcf’”TVUDhfUyi‡a{S’™cf’”i{^a¡™‡ih]’™cƒP!T­¨

OFi%j]`!\]cƒ’ª›e \f`!yzP ^a{ ^a¡”‡iahf’™cfPST,£¢ U hf\žc {SUUx \]iTVU^vxSxS’™cf’”i{S^a¡?cfPSUih]Ucf’”y_^v¡

hfU\]`S¡™cf\¡”’”{‰_J’™{S‡ 254 –—’™{SxS’™˜wUh]U{SyU‡hƒ^vuSPS\d^a{Sx,T iJxS`S¡”^ahx!UyiaT u§i\f’ªcƒ’™i{¦¨

vxw ¬J±  ¬ +&*“,'f(„ )'*+-,€N, 264 !"$#%&' '[% W+'IS L'W+

264

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

“ …naéUc „§UQcƒPSUyiaT u§i\f’ªcƒ’™i{ ia›§c—¢i‡hƒ^au!PS\)^a{Sx

c

¢PSUhfU ’”\=i„!cƒ^a’”{!Ux

›HhfiT „ehfUuS¡÷^vy’”{!‡ ^šUhžcƒU$b

c

„e

c

„³eŠ¡”’”{‰_J’™{S‡ ^a¡™¡wcfPSUDUh]cƒ’™yU\div›

c

cƒiV^a¡”¡

cƒPSU {SU’”‡P³„§ihf\Qia›

c ¨

š’”hf\žcm\]`SuSu§i\fU ’™\ 264 –—’”{!xS’™˜wUh]U{SyUa¨©¥UuShfi…UšcfP ^vc?^v{Sx

c

^ahfU}^a¡”\]i 254 –

’”{SxS’ª˜¤UhfU{SyUv¨—aéUc 7 7!#" „wU4^ 264 –ò’”{SxS’ª˜¤UhfU{SyU ihfxSUhf’™{S‡ ia›QcfPSU4aUh]cf’”yU\

ia›$X¨ OQP!U ’™{SxS`SyUx¥iahfxSUhiv›cƒP!UVaUh]cf’”yU\ia›$

c

¢’™¡”¡)i„J’”ia`S\f¡ªe;›H`S¡S¡”¡cfPSUV\ƒ^aTVU

yi{Sx!’™cƒ’™i{¦¨%

c

’™\ cƒP³`S\Qy¡”U^ahf¡ªe4^ 264 –—’™{SxS’ª˜¤UhfU{!yUm‡ahƒ^auSP¤¨qri{S\]’”xSUhcƒPSUmihfxSUhf’™{S‡šia›

cƒPSUUh]cƒ’™yU\&ia›&=i„ cz^a’™{SUxV›HhfiT' 7( n7)#"}„eVUhf^a\f’™{S‡š^a¡™¡ScƒPSUUh]cf’”yU\&ia›*

c

„S`!cdi{SUDcfP ^vcd’”\Qh]UuS¡”^ayUx,„e

c

¨=nòcd’”\Qy¡”U^ahf¡ªe^

264

–ò’”{Sx!’™˜wUhfU{SyUiahfxSUhf’”{!‡S¨

?JUyia{Sx;\f`!uSuwia\fU+Q^a{Sx,

c

^ahfU 264 –ò’”{Sx!’™˜wUhfU{SyU ‡hf^auSPS\¨ ©U\]PSi…¢cƒP ^kc ’™\

^a¡”\]i^ 254 –—’™{SxS’™˜wUh]U{SyUš‡hf^auSP¦¨:aéUc.-/70 671-#2X„wUV^ 264 –—’”{!xS’™˜wUh]U{SyU ihfxSUhf’™{S‡

ia› cfPSU Uh]cƒ’™yU\}ia›3

c

^a{Sx54*x70 76487 „§U ^ 254 –—’”{!xS’™˜wUh]U{SyU ihfxSUhf’™{S‡ia› cfPSU

Uhžcƒ’™yU\Qiv›%2¢PSUh]U.

c39

4;:v¨=OQPSU{4* 7( n7<4;:>=8[7?-/[7@ n7?-A27<4;:CB[7

n7<487 ’™\Qy¡”U^ahf¡ªeŠ^ 264 –—’”{!xS’™˜wUh]U{SyUihfxSUhf’™{S‡Xia›cfPSUUh]cƒ’™yU\div›X¨ D

‘ {­’™T TVUx!’÷^vcfUmyiahfi¡™¡÷^ahže iv›'OQPSUihfUTgCš’”\QcƒPSU›Hi¡™¡”i…¢’”{!‡nu

E ±  ± HŽS

®GF



)'*+ŒN,:

264

!"$#%&' '& )'*+—% HH +IHM'ƒ )'*+-,

W,M#KH #K*“,'Š x 264 !"$#%&' '( )'*+-,

‡

hdiacƒ’™yU}cfP ^vccfPSU \fUyi{Sx%u ^vh]c ia›qcƒP!U uShfiJia›2ia›qcƒPSUihfUT CŠ^a¡™\fi‡’ªU\ ^Š\f’”TVuS¡™U

¢&^_e cfi yiTVuS`!cƒU%^ 254 –—’”{!xS’™˜wUh]U{SyU;ihfx!Uhf’™{S‡ia›cƒPSU“yiT u§i\]’™cƒ’™i{ ia›\fiaT U 254 –

’”{SxS’ª˜¤UhfU{SyU‡hf^auSPS\Q›Hh]iT cfPSU’™h 264 –—’™{SxS’ª˜¤UhfU{!yUih]xSUh]’”{S‡\¨

E ±  ± HŽS ®KJ  254 !"$#%&' 'S )#K' ZKŒL':*$K#‘HJ ƒZ

W+ 254 !"$#%&' 'x )#K' ZK,S+LHM ' )'*+-,

‡

Ô! FÕéÔHç

“ … ‘ \]\f`STVU eai` ^ah]U ‡’ªU{ ^ 254 –—’™{SxS’™˜wUh]U{SyU iahfxSUhf’”{!‡d›HihFU_^vyzP ³`Siacƒ’™U{c)‡ahƒ^auSP¤¨

OQPSU{ ’™\f’ªcFcfPSU2T iJxS`S¡”^ah¤cƒh]UU xSUyiT u§i\]’™cƒ’™i{’”{^uwi\žc]–òihfxSUhF›8^v\fPS’™i{¦£k^a{Sx›HihU_^ayzP

{Si x!U x!iVcfPSU›Hi¡”¡™iN¢’™{S‡nu

’™› ’”\?^4¡”U^v›o£ cƒPSU{“’™cdyiahfhfU\fu§i{SxS\DcfiŠ^4\]’”{S‡a¡”UUh]cƒU$b%^a{!x cƒPSUihfx!Uhf’™{S‡4’™\

cƒh]’™J’÷^a¡Þ¨

’™› ’”\,^a{ ’”{cƒUhf{ ^a¡{!i xSUv£mcƒP!U{ ›Hiah,U^ayzP \]i{}ia› ei` P ^_U^ 254 –

’”{Sx!’™˜wUhfU{SyUXih]xSUh]’”{S‡ —¨ŽaéUc cƒPSU 264 –ò’”{Sx!’™˜wUhfU{SyUXih]xSUh]’”{S‡,ia›¥£FcfPSU

³`Siacƒ’™U{c=‡hf^auSPX^a\]\fiJy’”^vcƒUxšcƒi¨)p2^vyzP6yihfh]U\]uwi{!xS\)cƒi ^maUh]cfUb4 iv›¨

OQPSU{ ­^ 254 –—’™{SxS’™˜wUh]U{SyUQihfx!Uhf’™{S‡ia›§cƒPSUd‡hf^auSP ¢PSi\]UdcfhfUUxSUyiTVu§i\f’ªcƒ’”ia{

’”\Qh]i iacfUx,^vcŸ£ y_^a{,„wU i„ cz^a’™{SUx„e\f`!„S\]cf’™cƒ` cƒ’”{!‡VU^ayzP cfi4F’™{ ¨

OQP!UV¡™’”{SU^ahf’ªc—e,ia›qcƒPSUV^a„§i…UX^a¡™‡ihf’ªcƒPSTyiT U\D›HhfiT cƒPSU ¡™’”{SU^ahf’ªc—e,ia› cfPSU \f`!T

ia›cfPSU \f’kjU\ia›FcƒP!U ³`Sivcƒ’”U{c?‡ahƒ^auSP!\¨ D

?Ji;{Si…¢ £)cƒi;yiTVuS¡”UcƒUVi`Sh}h]Uyi‡{S’ªcƒ’”ia{¥^a¡™‡ih]’™cƒP!T ia› 264 –—’”{!xS’™˜wUh]U{SyU ‡hf^auSPS\£

¢Umj]`S\žc {SUUxŸcfi,yiTVuS`!cƒU 254 –—’™{SxS’ª˜¤UhfU{!yUših]xSUh]’”{S‡,^a{!x%cfihfUyi‡{!’NjU u!hf’”TVU 254 –

’”{SxS’ª˜¤UhfU{SyU‡hf^auSPS\¨

$} * & D ³S"#%&

) *,+-

aUc. „§UX^ŠuSh]’”TVU}’”{cfUh]v^a¡‡hƒ^vuSP¦¨@aUc ! " " #$>"Š„§UX^ŠT ’™{S’”T ^a¡é’™{³cfUhža^v¡'hfUuShfU$–

\fU{cƒ^vcƒ’™i{ ia›§’™c¢PSUh]UdU^ayzP%#:&’™\=^a{ ’™{³cfU‡Uh)’”{cfUh]v^a¡ ia›'&)(*+,.-0/ ¢’™cfP% T ’™{S’”T ^a¡21$¨

nò› ’™\d^XaUh]cfUbw£6¢UxSU{!iacƒU„e354š’ªcƒ\^a\]\fiJy’”^vcƒUx­’™{³cfUhža^v¡Ý¨2ZdUy_^a¡™¡¦cƒP ^kc„³ex!U {S’¶–

cƒ’”ia{¦£ c—¢ i Uhžcƒ’™yU\ ^a{Sx36 iv› ^ahfU¡™’”{n_vUx’™˜754’”{cƒUhf\]Uycf\859k¨)©¥U \f^…e4cƒP ^vcc—¢i

’”{cƒUh]v^a¡”\–™' ZH'*X¢PSU{cƒPSUeŠ’™{³cfUh]\fUycQ¢’™cfPSi`!cQia{SUD„§U’”{!‡ ’”{Sy¡”`SxSUxŠ’”{ŠcfPSUiacfPSUh¨

© PSU{“c—¢ i­’™{³cfUhža^v¡”\DxSi{Sivc’”{cƒUhf\]Uyc£é¢UX\ƒ^_e;cfP ^vcDcfPSUXi{SUš¢’ªcƒP“‡h]U_^vcfUh/8h]U\]u¦¨

\fT ^a¡”¡™Uh+1qU¡™UTVU{cƒ\’”\€ "' /HhfU\]u¦¨•,' HHN' :1qcƒP ^a{cƒP!UivcƒPSUh¨

©U2^ahfU={!iN¢‡i’™{S‡&cƒi\]PSi…¢ PSi…¢ ^&TV’”{!’”T ^a¡N’”{cƒUh]v^a¡h]UuSh]U\fU{cz^vcf’”i{’”\¦y¡”i\]U)cƒid^

264 –ò’”{SxS’ª˜¤UhfU{SyUQih]xSUh]’”{S‡!¨=ri{S\]’”xSUh2^ 254˜9 ; = > ¢’™cfPVUxS‡U\ 9<; ;Z= = > ¨'©UQy¡”^a’”T

cƒP ^vc cƒPSUm’”{cƒUh]v^a¡”\;!<q^a{!x=!>q^a\]\fiJy’÷^kcƒUxŠcfi ; ^a{Sx = Tš`S\]c&iNaUh]¡÷^au¦¨=OQP!UeŠ’™{cƒUh]\fUyc

\f’”{!yUcƒPSUc—¢iUh]cƒ’™yU\^ah]U?¡™’”{n_vUx¦¨F? ’”{SyU8!?Q’”{cfUhf\]Uycƒ\@5<'„S` c{Sivc;5>z£A!<'y^a{S{Sivc„§U

’”{Sy¡”`SxSUxŠ’”{=5>z¨Fš ihQ^š\]’”TV’”¡÷^vh=hfU_^v\fi{¢’™cfP=!B…£5>=y_^a{!{Siac„§UD’”{Sy¡”`Sx!Ux’”{!<ƒ¨=OQP³`S\

^a{e 264

’”\Qia›FcƒP!U ›HiahfT ’™¡”¡™`S\]cfhƒ^vcfUx„e1š'’™‡`ShfU ~ ’™{cfPSU ’”{cƒUh]v^a¡¦h]UuSh]U\]U{cz^vcf’”i{¤¨

ÕFÕ Ùœ›ê &&$ì

‡ ‡ ‡

< B

>

?

š'’”‡`!hfU WQu

‘

{e

264Œ9

;

=

>

’™\UTš„§Ux!xSUx ’”{ cƒP!UŸ’™{cƒUhžv^a¡DhfUuShfU\fU{³cƒ^vcƒ’™i{ ^a\

\fPSi…¢{¦¨ p=’™cƒP!Uh 9

9 9 ; 9 ; =

9 = >

9 > ih 9

9 > ;

9 = =

9 ; >

9 9

ria{³aUh]\fU¡ªe£¢PSU{šc—¢i’™{cƒUhžv^a¡”\ !<é^v{Sx5>éiNaUh]¡÷^au}cfPSU{ ; ^v{Sx = ^ahfU2cƒPSU T ’™xSxS¡”U

Uhžcƒ’™yU\ia›^vc ¡”U^a\]ci{SU 264 ¨)OQPS’™\’™\ xS`!UmcƒicƒPSUd›8^ayc cƒP ^vc2cƒP!Um’”{cfUh]v^a¡§hfUuShfU\fU{³cƒ^k–

cƒ’”ia{,PS^a\m„§UU{ yzPSi\]U{;TV’”{!’”T ^a¡Ý¨œ? `!uSuwia\fU›HiahdU$b!^aT u!¡”UcƒP ^kcm\]iT U U¡”UTVU{cf\?ia›'!<

^ahfU?\fT ^a¡”¡™Uh)cƒPS^a{4cƒP!i\fU?ia› !>8/cƒPSU?iacƒP!Uhy^a\fUm’”\2\]eJT TVUcfhf’™y_^a¡.1¨ aUc„wUdcƒPSUD‡ahfU_^N–

cƒU\žcQ’”{cfU‡Uh ia› 5<'cƒPS^vc&’™\{Siac’”{ !>z¨=OQPSUhfUDTš`!\]c&U$b ’”\]c&^a{Š’™{³cfUhža^v¡5??yi{cz^a’™{S’”{S‡

¢’™cƒP!i`!c&’™{cƒUh]\fUycƒ’™{S‡ !>qiacfPSUhž¢’”\]U)yia`S¡”xŠ„§UhfUT i…aUxŠeJ’”U¡”xS’™{S‡š^šTVihfU?yiTVu ^ayc

hfUu!hfU\]U{cz^kcƒ’”ia{ /Hyi{cfhƒ^axS’™ycf’”{S‡dcƒPSUQTV’”{S’™T4^v¡”’™c—emia›6cƒPSUuShfU\fU{c2i{SU"1¨)OQP!UQ\ƒ^aTVUQ^aho–

‡`STVU{c?^a¡”¡™iN¢\Qcfi yi{Sy¡™`SxSU cƒP ^kcdcfPSUh]UT}`S\]c?Ub ’”\žcm\]iTVU’™{cƒUhžv^a¡ !BD’™{cƒUh]\fUycƒ’™{S‡

!>2„S`!cd{Siac85<z¨ 9 ; = > ’”\&cfPSU{­^ 264 ¨

š'’”‡`!hfUrC u0OQPSUcƒPSh]UU \f’™cf` ^vcf’”i{S\%ia›4OQPSUiahfUT l ’”TVuS¡ªe ’™{S‡?4 7 - ›HihŸ^ 254 –

’”{SxS’ª˜¤UhfU{SyUih]xSUh]’”{S‡!¨

OQP!U›Hia¡”¡”i…¢’™{S‡?cfPSUih]UT y_^a{XU_^v\f’”¡ªe}„§UQxSUxS`SyUxV›Hh]iT cƒPSUQuSh]i iv›H\=’”{ŽAlEÞ¨)nòcq¡”’™{n_³\

T ’™{S’”T ^a¡6’”{cƒUh]v^a¡¦h]UuSh]U\]U{cz^vcf’”i{!\m^a{!x 254 –—’™{SxS’™˜wUh]U{SyUihfx!Uhf’™{S‡\¨

vxw ¬J±  ¬ ˜‰,'#K' UU*$ 'U' Z™H )'*+5 $# ‘ Hƒ' Z™H '!

*$ ,“' x

‡

5' L'@+S 'HŒ,MN,WZIKL4@- G xIU™' Z, 4 -

Ô! FÕéÔHç

,MN,WZIK1S–+–+K ƒGHHN„FK&*$ *' ',  +,“,'‰‰,@ HHJ<,' )#

LMIƒK …

†-‡

$#

' ,“'ƒ$#S+&HNWZƒL'K$#;

N,O,' HHN' €W+‰1+&HNWZFL' $#

‡

”K‡

N,Œ'HJn#K#B

$#bW+' QN,'W,f,“Œ' Z™H

"' Œ+‰

™' ZH'*-*$K ‡

‡

N,Š'HJn#K#

$# W+' ‘QN,'W,1,“f"' Z™H

,' HHN' 1W+‰

™' ZH'*-*$K ‡

N,@ 264 !"$#%&' '( )'*+1% N,K'I<'HJ

‡

™' IUQ'‰,'‘

 ‡ ‡ G :K+4 - 4 -8*$HJ,4 7 -r ˜G K+4 - 4 -B*$HJ, 4 --

N,@

264

!"$#%&' '@ #K' ZK ‡

hdiacƒ’™yUcƒP ^vcdcƒP!UšuShfUJ’”i`S\?hfUT4^ah)_³\m’”TVuS¡ªeŠcƒP ^kc4Ÿ^a{Sx -­^vhfUaUhžcƒ’”yU\ia›)\fiTVU

264 ’”{XU_^ayzP ia›¤cfPSUQcƒPSh]UUd\f’ªcƒ` ^vcf’”i{!\=ia›¤OQP!Uih]UT l ¨=t,ihfUiNaUh^a{ešc—¢iyi{!\fUy`!cƒ’ªU

Uhžcƒ’™yU\Qiv›\]iTVU 264 ^ah]UD’”{Šh]U¡”^vcƒ’™i{Š„e ¨ ‘ {Sx^a¡™¡¤^v„wi…Uv£6^a{e 254€9 ; = > U’ªcƒPSUh

Uh]’ U\

9 ; = >

ih

> = ; 9

¨œ? UU ADltE¦›Hih&cƒP!Ux!Ucz^v’”¡”\ia›'cfPSUuShfiJia›H\¨

E ±  ± HŽS ® +S r€*$ Z 264 !"$#%&' ' )'*+-,bL':#K

HJ

‡

“ …aéUc?`!\d„!hf’”USexSU\fyhf’”„§UcƒPSU h]Uyia‡{S’™cf’”i{^v¡”‡ih]’™cfPST u

OU\]c}’™›cfPSU4’™{SuS`!c‡hf^auSP¥’™\}^v{¥’”{cfUh]v^a¡q‡hf^auSP¥^a{Sx ’ª›&\fi­yiTVuS`!cfUŠ^,T ’™{S’ª–

T4^v¡F’™{cƒUhžv^a¡hfUu!hfU\]U{cz^kcƒ’”ia{¦¨mnòcmy_^a{;„§U}x!i{SU}’™{ ¡™’”{SU^ahQcƒ’”TVU „e;^a{e,¡”’™{SU_^vh

’”{cƒUh]v^a¡¦‡ahƒ^auSP!\dh]Uyi‡{S’ªcƒ’”ia{^a¡”‡iahf’™cfPST/8\]UU AªWa£!£6€ £ • £6~^E¦›HihQU$bS^vT uS¡™U 1$¨

OQPSU (hfU¡÷^vcf’”i{ y^a{ U^a\f’™¡™e „wU“yiT u!`!cƒUx ’™{ ¡™’”{SU^ah4cf’”TVU;„e \]cƒiahf’”{!‡ ›Hih

U_^ayzPŸ’”{cfUh]v^a¡cƒPSUšc—¢ i­’™{cƒUhžv^a¡”\i…Uhf¡”^auSuS’™{S‡’™cD¢P!’”yzPŸP ^_UXcƒPSU h]’”‡PcƒTVi\žc

¡”U›c„§i`S{!x ^a{Sx¥cfPSU4¡™U›cfT i\žchf’”‡aP³c„§i`S{Sx¢PSU{ cfPSUeŸUb ’™\]c_¨m`Sh]’”{S‡,cƒPS’™\

yiTVuS`!cƒ^vcƒ’™i{¦£eai`Šy_^v{ {Sx^v¡”¡ cƒPSU?hfU¡÷^vcf’”i{S\qyihfh]U\fu§i{Sx!’”{S‡cƒiši…Uhf¡”^auSuS’™{S‡

’”{cƒUh]v^a¡™\/8y^a\fU/oW 1ia›  ‡`Sh]U~ 1¨=OQPSU{,cfPSUhfU¡÷^vcf’”i{!\&yih]hfU\fu§i{SxS’™{S‡šcƒiXy_^v\fU

/C 1&^v{Sx /Þ~ 1&ia›  ‡`Sh]U~Xy^a{,„wUyiT u!`!cƒUx¦¨

ÕFÕ Ùœ›ê &&$ì

‡ ‡ ‡

\]’”{S‡^ ?Uu!cfP:š'’”h]\]cƒ?JU_^ah]yzP¦£cƒPSU^vyeJy¡™’”y’ªc—eia› y^a{ „wU cƒU\žcƒUx ^v{SxX^m¡”’™{SU_^vh

UbJcƒU{S\f’™i{ iv›=’™cdy_^v{ „§UyiT u!`!cƒUx /8’ªccƒPSUhfUUb ’”\žcƒ\mia{SU 1$¨Qnòcmy^a{ „§Ux!i{SU}’™{

¡”’™{SU_^ah cƒ’”TVUa¨

D

} 0-é-

OQPS’”\ u ^au§Uh \]PSi…¢\PSi…¢ ^,¡™’”{SU^ahmcƒ’™T Uš^a¡”‡iahf’™cfPST›HihDcƒPSU 254 –—’™{SxS’™˜wUh]U{SyUX‡hƒ^au!PS\

hfUyi‡{S’ªcƒ’™i{}y^a{ „wUxSU\]’”‡{SUx¦¨)OQPS’™\=^a¡™‡ihf’ªcƒPST \]cƒh]i{S‡¡ªe}h]U¡™’”U\i{ TVi xS`!¡÷^ahxSUyiT –

uwi\]’™cf’”i{ ^a\^uShfUuShfiJyU\f\f’™{S‡S¨`!c¡”’”{!U_^ah¦cf’”TVU=T iJxS`S¡”^ah¦xSUyiTVuwia\f’™cf’”i{^a¡™‡ih]’™cƒP!T \

^ahfU\]cf’”¡”¡¤yiTVuS¡”’™y_^vcfUxcƒi uShfia‡hƒ^aT,¨ ? i cfPSU{S^vcƒ`Shf^a¡ ³`SU\žcƒ’”ia{ ’”\ uy^a{­cfPS’”\uSh]UuSh]iv–

yU\]\f’™{S‡ \žcƒUu­y^a{­„§U^_i’™xSUx

?Ji’ªcqP ^a\q„wUU{ \fPSi…¢{ cfP ^vc2uSh]’”TVU 264 –ò’”{SxS’ª˜¤UhfU{SyUQ‡hf^auSPS\2^ah]U’”{cƒUh]v^a¡S‡hf^auSPS\¨

nòc ’™\=¢U¡”¡_³{Si…¢{4cƒPS^vcœaéUb ’”yi‡hƒ^vuSPS’”yh]U_^ax cƒP š'’”h]\]c˜? U^ahfyzP /aéUb³–[š ?1•AªWW'E§uS¡÷^_eJ\

^a{%’”TVuwihžcz^a{ch]i¡”U ia{’™{³cfUhža^v¡)‡hƒ^vuSPS\ AƀJ£~ £é•EÞ¨XOQPSU iahfxSUh–aU$b³–[šF?;J’”\]’™cƒ\DcfPSU

Uhžcƒ’™yU\dia›FcƒPSU’”{!uS`!c‡hf^auSP,y_^a{,„wU \]UU{;^a\QcƒPSU i`!cfuS`!cdia› aU$b³–[šF?$u6^ aéUb³–[šF?

ihfxSUhf’™{S‡S¨ š ihU$bS^vT uS¡™U;’”{ Aþ~^EÞ£m•\]¢ UUuS\ ia›u ^ahžcƒ’™y`S¡”^ahŽaéUb³– šF? ^ahfU%`S\]Ux cƒi

yiTVuS`!cfU}^4yzPS^ahƒ^aycƒUhf’”\žcƒ’™yih]xSUh]’”{S‡ ia›=’™{³cfUhža^v¡‡hf^auSPS\/HcfPSU}’¶–òcƒP,\]¢ UUu%\]cz^vh]cƒ\?i{

cƒPSUd¡÷^a\žc J’™\f’™cfUxXUh]cƒU$bŠiv›¦cƒPSUduSh]UJ’”i`!\\]¢ UUu1¨ sD{SU?y_^a{V¢i{!xSUh ’™› aéU$bJ–[šF? y^a{

„wU `S\]Ux cfi yiT u!`!cƒU^ 264 –—’™{SxS’ª˜¤UhfU{!yU ihfx!Uhf’™{S‡S¨ ‘ \d’”¡™¡”`S\žcƒhƒ^kcƒUx„ecfPSU‡ahƒ^auSP,ia›

 ‡`Sh]U•!£!cƒPSU^a{!\]¢ Uhd’”\Q{SiS¨

š'’”‡`!hfU~‰u ‘ ‡hf^auSP \f`SyzP4cfP ^vc2{SixaU$b³–[šF?Xihfx!Uhf’™{S‡’”\2^ 254 –—’™{SxS’™˜wUh]U{SyUihfxSUhf’™{S‡

sD{VcƒPSUm^a„wi…aUm‡hf^auSP¦£³{SixaU$b³–[šF?VihfxSUhf’™{S‡’™\^ 264 –ò’”{Sx!’™˜wUhfU{SyUih]xSUh]’”{S‡!¨ƒ? i

cƒPSUhfU’”\ {Si%PSiauwU›Hih \]iT U\]uwUy’”^a¡•aéUb³– šF? ^v\šcƒPSi\]UxSU {!Ux ’™{ Aà~^EÞ¨ ©U,y^a{

hfUT ^ah)_­cƒPS^vccƒPS’™\‡hƒ^vuSP%yi{cz^v’”{S\ TVi xS`!¡”U\ / 9 9 Š^a{Sx > > 1$¨ nòc\]UUT \cƒPS^vc

hfU\žcƒh]’”ycfUx cfi;uShf’™T U 264 –ò’”{Sx!’™˜wUhfU{SyU ‡hƒ^vuSPS\£œC,\]¢ UUu!\Viv›€aU$b³–[šF?¥yiTVuS`!cƒU\ ^

264 –ò’”{SxS’ª˜¤UhfU{SyUQih]xSUh]’”{S‡/H’™c=y^a{V„wU^\f’™T u!¡”’Sy_^vcf’”i{ia›wcfPSUuShfU\fU{³cfUx4^a¡”‡iahf’™cfPST1¨

`!c`SucƒiV{Si…¢ £S¢U xSiV{Siac(_³{Si…¢P!iN¢ cƒiV^_i’™x,cfPSU T iJxS`S¡”^ahx!UyiaT u§i\f’ªcƒ’™i{¦¨

Ô! FÕéÔHç

OQP!U“uShfU\fU{cfUx ^a¡”‡iahf’™cfPST h]U¡”’™U\ i{ \fiTVU u!hfiu§Uhžcƒ’”U\Šia› uSh]’”TVU ‡hf^auSPS\Š^a{Sx

^a¡”\]i­i{¥\fiTVU 254 hfU¡÷^vcf’”i{!\¨­r&^a{¥cfPSU\]U4\]cfhf`Sycƒ`Shf^a¡h]U\]`S¡™cf\}„§UŠ^ax ^vu!cƒUxcƒi iacƒPSUh

y¡÷^v\f\fU\ia›¤uwUh]›HUycƒ¡ªeXihfx!Uhƒ^v„S¡”Ud‡hƒ^vuSPS\2¡”’N_vUQ›HihqUb!^aTVuS¡”U 264 –òyiTVu ^ahf^a„S’™¡”’™c—e‡hf^auSPS\£

264 –ò\f’”TVuS¡™’”y’”^a¡6‡hƒ^vuSPS\ " " ’™{,iahfxSUh&cƒiVxSU\]’”‡{U mVy’”U{cdhfUyi‡a{S’™cf’”i{^a¡™‡ih]’™cƒP!T \

Qv& -

AªW EX¨D?w¨ i iacfP%^a{Sx ¨?w¨ aU`n_aUh¨ OFU\žcƒ’”{!‡›HiahmcƒPSU yi{S\]Uy` cƒ’™aU ia{SU\uSh]iu§Uh]c—ea£

’”{cƒUh]v^a¡6‡hƒ^vuSPS\&^v{Sx4‡hf^auSPŠu!¡÷^a{ ^vhf’™c—eš`S\f’™{S‡šg?–òcfhfUU?^a¡™‡ihf’ªcƒPST,¨ ‡ ˜*$K ‡

It,' ‡ '‡£¦W…~‰uà~~-l ~€a‚!£wW…‚€\ ¨

ADCtEš¨rPPkcz^a¡Þ¨ gFUhž›HUycf¡™e%ih]xSUh]Ux‡hƒ^au!PS\¨  $HD,U–N,“' '"‘+' ,£

C WQu\~ \Q\ £¤W…‚ v•S¨

Aà~E}¨ ¨Qriahf{SU’”¡Ý£•?w¨QsD¡÷^vhf’”`¤£Q^a{Sx{a=¨[?JcƒU¢&^ahžc_¨OQPSU `S¡™cf’”T ^vcƒU’”{cfUh]v^a¡d‡hf^auSP

hfUyi‡{S’ªcƒ’™i{ ^a¡™‡ihf’ªcƒPST n—{ “#K,fU++  ‰H  Œ!

ˆ 

I^*“,'K –N,“' '"  H]K ZW+Kx,   ! k£ u ^v‡U\ WN€Ql§W †!£wW…‚‚ ¨

Aþ•^Et¨al?^a„S’™„¦£Z ¨tŸ¨at,y…ri{S{!U¡”¡Þ£rm¨vg'^a`!¡Ý£^v{SxSa=¨D’”U{S{Siac¨KaU$b³–[šF?^?u ^ahžcƒ’ªcƒ’”ia{

hfUS{S’”{S‡;cfUyzPS{!’ ³`SUa£ ^auSu!¡”’”y^vcƒ’™i{cfi;cƒhf^a{S\f’ªcƒ’ªU4iahf’”U{cz^vcf’”i{ ^v{Sx yi{!\fUy`!cƒ’ªU

W à\QcfU\]cf’”{S‡!¨ + 'H ˜*$K' ''£¤W…‚‚€ ¨'Oi ^auSu§U_^ah¨

ADltErm¨àO¨al?i-Pa{!‡S£Qš¨vt ^k˜¤hf^…ea£^a{Sx t¨hdi…e¨ ‘ yzP ^ahf^aycfUhf’kj_^vcf’”i{ia› u!•v–—’™{SxS’™˜wUh]U{SyU

‡hƒ^au!PS\¨qOFi ^vuSuwU^ah’”{ai`Sh]{ ^a¡¦iv›hƒ^au!P,OQP!Uihže£W…‚‚ ¨

A\Erm¨àO¨ldi-Pa{S‡^a{!x ?¨‘ ¨éZdUUx¦¨S? iTVUšy¡”^a\f\]U\ ia›2u§Uh]›HUycf¡™e­ihfxSUhƒ^a„!¡”Uš‡hf^auSPS\¨

K Z$H[ )'*+

+ ZIv£¦W_~/8•A1Zuà•a•<lJ•-\a~!£¤W…‚ ‚!¨

AƀtE© ¨Da=¨Fl?\]` ^a{SxO¨Æl¨'t­^!¨f? `S„S\žcƒ’ªcƒ`!cf’”i{ŸxSUyiTVuwi\]’™cf’”i{“i{yzPSih]x ^a¡2‡hƒ^au!PS\

^a{Sx%^auSu!¡”’”y^vcƒ’™i{S\¨Dn—{ ˜ “#K, S+ ” $#  Œ! ˆ  ˆ "' '$!

$H I^*“,'K I L'HJ $#  H]KMLM ) ˜*$  £{³`STš„§Uh@lQla€’™{

a6hmr•?w£W…‚‚!Wa¨

AEh¨?ihžcƒUD^v{SxŠZ ¨St! PShf’™{S‡S¨ ‘ {Š’”{!yhfUT U{cz^a¡§¡”’™{SU_^aho–òcf’”TVUQ^a¡”‡aihf’ªcƒPST0›Hih h]Uyiv–

‡{S’Nj’”{S‡ ’™{cƒUhžv^a¡¦‡hf^auSPS\¨

ˆ  " Z$H˜*$KKa£¦W ‰u\ W£¤W…‚ ‚!¨

ÕFÕ Ùœ›ê &&$ì

‡ ‡ ‡

Aà‚EZ¨Æt¨'t­y…ri{!{SU¡™¡ ^v{Sx !¨àg¨ ? uS’™{Shƒ^ax¤¨Ža钔{SU^ahž–Ýcƒ’”TVU TVi xS`!¡÷^ahxSUyiTVu§i\f’ªcƒ’”ia{

^a{Sx4U'mVy’”U{c cfhƒ^a{S\]’™cf’™UQiahf’”U{cz^vcf’”i{Xia›¤`S{SxS’™hfUycƒUx ‡hf^auSPS\¨¦n—{f˜ “#K,&

W+ ƒZW+  nH  Œ!

ˆ  I^*“,'K –N,“' '"  H]K Z+Kx,£¤u ^a‡aU\

la~Q\‰lk•<l £¤W_‚‚a•S¨

AªW…†E O¨)Zd^a\fyzPS¡™UŠ^a{!x ¨ ? ’™T ia{¦¨;sD{¥cfPSU

4 –—yiaT u§i{SU{³cf\}ia›‡ahƒ^auSP!\¨ OFUyzP!{S’”y^a¡

ZdUuwihžcC\!W£kn—{S\]cf’™cf`!cƒUqia›!OQPSUih]Ucf’”y_^v¡!riaT uS` cƒUh ? y’”U{SyUv£p=OlSh]’”y_6£JW…‚‚€ ¨

AªWW E}¨ !¨JZi\fUv£!Z ¨³pQ¨ O^ahjf^a{¦£J^a{Sx X¨K?w¨KaéU`‰_aUh¨ ‘ ¡”‡aihf’ªcƒPSTV’”yQ^v\fu§Uycf\ia›wUh]cƒU$b

U¡”’™T ’™{ ^vcf’”i{ i{‡hƒ^au!PS\¨ ˆ 

" K Z$H I˜*$KKa£nl/C 1ZuC^\Q\‰C a~!£¤W…‚€\!¨

Ô! FÕéÔ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