hal.inria.fr · hal id: inria-00073290 submitted on 24 may 2006 hal is a multi-disciplinary open...

28
HAL Id: inria-00073290 https://hal.inria.fr/inria-00073290 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. Analytic Variations on Bucket Selection and Sorting Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier To cite this version: Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier. Analytic Variations on Bucket Selection and Sorting. [Research Report] RR-3399, INRIA. 1998. inria-00073290

Upload: others

Post on 20-Jul-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

HAL Id: inria-00073290https://hal.inria.fr/inria-00073290

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

Analytic Variations on Bucket Selection and SortingHosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier

To cite this version:Hosam Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Regnier. Analytic Variations on BucketSelection and Sorting. [Research Report] RR-3399, INRIA. 1998. �inria-00073290�

Page 2: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

�������

ISS

N 0

249-

6399

ap por t de r ech er ch e

�������� ������������������� ��������� ������� ��������� � ����!"�����#����$�%������ �� ��!"�����#����

& ')(+* ,.-0/�1 2.(+3�/�(4-0/�5+'76 5+'8 9:1<;>=+- ?@=A*B=C1D-0/�5+' (E'GF ?@5D3H-I/J'LK

MONQPSRTVU$RWXTYNQZ\[%]_^�Wa`cbd`deXe fhg�biRkjSNlbcfnmo]X^�WX`dbd`deXe fqp_RlrkslZXfkmt]uUv`cwxfk`dbdbcfzy|{fk}l~X`dfkw

�G� ��������q� w�`db��o�Q�l�

�qM$���U<���

Page 3: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination
Page 4: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

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

.0/21,3547683:9�4;/=<�>%?�@�9�ACBDACE�E�FHGIBJ35K�/=BDFMLN?�@�9�ACBDACE�E�FHOP3=QNRP<�FNLM?�6SADTUFNADBCBDF�VXWFNY=Z�ACFNT

��W �fkTYfh��[]\�{fn~X`dfhbdNl}Q`irS`dfkbfnmqrkRbirSZXb�P_^ T` NQbd`isQZaf

^�w�Noj fkm � bd}QNyqReae\Nlw�m�[ f0w�ftr�Wafkw rxWXf"~�aMbcbQ�l�0[ �q� w�`db��o�Q�l��[ �ed e R}QfnP

f�gih$j,kmlonmjcprq f�eaw�N � `i[ fBr NQT eabcfnm�f�R � fkwSR}Qfts rkR P�fqR P�u fnbcbXR P�eXw�Nc`\Rm`a`cbd`dP�mx`ir R ~\Rbv^ P�`dP�NewumxWXfqrSNlP�m�New`XZ r_xlfkm�P�fkbdfor m�`dNQ~ R ~\[zPxNQw�mx`d~X}qRbd}QNlw�`dm�WaT PUya�zu N � Rwx` R m�`dNQ~aP\New{`aZ\r|xQfkmx`c~a}�}�R ~\[ ~uR � Nlw�P�m�WXfkwxfk`d~o��R w�frSNl~XP�`i[ fnw�fo[P��[ `dP�mxw�`v`XZXmx` � f#`XZ r_xlfkm�`d~X}0} biR w�}Qf ~ ZXT`\fnw�Nmw�`XZ\r|xQfkmxP���R ~\[�wSRQ[ `��`XZ\r|xQfkmx`d~X}�}�w�for ZXw�Px` � fu�`dm�W�R P�T|RbdbQ~ ZXT` fkw�New2`aZ\r|xQfkmxPo]lP�ZX`dm Re`Xbdf�w�NQw [ `c}l`dm RbXrSNlT eXZam Rmx`dNQ~o�$yugaNQw�� `dP�mxw�`v`XZXmx` � f�� fkbdfor m�`dNQ~RzrSNlT e NQZX~\[I^�Nl`dP�P�Nl~ bd`dT `dm `dP fnP�m Re`Xbd`dP�WXfo[�y�gXNlw Rbdb NQmxWXfkw+~uR � NQw�P�Newo`XZ\r|xQfnm�P�fkbdfor m�`dNQ~ R ~\[0PxNQwxm�`d~X}\]rSfn~_mxw R b bd`dT `dm�m�WXfkNlw�fkTYPzZX~\[ fkwxbv^_`d~X}|mxWXf r NQP�m"Rw�f�[ fkwx` � fo[�`N^$RP|^_TYeXm�Nlm�`irzmxforxWX~X`islZXfkP0`d~ � Nlb � `d~X}e fkw�mxZXw_` Rm�`dNl~$Nmw�y�`irSf�� P�`d~ m�fk}lw Rb�R ~\[ r NQ~ m�NlZXw�`d~_mxfk}QwSRmx`cNl~�} P Rl[X[ bdfze\Nl`d~_m�T fnm�WXNX[ P���y���~ mxWXf rkR P�fNewBwSRQ[ `��H`XZ\r|xQfnm�`d~X}\]%e\fkwx`dN [ ` r�~ Z\rSm�Z Rm�`dNl~XP0ReXe foRwz`d~�m�WXf�TYNQT�fk~ m�P�New�` NQmxW mxWXf"P�fkbdforSmx`dNQ~�R~ [PxNQw�mx`d~X} Rbd}QNlw�`dm�WaT PUy

�������J�U� ��i���v�J�J���

��~a`cmX{f0[ fzw�forxWXfkwSrxWXf�_�qy � � yON rnsQZafk~\rSNlZXw�m� NQT R `d~Xfq[ f���NQbdZ\r foRZ�]XyONXrkslZXfk~\rSNlZXw�mt]P� ^ �U�c X]5¡l�X�U cb�¢��¤£�M ���5� �i¥ £�fo[ ft�¦}�gaw R ~\rSfU�

�|{fkbt{fkeXWaNQ~Xf��=}Jb�bc�z�X��bQ�§�b' � Y�Q�I¨��|{fkbt{forSNleX`df��%}�bcb��%�X��bl�©§cb© cbb��

Page 5: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

��������������������*�����������0���I� � ������� ����I���# %������]�z����������� ��� z���� I���;(��|��( ���#�����

�� h ����� p £�fkm�Rw�mx`irSbdf�eXw�Nle\NlP�fq[ fkP�R~\R b ^ PxfkP�rSNQTYeXb �fkm�fkP�fk~ TYNm^Qfk~a~XfBR `d~XP�`XslZ � fk~�[ `dP�m�wx`v`XZXm�`dNl~[ fnPqeXwx`c~ rS`de\RZN�$Rbd}QNlw�`dm�WaT fkP�[ fzPX{fkbdfor m�`dNQ~$fnmh[ f0mxw�`�e\RwqrkR birSZXb [�� Rl[ w�fnP�P�fcy�¢%fkPhR bd}QNQwx`dm�WXTYfkPBr NQ~NsPx` [�{fkwX{fkPIwX{fke\R w�mx`cPxP�fk~ mzbdfkPh[ NQ~X~�{fnfkPzfk~$P�NlZXPJs�}QwxNQZXe fkP0[ `dPcj NQ`d~ m�Po]XR eXe fkbo{fkP0[ fkP��xP�foR ZN���H}���� �������! #"�$U�$y� fkZN� � Rwx`iR~ m�fkP�Rbd}QNlw�`dm�WXTY`isQZafkP�PxNQ~ m rSNl~XP�`i[�{fkwX{fkfkP,��bdfkP R bc}lNQwx`cmxWXT fnP Nle�{fkwSR~ m�e\R w [ `dP�mxw�`v`XZXmx`cNl~�}�fkmZXmx`dbc`dPSR~ m�ZX~ }lw R ~\[0~aNQT`Xwxf [ f�P�ftRZN�o��fkm�bdfkP�T {fkm�WaN [ fkP%��bdf��X`irSNQ}lw ReaWX`isQZafkP&��}�slZX`XPxNQ~ m�wX{forSZaw�P�` � fkPo]wxfke\NlP�fk~ m�PxZXw�biR [�{forSNQTYe\NlP�`dm�`dNl~ fk~�rkR w RlrSm �fkwxfkP [ fkP [ NQ~X~�{fnfkPo]�fkm Zam�`dbd`cPxfk~ m0ZX~�e\fkmx`dm ~XNlT`Xw�f�[ fPxfoRZN�o�$y ^�NlZXw0biR|P�fnbcftrSm�`dNQ~�e\Rw"[ `dP�m�wx`v`XZXm�`dNl~�]�Za~Xf bdNQ`�[ f ^�NQ`dPxP�NQ~ArSNQTYe\NlPX{fkf [�{forSw�`dm"bdf rSN('ZXm [ fbJ� Rbd}QNlw�`dm�WaT f�y#�zR ~XPzm�NQZaPhbdfkP0R ZXm�wxfkP rkR Po]�ZX~Xf"bcNl`�rSfk~ m�wSRbdf�bd`cTY`dm�f�}�}_R ZXP�Px`cfn~X~XfU�0[�{forSw�`dm0bdfkPIw Nl~\r|smx`cNl~XP�[ f rSN('ZXm�P,y ¢ fnP T {fkm�WXNX[ fnP ZXmx`dbc`dPX{fkfkP"w�fke NQPxfk~ m P�Zaw bJ� RP|^_TYeXm�Nlm�`islZXf�rSNQTYeXbdf��Xf }�R~ Rbv^ P�f [ frSNlb�]Qe fkw�mxZXw_` Rm�`dNl~ [P� `d~ mX{fk}lw RbdfkP�[ fqyO` r fU��fnmo]X[XR ~XP�bdfhrkR PB[ fkPBR bd}QNQwx`dm�WXTYfkP�bcft� `irSNl}QwSReXWX`islZXfkPt]QfnbcbdfkPTYfkm�mxfk~ m�fk~ {f � ` [ fk~\rSf�[ fkP�eXW�{fk~XNQT �fk~XfkPq[ f�~\Z\rSmxZ\Rmx`dNQ~|e�{fkwx`cNX[ `islZXf�y

Page 6: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

f�� f���������� f � �Uf����������������������������������������� f �"!�#� �$�%�&��'

(�)+*-,/.10�,/2�.�)436567 892�:<;<:<=�=?>A@B;C,/DE)/;C>GFEH 892�:<;<:<=�=?>JI4,+KMLN36>MF-H 0�:<OP>P:<;<;C>#Q�R>MS/T�:C>UOVH

� eXw�`db �a] �o�l�Q�W�X�Y[ZAQ\W�]�Z

^�>�=�OP)/_+:C5�>�KM)/.`=�;C>GFE>`,/_+>UOV,NS+>PabKM,N*E>c,N*`de>U;<;J,+*�=�OP)/f6,/f�:<;<:C*-Fb:<K�,/T6,/;Cg[*b:C*c)4hiFj26>�KG)+*-Fk)/hf�36K-l&>MF�*->P;C>GKMFj:C)/T�,/T65#*-)/OVFj:<T6SA,/;CS+)4OE:CFj2�.�*Mm[ZAde)#_/,/O-:C,+Fj:C)/T6*&)4h&f�36K-l&>GFb:<T6Sonp,/T65\q6,/_+)/OP*�Fj26>POP>P:<T?r,/OP>`KM)/T6*j:C5�>POP>M5tsc5[:C*-FbO-:<f�36Fj:C_+>#f�36K-l&>GFb:<T6S�nu;C,/OPS+>�T&3�.�f?>UOc)/h�f�36K-l&>GFE*PrA,4T65vOV,+5[:Cw%f�36K-l&>MFj:<T6SnCOP>MKU3�OV*j:C_+>\d�:CFb2 ,�*j.�,/;<;tT&3�.�f?>UOJ)/h�f�36K-l&>GFE*Gx�*b3�:CF-,/f�;C>\hp)/Oc5[:CS/:CF-,/;yKM)4.`=�36FE,+Fj:C)GT?rPm\@�)/Ocz�:C*jaFbO-:<f�36Fj:C_+>�Y[>P;C>GKMFj:C)/T�,vKM)4.`=?)/3�T65�89)/:C*E*-)/T�;<:<.`:CFc:C*`>G*EF-,/f�;<:C*j26>M5tm @�)/O�,4;<;J)+Fj26>PO�q6,/_+)/OP*k)/hf�36K-l&>MFA*->P;C>GKMFj:C)/T�,/T65�*-)/OVFj:<T6S�x�KM>UT{FjOP,/;6;<:<.`:CFAFj26>M)/OP>P.�*�3�T65�>UOE;CgN:<T6ScFj26>cKM)N*EF\,/OV>|5�>PO-:C_+>M5}f{g,+*-g+.`=6F-)+Fj:CKeF->MK-2�T�:CLN36>M*t:<T�_+)/;C_N:<T6S\=?>UOVFj3�OEf6,NFb:C)/T�)/heQA:CKG>+~ *�:<T�FE>GS/OP,/;{,4T65�KM)4T{F-)/3�O�:<T{F->MS/OP,+Fj:C)/Tnp*-,+5�5[;C>o=?)/:<T�F�.�>MFj26)&5�*PrUmy��T�Fb26>cKG,+*->c)/hyOP,+5[:Cw�f�36K-l&>GFb:<T6S�xG=?>UOE:C)[5[:CKAq�36KGFb36,NFb:C)/T6*�,/=�=t>M,/O�:<TFb26>o.�)/.�>PT�F-*y)/hyft)+Fb2�Fj26>#*E>U;C>MKGFb:C)/T`,/T65�*E)/OPFj:<T6SJ,4;CS+)/O-:CFb2�.�*Gm

�e� � �in[� � j&�-�#���~_mxfkw�fnP�m"`c~ [ `dP�mxw�`v`XZXmx` � f"P�NQwxm�P"e\ftRmxQft[�`c~�m�Waf�b R m�f|�o�c¡��5� P0RPzmxWXf�^�N�� fkw�fo[ f/� rS`dfk~ m

Rbdm�fnw�~\R m�` � fkPzmxN Pxm R ~\[XRwS[ rSNQTYe\Rwx`dP�NQ~{s�`\R P�fo[<Rbd}QNlw�`dm�WXTYPUyI��WXf biR m�m�fnw rSbiRPxP0Nmw�P�Nlw�m�`d~X}Rbd}QNlw�`dm�WaT P eXwxN � Rm`Xbv^zW\RP��I}V� bd~��P� r NQT eabcft� `dmJ^�` NQm�W�`d~"m�WXfIu Nlw�Pxm rkRPxfqR~\["Nl~ R � fkw R }Qfm�N0PxNQwxmk�0xQf�^ PUy�� `dP�mxw�`v`XZXmx` � f#� Nlw�mo]l`d~ � fk~ m�ft['`M^� N�` NQPx`cf$u�` r4��`c~$�t��¡l�X]eXwxN � ` [ fo[�w NQw�m�WXf� w�Pxmqmx`cTYf0R rSbiRPxPqNewJPxNQwxm�`d~X} R bd}QNQwx`dm�WXTYP�u�`dm�W|Nl~Xbv^��'}P�P�qR � fnw R}lf rSNlP�mzZX~\[ fnwhPxZX`dm Re`XbdfZX~X`�w Nlw�T `dmJ^ R P�PxZXT eXmx`dNQ~XP�NQ~Ym�WXf [aRm R:y

��Z\r|xlfkm�`d~X}Y`cPzR�mxfkw�T:ZXP�fo[ w Nlwq`i[ fk~ m�`�wC^ `d~X}"~ ZXT fkwx`irkRb+xQf�^ P#`N^|`d~ m�fkw � RbdPUy � `XZ r_xlfkmP�Nlw�m R bd}QNQwx`dm�WXTCRQrkr NQT eabc`dPxWXfkP `dm�P�m RP|x�`N^ � [ `dP�mxw�`v`XZXmx`d~X}���mxWXf�xlf�^ P�`d~ m�NzrSNQ~ m R `d~Xfkw�P�rkR bdbcft[`XZ\r|xQfnm�P}�WXfk~\rSfYm�WXf�~ RT f'�q`dPxm�w�`v`XZam�` � f©� NQw�m w NQwzP�NlT f�~ R � NQwxPzNmw�m�WXf R bc}lNQwx`cmxWXT �N�XPxfkf� f � w�Nm^Qf }S�o�l��§�� w NQw0}lfk~XfkwSRbz`\Rlr|x_}lw�NlZX~\[Py���Z\r|xlfkm�`d~X}�`dP ZXPxZ\Rbdbv^ RQrxWX`df � ft[ `N^ Px`dT eXbdfRwx`cmxWXT fnm�`irzNQe fkwSRm�`dNl~XP R~ [�`cP"Rmzm�WXf|rSNQwxf�Nmw�T R ~M^0w�R P�m R bd}QNQwx`dm�WXTYPqbd`vxQf�[ `dP�m�wx`v`XZXm�` � fP�Nlw�m�`d~X}'}J�qNc`\NlP�`df�u�`ir/��} �o�c¡Q�c�_�k] f��Xm�fk~\[ ` `abcf�W RP�Wa`c~a}}�g R}l`c~�] �O`df � fkwx}Qfkbdmt]X^�`deXe\fn~X}Qfkw�R~ [� m�wxNQ~X}'}S�o��¡l���|�k]PxfkbdforSm�`dNl~�`N^ [ `dP�mxw�`v`XZXmx` � f�e\R w�m�`dmx`cNl~X`d~X}�} � bd`dP�Nl~ R ~\[��Nl}_R�} �t�Q�X�,�_�n]fkm rey� Rwx`dNQZXP RPxP�NXrS`iRmxfo[ [aRm R�Pxm�wxZ\rSm�Zaw�fkP R w�`dP�fl]P�Z\rxW R P�mxw�`dfkP�}P� ~_Zam�W}S�o��¡cb��|�k]tW\RPxWzm�w�fnfkP R~ [�%s�m�wxfkfkP'}���Waw�bd`ir�W } �t�Q�a�U�_�$y���WXfkPxf R bd}QNQwx`dm�WXTYPBR ~\[$[XR m R�Pxm�wxZ\rSm�Zaw�fkP"`d~$m�ZXwx~$T Nlm�` � Rmxfo[P�f � fkw R b\T|RmxWXfkT R m�`irkR b_R~ Rbv^ P�fkP�bd` xlf mxWXfhR ~\Rbv^ P�`dP�New [ `dP�mxw�`v`XZXmx` � f�P�Nlw�m�`d~X}�}�� f � w�Nm^lfhR~ [� bc`d~\r P�f�x}S�o�l�X�U�|�k]mxWXfqR~ Rbv^ P�`dP�Nmw w R~ [ NQTCW\R P�W�mxw�fkfkP�R~ [©��s�mxw�fkfkPI} ��R T T ` ~Xfk~'} �t�Q�a�U�_�R~\[Im�WafBR ~\Rbv^ P�`dP�Nmw\mxw�`dfkPz}�g�b RnjSNQbdfkm%} �t�Q�cb��k]tp RQrkslZXfkm�R~ [ y|{fk}Q~X`dfkw%}S�o�Q�c§��n] ^J`cmxm�fkb+} �t�Q�c§��k]y|{fk}l~X`dfkw�R~\[Yp_RlrkslZXfkm�} �o�l�Q�c�_��y

��~hmxWX`dP�e\R e\fnw�u�f�f��\RTY`c~af mxWXf�` fkW\R � `dNQw New � R w�`dNQZaP=~uR � Nlw�P�New5`XZ\r|xQfkm�P�fkbdfor m�`dNQ~�R~\[ New`XZ\r|xQfnm�P�Nlw�m�`d~X}=y�}J� fkbdforSmx`dNQ~�`dP�m�Waf�eXw�NXrSfkPxP�Nmw � ~\[ `d~X}0R ~�NQw [ fkw�P�mSRmx`cPxm�`ir] mxW\Rm�`dPo] � ~\[ `d~X}m�WXf�fnbcfnT fk~ m�Nmw�R }Q` � fk~"w R ~5x"`c~�R~"ZX~XPxNQwxm�fo[YRw�wSR,^My �z��WafqRbd}QNlw�`dm�WXTY`ir�Px`i[ f�Nmw m�WXf�Pxm�Z\[{^`dP TYNQmx` � R m�fo[I`N^0mxWXf ~afkfo[�New\}Qfn~Xfkw R b\PxfkbdforSmx`cNl~ R bd}QNQwx`dm�WXTYP m�W\R m�u Nlw_x0Za~X` � fkwxP Rbdbv^Iw NQw�R bcbNQwS[ fkwzP�mSRm�`dPxm�`irSPUy�� Z\rxW R ~Xfkfo[�Rwx`cPxfkPIw NQw `d~XP�mSR~\rSf"`d~$`d~Nw fkwxfk~\rSf }�P�fkf � ~ [ w�f�u�Pt]���`ir|xQfkb�]7 z#>P=6,/OPFj.�>PT�F�)/hY[F-,+Fj:C*EFj:CKM*GxPZ�26>��#>M)4OVS+>9^�,+*j2�:<T6S+FE)4TJ�AT�:C_N>POP*b:CFbgNxP^�,+*j2�:<T6S+FE)4TyxVz�m ]\m+�/�+�&�N�[xM�cm Y�m W|mH �b�\Q��bW|x{Q\)&KGL+36>UT6KM)/3�O-Fe�/�&�+�4�/ab�?>�]926>G*bT6,/gNx+@[OV,/T6KG>+m

Page 7: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

MqR T e fkb�]_MOZ5`\fnwo]\yONQ}lfkw�Pt]\R~ [ ��Z5xlf�^H}S�o�c¡Q���|��y�� w rSNQZaw�P�fl]\mxWXfkwxf Rwxf0T R ~M^�Rbd}lNQw�`dmxWXT Pw NQw "����!��� � �YNlw [ fkw�Pxm R m�`dP�mx` r P�bc`vxlf�m�WXNlP�f w Nlw TY`d~X`dT RX] T|R,�X`dT R R~ [ T ft[ `iR~XP"m�W\R m R w�frSZXPxm�NQT�s�T|RQ[ f w NQwzR�Pxe\for ` � r"P�`dm�Z\R m�`dNQ~ u�WX`dbdf0Nl~Xbv^�w�f�u ����� � �!"�����P�fnbcftrSm�`dNQ~ Rbd}lNQw�`dmxWXT PRwxf�x ~XNmu�~�]XNew�u�WX`irxW$m�Waf TYNQP�m�~XNlm Rm`abcfI`cP�� ZX`ir_x PxfkbdforSm}�RbdP�Nx ~XNmu�~ R Phg+�_�#� }�M�N_R w�f} �t��§X�,�_�$yH��WXf�Rbd}QNlw�`dm�WXTY`ir�`d~ m�fkwxfkP�m$`d~X`aZ\r|xQfkm|P�Nlw�mx`c~a}�`dP mxW\Rm0w Nlw P�NlT f0~uR � NQw�PY`dm�PR � fkwSR}lf ` fkW\R � `dNQw�`dP �'}P�P��y ��WXf$T|RmxWXfkT R m�`irkR b�P�`i[ f|Nmw0mxWXf$P�mxZ\[N^A`dP�T Nlm�` � Rmxfo[ `N^m�WXf|ReXe foR w R~ rSf|Nmwq~Xf�u mJ^_e fkP�Newqw�forSZaw�w�fn~\rSf$foslZ\R m�`dNQ~aP R ~\[ mxWXf wxfoRPxP�ZXwSR~\rSf<}_R`d~Xft[w w�NlT+eXw�Nc`\Rm`X`dbd`dP�mx` r�R ~\Rbv^ P�`dP�mxW\Rm�m�WafkP�f0Rbd}lNQw�`dmxWXT P�W\R � f }QN NX[ R � fnw R}lfz`\fnW\R � `cNlwBR ~\[ Rw�foR P�Nl~\Rm`Xbdf0[ fk}lw�fkfINmwJr NQ~\rSfn~_mxw R m�`dNQ~ R w�NlZX~\[|R � fkwSR}lf�y

