The Mortality of a Pair of 2x2 Matrices is Decidable

(1)

HAL Id: inria-00073848

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

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.

The Mortality of a Pair of 2x2 Matrices is Decidable

Yannick Saouter

To cite this version:

Yannick Saouter. The Mortality of a Pair of 2x2 Matrices is Decidable. [Research Report] RR-2842, INRIA. 1996. �inria-00073848�

(2)

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

The mortality of a pair of 2 2 matrices is decidable

Yannick Saouter

N 2842

Mars 1996

PROGRAMME 1

(3)

(4)

/02114365798:0<;>=?@BADC

EFHGJIJFLKMNMPO#Q&RSTFVULW<XZYHOUYV[2FVO\-]>KF^K`_Z_baOc_dOc\eBfgK`\VO\&h<O#h<GJi<ikjOO\e>F<jO\VOK`[<lmOYk\VnB\HYaOMNO\Th<XZ\HYVFVXZf<[kjO\

EFHGoLOY&S(Ep

qTK]2]gGDFVY$h<O-FVOcU^W2OFVULW<OritsvuJw`xvu+R"yKFH\Q{zJzJ|+R}Q~t]gK`IJO\

c>DS]>KXZFTG`MmKYHFVXZUO\&Xd\#\LKXZhYVGNfgOMPGDFVYLK_:XYVW2OFVOXZ\(KN\HOFVXZOGYHW<O\VOMmKYHFVXZUO\bGJF

W<XZULWYVW<Om]<FHGvh2[<UYPXZ\YVW<Oiv[2_d_$MK`YVFHXdlSFHOUOiBYNFVO\H[<_ZYPWgK{DOOc\VY^K`f<_ZXZ\VW<OhYHWgKYYHW<OmIJOi<OcF^K_

]<FHGJf<_ZOMGkYVW2OPMPGDFVYLK_ZXZY6nPG(KN]gK`XZF-GkXZivYHOIJFLK_$MK`YVFVXZUOc\(XZ\-[2i<h<OUXZhgK`f<_ZOJmp6iYVW2Xd\KFVYHXZU_ZOJe

O

]<FHGJO-fBnP[2\VXZi<IPGDi<_Zn_ZXdi2OKF#K_ZIJOf2F^KYVW>KYTYHW<O-MNGJFVYLK_ZXZY6nG`K]gKXZFTG`uuXZivYHOIJFLK_MmKYVFHXZUO\TXZ\

h<OUcXdh>Kf<_ZOJ

NB>^->J ¡ymGDFVY^K`_ZXdY6n¢<£&OUXZhgK`f<XZ_ZXdY6n¢B¤XZi<OK`F¥K`_ZIJOf<FLK

¦Z§¨

©«ª6¬

¨

©®¯Zª6°b±c²

³$´Vµk¶·¹¸ZºB»V¼½J¾À¿VÁ{ÂÄÃ&ÅÂ^Å»V¼BÆÇÈÂ

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : (33) 99 84 71 00 – Télécopie : (33) 99 84 71 71

(5)

<Ti<Ok]>KXZFVO$h<O$MKYHFVXZUO\O\HYh<XZYVO$MPGDFVYHO_Z_dO\HX<XZ_vOclvXZ\HYVOk[<i<O$\V[2XdYHOkh<O$UO\$h<O[<l-MmKYHFVXZUO\

h<GDivYk_ZO#]<FHGvh2[<XZYT\VGDXZYk_ÈKtMK`YVFHXdUcO(iB[<_Z_ZOJ&iF<jO\H[<_ZY^K`YTF<jOcUOiBY#MPGJiBYHFVOB[<Ot_dO#]<FHGJf<_aOMNOTIjOikjOFLK_h<O

_K&MPGJFHY^K`_dXZY<jOh[<i<Ok]gK`XZFVO$h<OTMmKYVFHXZUO\OiBYVXaOFHO\Oc\VY$Xdi2h¥jOUXZhgK`f<_ZOJJ£#Ki<\UOcY¥K`FVYVXZU_ZOJeDi<GD[<\]<FVGD[<JGDi<\

Oi[<YHXd_ZXZ\^K`iBY-\VO[2_dOcMPOiBY_¹K`_dI<aOf<FHO_dXZikjO{KXZFVOv[2O_KmMNGJFHY^K_ZXZY<jOh[<i<ON]gKXZFHOh2OPMK`YVFHXdUcO\OcivYHXbaOFVO\

uuOc\VYThkjOUXZhgKf2_dOD

> ÄÄ. ymGDFVYLK_ZXZY<jOJ¢<£jOUXZhgK`f<XZ_ZXdY<jOJ¢DST_ZI<aOf2FVO-_ZXZikjOK`XdFHO

(6)

) * P) %k$

p6iYVW2OPKFVYHXZU_ZO,+dQ.-VegYHW<OK`[<YVW2GJFV\tFVOUOcivYH_ZnXdiBDO\VYHXdIBKYHO\-YVW2OP]<FHGJf<_ZOM GkYVW<ONMPGJFHY^K`_dXZY6nNGTKm]gKXZF

GMK`YVFVXZl/kW<OcnPGJf2Y^KXZiNO\V\HOiBYVXK_Z_ZnPY

GFHO\V[2_dYH\1032X4$YVW<O#MNGJFVYLK_ZXZY6n-GK-]>KXZFG`4XZiBYVOIDF^K`_5( (6('(%7

MK`YVFHXdlXZ\T[<i2h<OUXZhgK`f<_ZO(XZimIJOci<OF^K`_6e52XZX4$YVW2O-MPGDFVY^K`_ZXdY6ntGK]gKXZFkG`4XZiBYVOIDF^K_ ]gGD\VXZYVXZDO(MmKYHFVXZlU{Ki

f>O-\VGD_dDOhXZimOlB]gGDi<OiBYVXK`_:YVXZMNOJBp6imYVW<OK`FVYHXdUc_dO8+(!-Ve2YVW<OK`[<YVW2GJFkUGDi<\VXZh<OF-K`\$bGJFkW<XZM YVW<OtIJOi<OcF^K_

]<FHGJf<_ZOMG(u uMmKYVFHXZUO\K`i<hOlBW<XZf<XZYKUFVXZYVOcFVXZGJi bGJFKm\VOcYGT\V[2U^W MK`YVFVXZUOc\-YVG.fgONMPGDFVY^K`_6

TiÀbGJFHYV[<igK`YVO_ZnBeYVW2Xd\tUFVXZYVOcFVXZGJiXZ\KNYVW2OGJFHOYVXZUPFHO\V]>GJi2\VOmYVGYHW<XZ\-]<FHGJf<_ZOMKi<hh<GBO\i<GDY(IDXZJOPKi

K_ZIDGJFVXZYHW<M cp6iYVW<XZ\K`FVYVXZU_ZO

O$bGBU[<\GDiYVW<Ok]2FVGJf2_dOcMG` YHW<OTMNGJFHY^K_ZXZY6nTG` K+\VXZi<IJ_ZO$]gKXZFG` XZiBYVOcIJF^K`_

uuMmKYVFHXZUO\kKi<h

O(]2FVGJO#YHWgKYkYHW<XZ\k]<FVGDf<_ZOMrXZ\kh<OUXZhgK`f<_ZOJ

9 ;: 'r ) m( t"'

SkY<gFH\VYe2_ZOYk[<\kh<O<>i<O-YVW2O-MPGDFVY^K`_ZXdY6nB

=N'>@?BA1A?DCFEGH2MNGJFHY^K_ZXZY6n4JI3%KL&'MNO'P%Q R8 Q#STVUWS"XU%YYYZUWS\[];^6Q .%_

Q'QO`QN'M'ab! _c6 ed%Jft"fg Q#c6h1ij1a1Qa \Q;Klk 1B _b#MPGJFHY^K`_5_%

m a $c6_^nQ$ % $QNOM&% \op\'Q#Mq'psr6c6aZmQtguBtwvx NObyZz {

S\|~}

} YS\|1

Y3YYZYzS\|1

c5z1W

#' eR'Q'! MQN'5M'!em k

p6YMmK{n-f>OTi<GDYVOhNYVWgK`YX4K#\HOYG`4MmKYVFHXZUO\XZ\MNGJFVYLK_gK`i<hX:YVW<O&FVXZi<Ih<G-i<GDYUcGJiBY^K`Xdih2XdBXZ\VGDFV\

GBOFHGgeBYVW2Oimi<OUO\H\^K`FVXZ_ZnK`Y_ZOK`\VY$GJi<O#G`:YVW<O#MK`YVFHXdUcO\G`4YHW<O#\VOYkWgK{DOTYHGf>O#\VXZi<IJ[2_ÈK`F\2X6OJ

XZYVW

F^K`imi<GJYkMmKlBXZMK`_Z4Dp6imYVW<OtbGD_d_ZG

XZi<I-\HYV[<h2nve2\VXZi<UO

Ot_dXZMNXdY GJ[<FH\VO_ZJOc\(YHGPYHW<O-\VOcY GigKYH[<F^K`_

XZiBYVOIDOFV\{e<XZY

XZ_d_>f>O-YVW<O#UK`\VOJ

S YVW<OcGJFVOcM

Xd_Z_>fgOtG4IDFVOK`Yk[<\VOtXdiNYVW<O+bGJ_Z_ZG

XZi<I0

BgCFEG2kK{nB_ZOn'7#KMPXZ_ZYVGDiYHW<OGDFVOM4\I315v& emhcnZ%ij%%Q $'P1%$!Q R

Klk \''11! @~ZQ'Ma,r&!Z'Q R ; 1zKl+_-6@~ZQ'M~e \c6aZ81ij1%Qa

QKL'Q# "#'^nQ#&%$

O

2v,Y¡ 4.rJc5%

¢.

$# %%Q Qzr ZzJ!

NOQ £'Q c6QP% '&l'Q# ¤ ,¥# %QM'¦m,y , ed%¥Zz Qjv§k_I5%"¨ &¥Zz

©WhQ R~ h# ^6Q#l&%¨ 2VQ!ª"4

'Q#¨ 2a,4

v c5%NQª©« MZzN¢QzWhZz

Q'RKlk¬$z P%M%Q¨ 2 4

k

¥ 'P1%$v hmuP.uO` em~r\Zz1Q¥ X

b®

2v4Y°¯

O

2v4h Q#¥ v X

b®

2v4!Y¡v

¢.

2v4!Y¡ ,c5z1W

b®

"ZaQ $. QyW 1k

±O

XZ_Z_gK_Z\HG-[<\VO&]<FVGD]gOcFVYVXZO\kG`4h<XK`IJGJi>K_ZXZ\^KYHXZGJiK`i<hYVFHXdIDGJigK`_ZXd\LKYHXdGDi:{p6iPGDFVh<OF$YVG_ZXZIJWBYVOiYHW<O

YVW2OGJFHOMP\

O#GJi<_ZnOlB]>GJ\VOchYVW<OcMrbGDFTuuV7MmKYVFHXZUO\10

BgCFEZCI5%6v &uuO` em8 P%1k3²° em³´ .'#&&\VOMf<_K`f<_ZOhv

%$m « .a $ Q¥QP%1. .a&$M'!em$µ¶ N¢¥Zz 5v

µ·

T

³,µhkJz1WM« "%Qlc6h ! .{

¸ \$''11! nQ O

X

b®

2v4Y¹¯

O

2v4_~ "c6M#' aQ1n% a Jº6T$'Q#

ºXVrJZz1Q¥h emv 1&!Z &!Zhh#'1R' Qz6M'!emj»

º T ~

~ º X¼

k;h em

v½ $%Q #88&Th<XK`IJGJi>K_ZXZ\^Kf2_dO'k

¸ \$''11! nQ

X

b®

2v4!Y¹¯

O.

2v4_~ "8# NO&!Z$W1'5ºnr%QZz

M'¦mv h 1& &!Zl'Q,N! 18! Q R'N'Z' em¥8Zz"! » º ¾

~ º§¼

k

M'¦mhv hZz1Q¥ a#l,&-YHFVXZIJGDigK_ZXZ\^K`f<_ZO¾À¿

~Á Q#¥1R' Qmh2XÈK`IJGDigK_ZXZ\^K`f<_ZO'QZz

b~ MW$ZzM'QW k

Â5ÂÄÃ6Å1Æ.ÇÈ1Æ

(7)

¥ 'P1%$Q,&'Zyb~ rJM'!em$µÄ$'Q R'h$& \£ Qz c6Qk

/kW<XZ\kOK\HnPYHW<OGJFHOMIJOci<OF^K`_ZXZcO(XZiBYVGYHW<OJGDFVhgK`iYHW<OGDFVOM +¹u!-V

} "# $%T#'

p6iPYHW<XZ\U{K\VODe

OTWgK{DOTGJi2_dnY

GMmKYVFHXZUO\6S T K`i<hS X YVWgK`Y

OTUK`imM[<_ZYVXZ]<_Zn-K\$MKiBnK`\h2O\VXZFVOch

XZiGJFHh<OFYVGGJf<YLKXZiYVW<ONiB[<_Z_MmKYVFHXZl >S&\

OPWgK{DOP\LKXZh]<FVOcvXZGD[<\V_ZnBe4K`Y-_ZOK\HYGDi<OPG`TYVW<O\HOmY

G

MK`YVFHXdUcO\TWgK{DOYHGmfgO\HXdi2IJ[<_KF{BXZi<UcOGJ[<F#MK`YVFHXdUcO\(K`FVO\V[2]<]gGD\VOhYHGmfgOi<GJi7 iB[<_Z_6e<YHW<XZ\(XZMN]<_ZXdOc\

YVW>KYTOcXdYHW<OFS$T&GJF\SX#WgK`\(KFLKimO B[gK`_:YHG QJ2p6i

WgK`Y$bGJ_Z_ZG

\

O\V[<]<]>GJ\HOYHWgKYTK`YT_ZOK`\VY\ST(XZ\

GF^K`i QDO/kW<OFVOtXd\kYHW<OiYHW<FVOcO-h<X OcFVOiBYTU{K\VOc\

#g.4O?

b®

2aS T 4

~BXZi<UcOMS T XZ\(K\VXZi<ID[<_KFkMmKYVFHXZl eDYVW2Oi

O

2aS T 4

~2<p6iBXZFVYH[<O-G`YHW<O

kK{nB_ZOn'7#KMPXZ_ZYVGDiYHW<OGDFVOM.e

O#WgK{DOTYVW2Oi,S XT

~Ki2hPYVWB[<\&YVW<O#]gK`XZFkG4MmKYHFVXZUO\$XZ\kMPGJFHY^K`_

#gMO?g%DST(z? gSX-<.A? < TOcFVO-XZiPBXZFVYH[<O#GYVW<O#]<FHOUOh<XZi<IU{K\VODe

OTU{Ki

\V[2]<]gGD\VOYVWgK`Y

b®

2S

T

4¿

~K`i<h

b®

2S

X

4¿

~2g¤ OYT[<\&\V[<]2]gGD\VO-YHWgKY

O#WgK{DO(Y

G\VOcYV\#GiB[<Mf>OFV\

op

XZYHWPJK_Z[<Oc\kXdivQ'U^u+K`i<hq

p

XZYVWP\HYVFHXdUcYV_ZnP]>GJ\HXdYHXZJO#XZivYHOIJFLK_JK`_d[2O\k\V[<ULWmYVW>KY10

S;| }

} YS\|

YYYZYOS;|

p6iYVW<XZ\NUK\HO

OWgK{JO

O

2aS T 4 O.

2S X 4

~.\HXdi2UOf>GJYVWMmKYVFHXZUO\PKFHO\VXZi<ID[<_KF{eYVWB[<\PYHW<O

kK{nB_ZOn'7#KMPXZ_ZYVGDi-YVW2OGJFHOM*IDXZJO\k[<\HO#YVW<O#O B[gK`YVXZGJi<\_S

XT

jb®

2aS T 4!YS T Ki<hS

XX

jb®

2aS X 4!YS X O±O

WgK{DOTYVW2OiS |

jb®

2aS

4 |

X YS |

X

W2OFVO

oXZ\YHW<O#XdiBYHOIJOF B[<GDYVXZOiBYkKi<h! XZ\$YVW<O#XZiBYVOIDOF

FVOcMKXZi<h2OF"ÀXdi2UOPYHW<OXZi<h<XZUO\hop U{Kif>OP\V[2]<]gGD\VOh \V[<UcUO\V\HXZJO_Zn K`_ZYVOFHi<XZi<ID2XZi.YVW<ONUK\HOPG`Ti<GJY

nJGD[UKiIDFVGD[<]P\H[<UUO\H\VXZJO#YHOFVMN\XZivYHGK#\HXdi2IJ_ZOkGJi<O%4eDYVW<O&MPGJFHY^K`_dXZY6n#G4K+]gKXZFG:MmKYVFHXZUO\eDXZiYHW<XZ\

UK`\VO-XZ\kO B[<XZJK_ZOiBY$YVGPKt\VnB\VYHOMGOXZYVW<OcFTYVW2OTGJFVM¥0

S$T1YSX YYYY S

GJF%0

S"XYSTVYYYY S

#TG

oL[<\HYkUGJi2\VXZh<OF&YVW<O<>FV\VY&UK\HOJ>pJo

u2eBYVW<XZ\&O B[gKYHXdGDiPMNOKi<\kYHWgKYkYHW<O-MmKYVFHXZl2aS T YS X 4kXZ\

i<XZ_Z]gGDYVOiBY{%$TimYHW<O-UGDivYHF^K`FVnBeBX6o

QDeBnJGJ[mMmK{nK`h<hKS X K`YkYVW<OtOi<hmGYVW<O-_ZOL Ys76WgKi<hN\VXZh<O#G

YVW2O(Ov[>KYVXZGDiK`i<hKIBKXZiYVW<OtMKYHFVXZl2S T YS X 4$FHOJO{K_Z\TYHGf>O-i<XZ_Z]gGDYVOiBY{

&<GDFkYVW<Ot\VOUGDi<hUK`\VOJe>nDGJ[Kh<hKS T YVOFHMKYkYHW<O-f>OIJXZi<i<XZi<IKi2h[2\VXZi<IYVW2O-\^K`MPO-KFHIJ[<MNOiBY

K\>oL[<\VY$Kf>GJO$nJGJ[h<Oh2[<UO(K`IvK`XdiYVW>KY_2S T YS X 4XZ\i<XZ_Z]gGDYVOiBY'BGtXdiYVW2Xd\ UK\HOkXYVW2Ok]gKXZFGMK`YVFVXZl

XZ\MPGDFVYLK_BnJGD[UK`iPh<Och<[<UO&YVWgK`Y\2STVYS"X!4XZ\i<XZ_Z]gGDYVOiBYDqkOUXZ]<FHGBUK_Z_ZnX62STVYS"X!4XZ\i<XZ_Z]gGDYVOiBYYHW<Oi

YVW2O(]>KXZFkGMKYHFVXZlXd\kMNGJFHY^K_6

([2YkXKutPu%76MK`YVFHXdlvXZ\i<XZ_Z]>GJYVOcivY$YVW2Oimi<OUO\H\^K`FVXZ_Zn

OTW>K{JO$v

X

¤

O±OTMK{n[<\HO(YHW<O

JKFHXKiBYG%JGDFVhgK`iYHW<OGDFVOM YHGT\VOcOYHW<XZ\{ST\

OWgK{JO \VOOi eYVW<O MKYHFVXZl\v XZ\:\HOMf<_Kf<_ZOYVG#K$MK`YVFVXZl

³ G:YHW<O&bGJFHM »

ºnT ¾

~ ºBX ¼ e

XZYVWW<OFHO$º6TkKi<hºBXOJOiBYH[gK_Z_ZnOv[>K_6)ÀXdi2UO"v

µ·

T

Y¡³Y¡µ9bGJF

\VGDMPOXZivDOFV\HXZf<_ZOMmKYVFHXZlµ YVW<OiDv

| µ·

T

Y¡³

|

Y¡µrKi<hYHWB[<\Mv XZ\$q'76i<XZ_Z]gGDYVOiBY#X¥Ki<hGDi<_ZnmX

³XZ\(K`_Z\VGq'76i<XZ_Z]gGDYVOiBY*([2Y(fBnmFVOcU[<FVFHOi<UODe

OW>K{JO-YHWgKY³

|

XZ\TGYHW<O-GJFVM » º

|T

¾ |

~ º

|X

¼

bGJF

\VGDMPO;¾

|

z/kWv[2\TKi<OUO\H\^K`FVnUGDi<h<XZYVXZGDiPGJF_³YHGfgOq'7i2Xd_Z]>GJYHOiBYkXd\kYHWgKY\ºnT

ºBX

~<O±O#WgK{JO

YVW2OiYVW>KY_³XZ\kO B[gK`_YVG »

~x¾

~ ~¤¼

e<Ki<hmYVWB[<\\³ X

K`i<hm\VGv

X

BGXZiPYHW<XZ\kUK\HO-YVW<Ot]gKXZF$G4MmKYHFVXZlMST(Ki2hSX&Xd\kMNGJFHY^K_>XK`i<hmGJi<_ZnX 2aS$TYSX4

X

+-,5Â.+-/

(8)

#gMO?¤S X A6$? ? !A? b2}S&\k]<FVOBXZGJ[2\V_ZnveB_ZOYk[2\kUGJi<\HXZh<OFTYHW<O&bGJ_Z_ZG

XZi<I-\Hnv\HYVOM¥0

S;| }

} YS\|

YYYZYOS;|

±O#MK{n\HYVXZ_Z_:UGDi<\VXZh<OF#YHWgKY&YVW<OMq'pJK_Z[<Oc\kbGDF

W<XZU^W¥op

Q-KFHO-O B[gK`_4YHGQJymGDFVOGDOF

XZYVW2GJ[<Y

_ZXZMPXZY^K`YVXZGJiGYVW<O-IDOi<OFLK_ZXKYHXZGJi:e

O-UK`iUcGJi<\HXdh2OFTYHWgKY\oa

QDBp6i<h<OOch:e>X6o

u\VXZi<UcO$S"X#XZ\

XZiBJOFH\VXZf<_ZOJe

O(U{KimM[<_ZYVXZ]<_Zn-f>GJYHW\HXZh<O-fBnhS

· |

X

Ki<hmYVWB[<\kGDf<Y^K`XZiPYVW2O-O B[gKYHXZGJi50

S;|}

} YS\|1

YYZYYOS

| O}

O}

±OTFHOMPXZi<hW2OFVO#YVW>KYkK-MmKYVFHXZlMvXZ\iB[<_Z_>X4Ki<hNGJi<_ZnXGJFkK_Z_gDOUYHGJF<e

OTW>K{JO"v

~B<¤ OY

[<\TK`]<]<_ZnYVW<XZ\kUFHXZYVOFHXdGDiYVGGJ[2Fk\VnB\VYHOM z±OTWgK{DO(YHW<OiNbGDFTK_Z_gDOUYHGJF 0

S;|}

} YS\|1

YYZYYOST

~

±O-WgK{DO#YVW<Oi.i<OUcO\V\LKFVXZ_Znlv u2<p6i<h2OOh.XJv

Q-YHW<XZ\T\VnB\HYVOMXZMP]2_dXZO\$YVW>KY\S T

H

W<XZU^W

XZ\kOlBU_Z[<h<Oh BGGD[<Fk\VnB\VYHOM FVO

FHXdYHO\-K\%0

S;| }

} YS\|

Y3YZYY YS

|1O}

X YS T

~

STIBKXZi\HXdi2UOMSX-XZ\&XdiBDOFV\HXdf2_dODegX

O-\H[<]<]>GJ\VOYHWgKY$v

u

OKFHO_ZOh K`IvK`XdimYHGST

H

/kWB[<\

O(W>K{JO$v ¤(Ki<hNYVW<Ot\VnB\VYHOM*XZ\%0

S | }

} YS |

YYYYYSTVYS | O}

X YS$T

~

($[<Y#i<G

XZYVW2GJ[<Y&_dGD\V\#G$IJOi<OcF^K_ZXZY6nBe

OUKi.UGJi2\VXZh<OF-YHWgKY&XZiK`UY$v

(2gp6i2h<OOhYHW<O\H]gKUcO

XZMK`IJO$GS$TkXZ\G:h<XZMNOi<\VXZGDiQDeJX6OJXZYXZ\kK#_ZXdi2Ok\V[<\HY^KXZi<OchPfBnPK#JOcUYVGDFeB\^K{n

DST\kK#UGDi<\VOv[2Oi<UO

YVW2OTXZMK`IJO$GK+\V[<f<\H]gKUcO-fBnMST¥XZ\$OXZYVW<OcFYHW<O#OMP]<Y6n\V]>KUO#GJF YVW<O#OiBYVXZFHO(\H]gKUcOTXZMK`IJO$GST%BG

OXZYVW2OFTYHW<O\H]gKUcO-XZMKIDOTG`@STVYS |

O}

X YSTTXZ\kYVW<O-OcMP]<Y6nN\V]gK`UOK`i<hmYVW<OtMKYHFVXZlhS$TYS |

O}

X YS$TTXZ\

O B[gK`_<YVG

eDGJFXZYXZ\4YHW<OT\H]gKUcOTXZMK`IJOG` S T ($[<YXZiYVW<XZ\_K`YVYVOcFUK\HOJeBYVW2Xd\\H]gKUO&XZ\K_Z\VG#IDOi<OFLKYVOch

\VXZMN]<_ZnfBnhS T Ki<hmYVWB[<\knDGJ[mWgK{DOTi<OUcO\V\LKFVXZ_Zn0

S\| }

} YS;|

YYYYYS T YS |

X YS T

~

/kWB[<\fBnFVOU[2FVFVOci<UOnJGJ[UK`iPOK`\VXZ_Znh<Och<[<UO&YVWgK`Y

O&UKi_ZXZMPXZY [<\YVGtYVW<O&UK\HO

W<OFHO$v

(-Ki<h

\VGYVW2O(]>KXZFGMK`YVFVXZUOc\6S$TTKi2hS"X&XZ\$MPGJFHY^K`_<X4Ki<hNGJi<_ZnX:YHW<OFHO-OlBXZ\VYkKiPXZiBYVOcIJOF_q\H[<ULWYHWgKY%0

S T YS |X YS T

p6i GDFVh<OcF(YHGP\HGJ_ZJOYVW<XZ\&]<FVGDf<_ZOM e O

XZ_Z_:YHFVXZIJGDigK_ZXO-YHW<OMKYHFVXZlS X >¤OY#YHW<Oif>O µ KNi<GJi

\VXZi<ID[<_KF$MK`YVFVXZlKi<h X KtYVFVXZIDGJigK`_MKYHFVXZl\V[<ULWYHWgKYS X µ·

T Y X Yµ ±O#WgK{DOTYVW2Oi50

S$T1Y¡µ

· T Y |

X

Y¡µ_YS$T

($GJYVWMmKYVFHXZUO\S$TYµ · T

K`i<h¤µ_YS$TWgK{JOKF^Kiz¡O B[gK`_kYVGGJi2OJ¤OYNFVO\H]gOcUYVXZJOc_dnf>O

K`i<h

YVW2Oh2XdFHOUYHXdGDi<\G#YVW<ODOFVi<Oc_(G`\S$TY¡µ·

T

Ki<hG#YVW<OmXZMK`IJOG$µ_YS$TB/kW<Om_ÈK`YVYHOFOv[>KYVXZGDi XZ\

YVW2OiO B[<XZJK_ZOiBYkYHGYVW<O-OclvXZ\HYVOi<UcOG` KJK`_Z[<O$qP\H[<ULWYVW>KY

|

X

2O4$Xd\&UGJ_ZXZi<OK`FkYVG

±O

XZ_Z_]gGD\VO

» T

X ¼ K`i<h

» 'T

X

¼

¤OYk[2\T\V[2]<]gGD\VOK`Y6<>FV\VY&YVWgK`Y X XZ\kh<XKIDGJigK`_

XZYHW X »

º6T ~

~ ºBX ¼

O±O&WgK{JO#YVW2Oi

|

X

2'4

UGD_dXZi<O{KFkYVG

XK`i<hmGJi<_ZnX4YHW<O#h<OYHOFVMNXdi>KiBY

O

2

|

X

2O4U

4$XZ\kiB[<_Z_XOJ0

º

|T Y'T

T

º

|X YX

X ~

!

º3|T Y'TVY

X6º3|X YX'Y

T ~

(9)

p º T º X e{YVW2OiYHW<OUGDi<h<XZYVXZGDi-XZ\voL[<\HY T Y X X Y T

~</kWB[<\YHW<OJK_Z[<O Gq#WgK`\:i<G&XdMN]gGDFVYLKi<UO

Ki2h\HGXZiPYVW2Xd\kU{K\VODe<YVW2O-]gKXZF$GMK`YVFHXdlXZ\MNGJFHY^K_>XK`i<hmGJi<_ZnXS T YS X YS T

#TG

\V[<]<]>GJ\HOkYVWgK`Y6º6T$¿

ºBX'BXZi<UOkYHW<OkMK`YVFVXZl;S"X Xd\i<GDi\HXZi<IJ[<_K`Fe{fgGDYVWYVW<Oc\VOTJK`_Z[<O\:U{Ki<i<GDY

f>OiB[<_Z_6B[<]<]>GJ\HOi<G

YVWgK`Y#OXZYVW<OF 'T-GDF

X-XZ\#iB[<_Z_ e2YVW<OciYVGP\LKYHXd\«bnYHW<OUcGJi<h<XZYHXdGDii<OUcO\V\LKFVXZ_Zn

OTWgK{DOTOXZYVW2OF XGJF

TiB[<_Z_6JS&IvKXZiX4XZY$XZ\YHW<OTUK`\VOJe2YVW<O#JK`_d[2OTGqXZ\XZi<h<XOFVOcivYTK`i<hPYHW<O#]gKXZF

G$MKYHFVXZlPXZ\&MPGJFHY^K`_XkKi<hGDi<_ZnmXS$T1YS"X'YS$T

§

#&G

O\V[<]2]gGD\VOYVWgK`Y(i2GJi<OGYHW<OJK_Z[<O\

Te

Xe'TTK`i<h!XTXZ\kiB[<_Z_6O/kW<OimYVW2O(UcGJi<h<XZYHXdGDimXd\$O B[<XZJK_ZOiBYkYHG0

qYu 2º6T45¯u 2'T Y

X4

qYu2ºBX45¯Áu 2XOY

Tb4

!

q

u2X'Y

Tb4@lu2 'T Y

X!4

u 2ºnT.4@lu2ºBX14

/kWB[<\TX

O-WgK{DOKiO\VYHXdMmKYHXdGDiPG`YVW<OtFVXZIJWBYVW>Ki<h\HXZh<O-]<FHOUXZ\VOOi2GJ[<IDWD2\LK{nK`Y(K`i KUUc[<F^K`UnG

_ZO\V\YHWgKimQDu\4e`YVW<OiKk\HXZi<IJ_ZO$JK_Z[<OG` q-XZ\ ]gGD\V\VXZf<_ZOkKi<hYVWB[<\XZYXZ\:]>GJ\V\HXZf<_ZOYHG(YHO\VY YVW<O$MPGDFVY^K`_ZXdY6nB

#TG

OP\V[2]<]gGD\VOmYVW>KY XXZ\h<XKIJGDigK_G`TYVW<ObGJFHM X

» º ¾

~ º ¼

XZYHW¾]¿

~<S&IvK`Xdi

\VXZi<UcO X.XZ\Pi<GDYP\VXZi<ID[<_KFNYVW<Oiº ¿

~<$STIBKXZi

O.WgK{JOYVGh<OUXZh<O

W<OYHW<OFYHW<OFHOOlBXd\HYV\Ki

XZi<h<OlDqGJF

W<XZU^W X|

2'4-XZ\UGJ_ZXZi<OK`F-YVG

p6i¡YHW<XZ\-UK`\VO

ON]<FVGDOPOK`\VXZ_Zn fBnFHOU[<FHFVOi<UcOYVWgK`Y

|X » º |

q¾5º

| · T

~ º | ¼

bGJFTK`_d_q QJO/kW<O#UGDi<h<XZYVXZGJi

O

2

|

X

2'4U

4$FHO

FVXZYHO\TYHW<OiXZi50

º | T ¯gqO¾5º

| · T X T

º | X X ~

!

º | 'TY

XB¯Dq¾5º | · T XY

X6Dº | X'Y

T ~

º2'T1Y

Xn X Y

Tb4¯jqO¾"X'Y

X ~

SkYTYHW<XZ\k]gGDXdiBYkX X Y

X

~<e2YVW<OiYVW<O-UcGJi<h<XZYHXdGDimXd\kMNOY$XK`i<hmGJi<_ZnPX 'T1Y

X X Y

T

~<Bp6i

YVW2Xd\tUK\HOYVW<OJK`_d[2OG` q.XZ\-KIBKXZiXZi<h<XOFVOiBYK`i<hYVWB[<\tYVW<O]gK`XZF(G`¥MmKYHFVXZUO\#XZ\#MPGJFHY^K`_4XTKi<h

GJi2_dnXBS$TYSXYS$T

#&G

XX Y

X$¿

~<e

O#WgK{JO 0

º2'TVY

X6 X Y

Tb4¯jqO¾"X'Y

X ~

!

q

º2X'Y

TB 'T1Y

X4

¾"X'Y

X

STIBKXZi:eX

OPGDf<Y^K`XdiKi¡K`]<]<FHGlvXZMmKYVXZGDi KU[2F^KYHOPOi2GJ[<IDW¡GTYHW<OPFHXZIJWBYs76WgKi2h\VXZh<O

OPGJf2Y^KXZi¡K

UK`i<h<XZhgKYHO#JK_Z[<Ok GJF\qNYVWgK`YkMK{nfgO#DOFVX¦<gOhmGDiYHW<O-XZi<XZYVXK`_<MK`YVFVXZUOc\_S$TTKi<hSXJ

([2YkOJOFHnmJK_Z[<O\

W<XZULWK`FVXZ\VO#XZiPYHW<O#]<FVOcvXZGD[<\kOlB]<FVOc\V\VXZGDi KFHO(FHOK_JK`_Z[<O\kf<[<Y

XZYHWPUGDMP]<[O7

Y^K`f<_ZO#h<OUXZMK`_gOclv]>Ki<\HXdGDi<\2ST\TKUGDi<\VOv[2Oi<UOYHW<OnPU{KimfgOtUGJMN]<[<YVOchK\TK`U[<FLKYVOK\kh<O\HXZFVOh K`\

O_Z_gK\K`iBnOlB]<FHO\V\HXZGJiPXZiBJGD_ZvXZi<I&YVW<OcM

XZYHWO_ZOMNOiBY^K`FVntb[<i<UYHXZGJi<\{/kW<XZ\_KYHYVOFFHOMK`F<gi<XZ\VW2O\

YVW2O(]2FVGBG^

%# '

p6iYVW<XZ\KFHYVXZU_ZO

O WgK{DO ]2FVGJOci YHWgKY

O UK`i h2OUXZh<O.GYVW<O.MPGDFVY^K`_ZXdY6nG`K ]gKXZFNGu.u%7

MK`YVFHXdl!/kW<OMmKoLGDF:ULWgKFLKUYHOFVXZ\HYVXZUkGYVW<XZ\h<OMNGJi<\HYVFLKYVXZGDi-XZ\:YVW>KYXZY:GDi<_Zn-FVOv[2XdFHO\_ZXZi<OK`F4K_ZIDOf<F^K2

ST\KmUGDi<\VOv[2Oi<UOXZY-IDOi<OFLK_ZXO\YHGGJYHW<OFUGJMNM[<Y^K`YVXZJO-FHXZi<IJ\2IBK[<\H\VXKiXZiBYVOIDOFV\OJIg¡4c5/kW<XZ\

]<FHGJf<_ZOM ]>GJ\HO\K_Z\VG&YVW<O]2FVGJf2_dOcM GgYHW<OOl<KUcY4\HXOG`gMK`YVFHXdUcO\>bFVGDM

W<XZULW-YVW<O ]<FVGDf<_ZOM fgOcUGJMNO\

[<i<h2OUXZhgKf2_dOD/kW<XZ\$]<FVGDf<_ZOMrXZ\kUOFHY^KXZi<_ZnmK-WgK`FVhmGJ]>Oim]<FHGJf<_ZOM./kW<O-FHOKh<OcF

Xd_Z_K_Z\VGi<GDYVO#YVWgK`Y

YVW2O(IDOi<OFLK_]<FHGJf<_ZOMrG`4FHOKULWgK`f<XZ_dXZY6nbGDFTuuMmKYVFHXZUO\$Xd\k\HYVXZ_Z_[<i<h<OcUXZh<Oh:

+-,5Â.+-/

(10)

#J# %T#'

+ZQ-TXZUOcivY ($_ZGJi<h2O_(K`i<h JGDW<i #n/k\VXZYV\HXZB_ZXZ\j±W2OiXZ\PK.]gKXZFG`(XZiBYVOIDOFPMmKYVFHXZUO\MPGDFVYLK_

/OULW<i<XZUK`_4qkOc]gGDFVY-uJ|Dz (<eBp6i2\VYVXZYH[<Y#igKYHXdGDigK_ h<O-FHOULW<OFVULW<ONOiXZiBbGDFVMmKYVXB[<O&OY-K[<YHGJMK`YVXZ\VMNOJe

oK`iv[>KFVnQ{zJzD|<B[<f<MNXdYHYVOhNYVGp6iBbGDFVMK`YVXZGJiPEFVGBUO\H\VXZi<I¤ OYVYHOFV\{

+¹u%- BOFHIJO¤:K`i<Ig²;¡R %&1WJe ULWgK]<YHOFP£&OUGDMP]>GJ\VXZYHXdGDi G`(GDi<OPOi2h<GJMNGJFV]2W<XZ\VM STh<h2Xd\HGJiO7s±O\H_dOcnve

QzD|2

+¡(%-#FVGDM*yBKi<hmy#FVGJM.qkOU[2FV\VXZDO(\HGJ_ZJKf2Xd_ZXZY6n-G`4]<FHGJf<_ZOMN\

XZYVWPMmKYHFVXZUO\{ 51a !¢!N¢

%M' I5R'e£NOQ#_NOQ#OZ%R %Q¥# %\¥ %M'e£De(z0x¢(vxDxvu<e2QzJwDz<

(11)

Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 46 avenue Félix Viallet, 38031 GRENOBLE Cedex 1

Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

Éditeur

INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) ISSN 0249-6399