��WXfq[ `u�ufnw�fk~\r f ` fkmJu�fkfk~ � Rw�`dNlZXP+~uR � Nlw�P�NmwP`XZ\r|xQfnm�`d~X} R bc}lNQwx`cmxWXT P�`dP `d~�mxWXfqrxWXNQ`irSf�Newm�WXf�~_ZaT`\fkw�Nmw5`XZ\r|xlfkm�P�R~ [z`d~�u�W\Rm�m�WXf$^ [ Nq`d~zm�Waf�`XZ r_xlfkm�P,y���~0NQ~af�~uR � NQwt]���� " �� � � � ��� �� ����� �� ������\]=xQf$^_PzRwxf [ `dP�mxw�`v`XZXmxfo[$N � fkwhR biRw�}lfz~_ZaT`\fkw Nmw�`XZ\r|xlfkm�P,y#��~ R ~XNQmxWXfkwI~uR � NQwo]������� �!� ����� �� ������\]�R|w�ftrSZXw�Px` � f$Rbd}QNlw�`dm�WaT ]\R � �Xfo[�~ ZXT`\fnwhNew#`XZ\r|xQfnm�P"`cPIZXP�fo[�y�} ��WXfm�fkwxT P � �Xfo[�R~\[�biRwx}Qf R w�fu�`dm�W wxfkP�e forSm�mxN ��]�mxWXf ~ ZXT` fkwzNmw#xlf�^ P0m�N `\fYP�NQwxm�fo[%]�RP�#"%$Sy �

q f P�W RbdbB[ fk~XNQmxf|m�WXf|~ ZXT` fkw New#`XZ\r|xQfnm�P�`N^'&]�u�Wa` rxW�T R,^�NQw"T R,^$~XNlm [ fke\fn~\[NQ~"��y�� N"ZX~X`�wC^�mxWXfzm�wxfoRmxT fk~ m�RQrSwxNQP�P m�WXf � R w�`dNQZXP ~uR � NQw�Pt]Nu f0R P�P�ZaT fzm�W\R m � xQf$^_PqR w�f[ w R,u�~ w w�NlTHm�Waf��O~X`�w NQwxT¨,¨o}��a]d�)(_y gXwxNQTHR eXw�Nc`\Rm`a`cbd`dP�mx`ir�P�mSR~\[ e NQ`d~ mo] m�WX`dP�RPxP�ZXTYeXm�`dNQ~I`cPfoslZX` � Rbdfk~ m�m�N�m�Waf0}Qfk~afkw R b�WN^ e\Nlm�WXfkPx`dPqm�W Rm�ZX~\[ fkw�bd`dfkPqW RP�Wa`c~a}�P rxWXfkTYfkPqR~\[|RlrkrSNQwS[ `d~X}m�NIu�WX`ir�W���}QN NX[ ��W\R P�W�w ZX~\r m�`dNQ~XP�f��X`dP�m�m�Nz[ `dP�m�wx`v`XZXm�f%xQf$^_P�[ w R,u�~ w w�NlTCP�NQTYf�[ NQT|R`d~�}�NQweXw�Nc`\Rm`a`cbd`dmJ^ [ `dP�mxw�`v`XZXmx`dNQ~o�OZX~X`�w NQwxT bv^�N � fnwhR�W RP�W<m Rm`abcfcyz��WXf0ZX~X`dm `c~ mxfkw � R b `dPz[ ` � `i[ ft[`d~_mxNhRz~ ZXT` fkw�Nmw foslZ\R bcbv^zbdNQ~X}z`d~ m�fkw � RbdP%}��+*o�-,�&.(/*$} ��,0&�*S��,�&.(�*�1 1-1D}_}�&32$�U�.,�&�*t�)(�],u�WXfkwxf4&�`cPR ~_ZaT`\fkw�mxN�`\f�Pxe\ftrS` � fo[YbiRm�fnwUy���WX`d~5x0Nmw�mxWXfkPxfq`d~ m�fkw � RbdP�RP�`d~\[ ft� ft['w wxNQTHbdf�w�m mxN0w�`d}lW_m`N^ �0* �+*�1-1-1�*5&myI��~ Rbdb `XZ r_xlfkm�`d~X}0~uR � NQwxPo] Rxlf�^76L`dPqmxWXw�Nmu�~�`d~ m�N mxWXf98�& 6;:omxW¦`aZ\r|xQfkm,y��WX`dP `dP�Nl~XfzmJ^_e f0NewJR ������� �� ������=<)��� �)� ��><��+y

gXNlw m�WXf�wxfkP�m�New mxWXf�e\R e\fnw u�f�P�W\R bdbZXP�f�m�WXfiw NQbdbdNmu�`d~X}�P�m R ~\[XR w [z~XNlm R m�`dNQ~ y � `X`d~XNlT `iRbw R ~\[ NQT � Rw�`iRe`XbdfqNQ~ �<m�wx` R bdPqR~\[Yw R m�fzNmw�PxZ\rkrSfkPxP4?|e fkwqmxw�`iRb `dPq[ fk~aNQm�ft[ `N^=@'}P�A*>?=�+�\R^�NQ`dP�PxNQ~ wSR~\[ NQT � R w�`iRm`Xbdfzu�`dm�WYe\RwSRTYfkm�fkwCB0u�`dbcb=` f rnRbdbdfo[ED}�B=�+�am�WXfz~XNlw�T|RbXwSR~\[ NlT� Rwx` Re`Xbdf�u�`dm�WATYfoR~GFHR~\[ � Rwx`iR~\rSf7HJI|`dP [ fn~XNQmxfo[X`N^LKS}>F�*)HJIU�$y £�NQ~ � fkw�}lfk~\rSf�`d~[ `dP�mxw�`v`XZXmx`cNl~ `dP [ fk~XNlm�fo[ `N^NM2O" ]+u�WXfkwxfoRP�ft�aRlrSm"foslZ\Rbd`dmJ^ `d~�[ `dPxm�w�`v`XZam�`dNQ~ `dP�[ fk~XNlm�fo[`N^ MP y ��WXwxNQZX}lWXNQZamo]+u f�PxW\Rbdb�wxf�w fkw"m�N$mxWXf rSNl~ � fkw�}lfk~\rSf|`d~ [ `dP�m�wx`v`XZXm�`dNl~ mxN R|~XNlw�T R bbiR,u R PqR�rSfk~ m�wSRb�bc`dTY`cm�w�fkPxZXbdmo]5u�Wafkw�f r NQ~ � fkwx}Qfk~ rSf0`d~$[ `dP�m�wx`v`XZXm�`dNl~ `dP�ZXP�ft[|`d~ m�Waf0ZXP�Z RbeXw�Nc`\Rm`a`cbd`dmJ^|P�fk~aP�f NewOr NQ~ � fkwx}Qfk~ rSf R m rSNQ~ mx`c~ ZX`dmJ^|e NQ`d~ m�P0NewBmxWXf [ `dP�mxw�`v`XZXmx`cNl~Hw�ZX~\rSmx`cNl~ y��W ZXPzw Nlwzf��\RT eabcfl]\R�PxfoslZXfk~\r f Nmw�w R~ [ NQT � R w�`iRm`XbdfkP P R m�`dP � fnPRQTS M2U"VKS}��+*o�,�k]=u�WXfk~w NQw�foRlr�W7W+�

bd`dTS�XRYLZE[ Q S#\ W^]_" �` ��ab9cd Yfe dOg>h.i IJj�k 1

��WXf Nle\fnw RmxNQw!lnm S (Bft� mxw RlrSm�P�mxWXf�� mxW�rSN f/� rS`dfk~ m"NmwhR<}Qfk~afkw R m�`d~X} w Za~\rSm�`dNl~ y$��WXf"� m�WW\RwxT Nl~X`ir�~_ZaT`\fkwCo Sp�qsr ��,ut `dPq[ fk~XNlm�fo[ `M^#v S y

��WXfze\Re fkwq`dP�Nlw�}_R ~X`��kfo[$R P%w NQbdbdNmu�PUy���WXf0PxfkbdforSmx`cNl~$eXwxN�`XbdfkT eXw�ftrSfo[ fkPIP�NQwxm�`d~X} R P�`cm`dP�e\fkwxW\ReaPhmxWXf"T NQwxfz`c~ mxfkw�fkPxm�`d~X}YeXw�Nc`XbdfkT�`\Nlm�W$T|RmxWXfkT R m�`irkR b bv^ R ~\[|Rbd}QNlw�`dm�WaT `irkRbdbv^�y� forSmx`dNQ~ �"`dPh[ f � Nlm�fo[<m�N`XZ r_xlfkmzP�fkbdfor m�`dNQ~�]=u�WXfnw�f�R�}Qfn~Xfkw R b+w ZX~\rSmx`dNQ~\R b�foslZ\R m�`dNQ~ � Rbd`i[w NQw�Rbdb:~uR � Nlw�P�`dPq[ fkw�` � fo[Py��zu�N PxZ5`XP�ftrSm�`dNQ~aPqNmw�� forSmx`dNQ~$�0Pxe\ftrS`iRbd`��kf0m�Wafheaw�N�`abcfnTEm�N"`dm�P� Rwx`cNlZXPP~ R � NQwxPU� � Z5`XP�ftrSm�`dNQ~ �:yd��`dPPw Nlw�m�WXf�R~\R bv^_Px`dP�Nmw � `dP�m�wx`v`XZXm�` � f�� fkbdforSmx`dNQ~0} `d~\rSbdZ\[ `d~X}

Page 8: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

`dm�P�w�ftrSZXw�Px` � f'~uR � NQw��%u�Wafkw�f�R rSNlT e NQZX~ [ ^�Nl`cPxP�Nl~$bd`cTY`dm�`dPq[ fkw�` � fo[ ]�R ~\[ � forSmx`cNl~ �:y �"`cPw NQwzmxWXf R ~\Rbv^ P�`dPzNmwqyqRl[ `��¦� fkbdforSmx`cNl~�]+u�WXfkw�f R|rSfn~_mxw R b bd`dT `dm�m�WafkNQwxfkT4`cP0[ fnw�` � fo[�u�`dmxWe\fnw�`dNX[ `ir%~\Z\r m�Z\R m�`dNQ~XP�`d~�m�WXfzTYNQT fn~_mxP�Nmw�m�WafhrSNlP�mUy���WXfqTYfkm�WaN ["New�eXw�N New w Nlw mxWX`dP rkRPxfeXw�N � `i[ fkPqR � wxP�mqft�aR T eXbdf�NewJe fkwxm�ZXw|`\Rmx`cNl~|Nmw y�`irSf�� P�`d~_mxfk}QwSRbJy

� forSmx`cNl~ bIm RexQfkP�ZXe�`aZ\r|xQfkm�PxNQw�mx`d~X} `d~Ym�WXf P RTYf�NQwS[ fkwJ[ RI}Qfk~afkw R bPw ZX~ rSm�`dNQ~ Rb foslZ\R,sm�`dNQ~Y`d~ m�Wafh`d~ m�wxNX[ Z\rSmx`cNl~|Nmw mxWXfzP�for m�`dNQ~$`dP%w NlbdbcNmu�fo['`N^�mJu�N�P�Z5`XPxforSmx`cNl~XPU�%b5yd� `cP w Nlw�m�WXfR~\R bv^_Px`dPqNmw � `dP�mxw�`v`XZXmx` � f� NQwxm} `d~\rSbdZ\[ `c~a} `dmxPhwxforSZXwxP�` � f0~uR � NQw��hR ~\[�� forSmx`cNl~;b:y � `dP�w NQwm�WXfqR ~\Rbv^ P�`dP�Nmw�yqRQ[ ` �©� Nlw�m,y�gXNlwJR bdbM`aZ\r|xQfkm�PxNQwxm�P�[ `dP rSZXPxP�fo[%]XrSfk~ m�wSRb bc`dTY`cm mxWXfkNlw�fkTYPJR w�fw NQZa~\[ u�`dm�W$e fkwx`cNX[ `ir�~\Z rSm�Z\R m�`dNQ~aPh`d~$mxWXf"T NQTYfk~ m�P�NewByqRl[ `�� � NQw�m,y � bcmxWXNQZa}QW rSfn~_mxw R bbd`cTY`dm m�WXfkNlw�fkTYP�u�fkw�f�~XNlm�x ~XNmu�~` f�w NQwxf�`d~�m�WXfqrSNl~ m�f��Xm�NmwP`XZ\r|xQfkm�P�Nlw�mx`c~a}\]mxWXfqTYfkm�WXNX[ PNmw�R~\R b ^ Px`cP�Rwxf0rSNQ~X~aforSm�ft[$mxN�P�NQTYfhrSbiR P�P�`irkR b�RPzu�fkbdb�wxforSfk~ mhR ~\Rbv^ P�fnP�`c~|mxw�`dfkP�} p RQrkslZXfnmR~\[<y|{fk}l~X`dfkw�}S�o�Q�l���|�qR~ [|W\RPxWX`d~X}�u�`dmxW$bd`c~afoRw eXw�Nc`X`d~X}H}�g�biRkj NQbdfkmo] ^�N�`abcfnm�f�R~\[ � `dNQbiR} �t�Q�Q�c�_�$y���WXfnw�f�w Nlw�f0NlZXwqRwx}QZXTYfk~ m�P�`d~ � for m�`dNQ~Hb'u�`dbdbo` fzP_xQfnm rxWN^My%� forSmx`cNl~ d rSNl~\rSbdZ\[ fnPu�`dm�W R�[ `cPSrSZXPxP�`dNQ~ y�A� � �in[� � j � ��� � nmj[���e�

q f R w�f"}Q` � fk~ R~�ZX~XPxNQwxm�fo[ R w�w R,^<Nmw � fkbdfkT fk~ mxP R ~\[�R wSR~5x���� [ ��*-1-1�1.* �s] R~ [u f�u�`cPxW$m�NY`i[ fk~ m�`�wC^Ym�WXf"~ ZXT fkwx`ir�xQf�^$R T NQ~a} mxWXf�� [aRm R�u�`dm�W|w R ~5x�$] `Jy f�yd]XmxWXf� m�WNQwS[ fkwqPxm R m�`dP�mx` rey�� ZXeXe NQP�f�� p `cP m�WXfIP�W\R w�f0NewJmxWXf�tm�WH`aZ\r|xQfkmt]t P �0*�1-1�1.*5&ey���~ [ fkwqNlZXweXw�Nc`\Rm`a`cbd`dmJ^0RPxP�ZXTYeXm�`dNQ~�]omxWXf�P�W Rw�fnP � r *-1�1-1)*����JW\R � f�R�jSNl`c~ m�T�ZXbdm�`d~XNQTY`cR bQ[ `dP�m�wx`v`XZXm�`dNl~NQ~ � mxw�`iRbdP R~ [ w R m�f$NewhPxZ\rkrSfkPxP���,0&�e fkw mxw�`iRb%w�NQw�foRlr�W¤`XZ r_xlfkmUy ��~Ae\Rwxm�`irSZXbiRwt]�m�WXf[ `dP�mxw�`v`XZXmx`cNl~ NewJR~N^Y`c~ [ ` � `i[ Z Rb5`XZ r_xlfkmU� P P�W\R w�f0`dPC@'}V�A*t��,0&���y

� `XZ\r|xlfkm|P�fkbdforSmx`dNQ~CRbd}QNlw�`dm�WXT7m�Wafk~ r NQ~ m�`d~ ZXfkP|`dm�PYP�foR w rxWXw�NQw mxWXf [ fkP�`dwxfo[ NQwS[ fkwP�mSRm�`dPxm�`irI`M^ r NQ~XPx` [ fkw�`d~X}Ym�WXf�xQf$^_P�`d~|m�Waf `aZ\r|xQfkm `c~ [ f��Xfo[���]{w NQw�R~|`d~\[ ft����PSRm�`dP wC^ `c~a}

� r���������� � p d r�� � \ � r���������� � p � }S�U�`d~_mxfkw�eaw�fkm|R�P�ZXT)RP���u�WXfn~ `dm�`cP�fnT eXmJ^Ny ��m�PxWXNQZab [ ` f$~XNlm�fo[AmxW\Rm �)<��O��� ��><��O���zNl~m�WXf"P�`��kf"Nmw�m�WXf`XZ r_xlfkm0rSNQ~ mSR`d~X`d~X} mxWXf�[ fkP�`dwxfo[�NQwS[ fkwzP�mSRm�`dPxm�`ir] mxWXf�w R ~5x|Nmw mxWXf�NQwS[ fkwP�mSRm�`dPxm�`ir `cP�P�mx`dbcb Za~X`�w NQwxT bv^ [ `cPxm�wx` `aZXm�fo[YNl~ mxWXfzP�`��kf0New mxW\Rmz`XZ r_xlfkmUy���W Rm�`dPo] `�w mxWXf�tm�W`XZ\r|xQfnmo]Nu�`dm�W�Px`p�nf�� p ]_r NQ~ m R `c~aP mxWXfh[ fnP�`dw�fo[YNlw [ fkw�Pxm R m�`dP�mx` r ]XRzP�Z5`aP�foslZXfk~ m P�foR w rxW|bcN Ncx_Pw NQw�R"ZX~X`�w Nlw�TYb ^"[ `dP�m�wx`v`XZXm�ft[ wSR~5xYN � fkw�mxWXf0Pxfkm [ �0* ����� * � p ]My

��~ rxWXN NQPx`d~X}$R|biRw�}lf ~ ZXT` fkwR&INmwz`XZ\r|xQfkmxP RY~\RmxZXw R b � RbdZXf"`dPT& P ��y ��WXf rxWXNQ`irSf&�! � u�`cbdb ~XNlm�WXfkbde$T�Z\rxW|RP�`dm�}Q` � fnP�P�f � fkw R b fnT eXmJ^`XZ r_xlfkm�P,y���WXf0rxWXNQ`irSfE&�" � u�`dbcbbdfoRQ[ m�N�T Nlw�fzrSNQbdbd`dP�`dNQ~XP,y���Waf0`i[ foRI`c~7& P �<`dP�m�W\R m�NQ~$R � fnw R}lf0R'`XZ\r|xQfkmqr NQ~ m R `c~aP�NQ~XfxQf�^NyPq Wafk~�m�WXfzrSNQwxw�for m�`XZ r_xlfkm�rSNQ~ m R `d~X`d~X}qmxWXfh[ fnP�`dw�fo[ NQwS[ fkw�Pxm Rmx`dP�m�`ir�`dP�`i[ fk~ mx` � fo[ ]lm�WXfeXw�NXrSfnP�P�m�WXfk~�mxfkw�TY`d~\RmxfkPU� mxWXf�NQ~ab ^�xlf�^ `d~"m�WXfz`aZ\r|xQfkm�T�ZaP�m ` f�m�Waf#��m�W�Nlw [ fnw�P�mSRm�`dPxm�`irmy^�w�Nc`\Rm`a`cbd`dP�mx`irkRbdbv^_] � fnw_^Iw f�u xlf�^ PPw�R bcb`d~0mxWXf rSNlw�wxforSm�`XZ\r|xQfnmJR ~\[ fk`dm�WXfnwJROw�for ZXw�Px` � fBRlrSm�`dNl~NQw P|u�`cmSrxWX`d~X}�m�N�PxNQT f�Nlm�WXfkw�P�fkbdfor m�`dNQ~ R bd}QNQwx`dm�WXT PxWXNQZab [ bdfoRl[qmxN�w R m�WXfkw�w�RPxm�mxfkw�TY`c~ Rm�`dNl~ y��WXf�`XZ\r|xQfnm�`d~X}�NQe fkwSRm�`dNl~ `dP�e\fnwJw Nlw�T ft[�NQ~|mxWXfz`c~a`cmx`iRb bc`dPxm�Nmw�xlf�^ Po]am�WXfk~0w NlbdbcNmu�fo['`N^ RP�mxN rxW\R P�mx` rnRbdbv^ P�T|Rbdb ~ ZXT` fkwqNew NQe fkw R m�`dNQ~aPUyI��~$m�WXf"w�ftrSZXw�Px` � f'~uR � NQw�m�Waf R bc}lNQwx`cmxWXT `cPReXeabc`dfo[ u�`cmxWX`d~ mxWXfz`XZ\r|xlfkm�P�R,w mxfkw�w�fkPSrkRbd`d~X}0`d~ m�fnw � Rb bdfk~X}lm�WXP u�`cmxWX`d~ ftRQrxW�w�for ZXw�Px` � fhrkR bdb�y��~�R$[ `dw�ftrSm wxforSZXwxP�` � f|`dT eabcfnT fk~ m R m�`dN~�] m�Wafkw�f$Rwxf�WXNmu�f � fkw"w R w�fY`c~aP�m R ~\rSfkP'u�WXfkwxf|m�WXfRbd}QNlw�`dm�WaTHm RexQfkP�RzbdNQ~a}0m�`dT fl]NQw�f � fk~|e NQP�Px`v`Xbv^ `d~ � ~a`cmxfkbv^ T|R~N^0Nle\fkwSRmx`cNl~XP�m�N0e fkwJw�NQw�Tm�WXf�[ fkP�`dwxfo[Am R P_xPy }���WX`dP�P�`dm�Z\R m�`dNQ~ R w�`dP�fkPYNQ~Xbv^�` w0`d~ � ~a`cmxf|eXw�for `cPx`dNQ~ `dP R � R`dbiRm`abcf�w NQw

b

Page 9: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

xQf�^ P[��`d~$eXwSRQrSmx`irSf � ~X`dm�f�eaw�forS`dPx`cNl~ `dPzZXPxfo[ R~\[<`d~ � ~X`dmxf wxforSZXwxP�`dNQ~ u�`dbdb�~Xf � fkw0W ReXe fk~ y �� `XZ\r|xQfnmhPxfkbdforSmx`cNl~ [ `dP�mxw�`v`XZXmx`d~X} mxWXf���xQf$^_P N � fkw�& P ��`XZ r_xlfkm�P0R m�m�WXf � w�PxmqPxm�fke�u�`dbcb`\f"rkRbdbdfo[|R;��� "! �� � � � ��� ��� � � �!�! ��><���Rbd}QNlw�`dm�WaT¦y��qNc`\NlP�`df�u�`ir/��� P P�NQwxm�`d~X}|Rbd}QNlw�`dm�WXT }�R~\[m�WXfzPxfkbdforSm�`dNl~ Rbd}QNlw�`dm�WaT [ fkwx` � fo[�w w�NlT `dm���R � NQ`i[ P�`d~ � ~X`dmxfhwxforSZXwxP�`dNQ~ `M^|RQ[kj ZXP�mx`c~a}�}�R~\[w�foRl[kjSZXPxm�`d~X} u�`dm�WX`d~$ftRQrxW w�for ZXw�Px` � f rkR bdb �Om�WXf` NQZa~\[XRwx`dfkP0Nmw�m�WXf�}l` � fk~�`c~ mxfkw � R b mxN|m�WXfw R ~X}Qf0New m�Waf [XR m Ra]\mxW ZXPzfk~XP�Zaw�`d~X} mxW\RmzmxWXf TY`d~X`dT ZXTER ~\[|T R �X`cT"ZXT u�`dbdbPw�R bcb�`d~$mJu N[ `u�ufnw�fk~ m#`aZ\r|xQfkmxP&��R m�bcftRP�m NQ~Xf�xQf�^|`dP�w�fkTYN � fo[|R mqf � fkw_^|w�ftrSZXw�Px` � f"bcf � fkb�}QZ Rw R ~ m�fkfk`d~X}� ~X`dm�fn~XfkP�P,y

� w�ftrSZXw�Px` � f%~uR � NQwPu�`dm�W R � �Xfo[I~_ZaT`\fkw�Nmw5`XZ\r|xlfkm�P�T R,^I`\f�Reae\foR bd`c~a}z`\fornRZXPxf�NmwX`dm�PfoRPxf�Nmw�`dT eabcfnT�fk~ m Rmx`dNQ~ ys���0��� ��� ��� �!�� ��><���ZXPxfkPqR � �Xfo["~ ZXT`\fnw & P @ Nmw `aZ\r|xQfkmxPUy���WXfT fkmxWXNX[0T|R,^�` fqfkPxe\for ` R bdb ^ R m�mxw RQr m�` � fzu�WXfn~�xQf$^_P�RwxfqPxm�NQwxfo[Y`d~ [ `d}Q`dm R bNw NQwxT RlrkrSNQwS[ `d~X}m�N"m�WXfn`cw f��Xe\R~aP�`dNQ~Y`c~|PxNQT fI`\RPxf} wSRQ[ `��o�k]Nu�`dmxW m�Waf�`X`d~\Rw|^�f��Xe\R~aP�`dNQ~ ` fk`d~X}�m�WXfIT NQPxmmJ^ eX`irkRb Rm m�Waf bdf � fkbQNew T|RQrxWX`d~Xf�[XR m R5y�q WXfk~0mxWXf�[ `d}Q`dm�P Nlw `X`dm�P�R w�f�w�foRl[ `dbv^hR � R`dbiRm`abcfl]Sm�WXf`XZ\r|xQfnm�`d~X}zNQe fkw R m�`dNQ~�T|R,^�`\f�Px`cTYeXbd` � fo[zmxN RQrkr fkP�Px`c~a} mxWXfz`X`dm�P�New%R xQf�^"NQw�m�NIW\RwS[Nu�`dw�fo[T Rlr�Wa`c~afhRwx`dm�WXTYfkm�`ir�PxZ\rxW R P�w�fk}l`dP�m�fnwhPxWX`�w m�`d~XP�mxw�Z\r m�`dNQ~XP,y���WXf0TYfkm�WaN [Y`dPqRbdPxN [ `dw�forSmxbv^ReXeabc`irkRe`XbdfqmxN ~XNl~Ns�~_ZaT fkwx` r [XRmSRX]XR P�`c~|PxfkbdforSm�`d~X}'w�w�NQT NQw�P�Nlw�mx`c~a}�� � � P�mxw R~ [ PUy

��~ RbdbqrkR P�fkPHu�f$PxW\Rbdbhr NQ~XPx` [ fkw|m�W\R m �)`dmxP�fkb�w `dP rxWXNlP�fk~ w R ~\[ NlT bv^�RQrkr NQw [ `c~a}�m�NR|ZX~X`�w Nlw�T [ `cPxm�wx` `aZXm�`dNQ~ Nl~�`dm�P�wSR~X}lf�y ��W ZXP ��`\ftrSNQTYfkP R$wSR~\[ NQT � Rwx` Re`Xbdf�� S P��~X`�w Nlw�T�¨ ld��1 1 �+(�] `d~\[ fke fk~\[ fn~_m"Nmw�m�WXfYP�W\R w�fkP0NewBmxWXf�`aZ\r|xQfkmxPUyY��WXfkw�f R w�f�mJu�N|w�foR P�NQ~aPw NQw�mxWX`dP0r�WaNQ`irSf�� � w�P�mz`dmqTYNX[ fkbdP�~\RmxZXw R bdb ^|mxWXf�u�R,^ mxWXf�Rbd}QNlw�`dm�WXT `dPqZXPxfo[<NQ~$wSR~\[ NlT`d~XeXZXmxP#}�Rzw R ~\[ NQTER w�w R,^�New [XRmSR R ~\[�RIw R~ [ NQT+w R ~5x�m�N�`\fzP�fnbcftrSm�fo[:�+� P�for NQ~\[ `cm�P�fnw � fnPRP�R~�R � fkwSR}Q`d~X} eXw�NXrSfnP�PUy���Wa`cP�R � fkw R }Q`d~X}qeaw�NXrSfkPxPo]l`c~ mxw�NX[ Z\rSft["`c~"U$RWXTYNQZ\[%]oU|NX[XR w�w�fnPR~\[�� T^ m�Waf�}S�o�Q�c ��n] u�NQw|x_P0R P R|P�TYN NQm�Wa`c~a} NQe fkwSRm�Nlw0N � fnw Rbdb�mxWXf � �Xfo[�rnRP�fnPUy|��WXfR � fkwSR}lfBrSNlP�m�Nmw m�WXf�wSR~\[ NQT `��kft[ rkR P�f `cP�mxWXfhR � fkw R }Qf�Nmw m�WXfzR � fkwSR}QfnP�Nmw m�WXf � � ft[ rkR P�fkPt]NQw�RE���5���O�T�� ���5�u� � Pxm R T e fo[�u�`dmxW�m�WXf�}lfk~XfkwSRb r�W Rw RlrSm�fnw New�m�WXf�`d~\[ ` � `i[ Z\R b � � ft[ rkR P�fkP,y� `dT `dbiRwxb ^Hu�f$rkR~ ft� eabcNlw�f$R�}QwSR~\[ � Rwx` R ~\rSf�y � ~Xf�rkR~Af � fk~ P�e foRex�New R ~ �SR � fkwSR}lf[ `dP�mxw�`v`XZXmx`cNl~��'u�WX`ir�W|`dP�m�Waf [ `dP�mxw�`v`XZXmx`cNl~ NewJmxWXfzw R ~\[ NQTY`��kfo[ r NQP�mt] R~\[Y`dPqR~$R � fnw R}l`d~X}Nmw Rbdb�[ `dPxm�w�`v`XZam�`dNQ~XP�New�m�WXf"`d~\[ ` � ` [ Z\Rb � �Xfo[$rkR P�fkP0R ~\[|`dP�`d~\[ `irkRmx` � fzNmw�m�Wafk`dwhrSbiRPxP�fkPzNeweXw�Nc`\Rm`a`cbd`dmJ^�[ `dP�m�wx`v`X`dm�`dNQ~XP,y

� m mxWXf�NQZXmxP�fkm�Nmw m�WX`dP�R~\R bv^_Px`dP u�f�u�wx`cmxfBR [ `dP�mxw�`v`XZXmx`cNl~\Rb foslZ\R m�`dNQ~ w NQw�Rbdb � fkwxP�`dNQ~XP�Newm�WXf�Rbd}lNQw�`dmxWXT¦yP� ZXeae\NlP�f�m�W Rm�u�`dm�WX`d~0mxWXfz`XZ\r|xQfnmJr NQ~ m R `c~a`c~a}qm�Wafq[ fkP�`dwxfo["NQwS[ fkw�Pxm Rmx`dP�m�`irRbd}QNlw�`dm�WaT�� ]�PSR,^_]�`dP"ZXP�fo[ m�N rSNQTYeXbdfkm�fYm�WXf|P�fnbcftrSm�`dNQ~+y;� ZaeXe\NlP�f$PxZ\rxW R~�R bd}QNQwx`dm�WXTe\fnwJw Nlw�T P�� p NQe fkw R m�`dNQ~XP�Nmw�PxNQTYf#x `d~\["m�N"P�Nlw�mqRzwSR~\[ NlTE`d~XeXZXm�NmwJt�xlf�^ PUy��Dw� `dP PxNQTYfP�mSR~\[XR w [YRbd}QNlw�`dm�WXT�]tm�WXfzNQe fkwSRm�`dNl~ `d~ slZXfkP�mx`dNQ~ `dP�mJ^ eX`irkRbdbv^ R"rSNlT e\R w�`dP�Nl~ NewJRze\R `dw NewxQf�^ P,y�\zfn~Xfkw R bdb ^� p `dPJR wSR~\[ NlT � R w�`iRm`Xbdf�W\R � `d~X}q`dm�P�Nmu�~"eXw�Nc`\Rm`a`cbd`dmJ^0[ `dP�mxw�`v`XZXmx`cNl~ y+q fW\R � fzmxN m RexQfz`d~ m�N RlrkrSNlZX~ mqm�Waf0e\NlP�Px` `abcf"[ `u�ufkwxfk~\rSf` fkmJu�fkfk~�m�WXf�`XZ\r|xQfkmx`d~X} Nle\fkwSRmx`cNl~�]u�WX`irxW mJ^ eX`irkRbdbv^�`d~ � NQb � fkPBR w�`dm�WaT fkmx` r PqR~\[YrSfk`dbdPqNQw%~ N_Nlw�Pt]\R~ [ mxWXfzNQe fkw R m�`dNQ~aPqNmw��©y �Dwu f�m Rmxlf�m�Waf ZX~a`cm�r NQP�m�mxN#` f mxW\Rm�Nmw\Rz`XZ r_xlfkm�`d~X} NQe fkw R m�`dNQ~�] ROP�`d~X}lbcf�NQe fkw R m�`dNQ~0New���T R,^rSNQPxm� %y � mJ^ eX`irkRb � R bdZXfzNmw� w NQwqr NQT e Rw�`dPxNQ~NsJ`\RPxfo[�PxfkbdforSmx`cNl~ R~ [ PxNQwxm�`d~X} Rbd}lNQw�`dmxWXT PNQ~$R�TYNX[ fkw�~�rSNQTYeXZXm�fnw�`cP��5yd��¨5�5y ��}�R�TYfoRPxZXw�fINmw�m�WXf"P�e fkfo[�New R rSNlT e\R w�`dP�Nl~ New�xQf�^ Pw�fkbiR m�` � f m�N�R�`XZ\r|xQfnm�`d~X}�NQe fkwSRm�`dNl~ RP�m�WafhW RP�Wa`c~a}ms�bc`vxlf�NQe fkw R m�`dNQ~|Rbdw�foRl[N^�rSNQ~XPx`i[ fkw�ft[5��y��~|w�forSZaw�P�` � f�~uR � NQwxP���u�`dbdbP`\f0mxWXf0PSRT fzRbd}QNlw�`dm�WaTEZXP�ft[ R m�m�WXf0mxNQe|bdf � fnb�P�fnbcftrSm�`d~X}|NQwP�Nlw�m�`d~X}'`N^ mxWXfzP RTYf#`XZ r_xlfkm�`d~X}�Nle\fnw Rmx`dNQ~XPt]X`Jy f�y� P ��y

¢ fkm�� S�`\f�mxWXf�~ ZXT`\fnw New2`aZ\r|xQfkmx`c~a}0NQe fkw R m�`dNQ~aP `d~ � Nlb � fo[z`d~"m�WXf�PxfkbdforSmx`cNl~ NewuRzw R ~5x

d

Page 10: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� S P ��~a` w�NQw�T�¨ ld��1 1/�+(\R~\[ bcfnm�� p `\fzmxWXfz`c~ [ `irkRmxNQw�New m�Wafqf � fk~ m�} �U�$y���WXfk~�]cw�NQw`��� �X]� S MP �}�� r ����� � � I �� h � ������� � � ����� � �A* }����

R~\[ � � P �a]XR~\[ � r P �:y���WXf0slZ\R~ m�`dmJ^�ASH� P � r � � � � � I � � h ��������� ��� � � }Jb��

`dP�m�WXf"NQ~Xbv^YP�m�NXrxW\R P�m�`ir0r NQT e NQ~afk~ mqNmw�mxWXf rSNlP�m0R~\[|rkR eXm�Zaw�fkP0mxWXf0fkPxP�fk~ rSf�Nmw mxWXf0f��Xmxw RrSNQPxm�R,w mxfkw�m�WXf � w�Pxm�biR,^Qfkw�Nmwo`aZ\r|xQfkmx`c~a}oy+��~_mxw�NX[ Z\r f�m�WXf�eXw�Nc`\Rm`a`cbd`dmJ^z}Qfk~afkw R m�`d~X}zw�ZX~\rSmx`cNl~XP� S }��=� P �Rl����-( R~\[�� S }��o� P �Rl������-(_y� � ��� l ��� <������ ���

� S�}��=� P ��J& S d r

Y�p-qsr t�� p }��o�t}V� 2��,� S d p! � t�" 1

# �5<-<�$+y�£�NQZXeabcft[�u�`dmxW R�rSNl~\[ `dm�`dNQ~a`c~a} Rwx}QZXTYfk~ mo]X��slZ\R m�`dNQ~ }�b���}l` � fkP�ZXP� S=}��=� P �% �'&�(�(�( & % ') �*�+�,.- � DCSy��/0�21 � �43 �65 1 h �43 h 587�7�7 5 1 �43 :9 � r P � r *-1-1�1)* ��� P � �-* �LS P �<;

P �% �'&�(�(�( & % ) �� -�,.- % � DCSy�Rl�� � % � ( � �% ��&�(�(�( & % ) �% � +�,.- % � & % hD�Se� l�� � % h (

� ������� �% � &�(�(�( & % �) �% � & % h &�(�(�( & % >=�� +�,.- % � & % h &�(�(�( & % D S �Rl�� � % (/*

u�WXfkwxf#D S `dP�mxWXf|eXw�Nc`\Rm`X`dbd`dmJ^ Z [ � r P � r *-1�1-1)*�� � P � � * � S P �!]Ny;� ^�P|^_TYT fkmxw_^ ]m�WXf#& P�ZXTYP0Rw�fY`i[ fk~ m�`irkR bV��u�f rnR~ ZXPxf=& r NQeX`dfkP"Nmw�m�WXf � w�PxmUy�q f"W\R � f|RP�PxZXT ft[ �LSR~\[ m�WXfIP�W\R w�fkP Nmw�m�WXf�`XZ\r|xQfkmxPqmxN`\f0`d~\[ fke\fn~\[ fk~ mUyz�OP�`d~X}"m�WX`dPq`d~\[ fke\fn~\[ fk~\r f R ~\[Ym�WXfw�fkPxe\ftrSm�` � f"[ `dP�m�wx`v`XZXm�`dNl~XPo]:u f0Rwxw�` � f0R m

� S }��=� P & �? � 587�7�7 5 ? q S � r � l�� � % � ( �� r *�1-1�1.*�� � " �& SA@ �

P ��J& S d r

S�p-qsr t4� p }��=� � t " �? h 587�7�7 5 ? q S d p

}V�;27t��CB� I B�1-1-1 ���DB �

m�WXf"P�ZaT P0Rm` N � f"w�ZX~�N � fnw R bdb ~aNQ~Ns�~Xfk} Rm�` � f `d~ m�fk}lfkw0PxNQbdZXm�`dNl~XPqNewBmxWXfk`dw0[ f � ~X`d~X}<foslZ\R,sm�`dNQ~+yFEG4HJIKH ��� "! �� � � �� ��� � � ��� �!�� ��><��

��WX`dP � fkw�Px`cNl~S}Cu�`dm�W & P �P�INmw�`XZ\r|xQfnm�P�fkbdforSmx`dNQ~ `dP"foRPx`cfnP�m mxN�R~\R bv^?�nf u�Wafk~Am�WXfRbd}QNlw�`dm�WaTCP_u�`dm rxWXfkP�m�N"RzP�mSR~\[XR w ["PxfkbdforSm�`dNl~ Rbd}lNQw�`dmxWXT �Xu�`dm�WX`d~�R�`XZ\r|xlfkmUy��+�Xmxw RQr m�`d~X}

 

Page 11: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

m�WXf|rSN f/� rS`dfk~ m�Nmw � � w w�NlTLm�WXf|foslZ\R bd`cmJ^�Nmw�¢ fkTYT R<��u�WXfn~�Pxe\ftrS`iRbd`��kfo[�m�N�m�WXf|rkRPxf& P ���ZE[ � S P�� ] P �

� SY�

p�qsr t ZE[ � p P�� ]�}P� 2 �U� S d p� � t�" 1 }DdM�

��WXf mxfkw�T � d S }V� 2V�U� S d p�� S p�� P � d p } �;2 �-,6�P� S d p�� Sp� `dP�m�WXf eXw�Nc`\Rm`a`cbd`dmJ^Cm�W Rm@'}V�A*t��,��P� P tX]�u�Wa` rxW�w Nlw R ~N^ }l` � fk~9t rSNl~ � fkwx}QfkP�mxN e d r ,{}�t 2C�U�CB+`N^ m�WXfYP�mSR~\[XR w [ReXeaw�N,�X`dT Rmx`dN~ New m�Waf`X`d~XNQTY` R b�[ `dP�mxw�`v`XZXmx`cNl~$Nmw4@'}P�A*o�-,6�P� m�N;D} �,��y � m0R~N^ � �Xfo[ � ]e\RPxP�`d~X}"m�N�mxWXfzbc`dTY`cm }�RP��;"%$¤��}Q` � fnP ZXP

bd`dTS XRY ZE[ � S P� ] PY�

p�qsr Z [ � p P�� ] e d r}�t�2��,�CB 1 }J ��

��WXf�^�Nl`dP�P�Nl~0eXwxN�`\Re`X`dbc`dmx`cfnP Reae\foR w�`d~X}zNQ~Im�WXf�w�`d}QW m�W\R ~\[zP�`i[ f�`d~\[ `irkR m�f�m�W\R m mxWXf�~_ZaT`\fkwNmwBRl[X[ `dm�`dNl~\Rb�NQe fkw R m�`dNQ~XP"R,w mxfkwzm�WXf � wxP�m0bdf � fkb�New�`XZ\r|xQfnm�`d~X}$`dPzbd` xlf0m�Waf`\fkW R � `dNlwhNew��NQ~ D} �U�Iw R ~\[ NlT ~ ZXT` fkw0NmwzxQf$^_P,y � P"m�WXfYbiRP�mzbd`dT `dm�`d~X} rnRbirSZXbiRmx`dNQ~�`cPIm�w�Zafw Nlw R~N^� �Xfo[ � ]+u f|rkR~ ft� eaw�fkPxP�m�WXf` fkW\R � `dNQw0New � S P�`dTYeXbv^vR P rSNl~ � fkw�}lfk~\rSfY`d~�[ `dP�m�wx`v`XZXm�`dNl~} Pxfkf©£�W ZX~X}0} �t��¡mdN�_�$y� � � �ok � � ��� � ���� " ��� �!�� ��><��#<�$4� �5���O��<��T��� ��� < " � �;�5������$ �)<� �� <�� �}�L�)���O�0<� ����� "���E��� "! ���� ��� ��� � � ��� �!�! ��><��.�����< " �E���n��<���� �������� �� ��� � ������� �� �� � � ��"�� p < �����5� �� <�� " $�<���5���O��<�� " ��� �!�� �� <��L��� � ��� � <�$ " ��� � t�� ���� �)� ��5� �)< "! ���$! &���% ���� ���!"! C� ������ <�$ ������� �� ������"�� �� "�� �!"R�;� � �E� ������ �)<� � < � �3�<#C<�� "!"�<��L� ���"!.��� ����%" ��� " �T< $#!%$'&'&

� S M2U" ��(*) r,+ 5 r 1q `dm�WX`d~�m�WXf0`XZ\r|xQfnm�P'u fYT R,^|ZXP�f|R � fnw_^ P�`dTYeXbdf Rbd}QNlw�`dm�WaT ] f � fn~�R~ `d~Xf4� rS`dfk~ m Nl~XfQ]bd` xlf R$PxfkbdforSmx`cNl~ Rbd}lNQw�`dmxWXT>[ fnw�` � fo[ w wxNQTLmxWXf|P�mSR~\[XR w [ �� ��5��� �-� � ��� �!�� ��><�� �U<��! 0} Pxfkf� ~_Zam�W } �o�c¡�bc�_��y�}Cq f�[ N|~XNQm e\Rwxm�`irSZXbiR w�bv^ rkR w�f'w NlwhRY}QN NX[ R bd}QNQwx`dm�WXT `d~ mxWXf©`aZ\r|xQfkmxP`\ftrkRZXPxf©u�`dmxW Wa`c}lW eXwxN�`\Re`X`dbd`cmJ^�ftRQrxW rSNl~_mSR`d~XP�Nl~Xbv^ R�w f�uC~ ZXT` fkw�Nmw�xQf$^_P,y ��� fkbdfor m�`dNQ~P�Nlw�m#u�NQw|x Pz`M^$rxWXN NQPx`d~X}�P�Z\rnrSfkP�Px` � f�T `d~X`dT Ra]QR~\[<R�[ fkw�` � fo[$Rbd}lNQw�`dmxWXT w Nlw � ~\[ `c~a}�m�WXf� m�W Nlw [ fnw�P�m R m�`dP�mx`ir�`dP Nl~Xf mxW\Rm"P�mxNQeXP�wx`d}QW m R,w�m�fkw � ~\[ `d~X}<m�WXf � wxP�m � T `d~X`dT|R ] ZXP�`d~X}}V� 2��,� � }V� 2 �c� ��������� }V� 2 � ��r NQT e Rw�`dPxNQ~XP,y q Wafk~ �C`cP�m�Wa`cP�Px`dT eXbd`dP�mx` r�R bd}QNQwx`dm�WXT

�Rl��AS ( P db 1

� ~ R � fkwSR}lfQ]�bdfkP�P|mxW\R~AmJu�N�RQ[a[ `dm�`dNQ~\R bqrSNQTYe\Rwx`dP�NQ~aPu�`cbdbI`\f$~afkfo[ fo[ `d~Am�Waf¦`XZ r_xlfkmrSNQ~ mSR`d~X`d~X}0mxWXf0NQwS[ fkw�Pxm Rmx`dP�m�`ir0R ~\[�mxWXf R � fkw R }Qf0rSNQPxm�Nmw�m�Waf u�WaNQbdfzeXw�NXrSfkPxPq`dP�m�Wafk~

� l � S ( P � �db �/. } �,� 1

� `dT `dbiRwxb ^ ]��l5kl � S0(U" �Q�

b�§ I 1��Nlm�fqmxW\Rm�m�WXf � Rw�`iR ~\rSfq`dPk�*} �U��R~ [�[ N fkP�~XNQm�}Qw�Nmu¤u�`dm�W"��]_R WX`d}QWXbv^�[ fkP�`dwSRm`Xbdfzw�foRmxZXw�f`d~ Rbd}lNQw�`dmxWXT `ir�[ fkP�`d}l~ y

§

Page 12: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

gXNlw!� �!�����!" �� �;� �������! � ��� �!�� �� <���]%u�WXfn~ �V`dP�m�WXfH`aZ\r|xQfkmYP�fkbdforSmx`dNQ~ `dm�Pxfkb�whmxW\RmY`cPZXP�ft[ Rm�mxWXf � wxP�m|P�mSR}Qfl] mxWXf R ~\Rbv^ P�`dP�w�fnT R`d~XP�mxWXf$PSRT fcy M�Nmu�f � fkwH}DdM�'` forSNQTYfkP Rw R m�WXfkw `d~_mxfkw�fnP�m�`d~X}0w Za~\rSm�`dNl~\Rb foslZ\R m�`dNQ~<NQ~$[ `dP�mxw�`v`XZXmx`cNl~ w ZX~ rSm�`dNQ~aPUy%��~$m�Wa`cP ~uR � Nlwo]am�WXfNQe fkw R m�`dNQ~aP New �CRw�fzmxWXfkT Pxfkb � fkP%`XZ\r|xlfkm�`d~X}�Nle\fkwSRmx`cNl~XPo]Xr NQP�mx`d~X} Nl~XfzZX~X`dm�foRQrxWH} P �U�R~\[

� S 2 � M2U" � (�) r + 5 r 1��N"f��XeXbd`irS`dmqr�W Rw RlrSm�fnw�`��oRmx`dNQ~|Nmw�m�WXf0bd`dT `dm�`dPzx ~XNmu�~ y

gXNlw mxWXf � wxP�m�mJu�N TYNQT fn~_mxP�u�f rnR~|}Qfkm�}lN N [YReXeaw�N,�X`dT Rmx`dNQ~XP R P�w�NQbdbdNmu�PUy�� m R w�m�`d~X}u�`dm�WH}DdM�n]

�Rl � S (O2 � PY�

p-qsr t� l � p ( ZE[ @'}V�A*t��,��P� P t ]�1 }J§��

��N"f��\RQrSm P�NlbcZam�`dNQ~Y`cPzx ~XNmu�~�w NQw�mxWX`dP�w�for ZXw�wxfk~\rSf�y � ~$RP|^_TYeXm�Nlm�`ir�}QZafkP�PIu�`cbdb ~XNlmz`\fzNewT�Z\rxW|ZXP�f"fk`dm�WXfnwo]P` forkR ZXP�f�mxWXf �!� ��������� �� &� ��� "0W\R � f0T Nlw�f�u�fk`d}QW m�m�W R~�m�WXNlP�f"`c~<m�WXfm R `cb Nmw�mxWXfzP�fkwx`cfnPUyz��f � fkw�mxWXfkbdfkPxPo] RQrkr ZXw R m�f R eXeXw�N,�X`dT R m�`dNQ~aP rkR~ ` fzT RQ[ f�y

gXNlwqR � w�PxmhReaeXw�N,�X`dT R m�`dNQ~�NewJR � fnw R}lfkPo] wxfkeXbiRQrSfIm�WXf�`a`c~aNQT `iR bXeXw�Nc`\Rm`a`cbd`dm�`dfkPz`N^Ym�WXfbd`cTY`dm�` ~a} ^�Nl`cPxP�Nl~ eaw�N�` Rm`X`dbd`dm�`dfkP�RPzu�f [ ` [*w NQw�mxWXf0[ `dP�mxw�`v`XZXmx`cNl~|Nmw�� S `dm�P�fnb w��

bd`dTS X Y � � l � S�(32 � � PY�

p�qsr �Rl � p ( e d r}�t�2��,�CB 1

��WXf�P�fnw�`dfkP�rSNQ~ � fnw�}QfnP Px`c~ rSf$� l � p ( \ �-t0RP rnR~` fqeXwxN � fo['`N^�R~"foRP|^�`c~ [ Z\rSmx`cNl~ Nl~ }�§c��yq f rkR ~Am�WXfkwxf�w Nlw�f$f � R bdZ\Rmxf mxWXf|~ ZXT fkwx`irkRb � RbdZXfYNmwhmxWXf$Pxfkw�`dfkPt]�eXw�NX[ Z rS`d~X}�RP"T R ~M^[ `d}Q`dm�P�RPq[ fkP�`dw�ft[0w NQw�R~N^|RQrkrSZaw RQrt^My

�=k � � � l5k�� ��� ���7�� ���5�u� � �)< " <�$;� �!�����!" �� �;� ���!���! �U<��! "�� �� " � �!" ����7� "��� �� /< �� �� ��� � ��><��� l � S0( P � � b1 �a�Q�o�l�X�t��b� _1�1 1 � . }S�U��1

��^0R�P�`dTY`cbiR w\eXwxNXrSfkP�P%}�[ fkm R `dbcP�P�ZXeaeXw�fkPxP�fo[:��u f�rkR~0Nc`Xm R `d~hmxWXf�bd`dT `dm�`d~X} � Rw�`iR ~\rSf�[Xu�f� ~\[

� l:kl � S (U" �Q��1 bl�����ed�d �md41-1 1�1��~ R bcbzmxWXf�Rm` N � f � fkw�Px`cNl~XP|Nmw!��� "! �� � � � ��� � � ��� �!�� ��><�� }C` NQmxWCw�for ZXw�Px` � f�R ~\[ ~aNQ~Ns

w�for ZXw�Px` � fU�Iu f�rSNlZXbi[|W\R � fIf � fk~ rSNl~XP�`i[ fkwxfo[<P�forSNl~\[�NQwS[ fkw�} NQwzWX`d}lWXfkw�� ReXeaw�N,�X`dT Rmx`dNQ~XP`N^LD*}S�U�Im�N9@'}V�A*t��,��P� R ~\[A[ f � fkbdNQe fo[AR~�R P_^ T eam�NQmx`ir"f��Xe\R~XPx`dNQ~ w�NQw �Rl � S0( ]�R~AReNseXw�N RQrxW � w�Pxm PxZX}Q}lfkP�mxfo[`N^©\zNl~X~Xfkm%}S�o�Q�edM�$y gaNQw�f��\RTYeXbdfQ]rkRwxw_^ `d~X}0mxWXfqReXeaw�N,�X`dT Rmx`dNQ~XPNmw�m�WXfE� �!� � ��" �� � ��� "! �� � � � ��� � � ��� �!�� �� <��|NQ~afhPxm�fke w ZXw�mxWXfkwt]5w�NQw�R~N^ � �Xfo[;tX]

Z�� @�&�A* �� � P t� P e d rt�B �Q� 2 �

�6�� � � 2 t

�6� }�t�2 bc��� � �� �� I � 1� N\]

�Rl � S ( P � �

Y�p-q � �Rl � p ( e d r

}�t�2��U� B�� � 2�� �� ��� tN}�tR2 bc� � �

� � �� �� I ��� 1

¡

Page 13: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� } R`d~�]\R bdb m�WXf"P�fkwx`dfkPz`c~ � NQb � fo[|R w�f rSNl~ � fkwx}Qfk~ m0R~\[<rkR~$mxWXfkwxf�w NQwxf`\f"rSNQTYeXZXm�ft[$RQrkr ZNsw R m�fkbv^�ZXe|m�N R ~N^ [ fkPx`dw�fo[|eaw�forS`dPx`cNl~�]N^ `dfkbi[ `d~X}

�Rl � S ( P � � b+1 �X�Q�t�Q�a�o��bc C1-1 1)2 ��1 ¡� a�o�l����§l�X��1�1�1� � �� �� I � 1

��WXf�bcNmu�fkw�Nlw [ fnw�m�fkwxT P�Rwxf�Nmw m�WXf%w�NQw�T �'}V� d p �k]�t P �+*�b+*�1-1�1 ] R~\[Im�WXfqr N_f4� rS`dfk~ m�P�Nmw��rkR~�` f [ fkm�fnw�T `d~Xft[ ] `�wBPxN$[ fkP�`dwxfo[ ]+`M^<T NQwxf fnb Re`\Nlw R m�f�rkRbirSZXbiR m�`dNQ~ y'��^ R|rSNQTYeXbdfkm�fnb ^R~\R bdNQ}QNlZXP�eXwxNXrSfkP�P�u�f0rkR~|N�`am R`d~|R"P�fkwx`cfnPqf��Xe\R ~XP�`dNQ~0w Nlw mxWXf � R w�`iR~\r f�yG4HJGKH ������� � " ��� �!�� ��><��

� P [ `dPSrSZXP�Pxfo[�`d~�mxWXf�`d~_mxw�NX[ Z\r m�`dNQ~�]+���0��� ��� ��� �!�� ��><���`dP R w�for ZXw�Px` � f � fkwxP�`dNQ~�New2`XZ r_xlfkmP�fkbdfor m�`dNQ~Xu�`dmxW R � �Xfo[ ~ ZXT` fkw�Nmw©`aZ\r|xQfkmxPUy+��N�R~\R bv^?�nf$m�WX`dP � fkwxP�`dNQ~�]Iu�fHuBR ~ m m�N[ f � fkbdNQe RP_^ TYeXm�Nlm�`irSPIw NQwIm�WXf�f��XeXwxfkP�Px`dNQ~�New ¢%fkT T|R$�'u�WXfk~'&"`dP R � �Xfo[ ~ ZXT`\fnwo] @P R,^ ]qRP � " $Sy ��m `dP|ZXP�Z Rbdbv^�mxWXf rkRPxf m�W\R m Nl~Xf [ f � fkbdNQeaP$}Qfk~afkw R m�`d~X} w�ZX~\rSmx`cNl~XPw NQw m�WXf"P�ftsQZafk~\rSf � S }��o�n] WXNmu�f � fnwh`d~$NlZXw0rkRPxfQ]�m�WXf"w�for ZXw�wxfk~\rSf|P�Za}Q}QfnP�m�P"[ f � fnbcNleX`d~X} R}Qfk~afkw R m�`d~X}�w ZX~\rSmx`dNQ~w�NQwk� � S }��o�n]_R P�`dm�`dP mxWXf0rSNQT`X`d~\R m�`dNQ~"m�W Rm�ReXe foRwxP�NQ~0`\Nlm�W Px`i[ fkPNmw�wxfoRwxw R~a}Qfo[ � fkw�Px`dNQ~ New mxWXfzf��XeXw�fkPxP�`dNQ~<Nmwi¢%fkT T|R0�cy�� N\]Nu�fq`d~ m�wxN [ Z\rSfzm�WXf�`X` � R w�`iRmxff��Xe\Nl~Xfk~ m�`iR b }Qfk~Xfnw Rmx`d~X}'w ZX~\r m�`dNQ~

�I}��s*)m�� PY�S q � � � S }��=� m S

�!B 1��m mxWXfk~ w NlbdbcNmu�P+w wxNQT ¢%fkT T|R"�Q]N`N^�T�ZXbdm�`deXbv^ `d~X}q`dm�P�mJu�N"P�`i[ fkPz`N^#m S R~\[YPxZXT TY`c~a}

N � fkw`� � ��} mxWXf0wSR~X}lfhNew � R bc`i[ `dmJ^"Nmw�m�WXf0wxforSZXwxw�fk~ rSfU�k]%m�W\R m

�I}��s*5mc� P @�� � � * �3m@ � f��Xe � �3mN}�@ 2��,�@ �� m{} �C2 �o��1

��WXfIw ZX~\r m�`dNQ~!mN} �_2 �=��ReXe foR w�PqmxN Rl[kjSZXPxm%w NQw�mxWXf�`\NlZX~\[XR w_^|rSNQ~\[ `cmx`dNQ~XP,yq f PxW\Rbdb�rSNQ~XPx`i[ fkw0mxWXf rkR P�f!@ P ��}�m�WXfYT NlP�mzeXw RlrSm�`irkR b rkR P�fw�NQw rSNlT eXZam�fkw [aRm R

`d~$m�WXf'w�NQw�TVNew�`X`dmzP�mxw�`d~X}QP���y"��WX`dPhrnRP�f�`dbdbdZXP�mxw R m�fkPzP�`dTYeXbv^ Rbdb�m�Waf�eXw�`d~\rS`deXbdfkPz`d~ � Nlb � fo[`d~ m�Waf R~\R bv^_Px`dPUy��+�Xm�fk~XPx`dNQ~$mxN�WX`d}QWXfkw�} � �Xfo[5�C@ w�NQbdbdNmu�P�m�WXfIP RTYfqwxNQZXmxf R~\[Ye NQPxfkPq~XNe\Rwxm�`irSZXbiR wB[ `u� rSZabcmJ^A� mxWXfzw�fkPxZXbdmzw Nlw }lfk~XfkwSRb @ `cP�Pxm R m�fo[|Rm�mxWXf0fk~ [ New mxWX`dP�P�forSmx`dNQ~ y

q fqP�mSRwxm#u�`dm�WYm�WXf0ftsQZ Rm�`dNl~�I}�� *)m�� P ��� � �s* �3m

�� e���� i I � mN}S� 2 �=� * }J¡��

q WXfk~ � P �Q]tm�Waf�w�fkbiR m�`dNQ~}J¡�� Px`cTYeXbd` � fkP R~\[zW RP�mxWXf�Nc` � `dNQZaP P�NQbdZXmx`dNQ~Rm e � ]R P�`dm P�WXNlZXbi[ ]}Q` � fn~ m�Waf r NQT`X`d~\R m�NQwx`iRbXNlw�`d}Q`d~ New mxWXf0eXwxN�`XbdfkT�yP��~ m�w�NX[ Z rSf RIP�Za`cmSRm`XbdfzT�ZXbdm�`deXbd`dfkw,�

� }�� *)m�� P e���� i I e�� h � i e������ i ����� P f��Xe �3m� 2 � " *

P�N0mxW\Rm��P}�� *)m��%� P �I}�� *)m��., � }�� *)m���PSRm�`dP � fkP�RzP�`dT eabcfnw w�ZX~\rSmx`cNl~\RbafoslZ\Rmx`cNl~�Nmw m�WXf w NQwxT�P}�� *)m�� P ���P}�� * �Om0,Q�c� ��� }��s*5mc�qmxW\Rm `dPhPxNQb � Rm`abcf�`M^<`c~ [ fkm�fnw�T `d~\R m�f r N_f4� rS`dfk~ m�P&��mxWXfk~m�WXfnw�f�w�fnP�ZXbdm�Rbdm�fkwx~\Rmx`d~X}�}C`XZXm � ~X`dm�fU� `X`d~XNQTY` R b P�ZXT4f��XeXwxfkP�Px`dNQ~XP�w NQw lnm S (��I}�� *)m��n]�R~ [

Page 14: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

m�WXfnP�f$Rwxf ~ Rm�Zaw Rb�rkR ~\[ `i[XRmxfkP'w Nlw R<m�wxfoRmxT fk~ m'`M^�yO`irSf�� P `d~ m�fn}Qw R bJy ��Waf rSN f/� rS`dfk~ mxP� � }��o� P� B-l m � ( �P}�� *)m���P R m�`dPJwC^

� � }��=� P � r d � � � � � }��=� � � � }��o��*u�WXfkwxf ��� }��=� P � B-lnm � ( � }��s*5mc� R ~\[ � }��s*)m�� P m{} �_2 �=�/, � }��s*5mc��y���W_ZaPo]XNl~XfzW\RP

� � }��=� P }.2 �,� � d r � } � 2 �o�� 2 � r d � � � �

� 2 ��" � d r *R~\[ � S }��=� P �

S��-qsr

�� " �

� 2 ��" S d �� � }��=� 1

��~XP�fnw�m�`d~X}�mxWXfzf��XeXw�fnP�P�`dNl~Hw Nlw � � }��=�k]:u fz}lfkm� SP}��=� P �

� �� 2 � " S d r S�

�-qsr �� " }/20�U� � d r � � 2 �

� 2 � r d � � � 1 }����

��~ e\R w�mx` r ZXbiRwo] � �,}��=� P � r }��=� P �l]XR~\[

� I }��=� P �3I� 2 � I * � � }��o� P � � }�� � �OI$�

}�� 2 � I ��}Dd�2 � � � * � }��o� P � }�� � �4�3I � d � � � �����}�� 2 � I ��}Cd�2 � � ��}�� 2 � � 1

�I`XP�fkw � f0mxW\Rm�ftRQrxW � S }��o��`dPqRIw R m�`dNQ~\R b=w w RlrSm�`dNl~�u�`dm�WYe\NlbcfnPqRmq� r d r i � f��XeP}�� � t�aJ, � ��w NQw� \ � \ ��] R~ [u�`dm�W [ fn}Qw�fnf rI �+}P� � �U�U2 �cyP��m `dP�Rm R ~N^ wSRm�f0rSbdfoR w�w�w�NQT }�����mxW\Rm�foRQrxW� S }��=��`cP�R~ Rbv^ m�`ir�`d~|m�WXf0[ `dP|x 9 � 9 \ ��1 d\�cy�+�XeXw�fkPxP�`dNQ~aPhbd`vxQf'}����qR w�f0~ Rm�Zaw Rb�rkR~ [ `i[XRmxfkPIw NQwqR"wxfkeXw�fnP�fk~ m R m�`dNQ~ � `iR"`d~ m�fk}lw RbdP�New

m�WXfzPxNms�rkRbdbdfo[|y�`irSf mJ^_e f�y%�qf � ~Xf0mxWXf�`\fkmSR�w ZX~\r m�`dNQ~ xQfnw�~Xfkb� SP}��U�z� P }V� 2 �,�CB

}S� 2��U�t}���2��U� ����� }V� 2��U� P}V�P�} � 2��U�

}P� � � 2��,� 1

��WXfk~�]�R P�PxZXT `d~X}|m�W Rm<� `dP0~XfoR w �l]+w NQwI`c~aP�m R ~\rSf 9 �;2C� 9 \ rr � ]�mxWXf Pxm R~ [XRwS[ m�WafkNQw|^}C`\R P�fo[YNl~ mxWXfzw�fkPx`i[ ZXf0mxWXfkNQwxfkT ��eaw�N � `i[ fkP

� So}��o� P 2 �� 2 � " S d r �

� � a b�

� 2 �� 2 � r d� � � SP}��U� j �0* }����

u�WXfkwxf�� `dP0RYe\NlP�`dm�` � fkbv^ Nlw�`dfk~ m�ft[ rSNQ~ m�NlZXw0mxW\Rmzfk~\r `cwSrSbdfkP"m�WXf�e NQ`d~ m�P���*-1-1�1)*/��`XZXm0~XNNQmxWXfkw Px`d~X}QZXbiR w�`dmJ^�New m�WXf<`c~ mxfk}QwSR~\[PyD��WXf$~af��Xm Pxm�fkeCrSNl~XP�`dP�mxP|`c~ f � RbdZ\R m�`d~X}¤}��c�`N^w�fkPx`i[ ZXfkP R w m�fnwqfk~XbiR w�}Q`d~X}Ym�WXf�rSNl~_mxNQZXw'}�P�fkf g�biRkjSNlbcfnmhR~ [H� fo[ }lf�u�`ir|x } �t�Q�� c�%w NlwhR ~$f��Nse\NlP�`dm�`dNl~�Nmw0mxWXf$}Qfn~Xfkw R bzm�WXfkNlw_^5��y ��WXf w�RQrSmxNQw�New � S }��,��`d~Am�WXf<`c~ mxfk}QwSR~\[AW RP�e NQbdfkPRm

� � }��=� P bd~B� � � � � abd~�� 2 bc~ � 1

�+�Xm�fk~ [ `d~X} mxWXf|`d~_mxfk}QwSRb�`d~�m�Waf ZaP�Z\R bzuBR,^ mxN R<biRw�}lf rSNl~ m�NQZaw�m�WXfk~¤^ `dfkbi[ P�R~�ft�aRlrSmw�fkeaw�fkPxfk~ m Rmx`dNQ~

� S=}��=� P �� 2 ��" S d r � 2 �

bd~o}���,K�o� Y��-q d Y � S � � � }��=� � 1 }S�U���

Page 15: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� P �!"G�l]\mxWXf0mxfkw�TYPhrSNlw�w�fnP�e NQ~\[ `d~X}|mxN ���P ��`d~|m�WXf"P�ZaTVm�fk~\[vm�N [ f � ~X`dm�f"bd`dT `dm�Pu�WX`dbdf mxWXf�^�Rwxf T�ZXbdmx`ceabc` fo[ `N^ R0w�RQr m�NQwINmw � 2 �+yY��W_ZaPo]�m�Waf [ NlT `d~\R~ mzrSNQ~ m�wx`v`XZXm�`dNl~`d~H} �,��� rSNQTYfkP%w w�NlTEm�fnw�T Pqr NQw�wxfkP�e NQ~ [ `d~X}|m�N � P �5y���WXfkwxfQ]=u f0W R � f � � } �,� P ��u�WX`dbdfm�WXf'w�RQrSmxNQw

}S�42 � � }��=�_�zrkR~ rSfkbdP NlZXm�u�`dm�W } � 2 �=�k]�P�N|m�W\R m�u�f Nc`Xm R `c~�]�RP0ft� e forSmxfo[ ]

bd`cT�X r � SP}��=� P �cy��WXfzP RTYfzbc`dTY`cm�eXwxNXrSfkP�PzeXwxN � ` [ fkP�~Xf��XmqmxWXf � R bcZafqNmw�mxWXf0R � fkwSR}Qfl]e�Rl � S (�� P ���S } �,�k]

~\RTYfkbv^_]�Rl � S ( P �6� 2 b

� �v S d rbd~�� 2 �

bd~q� �������� ���

� S } � � ��* � ��� � � }S�U� P � �� � � abd~B� 1

��^YP�mSR~\[XR w [|RP|^ T eXmxNQm�`irSP�Nmw�m�WXfI}_RTYT R w ZX~\rSmx`dNQ~� l � S ( P �6� � bdNQ} I � 2 b

� � �bd~�� 2 �bd~�� �

�������� ��� }S� 2 � � � e I ? ����� ��� h S

� . } �,�P �6� � bdNQ} I � ��� } bdNQ} I �P� � . }S�U��*

u�WXfkwxf � `dP�mxWXf�` NQZX~\[ fo[0e fkwx`cNX[ `ir+w�ZX~\rSmx`cNl~0}Q` � fk~�`M^zmxWXf gaNQZXwx`cfnw�f��Xe\R ~XP�`dNQ~"Rm` N � f6�tWXfkwxf� P �+1  �¡�¡l�X�, �§C1-1 1k`dP���ZXbdfkw,� P�rSNl~XP�mSR~ mUy � Px`dT `dbiRw `aZXm TYNQwxfqrSNQTYeXbd` rnRm�ft[ rSNlT eXZam Rmx`dNQ~}Q` � fnP mxWXf � Rwx`iR~\rSf Nmw�m�Waf [ `cPxm�wx` `aZXm�`dNQ~$R P

��l5kl � S ( P � ���S } �U� � � �S } �,�A2 � �S } �,� I P �6� � �'}�bc~ I �P� 1q f Rwxf�~XNmuH`d~ RYe NQP�`dmx`cNl~$m�N$R ~\Rbv^t�kf"m�WXf�bd`dT `dm�[ `dP�m�wx`v`XZXm�`dNl~ y�q f'uBR ~ mqm�N|eXwxN � f

m�W\R m mxWXf0~XNlw�T|Rbd`��kfo[ � Rwx`iRm`Xbdf���S P � S 2��6�` �6�

rSNQ~ � fkw�}lfkP�m�NzmxWXf�P�mSR~\[XR w [I~XNQwxT R b � Rwx`iRm�fcy gaNQw�m�W Rm�eXZXwxe\NlP�fQ]l`dm `dP�fk~XNlZX}QW�mxN0rSNQ~XPx`i[ fkw� � S } k � P e d3g ` I i S � S } e g>i I S ��*R~\["fnP�m Re`Xbd`dP�W mxW\Rm�`dm rSNl~ � fkw�}lfkP�e NQ`d~ mJu�`cPxf�m�N e g h i I w Nlw R~N^ � �Xfo[ k y���Wa`cP�NQ~Xbv^"w�foslZX`dw�fnPR�bdNXrkRb�R ~\Rbv^ P�`dPzNmw � S }��o� w Nlw ��~afoRw��Q]�R~\[<`dP � fnw_^�T�Z\rxW `d~�bd`c~af�u�`dm�W�NQZXwzeXwxf � `cNlZXPR~\R bv^_PxfkPUyIq f0mxW_ZaPhwxfkf��\RTY`d~Xf ��slZ\R m�`dNQ~ }S�U�c�zu�`dm�W � P e g>i I S y � P�` f�w Nlw�fQ] Nl~Xbv^|m�WXfm�fkwxT r NQw�wxfkP�e NQ~ [ `d~X} mxN � P � [ NQT `d~\R m�fkP�RP|^ T eXmxNQm�`irkR bdb ^�u�WXfk~ �#")�l]XR~\[0u�f � ~\[

� � S } k � P e d3g ` I i S � e g>i I S� 2 e g>i I S �

S d r � � � . } �,� � *w NQwA�A���)� k R P��#"%$Sy���ZXm�m�WXfn~�]XbdNXrkRb ft� e R~XPx`cNl~XP�Nmw�mxWXf � w�Pxmzw�RlrSm�Nlwz^_`dfkbi[� � S } k � P e g h i I � . }S�U��1q fhrkR ~$m�Wafk~ rSNl~\rSbdZ\[ fzNQ~$rSNl~ � fkwx}Qfk~\r f mxN�m�WXf0Pxm R ~\[XRwS[|~XNlw�T R bu[ `cPxm�wx` `aZXm�`dNQ~0`N^ rSNl~Nsm�`d~ ZX`dmJ^0m�WafkNQwxfkT P w NQw�fk`dm�Wafkw�¢�ReXbiRlrSfqmxw R~aPJw Nlw�T P } m Rex `c~a} k w�ftRb���NlwBgaNQZaw�`dfkw�mxw R~aPJw Nlw�T P} mSRmx `d~X} k `cT|R}l`c~ Rw_^5�$y

��WXf eXwxN Nmwh}lfk~XfkwSRbd`��kfkP�`dT TYfo[ `iRmxfkbv^|m�N�m�WXf$rkR P�f|Nmw0R$}lfk~XfkwSRbz`XZ\r|xlfkm�e\RwSRTYfkm�fkw@ � �Xfo[ ] u�WXfkw�fYm�WXf0`XZ\r|xQfnm�`d~X}�NQe fkw R m�`dNQ~XP�RTYNQZX~ m m�N�m�WXfYf��Xm�w RlrSm�`dNl~�Nmwq[ `d}Q`dmxP�w w�NlT~ ZXT`\fnw�P�`c~Ym�WXfE@I¨ R w_^ ~ ZXT` fkw�P_^ P�mxfkT¦y�q fzPxZXT T|Rw�`��kf�m�Waf0w�fkPxZXbdm�P `c~Ym�WXf w NQbdbdNmu�`d~X}oy

�,�

Page 16: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� � � �ok � � ��� �� � S �!�� ����L����� �!��� < $ � ���!���� <)�����5� ��><�� " !)��� ��� ��)� ��5���� ��><�� "�& �������$�<���� �)� ���E������� � � ��� �!�! � " �����R@ ! �A���)�%& ������� �� #" <_���O�!� �)���O�0<�E� ����� < " �E<��)�����%"! ��� �� " �� ���� <�� ��� � ��� "CH � $ � � " �� B�� P @R,N}�@ 2 �U� �� ������ � "��#"%$ ��Rl � S0( P B � � � bdNQ} � � � � } bdNl} � �P� � . } �,� * ��l5kl � S0( P B��@ 2�� � � �'} bd~ I �P� *

������� � � � " � "�� <-< ��T��� ���><���� �!$���� �� ��><���H � ���R� �� < $ � S � " � "��� �� /< �� �)����� � �O<���� ������ S 2 B�� �` � M2O" K �U�* B��@ 2 �

� 1

q fhNc`XP�fnw � f"`d~|e\RPxP�`d~X}�m�W Rmo]:w wxNQTEmxWXfkPxf R ~\Rbv^ m�`irz[ f � fkbdNQeXTYfk~ m�Po]am�WXf"[ `dP�m�wx`v`XZXm�`dNl~NmwJQ S 2 � � � ��w�fnP�fkT`XbdfkP �0m�W Rm�Nmw�m�WafqP�ZaTENmwJ� 2 � `d~\[ fke\fn~\[ fk~ m�}QfnNQT fnm�w�`ir � R w�`iRm`XbdfkPu�`dm�W TYfoR~$�-,�@y���Waf R ~\Rbv^ P�`dP R bdP�N"P�ZX}l}QfkPxm�Po] � ` RIm�Waf ��fkwxw_^cs �JP�P�fnfk~ `d~XftsQZ Rbd`dm�`dfkPo]lm�W Rmm�WXfzPxe\fkft[|Nmw rSNl~ � fkw�}lfk~\rSfIm�N�m�Wafh~aNQw�T|Rb bd`cTY`dmJ[ `cPxm�wx` `aZXm�`dNQ~|`dP��'}P� d r i IXbd~ I �P��y

q f�x ~XNmu m�W\R m�~XNQwxT Rb�bd`dT `dm�`d~X}|[ `dP�m�wx`v`XZXm�`dNl~XP Rwxf$Nmw mxfk~ RPxP�NXrS`iRmxfo[ u�`cmxW R�e\fkw sm�ZXw|`\Rmx` � f R~\R b ^ Px`cPYNmw Px`d~X}QZXbiR w�`dm�`dfkPYNQw$rSw�`dmx` rnRb0e NQ`d~ m�P,y gaNQw|`d~XP�mSR~\rSfl]zp_RQrnsQZafkm R~ [�t�ke\R ~5xQNmu�P|x `�} �t�Q�a�U� [ fkw�` � f�R ~XNlw�T R bh[ `dPxm�w�`v`XZam�`dNQ~ w wxNQT R~ Rbdm�fkwx~\Rmx`d~X}�PxZXT `N^ Re\fnw�m�Zaw_`\R m�` � f0U|fkbdbd`d~Ns�bc`vxlfBR eXeXw�N RQrxW y���WXf eXw�fnP�fk~ mhrnRP�fzeXwxN � ` [ fkP�m�WXf � w�Pxm�f��\RTYeXbdf�NmwJRe\fnw�m�Zaw_`\R m�` � f0R~ Rbv^ P�`dPqReXeabc`dfo[ m�N yO` r f�� P `d~ m�fk}lw R b w�fkeXwxfkP�fn~_mSRmx`cNl~XPUyA� � �in[� � j � �okmj[�-�J�

gXNlwzu�W\Rmxf � fkwI~uR � NQw�New�r NQT eabcfnm�fzP�Nlw�m�`d~X}`N^ `XZ\r|xlfkm�`d~X} ]Xm�Waf0P�Nlw�m�`d~X}YeXw�NXrSfnP�P0T�ZXPxmrSNQ~ mx`c~ ZXf `d~ ����� `XZ r_xlfkm�P,y � P�P�ZaT fqmxW\Rm�mxWXf�`XZ\r|xQfnm�PU�aP�Nlw�m�`d~X} R bd}QNQwx`dm�WXTDZXP�fkP � p NQe fkw R sm�`dNQ~aP mxN PxNQw�mqR � bdfqNew Px`p�nf4t5y���WXf0[ `dP�mxw�`v`XZXmx`dNQ~\R b\foslZ\R m�`dNQ~�w NQw�� S ] m�WXf0rSNlP�m�New P�Nlw�mx`c~a}\]`dP mxWXfkw�ftw NQwxf bd`vxQf�}����%`aZXmzu�`dm�WXNlZXm `d~\[ ` rnRm�Nlw�P,�

� S MP } � � � � � � h � ������� � � �� � �A* }S�Q�U�� Rbd`i['w Nlw$� � �9�ou�`dmxW & P ��`d~9��� " �� � � � ��� ���U<��� o] R~\[7& P @�} � �Xfo[5� `d~ �C����� � �U<��! Uy� } R`d~�]lm�WXf slZ\R ~ m�`dmJ^

=SH� P � � � � � � h � ����� � � � `dP mxWXf|NQ~Xbv^ P�mxNXr�W RP�mx`ir r NQT e NQ~afk~ m R ~\[ u�f|P�W\R bcb w NXrSZXP�NlZXw�P�mxZ\[N^�NQ~�`dm,y ��~ m�w�NX[ Z rSfm�WXf�eaw�N�` Rm`X`dbd`dmJ^$}Qfk~afkw R m�`d~X} w Za~\rSm�`dNl~XP � S }��=� P �Rl���� �-(OR ~\[ � S }��o� P � l �2���-(_y���^�RrSNQ~ [ `dm�`dNQ~X`d~X}�Rwx}QZXTYfk~ m Nl~|m�WXf0PxW\RwxfkPzNmw�m�WXf�`aZ\r|xQfkmxPo] bd` xlfzm�W\R mzu f0ZaP�fo[|`d~|P�fnbcftrSm�`dNQ~�]u fIW\R � f�R [ ftrSNQTYe\NlP�fo[<w�fkeaw�fkPxfk~ m Rmx`dNQ~�RPzRYeXw�NX[ Z\r m#w�NQbdbdNmu�`c~a}�w wxNQTVmxWXf r NQ~\[ `dmx`cNl~\Rb`d~\[ fke fk~\[ fn~\rSf"Nmw mxWXf0RQrSmx`dNQ~|`d~ m�Waf�`XZ\r|xQfnm�PUy

� � ��� l � � <������ ���� S=}��o� P �!B& S �? � 587�7�7 5 ? q S

� ? ��}��=�� r B @ ����� @ � ? $}��=�

� � B � ���� "���� ����� "_<� ����������O<�� �/� � ��� ��� � ���� � ��� � "�<�� � ��><�� "�<�$ ����%��� � � �� <�� � r � ����� � � � P �!H

�l�

Page 17: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

�4HJIKH ��� "! �� � � �� ��� � �U<��! ������gXNlw mxWX`dP�w Nlw�T+Nmw�`XZ\r|xQfnm�P�NQwxm�`d~X}'u fzrSNQ~aP�`i[ fkw�mxWXfIw ZX~\rSmx`dNQ~\R b\foslZ\R m�`dNQ~YNmw�¢%fkT T|Rh�

u�WXfk~�P�e forS`iRbd`��kfo[<m�NYm�WXf rnRP�f & P ��y�� e\ftrS`iRbd`��kfo[<m�N|m�WXf�rkR P�f#& P ��]\mxWXf"w�`d}QW mzW\R~ [P�`i[ fzNmw�mxWX`dPqfoslZ\R m�`dNQ~$rkR ~H`\f � `df�u�fo[$R PqmxWXf�� m�W�rSN f/� rS`dfk~ mq`d~$R"}Qfk~afkw R m�`d~X}w�ZX~\rSmx`cNl~ yq fhrkR ~|f��XeXw�fkPxPzm�WXfzP�e forS`iR bc`��kft[|foslZ\Rmx`dNQ~ `d~|m�Waf#w�NQw�T

� S=}��=� P �!B� S lnm S (�� Y�

p�q � � p }��=� m pt�B � S 1��WX`dP�w�fkeaw�fkPxfk~ m Rmx`dNQ~�RQ[ T `dm�P�m�WXf�w NlbcbdNmu�`d~X} r fk~ m�w R b�bd`dT `dm�w�fnP�ZXbdmUy ��WXf0mxWXfkNlw�fkT w NQbdbdNmu�Pw w�NlT R"w R m�WXfnwq}Qfn~Xfkw R b�wxfkP�ZXbdm `c~$g�biRkjSNlbcfnmo]X^�N�`Xbdfkmxf0R~\[0�q`dNlb R�} �t�Q�l���iw NQw�W\R P�WX`d~X}u�`dmxWbd`c~afoRw eXw�Nc`X`d~X}u�WX`irxW¦`XwxN_Rl[ bv^ Pxm R m�fkPzm�W Rmo]%ZX~\[ fkwzPxZX`dm Rm`abcf"rSNQ~\[ `cmx`dNQ~XPt]ur N_f4� rS`dfk~ m�P0New`X` � Rwx` R m�f�}lfk~XfkwSRm�`d~X} w ZX~ rSm�`dNQ~aP wSR`dP�fo[ m�N�biRw�}lf e Nmu fnw�P'w NlbcbdNmu+R¦\0R ZXP�Px`iR~ biR,u�y�q fu Nlw_xYm�WXwxNQZX}lW$P�NlT fzNmw mxWXf [ fnm R`dbdPqmxN Nc`Xm R `c~|mxWXf � w�P�mzmJu�N�T NlT fk~ m�P�RPIu fnbcb�`d~$NQwS[ fkwm�N rSNlT eXbdfkmxfkbv^ rxW\R w RQr m�fkwx`p�nf�m�WXf"bd`cTY`dm�` ~a}0~XNQwxT R b�[ `dP�m�wx`v`XZXm�`dNl~ yzq f0PxW\Rbdb R P�PxZXT fzm�W Rmu�`dm�WX`d~$mxWXf©`aZ\r|xQfkmxP R��xw�foR P�NQ~ Rm`Xbdf��|P�Nlw�mx`c~a} Rbd}lNQw�`dmxWXT `dPzZXPxfo[Py � bdb�Pxm R ~\[XRwS[�P�Nlw�m�`d~X}Rbd}QNlw�`dm�WaT P W\R � f�e\Nlb ^ ~XNlT `iRbmx`dT f%u Nlw�P�m s rnRP�fI`\fnW\R � `cNlwUy���W ZXP�u�fqRPxP�ZXTYf�w�NQw�f��\R T eXbdfm�W\R m�� p \ t�� ]cw NQw�PxNQTYf � �Xfo[���� �:y� � � �ok � � �� �� � S �!� ����%�)< "! �<�$ ��� " �� � � � ��� � �U<��! < "�<��! �L�)���O�0<� � ��� "CH�� �-�0� < " �$�<�� "�<�� � � � �)�����8��� ���� ���n��<���� ���� � ���3� � �)�;��� ���� � �������! #" � " �!"�� p \ t��7<)��� �)� ��><���"�)< "! ������ ���� #" �)� �'� ! ���� ���� �!� ��� � ���� �)< "! _< $T<���� � ���!���! ������=< �����5� �� <�� &4H � �����

� S 2 }S� � sF �G�` � M2O"%KS}��+* I H I � *������� �

F P e d r Y�p-q � � l � p (t�B * H I P e d r Y�

p�q � �Rl � Ip (t�B 29F I 1

# �5<-<�$+y £�Nl~XP�`i[ fnw � S=} e ? g �n] R ~\[ �sS=} e ? g �n]�mxWXf rxW\R w RlrSm�fkwx`dP�m�`ir*w ZX~\rSmx`dNQ~XP0New !S�R~ [ �3S�]w�fkPxe\ftrSm�` � fnb ^Ny ¢ fkm0ZaP [ fn~XNQmxf�m�WXf0`X` � Rw�`iR m�f0}lfk~XfkwSRm�`d~X} w ZX~\rSmx`dNQ~'o Yp�q � � p }��=�/m p ,-t�B `N^�}��s*5mc��y���WXfk~H`N^�£�RZ r�WN^P� P%w NQwxT�ZXbiR�} P�fnf R ~M^�Pxm R ~\[XRwS[0`\N N�xYNQ~$rSNlT eXbdf�� R~\R bv^_Px`dP��k]

� So}��o� P �!B�0a �E� S �

S }��s*5mc�m S 5 r j m*u�WXfkwxf �+`dP�R~N^ r bcNlP�fo[YrSNQ~ mxNQZXw�fk~\rSbdNlP�`d~X}0mxWXfzNQw�`d}l`c~+yPq fqrxWXN NQP�f �+mxN�` fhRIe\Rwxm�`irSZXbiRwrSNQ~ mxNQZXw�rSNQ~aP�`dP�mx`c~a} New m�Wafhbd`d~Xf P�fk}lT fk~ m�rSNQ~X~aforSm�`d~X}��A2 � � m�N�� � � �&} w NQw�P�NlT f � �Xfo[���X�"R~\["PxNQT f biRw�}lf��8� R ~\[ R"rSbdNQPx`d~X}�}�bdf�w m���RwSr�New m�WafhrS`dw r bcf0rSfn~_mxfkw�ft[$Rm�m�WXfzNlw�`d}Q`d~R~\["e RP�Px`d~X} mxWXw�NlZX}QW|mxWXfkP�fzmJu�N e NQ`d~ m�P,y � P�� "%$ ] Nl~XfhrkR ~ rxWXfor|xYm�W\R m mxWXfz`c~ mxfk}QwSRbNQ~Ym�WXf R w rzReaeXw�N RQrxWXfkP��5y

� N�f � R bcZ Rm�f�mxWXf�w�fnT R`d~X`d~X}�bc`d~Xf�`d~ m�fk}lw R b_RP|^ T eXmxNQm�`irkR bdb ^ `M^ m�WXf�P RQ[a[ bdf�e\Nl`d~_m TYfkm�WaN [} Pxfkf�q NQ~a}} �t�Q�Q�c�k]cw Nlw�`d~XP�mSR~\rSf,�k]5u�wx`dm�fzm�WXfIb R P�m�foslZ\Rmx`dNQ~|`d~ m�Waf�w NQwxT¦�

� S=}��=� P �!B�0a �E� S b� 5 ? Y

d ? YNe S�� ) ��� � +j mm * }S�o���

�t�

Page 18: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

u�WXfkwxf`M^�[ f � ~X`dmx`cNl~ ��}��s*)m�� P bd~ [ �}��s*5mc�/,0m�]My'q f"P�W\R bdb�f � fn~_mxZ\Rbdbv^$bdfkm �L".��y"��WXfP Rl[X[ bdfze\Nl`c~ m�`dP�m�WXfzP�e forS`iR b � RbdZXfzNew m"m�W Rm�P�Nlb � fkP�mxWXfzP RQ[a[ bdfhe NQ`d~ m�foslZ\R m�`dNQ~

m� � }��s*5mc� P �}��s*5mc�+� }S�Ub����WXf�[ fkwx` � R m�` � f�`dP u�`dmxWhwxfkP�e forSm�m�N4m5yA� ~Xf rkR ~ � fnw�`�wC^qmxW\Rm ~afoRw!� P �l]um P � � �'}S��2 �o�J`cPR P RQ[a[ bdfqe NQ`d~ m�Nmw m�WXf `d~_mxfk}QwSR~\["`d~ }S�o���$y���Wafkw�f�w�NQw�fl]5u�fq[ f�w Nlw�T+m�WXf bd`c~af�Nmw `c~ mxfk}QwSRm�`dNl~m�N0`\for NQT f"NQ~af rSNl~X~Xfor m�`d~X} � 2 � $GmxN � � �>$GR~ [$}lNQ`d~X} mxWXw�NlZX}QW9m P �"m�WXwxNQZX}lW R ~R~X}lbdfqeX`ir|x `c~a} ZXe|mxWXfzP�m�fnfke\fnP�m [ fnP rSfk~ m Nmw�m�WXfIw Za~\rSm�`dNl~ �+y

y�fkeXbiRlrS`d~X} �!BP`N^$`dm�P R P_^ T eXmxNQmx` r�� m�`dw�bd`d~X}=� PzReXeaw�N,�X`dT Rmx`dNQ~�] R~\[�ZXPx`d~X}|m�WXf�PSRQ[X[ bdfe\Nl`d~_m�T fnm�WXNX[ }�RP � ")�,� � SP}��=� � S }��s*t�U�

e S�� � ��� }��s*o�,� *u�WXfkwxf mxWXf�[ fkwx` � R m�` � f<`c~ m�WXf�[ fn~XNQTY`c~ Rm�Nlw�`dP u�`dmxW w�fkPxe\ftrSm mxN m5y ¢%fkm|ZXP|~XNmu Pxfkm� P e ? g ]XR ~\[Yf��Xe\R~ [ S } e ? g *5mc��RwxNQZX~\[ k P ��} `Jy f�yXRwxNQZX~ [ � P �U��`d~ e Nmu fnw�P�Nmw k u�`dmxWrSN f/� rS`dfk~ m�P"m�W Rm�Rw�f�TYNQTYfk~ m�PzNmw�m�WXf$rSNlP�m,y¦� fk~XNlm�`d~X}$mxWXf � wxP�m"mJu N<T NQTYfk~ m�P Nmw�� pw�fkPxe\ftrSm�` � fnb ^ `N^#F p R~\[ � p ] ~XfoR w k P ��u fzNc`Xm R `c~

S } e ? g *5mc� P f��Xe � �qbd~ Y�p�q � � p } e ? g � m pt�B

P f��Xe � �qbd~ � Y�p�q � � m pt�B �

F p m pt�B � k 2 � p m p�2B�t�B k I � � �'} k � � � 1

¢ fkmxm�`d~X}<�#")� `dT eXbd`dfkP m ")�Q]XR ~\[0u fzW\R � f

S } e ? g *t�U� P ft� e � � bc~ � e �Q� � F � k 2'H I k I��

� �'} k � �����*u�WXfkwxf

F � P e d r Y�p-q � F pt�B * H I � P e d r Y�

p�q � � pt�B 29F I 1�+�Xe\R~ [ `d~X}�m�WXf"bdNQ} Rw�`dmxWXT u�`dmxW$m�WXf"ZXPxZ\Rb rnRbirSZXbdZXP foslZ\Rbd`dmJ^|bc~=}S� � W=� P W 2'W I ,Q� ��'}�W � �n]Nu fz}Qfnm � S=} e ? g � P ��/ e � � ? g ; � e�� S ? g�d�� h S g h i I 5�� ) S g � +� � ��� } e ? g *o�,� 1��WXf�RP�PxZXT eam�`dNQ~zm�W Rm�mxWXf�P�Nlw�mx`c~a}hRbd}lNQw�`dmxWXT u�`dmxWX`d~�`XZ\r|xQfnm�P�`dP wxfoRPxNQ~\Re`XbdfQ]mu�`dm�W�u Nlw�P�m srkRPxfze\Nlb ^ ~XNlT `iRb mx`cTYfQ]l}QZ\R w R~ mxfkfkP4F p P �'}�t��U��R ~\[�� p P �'}�t�I �,��y���W ZXPz` NQmxW Pxfkw�`dfkP `d~F R ~\[!HJIzrSNQ~ � fnw�}Qf"R~\[YNQ~af rnR~ RlrkrSZXwSRm�fnb ^$rSNlT eXZam�fqmxWXfk`dw � R bdZXfkP�ZXe$m�N R ~N^�~_ZaT`\fkwNmw�eXbiRQrSfkP,y

g�`d~\R bdb ^ ] P�fkm k P , ` � w Nlw R � �Xfo[ ]�R~\[�bdfkm��f" $ } PxN$`d~\[ fkft[ �9" �U��yY��WXfw�foRl[ fkwzrkR~$rxWXfor|x|m�W\R m � ��� } , ` �A*t�U�A")��y�� N ]

� � f��Xe � � ST2 } � � sF �M�` � � ��" e d�� h � h g h i I �

�,b

Page 19: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

m�WXfIw�`d}QW mqW R~\[|Px`i[ f `dP m�WXf rxW\R w RlrSm�fkwx`dP�m�`ir�w Za~\rSm�`dNl~$Nmw KS}��+* AI HJI,�qR ~\[|NewBrSNQZaw�P�f�rSNl~Ns� fkwx}Qfk~ rSf0Nmw�rxW\RwSRQrSmxfkw�`dP�mx`ir�w Za~\rSm�`dNl~XP�`dT eXbd`dfkP�u ftRmx r NQ~ � fkwx}Qfk~ rSf�y E

gXNlwhmxWXf"P�m R ~\[XR w [ �� ��5��� �-� �� ��� �!�! ��><�� �U<��! �} Pxfkf�� ~ ZXmxW¤} �o�c¡�bc�_�k] � p � tN}�tE2 �U�.,Q�5y� N\]�F P �-,Q�"R~\[!HJI P  �,ed\]XR~ [�m�Waf0e\Rwxm�`irSZXbiR wqrSfk~ m�wSRb�bd`dT `dm�m�WafkNQwxfkT�`\ftrSNQTYfkP

� S 2 } � � A,Q���G�` � M2O" K � �*  d I � 1��~�m�WXf e\Rwxm�`irSZXbiRw � �!� ���!" �� �_� ���!���! ��U<��! t]�u�WXfn~ � ]lm�WXf P�NQwxm�`d~X} R bd}QNQwx`dm�WXT8u�`dm�Wa`c~ R

`XZ\r|xQfnm `dP+`XZ\r|xQfkm�PxNQw�m�`dm�Pxfkb�w ]mxWXf wxfkP�Zabcm�Pxm�`dbdb_WaNQbi[ Po]R bcmxWXNQZa}QW0mxWXf PSRQ[X[ bcf�e NQ`d~ m Rwx}QZXTYfk~ m`\ftrSNQTYfkP�P�bd`d}QW mxb ^zTYNQw�f�[ fkbd`irkR m�f�y���WXf P�Z5`am�bdfkmJ^"WXfkw�f `dP�m�W\R m�mJu�N0m�forxWX~a` rnRb e\Nl`c~ mxP Rwx`cPxf��

��y���WXf w�ZX~\rSmx`cNl~ �I}��s*5mc�¦� P o Yp�q � � p }��o�.m p ,ut�B�`d~ � NQb � fkP mxWXf���� ���O<� �Xw�ZX~\rSmx`cNl~XP� p }��o��R~\[YmxWXf0P Rl[X[ bdfze\Nl`d~_m�foslZ\R m�`dNQ~�} �,b�� `\ftrSNQTYfkPU�m�� � }�� *)m�� P �I}��s*5mc� 1

��WXf$ft� e R~XPx`cNl~ m�ftr�Wa~X`isQZaf$m�W\R m�bdfo[Am�N�[ fkm�fkwxT `d~X`d~X}�m�WXf<P RQ[a[ bdf$e\Nl`d~_m R m#m P� � �'} � 2 �o��Pxm�`dbdb WXNQbi[ P � fkw_` Rm�`dT�u�`dmxWXNQZXm�R~N^|r�W R~X}lfkPUy�5y���WXfzrSNQ~\[ `cmx`dNQ~"m�W\R m�� p�� t��Q]ew NQw � �X�X] ZX~X`�w NQwxT bv^Iw NQw�RbdbXP R T eXbdf�Pxe\RQr fhe NQ`d~ m�P�`cP

~XNYbcNl~X}Qfnw � Rbd`i[Py � P0[ `dP rSZaP�P�ft[$`d~$mxWXf0`d~ m�w�NX[ Z rSm�`dNQ~�]\mxWXfkwxf R w�f0wSRw�f�rkR P�fkP�u�WXfkwxfm�Waf y�ftrSZXw�Px` � f ��Z\r|xQfnm*� Nlw�m"T R,^|m RexQf R w_`X`dm�wSRwx`cbv^$bdNl~X}$m�`dTYf�y M�Nmu�f � fkwo]�R bcb u fw�ftRbdbv^�~Xfkfo[|`d~Ym�WXfzeXwxN_New `dP�~XNlmBRIZX~X`�w Nlw�T�` NQZX~ [ Nl~ � p `dm�Pxfkb�w ]N`XZXm�wSRmxWXfkw�NQ~Y`dm�PT ftR~ R~ [ � Rw�`iR ~\rSf�y���m�`dP R~YfoRP|^�`c~ [ Z\rSmx`cNl~�m�N"P�WXNmuAmxW\Rm F p \ �-t R ~\[ � p \ §-t5y��W ZXPz` NQm�W|Pxfkw�`dfkPz`d~#F R~\[!HJI0r NQ~ � fkwx}Qf0R~ [ Nl~Xf0rkR~$RlrkrSZXwSRm�fnb ^$rSNlT eXZam�fqmxWXfk`dw� RbdZXfnP�ZXe|m�N R~N^�~ ZXT` fkw�Nmw eab RlrSfkP w w�NlTEf��\RQrSm w�for ZXw�wxfk~\rSfkP,y

q `dm�W� P �l] m�WXf r fk~ m�w R b�bd`dT `dm�m�WXfnNQw�fnTVm RmxlfkP�m�Waf�w NQbdbdNmu�`d~X}zP�e forS`iRb�w NQwxT¦y

�=k � � � l5k�� � � ��� �)< "! 4<�$�� � � ���!" �� ��� ���!���! �U<��! "�� �� "�� ��"� S 2 }��+1 b��Q�c�Q�cbQ���a��1-1 1 �G�` � M2O"%KS}J�*�§1 dM c§�¡�§c�md �UbC1 1-1 ��1

��WXf rSNlP�m"WXfkw�fY`dP0m�WXfYm�Nlm Rb�~ ZXT` fkwzNmw#`XZ\r|xlfkm�`d~X}$Nle\fnw Rmx`dNQ~XP"e\fnwJw Nlw�T ft[$mxWXw�NlZX}QWXNlZXmm�WXfzfk~ mx`cwxf0P�Nlw�mx`c~a}oy�4HJGKH ������� � �J<��!

gXNlwA������� ���U<��! o]�& P @ � � ft[0R~\[ m�WXf R bd}QNQwx`dm�WXT `dP�w�forSZaw�P�` � f `d~0mxWXf�`XZ\r|xlfkm�P%} P �,��y��WXf `XZ\r|xQfnm�`d~X}�NQe fkw R m�`dNQ~XP�Wafkw�f R T NlZX~ m0m�N�m�WXf|f��Xmxw RQr m�`dNQ~ANmw0[ `d}Q`dm�P�w wxNQTL~ ZXT` fkw�P`d~�m�Waf @I¨ R w_^A~ ZXT` fkw�P_^ P�mxfkT¦yS¢ fkm���S=}��=�` f$m�Waf$eXw�Nc`\Rm`a`cbd`dmJ^�}Qfk~Xfnw Rmx`d~X} w Za~\rSm�`dNl~Nmw0m�Waf rSNQPxm�� S ]qR ~\[��%}��s*5mc� P o Yp-q � � p }��o�.m p ,-t�Bvy ��sQZ Rm�`dNl~ }S�Q�,��m�Wafk~X` forSNQTYfkP R[ `dP�mxw�`v`XZXmx`cNl~\Rb w�ftrSZXw�wxfk~\rSf R ~\[ ¢ fkTYT Rz�"}Q` � fkP ZaPqm�WafhwxforSZXwxP�` � f�w ZX~ rSm�`dNQ~ Rb foslZ\Rmx`cNl~

�%}�� *)m�� P � � � �s* �Om@ � � m{} � 2 �=� 1 }S��dM�

�$d

Page 20: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

��WXf R ~\Rbv^ P�`dP�`dPqRQ[XR eXm�ft[ u�`dm�W$TY`c~aNQw�r�W R~X}lf�w w�NlT p RQrkslZXfnmhR~ [$y|{fk}l~X`dfkw�}S�o�l�Q���%u�`dmxWP�NlT fqTYfkm�WaN [ NQbdNQ}l` rnRbXwxf � ~XfkTYfk~ m�Pz` NQwxw�Nmu�fo[�w w�NlT p RQrkslZXfkmzR~\[0�t�ke\R ~5xQNmu�P|x `�} �t�Q�l����y� � � �ok � ��� � �� � S �!�% ���� �)< "! _< $ ������� � �J<��! !.����� �!���T<�$R��� �u� � � ��5� �! ��><���"�& < "�<��! �'�)���O�0<� � ��� "CH � ����� } � S 2�� S �., ` � S &� �3� "R��� ��� "! �� �#��� ��><��7���3� ��� � <� ��� "% /< ����"! ���O�����5� �3<���� ���J���� � � &��KS}J�*t�U� ��� ��

� S P bd~`� � � �bc~4@� � � r } bd~��P� " �

bd~4@ � �'} bd~��P��*� S P � � �*}�@�� ��� I } bd~��P� � � �'} bd~ I �P��*

������� ��'}�@�� P �

bd~4@ � �d � bc~q� � �Y�

�-qsr/ bd~=} � � @ d � � � } � � @ d � � d I ; � *

���O� ����8$���� �� ��><�� " � r }�W=� �����O� � I }�Wo�R��� � ����� �><-���#�.$���� �� �� <�� " ��� �� "�� �����O���4�3� � ����R���O������ �><-� bd~4@<H� � � l5k���p ��Waf R � fkwSR}Qf0uBR P�w NlZX~\[�`N^ � ~ ZXmxW�R~\[ �qf���w�Za` j ~���m�WXf|R~\R bv^_Px`dP�w NQwIm�WXfrkRPxf @ P � `dPheaw�fkPxfk~ m�fo[ `c~ �q~ ZXmxW }S�o�c¡�by� eXe+y �,bX�t¨u�UbedM�$yhyOfkbiRm�ft[ � R w�`iR~\r f R~\R bv^_PxfkPReXe foR w�`c~"� `cwxP rxWXfk~aWXNmw fnwo] ^�w�NX[ `d~X}lfkwo] R~\[ �t�ne\R~5xlNmu�P_x `�} �t�Q�l����y# �5<-<�$4< $ � ���5<�� �����%y���WXf�eXw�N New�`cP�[ ` � `i[ fo[I`d~_mxNzm�WXwxfkfqe\R w�mxPU��m�Waf�T foR ~ � R bcZafBR ~\Rbv^ P�`dPo]m�WXf � R w�`iR~\r f R ~\Rbv^ P�`dPt]_R ~\[ � ~\Rbdbv^�m�Wafhbd`dT `dm�[ `dP�mxw�`v`XZXmx`dNQ~|w�fkPxZXbdmUy� �5���T���� ���C���O��� � " � "CH�¢ fkm#�Rl � S0( P �AS�]R~\[��%}�m�� P o YS q � � SOm S e d � ,6�!B�` f�mxWXfB^�Nl`cPxP�Nl~}Qfk~afkw R m�`d~X}w�ZX~\rSmx`cNl~$Nmw�m�WXf"P�foslZXfn~\rSf [ � S ]My ��Rmx `d~X} [ fkw�` � Rmx` � fkP Nmw#}S��dM� u�`dm�W$wxfkP�e forSmm�N<�$Rm � P �I^_`dfkbi[ P

�%}�m�� P� � �%} �0*5mc� e d � � P @�� � m@ � � m 2 m e d � * }S�U ��

u�`dm�W���}���� P �:y�� ^|P�m�wSR`d}QW m w NQw|uBR w [�`dmxfkw R m�`dNQ~0u fz}Qfnm

�%}�m�� P m Y��-q � }S� 2 e d � i �� �L1

��WXf R P_^ T eam�NQmx`ir0foslZX` � R bcfn~_mINmw��%}�m��I`cP"N�`am R`d~Xft[ � `iR|mxWXf Uvfkbdbc`d~ mxw R~aPJw Nlw�T����c}��,� P� Y� ��}�W=�/W )d r j W0u�WX`ir�WYW\RP�mxWXf rSbdNlP�fo[�w Nlw�T f��XeXw�fkPxP�`dNQ~+�

� � }��,� P 2 �}��U�

�_2 @ 5 r *[ f � ~afo[ w NQw��I}��U� � }/2q�*�20�U��}�gaNQw R ~�f��Xmxfk~XP�` � f Pxm�Z\[{^�NmwqmxWXf Uvfkbdbc`d~ mxw R~aPJw Nlw�TLPxfkfg�b RnjSNQbdfkmt]�\zNlZXw [ Nl~�] R ~\[¤� ZXT R P} �t�Q�� c�_�$yA��WXf|P�`d~X}QZab R w�f��Xe\R~aP�`dNQ~ANmw�� � }��,� R~ [�Rw�fkPx`i[ ZXfhr NQT eaZXm R m�`dNQ~0New�m�WXf `d~ � fkw�PxfhU|fnbcbd`d~"m�w R ~XPJw�NQw�T��%}�Wo� P rI ? � � 5 ? Y d Y � � }��U�.W d j �l]w NQw�R~N^ � ��}/2q�*�20�U�n]N^_`dfkbi[Ym�Waf R P_^ T eam�NQmx`ir�f��Xe\R ~XP�`dNQ~�]

�%}�Wo� P � bd~=}�W=� � � �bd~4@� ��� r } bd~CWo� � W

bc~C@ � �'}�W d�� � *�, 

Page 21: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

w NQw�R ~M^�Rw|`X`dm�wSRw_^ � �X�X] R~ [ W � Rw|^ `c~a}h`d~�R0rSNl~Xfq`d~\rSbdZ\[ fo["`d~�m�WXf w�`d}QW m�W\R b�w%rSNlT eXbdf��eXbiR~Xfcy���WXf w ZX~\rSmx`dNQ~ � r }�W=��`dP�`i[ fk~ mx` � fo[0`M^Y`dm�PqgaNQZXwx`cfnw mxw R~aPJw Nlw�T¦�

��r }�W=� P ������ � �

� � � � abc~4@ � e I ? � � c i � � � *

��Nmu0]mu�f�~Xfkfo["mxNzm�w R ~XP�biR m�f�m�Wa`cP�RP_^ TYeXm�Nlm�`ir�foslZX` � Rbdfk~ m�Nmw �%}�W=��`d~ m�N0R~�RP|^_TYeXm�Nlm�`irw�fkPxZXbdm Nl~ �ASPy���NhmxWX`dP fn~\[u�f�T RexQf�ZXP�f Nmw�m�Wafh[ fke NQ`dPxP�NQ~a`p�tRm�`dNl~�bcfnT T R�`d~ m�wxNX[ Z\rSfo[ `d~p_RlrkslZXfkm�R~\[�y|{fk}Q~X`dfkwI} �t�Q�l����R ~\["f��Xm�fk~aP�` � fkbv^ [ f � fkbdNQe fo[ `c~�p RQrkslZXfnmqR~\[�t�ne\R~5xlNmu�P_x `} �t�Q�Q�c��y��~ p_RQrnsQZafkm R~\[ �B�ke\R~:xQNmu�P_x `I} �t�Q�Q�c�Iu f � ~\[�m�Wafw NlbcbdNmu�`d~X}Yw�fkPxZXbdmUy � PxP�ZXTYf�m�WXf

mJu N�w NlbcbdNmu�`d~X}0rSNl~\[ `dm�`dNQ~aPU�}�`���m�Wafkw�f|f��X`dP�mxP R$r NQ~XfY`c~ rSbdZ\[ `d~X}$mxWXf e NQPx`cmx` � f R,�X`dP�u�WXfnw�f mxWXf ^�Nl`cPxP�Nl~�m�wSR~XP w NQwxT�%}�m���W RPqR"e NQbv^ ~XNQTY` R b }Qw�Nmu�mxW|Nmw Nlw [ fnw�m�� �P}�m��%u�WXfkwxf ��}�m���`dPqR"PxbcNmu�bv^ � R w_^ `d~X}w ZX~ rSm�`dNQ~+y

} `d`���NQZam�P�`i[ f�mxWXfhr NQ~Xf 9 �%}�m�� e � 9 e d�� � � `dPJR w ZX~\rSmx`dNQ~"m�W\R m [ forkR,^ P�mxN��kfkwxN�w�R P�m�fnw�m�W\R ~ R~N^e NQbv^ ~XNQTY` R bJy��WXfk~�� S P �%}V�P� � �'}P��� d r �P}P�P�_��y�UvNQw�f }Qfk~afkw R bcbv^�mxWXfkw�fzf��X`dP�mxPqR0[ NlZ5`XbdfqPxfoslZXfk~\rSf& ?np P�Z\rxW$mxW\Rm

� S P ?�q �� ?�q �p-q I ��p-q? & ?np � ? � ) p + }V�P� � � � � � d � ��}V�P� � *

u�WXfkwxf � ) p + }�W=� P�mSR~\[ PPw Nlw�m�WafAt mxW [ fkw�` � Rmx` � f�Nmw��%}�Wo�$y���WXf�[ NQZ5`abcf�P�foslZXfk~ rSf�`dP ` [ fk~ m�` � fo[`N^ o Y?�q � o Yp�q? & ?np W ?���p P f��XeP}�W�bd~=} � � � ��2 W � �,y%��~ e Rw�mx`irSZXbiRw � S P ��}V�P��2 S I � ) I + }V�P� ��'}V��� d I���}V�P�_�$y

��WXf0rSNQ~\[ `cmx`dNQ~�} `���`dP�P R m�`dP � ft[0w NQw � P �zR~\[ �%}�Wo� P bc~4W+y���N rxWXfor|x$rSNQ~\[ `cmx`dNQ~H}�`d` �u fzmSRmxQf"R�rSNQ~Xf� � Nmw R ~X}Qbdf� � RwxNQZX~ [ mxWXf0e NQPx`cmx` � f R � `dP,y�q f0[ f � ~Xf0mxWXf [ NQT R `d~� �RP0mxWXf [ NQT R `d~$NQZXmxP�`i[ f�mxWXf rSNl~Xf PxZ\rxW�mxW\Rm 9 m 9 �8}�@ � *)@ � 5 r ��y���NQmx`irSf mxW\RmTm � � �`dT eXbd`dfkP�m�,0@ ��� � d r y�q fz[ f � ~Xf� � m�N` fhmxWXfzT R � `dT�ZXT � R bdZXfqNew 9 �%}�mc� e � ,�m 9 e d�� � � Nl~m�WX`dPq[ NlT R `c~�]QNlZXw�N�`QjSftrSm�` � fI`cP�mxN�eXw�N � fzm�W\R m�� � m�fn~\[ Pzm�N �kfnw�N R mqR"P�ZX`dmSRm`Xbdfzw R m�f�yz� ^ZXP�`d~X}"m�Waf�w ZX~\r m�`dNQ~\R b foslZ\Rmx`dNQ~�u�fzN�`XmSR`d~ mxWXf0`d~XfoslZ\R bd`cmJ^P�

� � 5 r \ T R ��� M & � � 9 @ �%}�m�,0@�� e �m 9 e d�� � � � 9 e � 2 � 9 e d�� � �

\ � � e )�� ��� � d r + � =�� � e d � = � � e )�� ��� � d r + � =�� *u�WX`irxW eXwxN � fkPIm�W\R m0m�WXf�PxfoslZXfk~\r f � � rSNQ~ � fnw�}QfnP0m�N¦�|R m RYwSRm�f|RmzT NlP�m f��Xe }|}�rSNlP � 2�U�.@ � d r ��y�O�����>��� �!�!���3��� � " � "CH q f�~XNmuEmxZXw�~�m�N�m�WXf � Rwx`iR~\rSf|R~\[ � w�P�m�`d~ m�wxNX[ Z\rSf|m�Wafv^�Nl`cPxP�Nl~}Qfk~afkw R m�`d~X}'w ZX~ rSm�`dNQ~YNmw�m�WXf0PxforSNl~\[0w�RlrSm�Nlw�`iRb TYNQT fn~_m�� }�mc���

� }�mc� P I� I � �%}S��*)m�� e d � � 1

�,§

Page 22: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� w mxfkw�P�NlT fzRbd}Qf�`aw RINQ~Xf � ~\[ P� }�m�� P @�� � m@ � � ��@Rm � � m@ � � �0m � � � m@ � � }�@ I 2 @�� � I � m@ � � m I 1 }S�U§��

��~ m�w�NX[ Z rSf�m�WXf'w�ZX~\rSmx`cNl~ � }�mc�z[ f � ~Xft[ `N^ � }�m�� P � }�m�� � ��}�m���2 ��Ie}�m��Iu�WX`irxW `dPzm�WXf� Rwx` R ~\rSf�Newqm�WXf$^�NQ`dP�PxNQ~X`��kft[�rSNlP�mUy }D��m T�ZXPxm�` f ~aNQm�`irSft[ m�W Rm � }�mc�0`dP"~XNQm"m�WXf|^�NQ`dPJsP�Nl~ }Qfk~Xfnw Rmx`d~X}Hw�ZX~\rSmx`cNl~�New � S y � ��WXf � Rwx` R ~\rSf � S `dP"m�w�` � `iRbdbv^$N�`am R`d~Xft[�`M^ mxWXf [ f�se\Nl`dP�P�Nl~X`��oRmx`dNQ~�Nmw � }�m�� � ��Im}�m���R w m�fkw�PxZ5`Xmxw RQr m�`d~X}�� IS R~ [ mxWXfkwxf�w NQwxf [ fke NQ`dPxP�NQ~a`p�tRm�`dNl~w�fkPxZXbdm�P eXw�N � fhmxN©` f0New }QwxfoRm�Wafkbde y

��WXfIw ZX~\rSmx`dNQ~ � }�mc��P R m�`dP � fnPqm�Waf�w NQbdbdNmu�`d~X}Iw ZX~\r m�`dNQ~\R b foslZ\Rmx`dNQ~ �� }�m�� P @ � � m@ � � �0m � � � m@ � � �0m e d � �%}�m�� � m 2'm e d � � m I e d I

�1

q f�`d~_mxw�NX[ Z\r f m�Waf U|fkbdbd`d~ m�wSR~XP w NQwxT � � }��U�"New � }�W=��y ��m�w NQbdbdNmu�PIw w�NlT } �U c�zm�W Rm"m�WXfU|fkbdbd`d~ m�wSR~XP w NQwxTENmw � � }�W=��`dP�}��_2��U�

}��U�.,N} �_2 @ ��y�q f }Qfkm,�

� � }��U� P �� 2'@ 5 r �0@ 5 r �

}�� � �,�

� 2 @ 5 r 2}�� � �,� � �0}��U� " *

u�`dm�W�0}��,� P

}�� � ��� � � d I d� � �Y�

�-q � }S� 2 }S� � @ d � � d� d I � 1��WXf$RP|^_TYeXm�Nlm�`ir�ft� e R~XPx`cNl~ANmw � }�W=�"w�fnP�ZXbdm�P�w w�NlT R<w�fnP�`i[ ZXf R~\R bv^_Px`dP New mxWXf$U|fkbdbd`d~m�wSR~XP w NQwxT¦yC��WXf RP|^ T eXmxNQm�`irYf��Xe\R ~XP�`dNQ~ Nmw � S `dP|[ fkbd`irkRmxf¦` forkR ZXP�f New rkR~ rSfkbiRmx`cNl~XP`\fnmJu fkfn~�e\fkwx`dN [ ` riw ZX~ rSm�`dNQ~aP&�Pxfkf�}V� `dw�PSr�Wafk~XWXNew fkwo]X^Jw�NX[ `d~X}Qfnwo]QR ~\[��t�ke R~5xlNmu�P_x `P} �t�Q�l����y��f � fkw�mxWXfkbdfkPxPo]�u�f rkR~ � ~XfkPxP�f m�Waf$P�Z5`am�bdfkm�`dfkP$R P�u�RP [ NQ~Xf$`d~ p RQrkslZXfnmvR ~\[Ay|{fk}l~X`dfkw} �t�Q�Q�c����m�WXfzwxfkbiRm�`dNl~

� S P � }V�P�s2 �+} � � }V�P�_� I � � � bd~ I � � *WXNQbi[ P0R PhPxN NQ~ RP � }�mc� P � }�m�� � } �%}�mc�_�/I P R m�`dP � fnP rSNQ~ [ `dm�`dNQ~ } `d`���NewOR ~\Rbv^ m�`ir0[ fne\Nl`cP sP�Nl~X`��oRmx`cNl~ y���WX`dP biRPxmqrxWXfor|xw NlbdbcNmu�P�m�WXf0PSRTYfhRwx}QZXTYfk~ m RP%w�NQw �%}�mc��y g�`dw�Pxmo] `dm�`dPBr bcftRwm�W\R m�rSNQ~\[ `cmx`dNQ~0} `d`���WaNQbi[ P�w Nlw�� � }�m��$y�� forSNl~\[ ]lm�N0eaw�N � f�rSNl~\[ `dm�`dNQ~0} `d`���w NQw ��}�m�� u f�[ f � ~Xf� � � m�N ` f�m�WXfYT R � `dT"ZXT � R bcZaf New 9 � }�mc� e � ,�m 9 e d�� � � `d~�m�WXf|[ NQT|R`d~ � � y � ^ ZXPx`d~X}|m�WXfw ZX~\r m�`dNQ~\R b\ftsQZ Rm�`dNl~¦}S�U§c� w NQwCm�� � � 5 r u fzNc`Xm R `c~|mxWXfz`c~afoslZ\Rbd`dmJ^P�

���

� }�mc� e �m ��� e d � � � \ � � � e )�� ��� � d r + � � �

� � ���� @�� � m@ � � � � � m@ � � e�� i � �

�� e d � � � i � ft� e � }�@ 2 �,� �krSNQP � 2��,� 9 m 9@ �

� }�@ I 2 @�� � ���� � m@ � e �

���� e d � � � i � � I �m ft� e � � � 2 �@ � }�rSNlP � 2A�U� 9 m 9

�9 m 9 e )�� ��� � d r + � � � 1

��WX`dPq[ f � ~afkP0R~|`d~\[ Z\rSmx` � fz`d~XfoslZ\Rbd`dmJ^` fkmJu fnfk~ � � � 5 r R~\[ � � � ]5u�WX`irxW|`dT eXbd`dfkP�mxW\Rm m�WXfP�foslZXfn~\rSf � � � rSNQ~ � fnw�}QfnPqm�N��"RmqR"wSRmxf R m�T NlP�m�f��Xe+}_}�rSNQP � 2��,�/@ � d r �$y

�,¡

Page 23: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

@ �*}�@��� d31 b� ��c�Q�l�md_�c�C1 1-1b �01 ���Q�cb�¡c �¡�¡l�C1 1-1d �01d�o�Q�c§�§l���Q�l�C1 1-1  1 �a�U�X�,bQ�a�U�� ed41 1-1§ 1 ¡c Q�Q�cbQ�c¡�¡�bc�C1 1-1¡ 1 §c§Q��§c Q�l��b�§a��1 1-1� 1  l��§��c��bc Q��¡ed41 1-1

��Rm`Xbdf �c��£�N f/� r `cfn~_m�Newk�|`d~ m�Waf RP|^_TYeXm�Nlm�`ir�f��Xe\R ~XP�`dNQ~|New m�Waf � Rwx` R ~\rSf Nmw mxWXf rSNlP�m�New������� � �U<��! ,y�q`u� fkw�fn~_mx`iRm�`d~X}0} �, �� ^ `cfnb [ PqR�w Za~\rSm�`dNl~\Rb foslZ\R m�`dNQ~�w NQw � � w w�NlT�u�WX`irxW u�fz}Qfkmt]XR,w mxfkw

P�NlT fhR bd}Qf�`XwSRX]lm�WXf"U|fkbdbd`c~Ym�wSR~XP w NQwxT New�} � � }�Wo�|�/Ic��N}�� 2 �U�

}��,�

} � 2 @ � I �}�� 2�� d � }��U�� 2 @ �

��}��,�� 2 @ *

u�WXfkwxf��}��U� P

}�� � �U�t}�� d 2 ���s2�� d� )d I}�� � ���

� � }�� � �,� ���� � / � 2 }S� � @ d � � d� d r ; 2 �

}��U� �

��� � / � 2 } � � @ d � � d ;� � }�� � �c� �

��� � @ d � } � � @ d � � d )d I 2��}�� � �,� �

��� � @ d � } � � @ d � � d )d r 1M�fkwxf���}��U��`dP�R~ Rbv^ m�`ir�RwxNQZX~ [ � P �:y��OP�`d~X}zm�WXfqRe`\N � f�u�f�N�`XmSR`d~ mxWXf�U|fkbdbd`c~"m�wSR~XP w NQwxTNmw � }�mc�A2 m{} � � }�m��|�/Ic�

}�� � �U� l � d� )d r 2 � 2 �{}�� � �,� (

� 2 @ 5 r ��0}��U� 2 ��}�� � �,�

� 2'@ 5 r 1��m�w�NQbdbdNmu�P mxW\Rm

� S 2 � � � � }P�P� � I � � 2 � � bc~q�bd~4@ �

�0}/20�U� 2 ��}��c�bd~4@ � � I } bd~��P� " 1

��Rm`Xbdf��0bd`dP�mxP�m�WXf�R � fkwSR}lf � RbdZXfkP��'}�@���Nmw � S ,6� R PhR*w ZX~\rSmx`dNQ~$New @ ]5w�NQwqmxWXf � w�Pxmzw f�u� RbdZXfkP�Nmw�@y� � �E� ��� "! �� �#��� ��><���H+q f�~XNmu�m�ZXwx~ mxNqmxWXf�biRP�m�e\Rwxm�Nmw\mxWXf eaw�N Nmw�rSNQ~ rSfkw�~a`c~a}hmxWXf�R~\R b ^ Px`cPNmwqmxWXf bd`dT `dm�`d~X}|[ `dP�mxw�`v`XZXmx`cNl~ y$��N$mxWX`dP fn~\[ u�f|NQe fkw R m�f [ `cwxforSmxb ^ u�`dm�W m�Wafw ZX~ rSm�`dNQ~ RbfoslZ\Rmx`dNQ~X}S��dN��yXq f|[ fk~XNlm�fH`N^��P}��o�"mxWXf slZ\R~ mx`cmJ^ bd~4@R,{} bd~4@ 2 bd~ �o�$yXq fY~XNQmxf$`d~e\RPxP�`d~X}"m�W\R m�`dm�P Rmx`dP � fkP,�

@ � �@ ��� ) � + P ��1q fhR bcPxN ~aNQm�fIm�W\R m���} �,� P �cy

��~ eXwxfke\R w Rmx`dNQ~�w NQw�[ fke NQ`dPxP�NQ~a`p�tRm�`dNl~©u�fBR }_R `c~"rSNQ~XPx`i[ fkw�m�WXf�rSNQ~af � � y+q f�u�`dbdbQeXwxN � fm�W\R m�m�WXfnw�f"`cPzR"w�foR b�~Xfk`d}QWN` NQw�WaN_NX[���}S�U��New�m�WXf � R w�`iRm`abcf �|PxZ\rxW mxW\Rm�bd~ �%}�� *)m���ft� `dPxm�P

�t�

Page 24: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

R~\[�`dP��*}�m � ) � + �n]�u�WXfk~'m<m�fk~\[ P mxN$`d~ � ~X`dmJ^�`c~aP�`i[ f�m�Waf rSNl~Xf�� � y q f�eXwxNXrSfkfo[�`d~ mJu NP�mxfkeXPUy

g�`dwxP�m"P�m�fne � u fYeXw�N � f mxW\Rm"m�WXfnw�f$f��X`dP�mxP � �$PxZ\rxWAm�W\R m�w Nlw m � � � � eaw�NQe fkwxmJ^��}�m�� WXNQbi[ Pt] u�`dm�W�eXwxNQe fkw�mJ^���}�mc��` fk`d~X} 9 �%}��s*)m�� 9 �E��f��XeP} m � ) � + ��y0q f RP�PxZXT f"m�W Rm� � �3,�@ ��� w Nlw P�NlT fH� � � ��� � ��y8q f|wxfo[ f � ~af m�WXf$`d~\r w�foR P�`d~X}�[ NQT R `d~XP� � P [ m*�m � � � *�� � � 9 m 9 \ � � d � ]�w NQw P�NQTYf�� � �5y�� `d~\rSf<�<`cP w�foR b�u f"W\R � fIm�WXfw NQbdbdNmu�`d~X}zeXw�Nle\fnw�mJ^P� m � � � 5 r 2 � ��� �Om0,�@ � � � y

¢ fkm � � � rSNlP �Ny%¢ fkmqR P�P�ZaT fzm�W\R m �|`dP�`d~ R~|`d~ m�fkw � Rb PxZ\rxW$m�W\R m �P}��o� � �-,Q��R~ [9 � 9 � �5y+q f � ���CP�Z r�W|mxW\Rm%w NlwqRbdbJW�� � � �� � e � c � e � ��� � c �� b�W � ��f��XeP} AW r i I���y� `d~\rSf 9 �%} �0*5mc� 9 P 9 e � 9 P f��XeP}�rSNQP � 9 m 9 �k]+`N^ R$rSNlT e\RlrSm�~XfnP�P R w�}QZaT fk~ mzm�WXfnw�f ft� `dPxm�P

RY~Xfk`d}QWN` NQw�WaN_NX[ ��}S�U�zNew �'w Nlw � PxZ\rxW m�W\R m�w Nlw0Rbdbz}��s*)m���� ��}S�U� @ � � � 9 �%}�� *)m�� 9 ���f��XeP} 9 m 9 � ) � + y���WXfkwxf�w NQwxf0eXwxNQe fkw�mJ^���}�mc��WXNQbi[ P�NQ~ � � y��^�`d~\[ Z\rSmx`dNQ~ u�f�eXw�N � f�m�W\R m0eXw�Nle\fnw�mJ^���}�mc�0WXNlbi[ PzNQ~�Rbdb � � y ¢%fkm ZaP RPxP�ZXTYf�`cmWXNQbi[ P�Nl~ � � R~\[Ybdfkm ZXPqmSRmxQfEm � � � 5 r 2 � � y#� ^vR eXeXbv^ `d~X} ftsQZ Rm�`dNl~ } �$dM��R~ [|ZXP�`d~X}m�WXfIw�RlrSm�m�W Rm �3m�,�@ � � � u�fz}Qfkm

���%}�� *)m�� �

�� �

���� � �s* m4�@ � �

��2 �

�}S� 2 �=�/m �

�� � � f��XeP} 9 m 9 � ) � + �s2 b 9 m 9 � ��f��XeP} 9 m 9 � ) � + � *u�WX`irxW eXwxN � fkPI`M^�`d~\[ Z\rSm�`dNl~ mxWXfzeXw�Nle\fnw�mJ^���}�m���N � fkw � � 5 r y� � � l5k�� � � ^ P�`dTY`cbiR w R w�}QZaT fk~ m�P0u f rkR ~ eXw�N � f mxWXf rSNQZX~ mxfkw�e\R w�m|Nmw��}�m��n]� � }�mc���9 �%}��s*5mc� 9 � rI ft� e�} � 9 m 9 � ) � + �%w�NQwhR bdb mL,� � � R~\[�w NlwqPxNQT f � � �l]+} ~XNlm�`irSf"m�W\R mq`d~|m�WX`dPrkRPxf � � rSNlP �m�$y

� forSNl~\[�P�mxfke ��u�f eXwxN � f"m�W\R mIw NQw�}��s*5mc� � ��}S�U� @ � � ] bd~ �%}��s*)m�� P �'}�m � ) � + �Iu�WXfk~m�"%$Sy�q fq~XNlm�`irSfzm�W\R m�m�WXf w ZX~\rSmx`dNQ~ bd~ �%}�� *)m���P R m�`dP � fkPqmxWXfIw ZX~\rSmx`dNQ~\R b foslZ\Rmx`cNl~bc~ �%}�� *)m�� P @�bc~ � �6�s* �3m@ � 2��:}��s*5mc� * }S�U¡��

u�`dm�W�5}�m* �o� P bd~P} �A2�} � 2 �o�.m�, �%}��s*5mc�J� R ~\[�RQrnrSNQwS[ `d~X} mxN0m�WafqeXwxf � `cNlZXP�P�m�fne �:}��s*5mc� P�'} ft� e�}/2� Am � ) � + d�� �_�k]:u�`dm�W���� �"Rw|`X`dm�wSRw�`dbv^�P�T|Rbdb�]mu�WXfk~Lm�" $ y

¢ fkm � � `\f�mxWXf�T R � `dT�ZXT � RbdZXf"N � fkw � � Nmw%w ZX~\rSmx`dNQ~ 9 bd~ �%}��s*5mc�/,0m � )�+ 9 y ��N|}Q` � f

R~�ZXeXe fkw�` NQZX~ [ w�NQw � � 5 r RP R w Za~\rSm�`dNl~�Nmw � � *�u�f mSRmxlf m � � � 5 r 2 � � yX��P�`d~X}foslZ\Rmx`dNQ~H}S�U¡c��`cm w NlbcbdNmu�P�mxW\Rm���

bd~ �%}�� *)m��m � )�+ �

��\ � ��� � � f��XeP}.2 Am � ) � + d�� � � *

R~\[vm�WXfkwxf�w Nlw�f � � 5 r \ � �#� �'}�f��Xe }.2�} � � d � � � ) � + d�� �_��y�£�bdfoR w�bv^|bd`cT P�ZXe � � � $GR~ [m�WXfnw�f�w Nlw�f0mxWXfzP�for NQ~\[|Pxm�fke<`cP�eaw�N � fn~ y

q f0~Xfkfo[ R ~ `d~ m�fnw�T ft[ `iRm�fIm�forxWX~X`irkR b�w�fnP�ZXbdmz`d~ Nlw [ fkwzmxN eaw�N � f"m�Waf rSNl~ � fkwx}Qfk~\r f m�N~XNQwxT R b\[ `dP�mxw�`v`XZXmx`cNl~ y�q fqeaw�N � fzmxW\Rmt]Nw NlwBR bcb `d~ m�fn}QfkwxP ��R ~\[EtX]

�%�� }��s*5mc��� P

? 5 p� ?m p bd~ �%}�� *)m�� P �'}�m � ) � + 5 � � 1�t�

Page 25: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

� Z\rxW `c~ mxfkw�TYfo[ `iRmxf$w�fkPxZXbdm�P0w NlbcbdNmu w w�NlT)mJu NArSNQ~aP�`i[ fkwSRm�`dNl~XPU� � wxP�m u�f mSRmxQf�m�Waf � m�W[ fkwx` � R m�` � f�New foslZ\R m�`dNQ~ }S��dN��`d~ Nlw [ fnw�m�N"fkP�mSRm`Xbd`dP�W|Rw_`a`cmxw R w_^�e NQbv^ ~XNQTY` R b }Qw�Nmu�mxW�Nmw�m�WXfw�RQr m�NQwxP �

�%�� }�� *)m��., �%}�� *)m��$y�� for NQ~\[ u fIm Rmxlf0m�Waf�t mxW [ fkwx` � Rm�` � f0Nmw�m�Waf0foslZ\Rmx`dNQ~ }S�U¡��

R~\[0u�fzZXP�f0mxWXf0e NQbv^ ~XNQTY`iRbXNlw [ fkw Nmw ��%�� `c~�� % & �

��% ��� �5}�� *)m���`d~|NQwS[ fkwqmxN�fkP�mSRm`Xbd`dP�W<m�WXf

f��Xe\ftrSm�fo[vw�fkPxZXbdmqZXPx`c~a}�P�`dT `dbiRw�Rwx}QZXTYfk~ m�P�RPzu�`dm�W|mxWXf�� � � P,y��WXfkw�ftw NQwxf�u fzW\R � fzm�WXfzf��XeXwxfkP�Px`cNl~

bc~ ��} e g *)m�� P m � ��}�m�� k � � }�mc� k I� � k � ��}�m* k � 1��W\R~:x_P�m�N0mxWXfq`d~ m�fkwxT fo[ ` R m�f�m�forxWX~a` rnRb w�fnP�ZXbdm�P%u�fqW\R � f ��}�m* k � P �'}�m � ) � + 5 � �iw Nlw k `c~ Rw�foR b�~Xfn`c}lWN`\Nlw�WXN NX[YNmw��5y���WXf0~aNQw�T|Rb bd`cTY`dm�`d~X}0[ `dP�mxw�`v`XZXmx`cNl~|Nmw�m�WXf"^�Nl`dP�P�Nl~$m�wSR~XP w NQwxT�%}��s*)m�� e d � rSNlT fkP%w�w�NQT��

e d � �%} e g>i ` � )�+ *)m�� f��XeP}/2 �%}�m�� k , � � }�m��5� P f��Xe � k I� � ��}�m* k � k � � d � i I }�m�� � *

u�WX`irxW m�fn~\[ PqmxN e g h i I�y��~ NQw [ fkw�m�N$mxw R ~XP�biRmxf mxWX`dP wxfkP�ZXbdm�mxN � S } e g �0Nl~Xf ~Xfnfo[ P�m�N R} R`d~�w�f�w fnw�m�N [ fne\Nl`cP sP�Nl~X`��oRmx`cNl~ y���N�m�WX`dP�fk~ [ u f0rkR ~$ZXPxf0��WXfkNlw�fkTYPq��R~\[|�"Nmw�p RQrkslZXfkmzR~\[ �t�ne\R~5xlNmu�P_x `} �t�Q�Q�c�Pu�`dm�W � P ��,l� � �Iu�WX`irxW `dT eab ^�mxWXfqrSNl~ � fkw�}lfk~\rSf�New � S=} e g>i � � � f��Xe+}/2 �AS k , ` � S5�m�N"m�WXfIP�m R ~\[XR w [Y~XNQwxT R b � R w�`iRmxfq`d~ [ `dPxm�w�`v`XZam�`dNQ~$R~ [�`d~|T NQTYfk~ m�P,yPq fq~Xfnfo[ ` f�w NQwxf0m�NrxWXfor|x R ~�foslZX` � Rbdfk~ m�Nmw rSNl~\[ `dm�`dNl~�}�`c`��n]m�W\R m�`dP 9 �%} e g>i � � *5mc� 9 e d S 9 [ forSwxfoRPxfkPzw�RP�mxfkw�mxW\R~R~N^�e NQbv^ ~XNQTY` R bX`d~�� u�WXfk~7m7,� � � R~\[ 9 m 9 P ��y���WX`dP�eXwxNQe fkw�mJ^|`dP�foRP|^ mxN rxWXfor|x|P�`d~\rSfu�`dm�W eaw�NQe fkwxmJ^ � � }�m��$�

����%} e g>i � � *5mc� �

��

\ �� f��Xe � � � � )������ � + �

\ �� f��Xe � } � � � � bd~`�` � S � � � � 1 E

� � !���h,n ��h,h+�����q fhR~ Rbv^t�kfo[ � Rwx`cNlZXP ~uR � Nlw�P�Nmw�`XZ\r|xQfnm�P�fkbdforSmx`dNQ~ R ~\[YP�NQwxm�`d~X}�Rbd}QNlw�`dm�WaT PUy � rSNQT�s

e\NlZX~\[0^�Nl`cPxP�Nl~ bd`dT `dm=uBR P w�NQZX~\[ w NQw ��� " �� � � � ��� ��� ��� �!�� �� <���]lR~\["rSfk~ m�wSRbXbd`dT `dm m�WXfnNQw�fnT Pu fnw�f%w NlZX~\[ w NQw�m�WXf�wxfkP�m�Nmw\PxfkbdforSmx`cNl~ R~\[IP�Nlw�mx`c~a}hTYfkm�WaN [ PUy+q fBrSNl~XP�`i[ fnw�fo[Y[ `dP�m�wx`v`XZXm�` � fRbd}QNlw�`dm�WaT Pzu�WXfk~�m�WXf�~ ZXT` fkw0New�`aZ\r|xQfkmxP `dP0mxWXf PSRT f�RPIm�WXf�~ ZXT` fkw0New�xlf�^ PUy7� ZXwR~\R bv^_Px`dPhrkR ~¦` f ft� mxfk~\[ ft[ m�N|Nlm�WXfkwzPx`cmxZ\Rmx`dNQ~XP�u�`dm�W R�biRwx}Qf"~ ZXT`\fnwqNmwz`XZ\r|xlfkm�P,y gaNQw`d~XP�mSR~\rSfl] NQ~Xbv^YT `d~XNQw�TYNX[ ` � rkRmx`dNQ~ New m�Waf eXwxN Nmw PzNmw%`\Nlm�W9��� "! �� �#��� ��� �� � � � �� ��><�� R~ [��� "! �� � � � ��� � �J<��! �u�`dbdb�}Q` � f�mxWXf R ~\Rbv^ P�`dPzw�foslZX`dwxfo[�w Nlw R$[ `dPxm�w�`v`XZam�` � f R bc}lNQwx`cmxWXT u�`dmxW@ P 8 � �+:_]:w NlwqR0e NQPx`dm�` � fzw�ftRb r NQ~XPxm R~ m � y

� T R bcble\fnw�`dNX[ `ir�~\Z rSm�Z\R m�`dNQ~aPUy�mJ^ eX`irkRb `d~"m�WX`dP�mJ^ e f New%R ~\Rbv^ P�`dPo]lReXe foRw�`c~Im�WXf�wxfkP�ZXbdmxPNmw wxforSZXwxP�` � f`aZ\r|xQfkmx`c~a}vR bd}QNQwx`dm�WXTYP�`\R P�fo[<NQ~ [ `d}Q`dmSRb [aRm R:yz��WXfkPxf'~\Z\rSmxZ\Rmx`cNl~XP0Rwxf Newm�wxZXbv^�R~A`d}Q~XNlw Rm`abcfYT R }Q~X`dm�Z [ fQ]�R~ [�PxWXNQZab [ ~XNQm R{�uftrSm mxWXf$eXwSRQrSmx`cNl~XfkwxPU� [ forS`dP�`dNQ~ANewu�WXfkmxWXfkwqmxN rxWXN NlP�f R'`XZ r_xlfkm�`d~X} R bd}QNQwx`dm�WXT+NQw�~aNQmUy

��WXfqR � fkwSR}lf�s rnRP�f w�fkPxZXbdm�w NlwC�����O����� ������� ���U<��! ��� "�bdNQ~X}�` fkfk~�x ~XNmu�~"P�`d~\r f$� ~ ZXm�W} �t��¡�b9�eXe y �,bX�t¨u�UbedM��eXZ5`abc`dPxWXfo[�`dm w NQw�m�WXf � wxP�m�m�`dTYf�y � ZXw�eXwxN_New rSN � fnw�P�m�Wa`cP�NQbi["wxfkP�ZXbdm,y

�c�

Page 26: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

��WXf�bd`dT `dm�`d~X}�[ `dP�mxw�`v`XZXmx`cNl~ wxfkP�ZabcmxP R w�fY~Xf�u+`d~ mxWXf rSNl~ m�f��Xm0NewBwSRQ[ `�� P�NQwxm�`d~X}=y�� `dT `dbiRww�fkPxZXbdm�P WXNQbi[0w Nlw�m�WXfIf��Xm�fkwx~\Rb�e Rm�W|bdfk~X}lm�W$New�m�w�`dfkP'}�p_RQrnsQZafkm0R~\[$y|{fk}Q~a`cfnw�} �o�l�Q�c�_��y%��~w�RQr mo]XmxWXf�rSNQPxmqNmwC���0��� � �U<��� B`dPzR�P�e forS`iR b�x `d~\[YNmw�e\R m�W$bdfk~a}Qm�W<`c~|wSR~\[ NlT @Is�Rw_^|mxw�`dfkPNQ~"�Hxlf�^ PJ[ m�WX`dPqrSNlP�m�`dP�m�Waf0m�Nlm Rb e Rm�W|bdfk~X}lm�W|m�N�Rbdb ~XNl~Ns�fkT eXmJ^"f��Xm�fnw�~\R b ~aN [ fkPUy

f�n[�A����� � ��� ��� � �+jUh � ��WafBR ZXm�WXNlw�P�Rw�f�m�W R~5xcw ZXblm�N0U$R w_xQNqyO`dfo[ fkbcw Nlw�P�f � fkwSRbXWXfnbce{w ZXb[ `dP rSZaP�P�`dNl~XPUy���Waf � wxP�mzRZXmxWXNQwIu�`cPxWXfkPzm�N�mxW\R~:x �_� yz� � w NQw�PxZXeXe NQw�mx`d~X} WX`dP P Rm`:`\Rmx` rnRbbdfoR � f�y���WX`dP�u�NQw|x©u�RP�PxZXeXe NQwxm�fo[ `c~�e Rw�m `M^"m�Waf ¢ Nl~X}z��fkw�TEy�fnP�foR w rxW$^�w�Noj forSm���� �)<� �� � }��E�c�Q�ed�dM��Nmw�m�WXf"��ZXw�Nle\ftR~H��~X`dNl~ y� ���&� k � �in � h

� � �����������\� �� ��� � ��� � �_! ������� "!# �%$#��$'&)(*�����,+%-.� ����(�/*��+�0�(*��1%$32 � /�(*��(*�����%���4� 65'7'8'9%:<;>=%?A@B9%7C :*9�D#E'F<F'@G7%H>I�E�?A?JE�:�F �4KLK4�LM"N �%

O �P����/�$'QR�'� � �TSU��&<V�$#�A�XW �\� ��Y 24$#�A��� �\� 0�+4$'/'�TW �\�Z����$'/��'�\[ ]� ���|\0�V�$'-��\^ \��"� M O�!#_ 9%`ba%F)?dcdF)?A@B;3=%?JE'Fe9�8>I�9�D#=%?A@B9%7LfPg�a�:<h�E�ibF�=%7Lj>k6j%hb=%7LD#E'F� W\/*����&'$'(����v� �%��1�$'/��*��(l-mW\/�$'���'�W\/*����&'$)(������ �R$'Qn^�$'/���$'-

o �Zp%0������]q ���"� Mbr !#skutT9%a�:�F'E�@G7 C :l9%`#=%`�@wv�@B?Aiyx4z4E<9%:#i�r � $)1%/��b-�$��\� ���"����{�!#PI�E<D�?Aa�:lEP|�9%?AE'FP9%7,}~a�D<�%E�?�kev H%9%:<@B?�z4;�F� SU��/�V%p � 0���$'/'�\SX����(���� � � $)1%/��b-�$��\� �� ���mq ������&'��$'V4�\ �������%�!# �61�$'/ � ��$3(*� Y $>+L$'p � 1�����/��b�X�%����(�/*��+�0�(*��1%$�����/�(*�����

� ������/*��(�p Y � �t\9%;Z�]a�?A@B7�H ���L��� N�M { � ��+4���*��$)Q~��&)����[ ���"� M ��!# �%��/�(*������+%-,�%����(�/*��+�0�(*��1�$�2 � /�(*��(*�����%����� e5'7'8'9%:<;>=%?A@B9%7 C :*9�D#E'F<F#�

@B7%H�I�E�?A?AEb:�F � ��� N { M �\p�/*����&<p��T� ������� �!# � $ � /�&<p ����� � ��������/�(*������/�$ � �\�%0 Y +4$)/�� P�%�]kPv H%9%:#@B?�z4;�F ����� N r � � � �b�����|� ���Z��$'1�$)/���$#��('� � ��WT��2�24$'����$'/'�v� .� ���H�%(�/�������� � ����� M ��!# �U�%(�$'���%��+ ��$

� � ��p �����b� � � � ��( � &'&'$'��� Y $'(�p��%���A��/���-%� ��Y ��&�����$)� yk�t]��x�:*=%7�F'=%D�?A@B9%7�F69%7��e=%?J=%`<=�F)Eg�i�F'?AE�;�F �%��� o �� N o r�r

� ��� �'� �b��$'('�eW R�������o�!# �P��(�p�$�2L$'/*�A��/ Y�� ��&'$�$'1 � ��0 � (*�����n�b�e$'�%(�$'��� ��+%��$mp � ��p%����� �kPD�?A=5'7'8'9%:<;3=%?J@GD#= ���4 �� o r � N o�{��

�¡% ��� �'� �b��$'('�]W �L�P��0�/���������� � � �����R0 Y�� �'��W ����������! !,$<�������Y\/ � ���*�A��/ Y � � ���"�6��- Y 2�(���(*¢��&'�'£J� � / Y ���%��&z�%0 Y � �x4z4E<9%:*E�?A@BD<=�v�t\9%;Z�]a�?JE�:Rg�D�@BE�74D#E ��K%�4��� o N ���%

�� ��� �'� �b��$'('�6W �sW���+%��$'(�$��6W s� ���¥¤R���b� � ��� Z��"������!# �P��(�p�$ � � � ��-%�*���,�b�6������$ � /�2�/���+ �����p � ��p%����� ������� �A\$'&<p��%��& � �%�Z$'24��/�( o�O�{�� \� � 2�2L$ � /R��� kev H%9%:<@B?�z4;>@GD#=�

�O% ��� �'� �b��$'('�sW T� ���|�%$'����$'QZ��&<V4��� X���������!# !,$<�������¥(�/ � ���*�¦��/ Y � � ��� � ��- Y 2�(���(*��&'�'£0�����%��(�$�%��§�$'/�$'��&'$'� � ��� �d��&'$�¨ � ���%(�$)��/ � ��� yxLz4E#9%:lEb?A@BD<=�v]t\9%;~�]a�?AE�: g�D�@BE�74D<E ��K%�4�]� "¡ N �O r

�o% �P������$'('��� ������� r !# �P��� ��/�$)&'( � ����/�$'���*�����,����/�( _ k65 _�© fRx�E#D<z474@Gªba�EPE�?�g�D�@BE�74D<EZ5'7)8'9%:«�;3=%?J@Gªba�E'F � ¬�� �O�o N "O M

r � � � /�$�� � ���"��{%�!# � ����� � � ������/*��(�p Y­{���!#>tT9%;>;3a�7L@BD#=%?A@B9%7�FR9�8Rk�t�� �4��� o�O% N o�O�O%��% ^ � &)®%0�$'('�UW T� ��� �°¯$)���%��$'/'� ! d��"����{�!# \/*��$�2 � /�(*��(*�����%���4�m2�/��%&'$'���'£h�4� Y ��(*����� �~����(�/*��+�0%¢

(*������� PI�E#D�?Aa�:lE�|e9%?AE"F6@B7mtT9%;~�]a�?AEb:Zg�D�@BE�74D<E �%��K���� "��{ N O "¡ �%2�/*������$'/'� �R$'Q²±X��/�V �{% ^ � &)®%0�$'('�UW ]� ���v�°¯$)���%��$'/'��! X���������!# � ��/ Y�� �\��� Y ��(*�����m�%����(�/*��+�0�(*�������A��/�(�p�$��*���'$ � ���

(�p�$�$'�%(�$'/�� � �X2 � (�p°��$)����(�p����\(�/*��$'�'�X�����������Z$'��$ � /�&<p �Z$'24��/�( ��O M M ^ � &)®%0�$'('�sW T� ���$� �)2 � ��V��bQR��V��6[ s������%�!# �P� � ��-%�*�����b�~� ������( � �6(�/*��$'�3Q~��(�p Y�� /�V���1�� � �

��$'24$'����$)��&'- 65#cdcXc³x�:l=%7�F'=%D�?A@B9%7�F~9%7�5'7'8'9%:<;3=%?J@G9%7mx4z4E<9%:#i �4¬L��� r%M ¡ N r%M � ��% ^ � &)®%0�$'('�]W L� ��� �%�'2 � ��V���Q ��V��s[ ]���������!# �P� � ��-%(*��& � �Z��$'24�����������%��� � (*����� � ���,��(�� � 2�2 ����¢

& � (*�������'��(���+4$32�0�+ ������p�$'����� x4z4E<9%:*E�?A@BD#=�vTt\9%;~�]a�?AE�: g�D�@BE�74D<E

�a�

Page 27: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

��% q ��/���&<p�$'��p��b�A$'/'�sW �]WU/��%�%������$'/'� � ]� ��� � �)2 � ��V��bQR��V��A�X[ X���������!# �P��(�p�$�1 � /*� � ��&'$y�b�(�p�$�$'�%(�$'/�� � �\2 � (�p���$'����(�p,��� � ��- Y�Y $)(�/*��&>�%���b��( � �X(�/*��$ R��@wF)D�:*E�?AEZk~�%��v�@GE#j���=%?�z4E�;>=%?A@BD'F ������ �O�� N r o%

O�¡% qP�%0�(�p�� � X���� M o�!# x4z4E�k�:<?P9�8,tT9%;~�]a�?AEb: C :l9#H%:l=%;>;3@B7%H���f°g�9%:#?A@B7%Hy=%74j,g�E<=%:*D<z4@B7%H4�P���%�������%¢*[�$'�*��$'-����Z$ � �%�������\! � ��� � &#p%0���$'(�(�� O � ! � p Y ��0���� � �\!,�%� � /�/�$'�'� � T� ��� � Y -%(�p�$���� d��"������!# �P� � ��-%�*��������#P0%��&<V%��$#��$'&'('£h�P�

� ������/*��(�p Y �¦��/3��/���$'/���( � (*����(*��&)� _ kP5 _e©�� x4z4E<9%:*E�?A@BD#=�v]5'7)8'9%:#;3=%?A@BD'F�=%7Lj,kZ�%��v�@BD#=%?A@B9%7%F ������ O���� N O M {%

O�O% W���(�(�$#�A�\S m�������{�!# W � (�p�� ��� � / � ����� Y � ������( � �s(�/�$'$�£d��� Y ��(*�������%����(�/*��+�0�(*�����L� 3kPj%h�=%74D<E"F@B7�kZ�%��v�@BE#j C :l9%`#=%`�@wv�@B?Ai ��K���� �o�� N "���%

O�o% �°¯$'���%��$'/'�u! ]� ���¥^ � &'®%0�$'('�]W ����������!# �R$'Q /�$)��0 ��(�������(�p�$3�*���'$����Z(�/*��$'� e5#cXcdc³x�:*=%7�F<�=%D�?A@B9%7�F69%7�5'7'8'9%:<;>=%?A@B9%7�x4z4E<9%:<i �L¬���� O�¡�o N O�¡��%

O r �bY.Y ����$)���_! 4��"��� "!# �P� � ��-%�*���R�b�u�~¢l(�/�$'$)� _ kP5 _�©� 5'7'8'9%:<;3=%?J@G9%7 C :*9�D<E"F<F)@B7%HPI�E�?A?JE�: �K���� �o% N "o M

O��% [��������Q� ����������!\k�F'i�;~�]?A9%?A@BD\kZ�%�]:*9�%@B;3=%?J@G9%7 FT9�8\5'74?AE*H%:l=�v�F# �6& � ��$ Y ��&6W\/�$'���'��P/*� � �������������/*��� �

�l�

Page 28: hal.inria.fr · HAL Id: inria-00073290  Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination

�oT�:CF&R>#5�>\OV>GK-26>POPK-26>e�j��Q��jW �t)/OEOP,/:<T6>Nx+Z?>GK-2�T6)/=��)/;C>A5�>#��,4T6KMgNa X�OP,/ft)/:C*Mx+]�,/.`=�36*�*EKU:C>PT�Fb:��6LN36>+x� �N�#O-36>#5[3%I/,/OP5[:<T�XA)+F-,/T�:CLN36>+x/XA8��/�&�{x&��� � �+�����b�t�eQ#Y����AY`�\W��#]�

�AT�:CF[R>#5�>\OV>GK-26>POPK-26>A�b��Q\�bW Q�>UT�T6>M*Gx+��O-:C*E,�x&]�,4.`=�36*�3�T�:C_+>POP*b:CF-,/:<OE>A5�>#XA>G,/3�;<:C>P3yx/�&�/���[�#Q������ Y�]�>M5�>Gw�oT�:CF&R>#5�>\OP>MK-26>POPK-26>A�b�\Q��bW Qo2��)/T6>PabWo;<=?>M*Gx � �+�{x+, _N>PT[36>�5�>\;b~ y3�OP)/=t>+x/�+�+�+�+�|0��\�\ZAX����\���#Z Y[Z"0�W�Q9ZA�b�

�AT�:CF&R>#5�>�OP>MK-26>UOVK-26>A�j��Q��jW Q�)[KMLN36>PT6KG)/3�OVFUx z#)/.�,/:<T6>A5�>��y)4;<36KM>M,43yx+Q�)[KMLN36>PT6KM)43�OEFMx/XA8 �/�&�{x�/�&�+�4�c��]�(�AY[��W� ]�>G5�>Mw

�AT�:CF&R>#5�>�OP>MK-26>UOVK-26>A�j��Q��jW Y[)/=�2�:C,/abWAT�Fj:<=?)G;<:C*Mx/�/�+���|OV)436FE>\5�>M*A��36KP:C)/;C>G*Mx+XA8��N��x&� � �+�&�cY��\8�(��bWoa W\��ZA�b8��\�t�EY]�>G5�>Mw

{��[ `dm�fnZXw�_� yz� � ]o� NQT|R`d~Xf�[ f���NlbcZ rSfoRZ�]Xy�NXrkslZXfk~\r NQZXwxmo]o��^C�,�� X]N¡Q�a�U cb©¢��;£�M ���5� ��¥ £�fo[ f��

}�gaw R~ rSfU�������� !"!�#�#�#%$�&('*)+&�,$ -.)�_�5�5�8�l�md_� s §cbQ�l