17
HAL Id: inria-00070466 https://hal.inria.fr/inria-00070466 Submitted on 19 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. Perfect Sorting by Reversals Marie-France Sagot, Eric Tannier To cite this version: Marie-France Sagot, Eric Tannier. Perfect Sorting by Reversals. RR-5540, INRIA. 2005, pp.13. inria-00070466

Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

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

Submitted on 19 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.

Perfect Sorting by ReversalsMarie-France Sagot, Eric Tannier

To cite this version:Marie-France Sagot, Eric Tannier. Perfect Sorting by Reversals. RR-5540, INRIA. 2005, pp.13.�inria-00070466�

Page 2: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

ISS

N 0

249-

6399

ISR

N IN

RIA

/RR

--55

40--

FR

+E

NG

ap por t de r ech er ch e

Thème BIO

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Perfect Sorting by Reversals

Marie-France Sagot — Eric Tannier

N° 5540

Février 2005

Page 3: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Page 4: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Unité de recherche INRIA Rhône-Alpes655, avenue de l’Europe, 38334 Montbonnot Saint Ismier (France)

Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52

����������� ����������������������������! �"#�

$&%('*),+.-0/1'2%(3�45+768%(9(:(;�<7=1>�'?)@4BAC%(3�38),+D'?<

E�FHG#I�J�KMLONQPSRUTWVYXOG*IZJ?V�[]\_^.`_^.a.\cbDd]J*VegfO^.hiJ�XkjkJ*`l\lm

nkoqpHpr^5fYXksWJ�ftJ*uvF]J*ftuvFHJxw(y1z.zq{5|}P�~8�*�Dft\_J#f��q|5|5z�P��?�ZpHoqa5J*V

���U�*�8��������w�[]\_^.\_wW��^5fOI�o�Xt\_bDd]J5��`,� ^5ftsWftJ�sWJ?V�a.G*w]J*V�J*VYX�VY^5d]�.J*w5X�I�^WsW�*`l\cVY��pHoqf�s]J*V�p(J#ftI�d]Xto��Xt\l^5wHV�VO\_a.w]�*J*V*�H�kw7pHfO^5[]`lG*I�J�u�`co.VtVY\cbDd]J�pr^5d]f�`co�u#^.I�pHoqfvoq\cVO^.w sWJ*V�a.�#wH^.I�J*VJ?ViXC`_o�s]��XOJ?u0Xt\l^5w7sWJ*VVOJ#a5I�J#wDXtV�u�^5wHVOJ#ft�.�*V*�Uuq� J*VYX�¡Zs]\lftJ�`lJ?V�a.ft^.d]p(J*V�sWJ�a.G*w]J*VVO\lXOd]�?VVYd]fdHw]J�IZ¢*I�J�fO�*a.\_^.w�uvFHfO^5IZ^DVY^.�I�\cbDd]J�s]o.wHVp]`_dHVO\lJ*d]ftVkJ*VOprG?u�J*V*�ru#J�bDd]\�VOJ#I}[]`lJ�\lwHs]\_bDd]J*f�bDd�� \_`cV�VO^.wDXkfOJ?ViXt�*Va5fO^5d]p(�*Vko.d u#^.d]fvVksWJ`,� �#�.^5`ld]XO\_^.w�����w�VYJ?u�^.wrs£pHfO^5[]`lG*I�J�XOftG*V��#XOdHsW\_��J*VYX�`co fOJ?u�^5wHViXt\¤XtdWXO\_^.w�sWJ?V��#�5�#w]J*I�J#wDXtV��*�.^.`_dWXt\¤�¥VbDd]\¦Xtfto.wHVY��^.ftIZJ*wDX�dHw]J�prJ*fOI}dWXtoqXO\_^.w�J#w d]w]J�o.dWXOftJ.�We�`_dHVO\lJ*d]fvVMXOfvo2�2o.dWm�u�^5I�IZJ*wHu�J*wDX¡ZI��#`coqwHa.J#f`_J*V�pHfO\_wHu�\_p(J*V�sWJ§VOJ#a5IZJ*wDXtV�u�^5wHVOJ#ft�.�*VZJ#X�ft�*o.fOfvoqwHa.J#I�J*w5XvV#�8J�X�`co¨pr^DVOVO\_[]`lJ \_wHu�^5I�pHo�Xt\l[]\_`_\¤Xt�7sWJ*Vft�*VOd]`lXtoqXtVgo�p]`ldrVY\_J#d]fvVg��^.\cV���Xt��ftJ#I�oqfvbDd]�#J5�.©ªoqwHV«d]w�o.fYXt\_u#`lJkft�*u#J#wDX*�UKM�#fvoqfvs¬�.KMJ#fta.J*fO^5w�J�X­«Froqd]�5Jp(^5VOJ#wDX1`_Jp]fO^5[]`_G#I�JsWJ�`@� J�mW\cViXtJ#wHu#Jks¬� dHw�o.`la5^.ft\¤XtF]I�J«p(^.`_TUw]^.I�\coq`]bDd]\Hs]��XOJ*fOI�\_w]J#fvoq\lX�V#� \_`WJ�mW\_VYXOJdHwVtu��*wHoqft\_^�IZ\_w]\_I�d]I®s�� \_wU�.J#fvVO\l^5w�bDd]\rXOfvoqwrVi��^5fOI�J#fvoq\lX�d]w�a.�#wH^.I�JkJ#w�d]w�o.dWXOftJXO^5dWX«J*w�u�^5wHVOJ#ft�2o.wDX`_J*V8a5fO^5d]prJ?V!sWJMa.G*w]J*V8u�^5I�I�d]wHV*��¯k^5dHV�sW^.w]wH^.wHV�\_u#\Wu�J�X1oq`_a.^5fO\lXOFHIZJ«pr^5`lTUw]^5I�\_o.`@�2u�J�bDd]\Ua.�#wH�#fvoq`_\_VOJ`_J*V�ft�*VOd]`lXtoqXtVsWJ�`,� o.fYXt\_u#`lJ�I�J#wDXt\l^5w]w]�.�°²±H³?��´vµ.¶¥�U�B�·E!ft\�pHoqf�\_wD�5J#fvVY\_^.wrV#�rfO�?oqftfto.w]a.J*IZJ*wDXtV�sHoqwHVª`_J*Vªa.�*w]^.I�J*V*�¬VYJ*a.I�J#wDXvVCu#^.wHVOJ#ft�.�?VCsWJa5G#w]J?V#�W\_wDXOJ*fO��oq`_`_J*V�u�^5IZI}d]wHV*�W[]\_^.\_wW��^.ftI�o�XO\cbDd]J

¸�¹�º8»�¹½¼¨»�¾2¿0À2Áý¼�ÄÆÅ.ÁiÇ

Page 5: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

����������� ����������������������������! �"#�

��� �*³����]µ.³.� LÃw£u#^.I�p]dWXvo�Xt\l^5wHoq`8[]\_^.`_^.a.T5�ra5J#w]J}^.fvsWJ#f�s]oqXto�\cVª^q�½XtJ#wBI�^WsWJ*`l`_J*s£o.VªVY\_a.w]J?s§p(J#ftI�dW�Xvo�Xt\l^5wHV#��� u�`co.VtVY\cu#o.`MpHfO^5[]`lJ*I \_w a.J#wH^.I�J§u�^.I�pHo.fO\cVO^.w \cV�Xt^�sWJ�XtJ*u0X�u#^.wHVOJ#ft�.J?s VOJ#a5IZJ*wDXtV�\_w�op(J#ftI�d]Xto�Xt\l^5w��]XtFHo�XC\_V*�ra5J#w]J?V�XOFro�Xªo.fOJ�u#^q� `l^Wu*oq`_\_VOJ*s�\_w7VYJ*�.J#fvoq`�VYp(J*u#\lJ?V#�r\lwHs]\_u*o�XO\_w]a�XtFHo�X�XOF]J*T�ftJ��I�o.\lw]J?sBa5fO^5d]p(J*sBs]d]fO\_w]a�J#�5^.`_dWXO\_^.w��� VOJ*u�^5wHs7`coqfta.J*`lT7VYXOdrsW\lJ?sBpHfO^5[]`lJ*I fOJ*`_oqXOJ?s§XO^ a5J#w]JZ^.fvsWJ#fsHo�Xto�\_V�XO^ u�^5I�p]dWXOJ�o�I�\_w]\_I�d]I Vtu�J*wHoqft\l^�^q�gftJ#�5J#fvVOo.`_V�XtFHo�XªXOfvoqwrVi��^5fOI�V�o�VY\_a.wHJ*s§p(J#ftI�dWXvo�Xt\l^5w\_wDXO^ o.w]^qXtF]J#f?�«RUJ*�.J*fto.`�ViXtdHsW\_J*V�[rJ*a5oqw�Xt^�I�\¤m XOFHJ7X�M^�p]ft^.[]`_J#I�V*�goqwHs�\lX��o.V�^.[HVOJ#ft�.J?s XtFHo�XXtF]J#\_fMfOJ?VYd]`lXtV«oqftJkw]^.X«oq` Mo2TWV�u#^.I�pHoqXO\_[]`lJ��5^.�½XOJ*w�pHoqfvVO\lI�^.wH\l^5dHV�Vtu�J#wroqft\l^DV1^q��ftJ#�5J#fvVOo.`_V�[]ftJ*o��Zu#^.wW�VOJ#ft�.J?s�VOJ#a5IZJ*wDXtV*�?LÃw�oªftJ*u�J*wDX1VYXOdrsWT.�qKM�#fvoqfvs¬��KMJ#fta.J*fO^5w�oqwHs�­«FHo.d]�.JVYXto�XtJ*sZo.V1o.w}^5prJ*wZbDd]J?ViXt\l^5wFHJ�XOFHJ#f�\lX��o.V�p(^5VtVO\l[]`_J�Xt^BsWJ*VO\_a.w�o§p(^.`_TUw]^.I�\coq`1Xt\lI�J�o.`la5^.ft\¤XtF]I Xt^BsWJ?u�\csWJ�\l�XOF]J*fOJ�J#mW\_VYXtV�oI�\_w]\_I�d]I VOu#J#wHo.fO\_^B^.�ªftJ#�5J#fvVOo.`_V�XOFHoqX�XOfvoqwHVY��^.ftI�VZo¨a5J#w]^5IZJ�\_w5Xt^�oqw]^.XOF]J*f�F]\l`_J��.J*J#p]\_w]a¨XOF]Ju#`ldrViXtJ#fvV1^q�!u#^q� `l^Wu#o.`l\cVOJ*s}a.J#wHJ*V1Xt^.a5J�XOFHJ#f?�qLÃw�XOFH\_VgpHoqp(J#f?��MJka.\_�.JkXOF]\cV�p(^.`_TUw]^.I�\coq`ro.`la5^.ft\¤XtF]I �.oqwrsXtFUdHV�a.J*w]J#fvoq`_\_VOJCXOF]J�XtF]J#^5fOJ#XO\cu#oq`¬ftJ*VOd]`lX^q�8XOF]J�o���^5fOJ*I�J#wDXO\_^.w]J?s�proqp(J#f?������¦´���±����8�.��nJ*�.J*ftVtoq`gRU^5fYXt\lwHaH���ªJ*w]^.I�J�nJ?oqftfto.w]a.J*IZJ*wDXtV*��­«^5wHVOJ#ft�.J*s RUJ*a.I�J#wDXtV*�8­«^5IZI�^5wLÃwDXtJ#ft�2o.`_V*�H­«^.I�p]dWXvo�Xt\l^5wHoq`�KM\_^.`_^.a.T

Page 6: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

�������������� ��������������������������! "� �

# $ �}!���&%�'��g������

LÃw u�^5IZpHdWXtoqXO\_^.wHo.`r[]\_^.`_^.a5T.�D\¤X\cV�u�^.I�I�^.wH`lT�o5u#u�J*pWXOJ?s¬�UdHVO\lw]a�o}pHoqfvVY\_I�^.wUT�oqfta.d]I�J*w5X?�.XtFHo�X�\l�o�a5fO^5d]pZ^q�¦F]^.I�^.`_^.a5^.dHV8a5J#w]J?V)(½XOFro�Xg\cV1a.J*w]J*V�FHo2�U\lw]a�o�u#^.I�I�^.w�oqwHu#J*VYXOftT+*8\cV�u#^q� `l^Wu#o.`l\cVOJ*s�\_w�X�M^s]\-,¦J#ftJ#wDX�VYp(J*u#\lJ?V#��XOF]J*w£XtF]J#T «J*fOJZp]ft^.[Ho.[]`_T§XO^5a.J�XtF]J#f�\_w¨XOF]J�u#^.I�I�^.w oqwHu#J*VYXO^.f�o.wHs MJ#ftJ�w]^qX`co�XtJ#fZVYJ*pHoqfvo�XtJ*s�sWd]ft\_w]a7J#�5^.`_dWXO\_^.w!�8E�F]J�sWJ�XtJ*u�XO\_^.w�^.��VYdHuvF u�^.wrVYJ*fO�5J*s u�`_dHVYXOJ#fvV�^.�kF]^.I�^5`l^5a.^.drVa5J#w]J?V#��o.`_VO^7u#o.`l`_J*s.�� ��/���������01��2�!3&���45�0��Fro.V�o.`lftJ*o5sWT7[(J#J#w¨XtF]J�VOd][WhiJ*u�X�^q�kVOJ#�.J*fto.`1oq`_a.^.ft\lXOF]I�\cuVYXOdrsW\lJ?V6(¥VOJ#J���^5f\lwHVYXto.wHu�J87_�.�:9H���*|<;�*0�

LÃw�XtF]JXOFHJ#^.ftT�^.�(ftJ*o.fOfvoqw]a5J#I�J#wDXvV#��oqpHp]`lTU\_w]a�XOFHJpHoqfvVY\_I�^.wUT�p]ft\_wHu�\_p]`_JIZJ?oqwHV�IZ\_w]\_I�\_VO\lwHa�XOF]JwUd]I}[rJ*f�^q�«J*�.J*w5XvVª\lw o�ftJ*u#^.wHVYXOftdHu�XO\_^.w7^.�«p(^5VtVY\_[]`_J}J*�.^.`_dWXt\l^5wHoqftT J#�.J*wDXtVª[rJ#X�«J*J#w¨VYp(J*u#\lJ?V#��E�F]Jo.`la5^.ft\¤XtF]I�\_u*V�ftJ#`co�XtJ*s Xt^BXtF]J�ftJ*o.fOfvoqwHa.J#I�J*w5XvV�XOFHJ#^.ftT FHo.VZoq`cVO^B[(J#J#w \lwDXtJ#wHVO\l�5J#`_T�ViXtdHsW\_J*s¬�1E�F]JI�o.\lw�ftJ*VOd]`lXtV�Fro2�.J�[(J#J#w ^.[WXvoq\_w]J*s¨^.w XtF]J�pHfO^5[]`lJ*I ^.�kVY^5fYXt\lw]a§[UT¨fOJ*�.J*ftVtoq`cV87 =H�!{�; � F]\_uvF�\cV�ou#^.I�I�^.w§J*�.J#wDXk\_w7J#�5^.`_dWXO\_^.w!�rE�F]J�pHfO^5[]`lJ*I�\_w§XtF]\_VCu#o5VYJ�u#^.wHu#J#ftwHV?>HwrsW\lwHa�oqw7^5pWXO\_I�oq`8VOu#J#wHo.fO\_^^.�fOJ*�.J#fvVtoq`cV#�¦XtFHo�XZ\_VZo7VOF]^.fOXOJ?ViX}VOJ*bDd]J*wHu�J�^q�fOJ*�.J*ftVtoq`cVªXOFHoqX�Xtfto.wHVi��^5fOI�V�^5w]J�a5J#w]^5IZJ�\lwDXO^BXOF]J^.XOF]J*f*�

� sWfvo [Ho.u ��^q�1XOFHJ�I�J�XtF]^Ws]V�sWJ#�5J#`_^.p(J*s§VO^��¥oqf���^.f�>HwHsW\_w]a�VYdHuvFBpHoqfvVY\_I�^.w]\_^.drVkVOu#J#wHo.fO\_^5Vk\_VXtFHo�XMXOFHJ#T�sW^Zw]^.XMftJ*VOprJ?u0XMXOF]J�p]ft\_wHu�\_p]`_JC^.��u�^5wHVYJ*fO�5J*s�VOJ#a5I�J#wDXtV �]sWJ*VOp]\lXOJCXOF]J�p]ft^.I�\cVY\_w]a�XO\lXO`_Jª^.�oZ��^5fOI�J*fkpHoqp(J#f?�A@A �3B3& ��DC��/E����<�! "�F���G0H�� �������������B�I��<������ "�FJLKNMO�������5�P�Q�H R�IS��������T������87 �!;,�\lX�FHo5V�\lwHs]J#J*s¨[(J#J*w�w]^qXt\_u#J*s¨VYJ*�.J#fvoq`8Xt\lI�J*V�XOFHoqX�\lw¨XtF]J�u#o5VYJ�^q��ftJ#�.J*ftVtoq`cV*�HXtF]J�X�«^§u#fO\lXOJ*fO\co oqftJwH^qX�oq` �o2TUVMu�^5I�pHo�Xt\l[]`_J.� � IZ\_w]\_I�d]I�fOJ?oqftfto.w]a.J*I�J#wDXMVtu�J*wHoqft\l^ZI�o2T�[]ftJ*o���u�^5wHVYJ*fO�5J*s�VYJ*a.I�J#wDXtVo.wHs XOFHJ#w p]dWX�XOF]J*I [ro.u ��Xt^.a5J�XOFHJ#f�`co�XtJ#f�o.a5oq\_w�� � ��J� ViXtdHsW\_J*VO7 z]�M�W�)UP;C[(J#aDoqw�Xt^�I�\¤m XOF]JX�M^�p]ft\lwHu#\lpH`lJ?V#�+V¨J�a.^Z��d]fOXOF]J*fk\_w�XtF]\cVksW\_fOJ?u0XO\_^.w!�UXOFUdHVko.wHV MJ#ft\_w]aZo.w�^5prJ*w§b5dHJ*VYXO\_^.w�IZJ*wDXO\_^.w]J?s\_wW7Æ�<; �¬E�F]J�b5dHJ*VYXO\_^.w£u#^.wHu#J#ftw]J*s§XOF]J�p(^5VtVY\_[]\_`l\lXiT§^q�«s]J*VO\la5w]\lwHa�o�pr^5`lTUw]^5IZ\coq`�XO\_I�J�oq`_a.^.ft\lXOF]I XO^s]J*u�\csWJ F]J#XOF]J*fXOF]J*fOJ�J#mU\cVYXtVoZI�\lw]\_I�dHI�Vtu�J#wroqft\l^Z^q�8fOJ*�.J#fvVtoq`cV�XtFHo�XXtfto.wHVi��^5fOI�V�oZa.J*w]^.I�Jª\lwDXO^o.w]^qXtF]J#f F]\_`lJ �5J#J#pH\lw]a}XOFHJ�u#`ldrViXtJ#fvVg^.�8u�^.�,`_^Wu#o.`l\cVYJ?s�a.J*w]J*V«Xt^.a.J#XOF]J*f*�DLÃw�XOF]\cV�pHoqp(J#f?� «Jªa.\_�.JCXOFH\_Vp(^.`_TUw]^.I�\coq`Uoq`_a.^5fO\lXOF]I �?oqwHs�XtFUdHV8a.J#wHJ#fvoq`_\_VOJ�XOF]J«XOFHJ#^.ftJ�Xt\_u*oq`DfOJ?VYdH`¤X8^q�WXOFHJMoq��^.ftJ#I�J#wDXO\_^.wHJ*s�pHo.prJ*f*�

E�F]\cV�VYXOdHs]T£FHo5V�oq`cVY^§VOJ#�5J#fvoq`1^qXtF]J#f�I�^.XO\_�2oqXO\_^.wHV*��LÃwHs]J#J*s���o VYJ?u�^5wHs sWfto [ro.u �§^q�MXOFHJ�oq`_a.^.�ft\lXOF]I�V���^5f�^.[]Xtoq\_w]\_w]a§^.p]XO\_I�o.`gVtu�J#wroqft\l^DV�^q�fOJ?oqftfto.w]a.J*I�J#wDXtVª\cV�XOF]J�FDdHa.J�wUd]I}[rJ*f�^q�kVO^.`_dWXO\_^.wHVXtF]J#T§pHfO^��U\csWJ.�(E!ftTU\lw]a�XO^ o.s]sBu�ft\¤XtJ#ft\_o�u�^.I�\_w]a���ft^.I u#^.wHVYXOfvoq\_wDXtV�^.wBu#^.wHVOJ#ft�.J?s§VYJ*a.I�J#wDXtVªu�^5d]`cs[(J�o�VY^5`ld]XO\_^.w�XO^�sW\cVOu#fO\_I�\lwHoqXOJ�I�^.ftJ�p]`_o.dHVO\l[]`_J�VY^5`ld]XO\_^.wHV*�

X§^5fOJ*^��.J*f*�1\_w oqwH^qXOFHJ#f�VYXOdrsWT ^5w XOFHJBa.`_^.[roq`�o.`l\_a.w]I�J*w5X�^q��I�oqI�I�oq`_\_o.w a.J*w]^.I�J*VY7 Z!;,�«XOF]Jo.dWXOFH^.fvV1dHVOJCu�^5wHVOJ#ft�.J*s�VOJ#a5IZJ*wDXtV1Xt^}u#`ldHVYXOJ*fgI�oqf��.J*ftVgoq`_^.w]a�o�a5J#w]^5I�J.�5o.wHs�XtF]J#w�o.p]p]`_T�fOJ?oqftfto.wW�a5J#I�J#wDX«o.`la5^.ft\¤XtF]I�V�^.w�XtF]JCu#`ldHVYXOJ*fOJ?s�s]o�Xvo]�5E�^�u#^.p(J \¤XtF�XOFHJkpr^DVOVO\_[]`lJ�\lwHu#^.I�pHoqXO\_[]\l`_\lXiT}[(J�X�MJ#J*wXtF]J�X�M^�p]ft\lwHu#\lpH`lJ?V�(�^.��u�^.wrVYJ*fO�5J*s�VYJ*a.I�J#wDXtV�oqwHs ^.��o�I�^DViX�proqfvVY\_I�^.w]\_^.dHVVtu�J*wHoqft\_^�*0�UXtF]J#T�FHo2�5JXt^§dHVOJ�oqw�oqft[]\lXOfvoqftT§XOFHfOJ?VYF]^5`_s£��^5f�sWJ*u#\_s]\lw]a F]J�XtF]J#f�o7fOJ?oqftfto.w]a.J*IZJ*wDXª\cV�\_wHVY\csWJ�^5f�^.d]XtVO\_sWJ�ou#^.wHVOJ#ft�.J?s�VOJ#a5IZJ*wDX �.[rJ*`l^� XOF]\cV�XOFHfOJ?VYF]^5`_s��qoCftJ*o.fOfvoqwHa.J#I�J*w5X8\_V�\la5w]^.ftJ*s}oqwHs�s]oqXto�oqftJMu#`ldrViXtJ#ftJ*s¬�o.wHsBo.[r^��5J�XtF]JZXOF]ftJ*VOF]^5`_s¬�¦\lX�\_V�u�^5wHVO\_sWJ*fOJ?sBo5Vªo[�� ��G��\^]_0Q�ªfOJ?oqftfto.w]a.J*I�J#wDX*�(E�F]J�oqdWXtF]^.fvVª^q�I7 Z�;pHdWXMo5Vgoqw�^.p(J#w�p]ft^.[H`lJ*I²Xt^�a.J#Xgft\_s�^.�¬XOF]\cVMoqfOXO\`>ru�\coq`rpHoqfvoqI�J�XtJ#f?�ba�w]^�\_w]a�F]^��Xt^�u�`_dHVYXOJ#fMa.J*w]J*Vs]d]fO\_w]aZXOFHJªJ#mWJ*u�d]XO\_^.w�^q�8oZftJ*o.fOfvoqw]a5J#I�J#wDX�oq`_a.^.ft\lXOF]I M^.d]`cs�[rJ�oZI�^.ftJªwro�XOdHfto.` �o2T�XO^�o.wHV MJ#fXtF]\cVkbDd]J*VYXO\_^.w��

E�F]\cV�VYXOdrsWT�I�o2T�[rJ�VOJ#J*w§o.Vko�VYXOJ*p XO^��oqfvs]Vo�w]J� �o2T�^q�1sWJ#XOJ*u�XO\_w]a�u#^.wHVOJ#ft�.J?s�VOJ#a5IZJ*wDXtV �o.w \lwDXOdH\¤Xt\l�5J�u�ft\¤XtJ#ft\l^5w \lwHs]\_u*o�XO\_w]a XtFHo�X}oBVYJ*a.I�J#wDX�\cV�u�^5wHVYJ*fO�5J*s£\_V�XOFHoqX�\lX�FHo.V�w]^qX�[(J#J*wOcÃXt^U^�d

»�» À�e/f�f�g�h

Page 7: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

{ ����� �����4���4�/�5��

ftJ*o.fOfvoqwHa.J*s�sWdHfO\_w]a J*�.^5`ldWXt\l^5w���©�J?oq`_\lw]a \¤XtFQu#^.wHVOJ#ft�.J?s VYJ*a.I�J#wDXtV�\_wHVY\csWJ£XOF]J¨ftJ*oqftfvoqw]a5J#I�J#wDXXtF]J#^5fOT�u�^.dH`_s�`lJ?o.s�XO^�[(J�XOXOJ#fks]J�XOJ?u0Xt\l^5w�pHfO\_wHu�\_p]`_J*Vo.wHs oq`_a.^.ft\lXOF]I�V*�

V¨J§sWJ*Vtu�ft\l[(J�XOF]J�dHVOdHoq`�I�^WsWJ#`M��^.f�sWJ?oq`_\lwHa \lXOF a.J#wHJ�^5ftsWJ*fZo.wHs�^5fO\_J#wDXvo�XO\_^.w \lw XOF]J w]J#mDXVOJ*u�XO\_^.w��rLÃw£RUJ?u0XO\_^.w7�H� MJ�ftJ*u*oq`_`!VY^5I�J�[Ho.VO\cu��¥o.u�XtVªoq[(^.dWXkXtF]J}VYXOftdHu�XOd]ftJ�^q�gu#^.wHVOJ#ft�.J?s VYJ*a.I�J#wDXtVVYXtoqXOJ?s�\_w[7 9!;,�]o5V «J*`l`!o5VoZpHo.s]s]\lw]a�^5prJ*ftoqXO\_^.w�s]J*Vtu�ft\l[(J*s�\_w 7 =�;�o.wHs�o.s]o.pWXOJ?s�F]J*fOJªXt^�u�^.wrVYJ*fO�5J*sVOJ#a5I�J#wDXtV*�]~8\lwHo.`l`_T.� MJ�a.\_�.J�^.dHfI�o.\lw�ftJ*VOd]`¤Xko.wHs oq`_a.^.ft\lXOF]I�\_w7RUJ*u�XO\_^.w {]�

� ��� �������������� �� ���������)% ������ '�� ���������

� ��� �����������������������ªJ*w]^.I�JMfOJ?oqftfto.w]a.J*IZJ*wDXtV!VOdHuvFZo.V�fOJ*�.J#fvVtoq`cV�I�o2T�uvFHoqwHa.J�XtF]J�^.fvsWJ#f8^q�HXOF]J�a.J*w]J*V�\_wZoCa.J*w]^.I�J.�

o.wHs�oq`cVY^ªXtF]J�sW\_fOJ?u0Xt\l^5wZ^.�rXtfto.wHVtu�ft\lpWXt\l^5w���V¨Jk\_s]J#wDXO\l��T�XtF]Jka5J#w]J?V \¤XtF�XOF]Jk\_wDXOJ*a.J#fvV! #"%$&$%$'"�(1� \lXOFo£p]`_dHV�^.f�I�\_wDdrVZVO\_a.w�Xt^ \lwHs]\_u*o�XOJ�XtF]J#\_f�^.ft\lJ*w5Xvo�Xt\l^5w��8E�FHJ�^5fts]J#f�oqwHs ^.ft\lJ*wDXto�Xt\l^5w�^q�ªa.J*w]^.I�\cuI�o.f �5J#fvV \l`_`M[rJ�fOJ*p]ftJ*VOJ#wDXOJ?s [DT�o ���-�b� ��0*)/����3,++2�! �5 !�B^.�.-/ #"%$&$%$'"�(10D��XOFro�X�\_V*��[UT�o7[H\ hiJ?u0XO\_�.J��dHwHu0Xt\l^5w32¨^��.J*f.465 ("7(98;:�-=<�0�VOdHuvF�XOFHoqX�2�>@?�AB5 2C?O� F]J*fOJD2C?EA�2GFIHKJ��

E�^§VY\_I�p]`l\l��TBJ#mWpr^DVY\lXO\_^.w�� MJ�o.sW^5pWX�XOF]J�dHVOdHoq`1J#mUXOJ#wrVY\_^.w F]\cuvF¨u#^.wHVO\_VYXtVª\_w¨o5s]sW\_w]aL2NM*AO<]�o.wHsP2@QSRUT,A�(3VW }XO^�XOF]J�p(J#ftI�dWXvo�Xt\l^5w��GV£JZXOFHJ#ftJ���^.ftJZ^q�½XOJ*w¨s]J�>Hw]J�o�VY\_a.wHJ*s7p(J#ftI�d]Xto�Xt\l^5wB[UTft\lXO\_w]aXFI<,29TY$&$%$ 2CQZ([V\ =J��HE�F]J8�50b��/�����D):���3,++2�! �5 !�LF]<L ^$%$&$!(*V� _JM\_VsWJ*w]^qXtJ*s�[UTa`;bH�

~H^.f�o.`l`cHPd�-=<�"%$&$%$'"�(10D��XOFHJ7pHoq\_fa2 ? 2 ? RET \cV�u*oq`_`lJ?s oe): !���/ª^q�.21�Mo.wHs�I�^.ftJ7p]ftJ*u#\_VOJ#`_T o.w�Q0Kf�Q�T�� ��M\¤�@2 ? V3 cAg2 ? RETMoqwHs}oB�� ���%hi): !���/W^.XOF]J*f \cVYJ5��E�F]J«wUd]I}[rJ*f�^q�rp(^.\_wDXtV8^q�(o�p(J#ftI�dWXvo�Xt\l^5w2¨\cVsWJ#w]^.XOJ?s�[UTkjEFl2�J��HoqwHs�XtF]J�wUd]I�[(J#f^.�8\lXtV�[]ftJ*o��Upr^5\lwDXtV�[UTZmSFl2�J0�

E�F]J�� ��<������ #^.�UXOF]JM\lwDXtJ#ft�2o.`C4 Hi"on#8�pW4q #"7(98 (IHsrtn�*�\_V�XOF]J�VO\la5w]J*s�p(J#ftI�dWXvo�Xt\l^5w.u ?Iv w A�FI<x$%$&$UH&5 35snO$&$%$y5zH{nkVW W$&$%$|(LVW =J���¯k^qXtJZXOFHoqXD2e}~u ?Iv w \cVªXOFHJ�prJ*fOI}dWXtoqXO\_^.wB^5[WXto.\lwHJ*sB��fO^5I�2 [UTftJ#�5J#fvVY\_w]a�XOF]J�^5ftsWJ*foqwHsZ�H\_p]p]\_w]aZXOF]J�VO\_a.wHV�^.��XtF]J�J#`_J#I�J#wDXvV�\lw�XOFHJ�\lwDXOJ*fO��o.`G4 Hi"on#8��

2L}'u ?lv w ABFI2 M $&$%$ 2 ?I> T�5�2 w $&$%$,5�2 ? 2 w RUTY$&$&$ 2@QSRUT&JL �Nu�T_"%$&$%$&"�u���\cV�oªVOJ*bDd]J#wru�J�^.�HfOJ*�.J*ftVtoq`cV#��«JMVOo2TCXOFHoqX8\lX �� !��5��o�prJ*fOI}dWXtoqXO\_^.wk2�\l�N2!}6u�T1}%}&}�u��.A

`;br�2E�FHJg`_J#w]a.XOF�^.�Ho�VOF]^.fOXOJ?ViX�VYJ?bDd]J#wHu#J�^q�rfOJ*�.J#fvVtoq`cV¦XOFHoqX8VO^.fOXtVU2�\cV�u*oq`_`lJ?s�XOF]J � ��<������ /0!� ��E���G���!^.�21�5oqwHs}\_VgsWJ#w]^.XOJ?s�[UT�b@Fl2�J���� VOF]^.fOXOJ?ViX1VOJ*bDd]J#wru�J�^q�¦fOJ*�.J*ftVtoq`cV�VO^.fOXO\_w]aD2�\_V1u*oq`_`lJ?s}oc)/��������3& ��/�5 S+ �VOJ*bDd]J*wHu�J5�

� ��2�!3&���4r^.��o}prJ*fOI}dWXtoqXO\_^.wa2B\_V�oZVYJ#Xc-�� 29����"%$&$&$&"=� 2@�_��0D� \¤XtF� .r^�a�gmcr^(1�UE�FHJªwUd]I}[rJ*ftV29��oqwrs[2@�MoqftJXtF]J8�� 0i): !���/ ��^.f6�7�Q�� �3F����5���1^.�¬XOF]J�VYJ*a.I�J#wDX?�5E�«^ZVYJ*a.I�J#wDXtVMoqftJ�Vtoq\cs�XO^1 ������� ��)\l�8XOF]J*T�\_w5XtJ#fvVYJ?u0X[]dWXk^5w]J�\_Vkw]^qX�u#^.wDXto.\lw]J?s�\_w�XOF]J�^.XOF]J*f*��� ftJ#�5J#fvVOo.`Cu�?Iv wH�� ���%h���-�� 29����"%$&$&$%"=� 2@�=��0\l� 4 Hi"on#8!o.wHsx4 �@"�mi8�^��.J#ft`coqp�� �xVOJ*bDd]J#wru�J�^q��fOJ*�.J*ftVtoq`cV �� ���%h��oZVOJ#a5I�J#wDX�� \l�1o�Xk`_J*o.VYX^.w]J�ftJ#�5J#fvVOo.`^.�!XtF]J�VYJ?bDd]J#wHu#J�[]fOJ?o �WV ���

� �]� �������c�����1�!�.�s���{�Y�G�N�E�|�E�F]JM[]ftJ*o��Dp(^.\_wDX�a5fto.p]F�\cV8oCdHVOdHoq`DXt^D^5`.��^5f1sWJ*o.`l\_w]a \lXOF�VO\la5w]J*s�p(J#ftI�d]Xto�Xt\l^5wHV*�?L X�\cV�pHfOJ?VYJ*w5X�\_w

o.`lI�^DViXgJ*�.J*fOT�ViXtdHsWT�^.w�VO^.fOXO\_w]a�[UT�ftJ#�.J*ftVtoq`cV*��V£JCdHVYJC\¤XM\lwDXtJ#wHVO\l�5J#`_T�\lw�XtF]J�pHfO^U^q�¥Vg^q�!u#^.ftfOJ?u0XOwHJ*VtV^.��^5d]fI�J�XOFH^Us��

¹�º8»�¹½¼

Page 8: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

�������������� ��������������������������! "� z

E�F]JH�� ���%hi): !���/ �!�T��)������[Fl2�J�^.�8o}prJ*fOI}dWXtoqXO\_^.w32B\cVo�a5fto.p]F�\lXOF �5J#fOXOJ�m�VOJ�X�� sWJ�>rw]J*s o.V��^5`l`_^�kV �(��^5fCJ?o.uvF§\_w5XtJ#a5J#f|HM\_wt-; #"&$%$&$'"7(105�(`lJ#XcH > o.wHsXH R [(J�X�M^��5J#fOXO\cu�J*V�\lw��¬o.s]s Xt^��®XOF]JX�M^Z�.J#fOXO\cu�J?V!< R o.wHs�Fl( V� =J > �rNC[HVOJ#ft�.JCXOFHoqXo.`l`¬�5J#fOXOJ#m�`_o.[rJ*`_Vo.fOJªw]^.w�w]J*a5o�Xt\l�5JCwUd]I}[rJ*ftV*�U[]dWX��^5f«VO\lI�p]`_\cu�\lXiT�o.wHsZXO^Zo2�.^5\_sZFHo2�U\_w]a�XO^}dHVOJ�oq[HVO^.`_dWXtJk��oq`_d]J*V*��MJkI�o2TZ`_oqXOJ#fMftJ���J#fgXO^��5J#fOXOJ#mLF�5 HKJ R(¥^.fkF�5 HKJ > * �WXOFH\_V\cV�XtF]J�VOo.IZJ�o5V��.J#fOXOJ#maH R (IH > *0�

E�F]J�[]ftJ*o��Upr^5\lwDX�a.fvoqp]F£^q�Mo�VO\la5w]J*s£prJ*fOI}dWXtoqXO\_^.w£FHo.V�VO^.I�J�Xt\lI�J?VC[(J#J*w¨u*oq`_`lJ?s7XtF]JY0��5�P�!� �!3 R�D0b�������T�Y���G0[� ���� ^�����s]d]J�XO^£XOF]J J*s]a.J VYJ#X � ^q�����[Fl2�J���F]\cuvF \cV}XOF]J d]wH\l^5w ^q�CX�«^¨p(J#fO��J*u0XI�oqXtuvF]\_w]a5VM^.�����HsWJ#wH^qXOJ?s�[UT��Z�WXtF]J&� ���� -�� � ��0������o.wHs��7�WXOF]J 0Q������� �B��0����� �

� � u�^.wDXvoq\_wHVMXOF]J�J?sWa.J?V H R FIH9V\ =J > ��^5fkoq`_` Hsde-=<N"&$&$%$'"�(10�� � u#^.wDXto.\lwrVkoqw§J?sWa.J���^5f�oq`_`�H!dt-_<�"%$&$&$&"�(105�]��fO^5I�2 R? \l�G2 ? \cVkwH^.w§w]J*a5o�Xt\l�5J.�Ho.wHs���ft^.I 2 >?^qXtF]J#f�\_VOJ.�UXt^ 2 >? RUT \l�E2 ? RUT�\_V�w]^5w w]J#aDo�XO\_�.J5�WoqwHs�XO^ 2 R? RUT ^qXOFHJ#f�\_VOJ.�

nJ?oq`_\¤XiT�J?sWa.J?V�s]J�>Hw]JMXtF]J«p(J#ftI�d]Xto�Xt\l^5w2O( FHo�X1T5^.d�FHo2�5J *��?o.wHs�sWJ?VY\_ftJ«J?sWa.J?V�sWJ>Hw]J!`/b&( FHo�XT5^.d Mo.wDX«Xt^�FHo2�.J<*0�

E�^�o2�.^.\cs�u*o.VOJ�uvF]J*u �U\_w]aH�U\_w�XtF]J�w]^.Xto�Xt\l^5w�^.��o.w�J?sWa.J5�UXOF]J�I�J#wDXt\l^5w�^.��XtF]J�J�mWpr^5w]J#wDX|Vx^.fD5I�o2T§[(J�^.I�\¤XOXOJ?s¬��~]^5fª\_wHVYXto.wHu�J5�@2 ? 2 ? RET�\cV�o�fOJ?oq`_\¤XiT§J?sWa.J5�(\_wHsW\cu#oqXO\_w]a�w]^qXtF]\lwHa�o5Vªu#^.wHu#J#ftwHVCXOF]JVO\_a.wHV�^.�U2 ? oqwHsZ2 ? RUTq�

L Xª\_V�J*o.VOT�Xt^�uvF]J?u ��XOFro�X�J*�.J#ftT��5J#fOXOJ#m�^q�����[Fl2�JFro.V�s]J#a.ftJ#J�X�M^Y(�\lXCFro.V^5w]J�\_wHu�\csWJ#wDX�J?sWa.J\_w�� oqwHsB^.w]JZ\lw�� *0��VO^�XOF]J�[]ftJ*o��Dp(^.\_wDXCa5fto.p]F7\cV�o�VOJ�X�^q�«s]\_V¥hi^.\_wDX�u#TWu�`_J*V*�(KMT§XtF]JZu#TWu�`_J*Vª^q�«op(J#ftI�d]Xto�Xt\l^5w[21��MJkI�J*o.w�XOFHJCu�TWu#`lJ?V�^q�����[Fl2�J0�WE�F]JCwUd]I�[(J#f«^q�!u�TWu#`lJ?V�^q��2§\cVgs]J#w]^.XOJ*s�[DT��SFI2�J0�

0 7 7 3 3 1 1 4 4 2 2 8 8 6 6 5 5 9+ + + + + ++ + +− − − − − − − − −

r

d

r’

d’

0 −7 3 −1 4 2 8 −6 −5 9��� ��!M� � E�FHJ�[]fOJ?o �Up(^.\_w5X�a.fvoqpHF£^.�«XtF]J�prJ*fOI}dWXtoqXO\_^.wgFI< 5#"%$ 5 '&)(+* 5-,�5/.+0;J0�nkJ*oq`_\lXiT�J*sWa5J*Vo.fOJªfOJ*p]ftJ*VOJ#wDXOJ?s�\_w�[(^.`cs¬�Ho.wHs sWJ*VO\_fOJªJ*sWa5J*Vo.fOJ�ftJ#p]ftJ*VOJ#wDXOJ?s�[UT�XtF]\lw§`_\_w]J*V*�

� �21 3��s���;���54{�76 �;���98O���{���:!J�X!27[rJ�o�VO\_a.w]J?s�prJ*fOI}dWXtoqXO\_^.w�^.�G-/ /"&$%$&$'"7(105�5o.wHsZ�tA�-�� 2 � �6"&$&$%$&"_� 2 � ��0ªo}VYJ*a.I�J#wDXM^q��21�D��^.f

4 �@"�m�8�p�4q #"�(98 ��:�J#X�; A<�=?> ?A@5B �=v �AC � 2 ? �UoqwHsED AF< GIH ? @5B �=v �AC � 2 ? �¤�E�F]J�VOJ#a5I�J#wDXc� \_VkVtoq\cs�XO^�[(J ����5��/E��0�\¤�8XOFHJ#ftJ�J�mW\_VYX�Hi"on*dz4 �@"�mi8,�HVOdHuvF�XOFHoqX�2 ? oqwHs32 w FHo2�5J

s]\-,¦J#ftJ#wDXkVY\_a.wrV#�]o.wHs�++� ����5��/E��0C^qXOFHJ#f�\_VOJ.�

»�» À�e/f�f�g�h

Page 9: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Z ����� �����4���4�/�5��

E�F]J«VYJ*a.I�J#wDXE��\cV!Vtoq\csªXO^[(J�� ���E��0�\¤�U��^5f�oq`_`SH{dx4 �@"�mS5k '8 �0XOFHJ�pr^5\lwDX�2 ? 2 ? RET�\cV!oqw�o5s2hYo.u#J#wHu#T.� �VO^.fOXOJ?s�VYJ*a.I�J#wDX�\cV�oq` Mo2TWV�d]wH^.ft\lJ*w5XtJ*s¬�.L Xg\_V«VY^5fYXtJ*s)/ <���� ����� ^�k\l�92 ��� <�oqwrs1� �2�Q�! ����� ^�\¤� 2 � � <]�LÃwL2PABF]<B5 " $ 5^ & ( * 5 ,�5 . 0;J0�9- ,N" .�0ª\cVVY^5fYXtJ*s�w]J#aDo�Xt\l�5J#`_T.�

E�F]J�VOJ#a.I�J*w5X!� \_VMVtoq\cs�XO^}[rJ&�� ��:�����<��0�\¤� D 5 ;�A mE5L�(�5LÃw*2XA�FI<\5 " $�5x F& ( *g5,�5 . 0/J�� - $N"& #" &N" (�0�\cVku�^5wHVOJ#ft�.J*s��

E�F]JCVYJ*a.I�J#wDX{�¨\cV�VOo.\_sZXt^�[rJ�� �� ! `��E��0\l��\¤X«\_V�u#^.wHVOJ#ft�.J?s¬�qoqwrs�J#\lXOF]J*fs2@�DAF; oqwHs 29�{A D �.^.f29�|AB5 DSoqwrs*2@� A 5 ;¨� V£JªftJ*bDd]\_fOJC\lw o.s]s]\¤Xt\l^5w�XOFro�XMXOF]J >HfvViXoqwrs�`co.VYXMp(^.\_wDXM^.��XOF]J�VOJ#a5IZJ*wDXo.fOJª[]ftJ*o��Dp(^.\_wDXtV*�]oqwHs�w]^.Xo5s2hYo.u#J#wHu#\lJ?V#�WLÃwL2PABF]<B5 " 5�& ( 5�$ 5 *�5�,�5 . 0/J��WXOF]JVOJ#a5I�J#wDXD- &N" (�" $�"& #0�\cV\_VO^.`co�XtJ*s¬�

E�F]J�VOJ#a.I�J*w5Xk� \cV�VOo.\_s§XO^�[rJ��� �T ����b ^�D�� ��:�����<��0�\¤�«XOF]J*fOJZJ�mW\cViXvV�o�pHo.ftVO\lI�^5w]\l^5dHVªVYJ?b5dHJ#wHu#J^.��ftJ#�5J#fvVOo.`_V F]\cuvF s]^DJ?V�w]^qXk[HfOJ?o �a���

�&ViXtfO^5w]a.`_T}u#^.wHVOJ#ft�.J?s�VYJ*a.I�J#wDXg\cVMu�^.wrVYJ*fO�5J*s¬�5[]dWXgXtF]J�u�^.wU�5J#fvVYJ\cVgwH^qXgXtfOdHJ.�U~]^.f«J�m]oqI�p]`_J.�D\_wF]<�5 ( 5 $� &;J�� - (�" $�0ª\_V�u�^.wrVYJ*fO�5J*s�[]d]XCoqwUT�pHo.ftVO\lI�^5w]\l^5dHV�VOu#J#wHo.fO\_^Z[]fOJ?o �WVM\¤X?�

��w \cVY^5`_oqXOJ?s�VYJ*a.I�J#wDX�\_V}w]^.X�o.` �o2TWV}VYXOft^.w]a5`lT u�^5wHVOJ#ft�.J*s��8j�^�«J*�.J#f?��XtF]J�prJ*fOI}dWXtoqXO\_^.wHV���^.fFH\_uvF�XtF]\_Vg\_V�w]^qX�XtF]J�u*o.VOJkoqftJfto.fOJko.wHsZ\lftfOJ*`lJ*��oqwDX1��^.f�^5d]fgVYXOdHs]T.�5o5V�MJkVYFroq`_`HVYJ*Jk\_w�RUJ*u�XO\_^.w��W� {]�

�u*u�^.fvsW\_w]a§Xt^ 7Æ� ; � MJ�Vto2T£XOFHoqX�o£VY^5fYXt\lw]a¨VYJ?bDd]J#wHu#J�^q�CfOJ*�.J#fvVtoq`cV�\_Vk)/���������M\l��\lXZ[HfOJ?o �WV�w]^u#^.wHVOJ#ft�.J?s�VOJ#a5IZJ*wDX*�qL �¬o�prJ*fOI}dWXtoqXO\_^.w�FHo5V�oªprJ*fY��J?u0XgpHo.ftVO\_IZ^5w]\_^.dHV�Vtu�J#wroqft\l^r�2XOF]J*w�o.`l`H\¤XvVgu�^5wHVOJ#fO��5J*s�VOJ#a5I�J#wDXtV�oqftJ�VYXOft^.wHa.`_T¨u#^.wHVOJ#ft�.J?s¬�8E�FHJ�u#^.wU�.J*ftVOJ�\cV}FH^�«J*�.J#f�w]^qXZXOftd]J ����^.fZJ�m]oqI�p]`_J.��\_wF]< 5 $'& 5g ( .#J0�([(^qXOFY-/ /" (�0�o.wHsx- $�" &N0�oqftJ�VYXOft^.w]a5`lT u�^5wHVYJ*fO�5J*s¬�r[]dWX�oqwUT pHoqfvVY\_I�^.w]\_^.drVVOJ*bDd]J*wHu�J�^.��ftJ#�.J*ftVtoq`cV«[]fOJ?o �WV�^.wHJª^.�!XtF]J#I �

e�J#fO��J*u�X�VO^.fOXO\_w]a¨VYJ?b5dHJ#wHu#J*V�^.��I�\lwH\lI}d]I VY\��#J�FHo2�5J�[rJ*J#w ViXtdHsW\_J*s \lw 7^U ; ��L XZ\cVZp]ft^��.J*s¨XtFHo�Xa5\l�5J#w�o�p(J#ftI�d]Xto�Xt\l^5w�oqwHs�o�VYd][rVYJ#X�� ^.�¦\lXtVMu�^5wHVOJ#ft�.J*sZVOJ#a.I�J*w5XvV#�5\¤XM\_V«¯ke1� FHo.fts�Xt^�u�^5I�p]dWXOJ�XOF]JI�\_w]\_I�d]I Vtu�J*wHoqft\_^�XtFHo�XksW^UJ*V�wH^qX[]ftJ*o ��XtF]J�VYJ*a.I�J#wDXvV«^.�����rE�F]J�p]fO^5[]`_J#I®^.� >HwHs]\lw]a�oZp(J#fO��J*u0XVOJ*bDd]J*wHu�J�^q��ftJ#�.J*ftVtoq`cV�^q��I�\_w]\_I�d]I�`_J#w]a.XOF�\cVMViXt\l`_`r^5prJ*w��5XO^�^5d]f �Uw]^�`_J*s]a.J.�5LÃwY7^U ; �.XtF]Jk��^5`l`_^�\lwHaJ?o.VOT�[]dWXk��dHwHs]oqI�J*w5Xvoq`¬`_J#I�I�o�\_V�pHfOJ?VYJ*w5XtJ*s¬�

� �U��� �� C��8� ����&+/���G���& � �T����������! "��� ��� �B�k)/����3,++2�! �5 !� ��� 0D0Q P�����G �I�� ���%h1� ����b3&���4s� � �:��Y �:�� �B�7�Q� ��5���&�� !�� ��� �&���&+/���G�T�F � ��!38� �����P����� �� �1 �:� ���!38��� ��<������ "����������� � �5� � �! � �:��T����������! "���T !�/E�����G�T0H���3���2 �:��8� ���E���H�!� �B�T� �� ��T�F�! � L � �:�� � ���������� ^���2 �:��8� ���) ~++ ���50Q�c�����

E�F]J§proqfvVY\_I�^.w]\_^.dHV�Vtu�J*wHoqft\l^ VOdHuvF XOFHoqX�XOF]J7VOI�oq`_`lJ?ViX�p(^5VtVY\_[]`_J§wDdHI�[(J#f�^q��ftJ#�.J*ftVtoq`cV}[]fOJ?o �VO^.I�J�u�^5wHVOJ#ft�.J*s�VYJ*a.I�J#wDXtV�\cV�J#�5^��5J*s�\_w[7 �<;,�][HdWXkw]^qXkVO^.`_�.J?s¬�]E�F]J�oqdWXtF]^.fvV�ViXtdHsWT�oZVOp(J*u�\coq`�u#`_o5VOV^.�1prJ*fOI}dWXtoqXO\_^.wHV���^5f F]\cuvF XOF]J*fOJ�J#mW\_VYXtVCo�prJ*fY��J?u0XCproqfvVY\_I�^.w]\_^.dHVVtu�J*wHoqft\_^H�]oqwrs�XtF]J}bDd]J?ViXt\l^5w \_Vo5V �5J*s�F]J�XtF]J#f\lX\_V�p(^5VtVY\_[]`_JªXO^�sWJ*u#\_s]Jª\_w pr^5`lTUw]^5I�\_o.`rXt\lI�J5�]a.\_�.J*w�oZprJ*fOI}dWXtoqXO\_^.w��W\l�!XtF]J#ftJ�\_Vop(J#fO��J*u�XgpHo.ftVO\lI�^5w]\l^5dHV1Vtu�J#wroqft\l^CXOFHoqX«VO^.fOXtV1\lX*�5LÃw�RUJ*u�XO\_^.w�{H��«Ja5\l�5J�XOF]\cV�oq`_a.^5fO\lXOFHI��5K«J#��^.ftJ�XOFHoqX*�MJ�ViXt\l`_`�w]J*J*s�VY^5I�JªpHfOJ*`l\_I�\lwHo.fO\_J*V*�

� ��� �!�G����������� �! g� 4{���N�;����E�F]J�I�oq\_w�ftJ*VOd]`lX�o.[r^5dWXkVY^5fYXt\lwHa�[UT�fOJ*�.J*ftVtoq`cV�\cV�o�XtF]J#^5fOJ*I�^q�8jCoqw]wHJ#w]FHo.`l`_\¬oqwHs�e�J#�"�#w]J*f 7 =!;,�

FH\_uvF�TU\_J#`csWJ*s£XOFHJH>HfvViX�p(^.`_TUw]^.I�\coq`go.`la5^.ft\¤XtF]I Xt^D>HwHs�o proqfvVY\_I�^.w]\_^.dHV�VOJ*bDd]J*wHu�J�^q�fOJ*�.J*ftVtoq`cVVO^.fOXO\_w]a�oqwUT�VO\la5w]J*s�p(J#ftI�dWXvo�XO\_^.w!�

¹�º8»�¹½¼

Page 10: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

�������������� ��������������������������! "� U

V¨J�IZJ*wDXO\_^.wBFHJ#ftJZo�«J?o �.J*fC�5J#fvVY\_^.w§^.��XOFH\_VªXtF]J#^5fOJ*I��rXO^ o2�.^5\_s7\lwDXOft^WsWdHu#\lw]a�w]^qXt\l^5wHV F]\cuvFo.fOJ�dHVYJ*`lJ?VOV���^.fª^.dHf�p]d]ftp(^5VOJ.��NCw]J�^.��XOF]J�u�^5wHVOJ*bDd]J#wru�J*V�^q�1XtF]J}a5J#w]J*fto.`!�5J#fvVY\_^.w§^.�gj�oqwHw]J#w]Froq`_`l\o.wHs e�J#�"�#J*f*� V�XtF]J#^5fOJ*I \cV�XtFHo�XZ\¤X}\_V}pr^DVOVO\_[]`lJ�XO^BuvFHo.fto5u0XtJ#ft\_VOJZXOF]J�prJ*fOI}dWXtoqXO\_^.wHV���^.f�FH\_uvF�o.`l`proqfvVY\_I�^.w]\_^.dHV�VOJ*bDd]J*wHu�J?V�^q�1fOJ*�.J*ftVtoq`cVgFro2�.JªXO^�[]ftJ*o���VO^.I�J�\_VO^.`co�XtJ*s�VYJ*a.I�J#wDX?���u#u#^.fvsW\lwHa}Xt^�XOF]JVYXto.wHs]o.fts��.^Wu#o.[]d]`coqftT.�5XOF]J*T�oqftJCXOF]J�p(J#ftI�dWXvo�Xt\l^5wHV«XOFHoqXkw]J#J?s�o6cYFDdHftsW`_J�I�J#fta.\_w]a�d0�WE�F]J#T�u*oqw�[rJuvFroqfvo.u0XtJ#ft\_VOJ*s�\lw�XOFH\_V �o2T.�� �U��� ���������?K^)/����3,++E����5 �� �:�<� ����� �� ! `��E��0����2�b38��/ � � �5� � � ��� !L���� !���b ^�F�� ��/��������T0F� �I�!� 0 !�/ ^�B� ���� �:�<�6�� `������� �+� ���|++� ����5��/E��0F� �� ! `��E��0B� !� � !��2��0F��2�!3&���45��" �a"� � � +/� � �:������ �:��� ����� �_ ���� �� ���G0������A�� �

V¨J}u*oq`_`!VYdruvF§prJ*fOI}dWXtoqXO\_^.wHVA�� � ^�v�¬RUdHuvF§p(J#ftI�d]Xto�Xt\l^5wHV \_`_`!^.[U�U\_^.dHVO`lT�w]J#�5J#fkFHo2�5J�o�p(J#fO��J*u0XproqfvVY\_I�^.w]\_^.dHV�VOu#J#wHo.fO\_^H�:V¨J�XtF]J#ftJ���^5fOJ}ViXvoqfOXC[UT�o5VOVOd]I�\_w]a�XOFro�X�XtF]JZprJ*fOI}dWXtoqXO\_^.wHV «J�XtfOJ?o�X�oqftJwH^qX���^U^.`cV*�5L Xg\cV«J*o.VOT}XO^�sWJ?u�\csWJ�\_w�`_\lw]J?oqfgXO\_IZJC\¤�!o�prJ*fOI}dWXtoqXO\_^.w�\cVgo���^U^5`r^5f�w]^qX (¥VOJ#J��^5fgJ#mWo.I�p]`lJ7 {�;�*0�:V¨J�sWJ*w]^qXtJ�[DT��EFI2�J«XOF]J�wUd]I}[rJ*f^q��d]w]^.ft\_J#wDXOJ?s�\cVY^5`_oqXOJ?s�VOJ#a5IZJ*wDXtVM\lw§oZp(J#ftI�dWXvo�XO\_^.w321���� �U± � �U� ��������� �E2 �T�F�D)/���3�++E����5 �� �&++��G �)���� � ��c� �/���3bCFI2�J{AtjUFl2�J5��SFI2�JUV��EFI2�J �

E�F]\cV�I�J*o.wHV�XOFHoqX1o.wUT�fOJ*�.J#fvVtoq`.\_w�o�pHo.ftVO\_IZ^5w]\_^.dHV8VOu#J#wHo.fO\_^�\_wHu#fOJ?o.VOJ*V!XOF]J�wUd]I�[(J#f�^.�(u�TWu#`lJ?V�^.�XtF]J�prJ*fOI}dWXtoqXO\_^.w�(�jUFI2�JsAg(!V3 Ms]^DJ?V�w]^qX1uvFHo.w]a.JMo��½XOJ*f�o�ftJ#�5J#fvVOo.` *��#J#mWu#J#pWX1^5w]J (�XOF]J >HfvVYX8^5w]J *���^.fJ?o.uvF�dHw]^.ft\lJ*wDXOJ*s�\_VO^.`co�XtJ*s�VYJ*a.I�J#wDX*�D�go5uvF�\cVY^5`_oqXOJ*s�VYJ*a.I�J#wDX�\_V�VO^.fOXOJ?s�VOJ#pHo.ftoqXOJ#`_T1(�[UT�sWJ>Hw]\lXO\_^.w��XtF]J#T}sW^�w]^qX1^��.J*fO`coqp *0��oqwHs}\_wHsWJ#p(J#wrsWJ#wDXO`_T���ft^.I·XOF]J�ftJ*VYX�^.�HXtF]JprJ*fOI}dWXtoqXO\_^.w���L �¦\lX�\cV1d]wH^.ft\lJ*w5XtJ*s¬�o.wUT}ftJ#�5J#fvVOo.` F]\_uvF�sW^UJ*V�wH^qX«[HfOJ?o ��u�^.wrVYJ*fO�5J*s�VYJ*a.I�J#wDXvV#�DoqwHs�sW^UJ?Vgw]^.XMsWJ?u�ftJ*o5VYJ��SFI2�J�\cVgo�a.^U^Wsu*oqwHs]\_s]oqXOJª��^.fkoZp(J#fO��J*u�XkpHoqfvVY\_I�^.w]\_^.drVMVtu�J*wHoqft\_^H� ��½XtJ#fk\lXtVko.p]p]`_\_u*o�Xt\l^5w��UXOF]J�\cVO^.`co�XOJ?s�VOJ#a5I�J#wDX\_V^5fO\_J#wDXtJ*s¬�WL X�\cV�XtF]J#ftJ���^5fOJ�J*w]^.d]a5F�XO^�sWJ?VY\_a.w ^.dHfkoq`_a.^.ft\lXOF]I ��^.f^.ft\_J#wDXOJ?s�\cVO^.`co�XOJ?s VYJ*a.I�J#wDXtV*�]oqwrsXt^ZXOftT�J#�5J#ftT�pr^DVOVO\_[]\l`_\lXiT�o�X�XOFHJ >HftVYX�VYXOJ#p���^.fdHw]^.ft\lJ*wDXOJ*s�^.wHJ*V*�

� � � � ��!� '��g '��8�������M�����!���8���)% �!��������8�

�CV�I�J#wDXO\_^.w]J?s¨\lw¨XOFHJ�p]fOJ*�U\l^5dHV�VYJ?u0Xt\l^5w��¦X�«^§\cVO^.`co�XOJ?s£VOJ#a5I�J#wDXtV�u*oqw]w]^.X�^��.J#ft`coqp��¬oqwrs£VO^§\¤X\cVªJ*o5VYT�XO^ \csWJ#wDXt\¤��TBo.wB\_wHu�`_dHVO\l^5wW� \_VOJ�I�\_w]\lI�o.`1^.w]J5�¦o.wHs§XtF]J#w£XOftJ*oqXª\lX�VYJ*pHoqfvo�XtJ#`_T.�¦E�F]\_V�\cVªw]^qX\_I�I�J*sW\co�XtJ#`_T�XOFHJku#o.VOJM\lw�a.J*w]J#fvoq`U��^5f�u�^5wHVYJ*fO�5J*s}VYJ*a.I�J#wDXtV*�qjk^�MJ#�5J#f?�?o�wH\_u#J�VYXOftdHu�XOd]ftJkViXtdHsW\_J*sZ\_w7 9<;1oqwHs§o.w§^.p(J#fvo�Xt\l^5w�^5w prJ*fOI}dWXtoqXO\_^.wHV�>HftVYXCsWJ?VOu#fO\_[(J*s \_w 7 =!;�\_`l`�oq`_`l^�QXO^�u�^.wrVY\csWJ#fCu�^.wrVYJ*fO�5J*sVOJ#a5I�J#wDXtV8\_w}XtF]JkVtoqI�J �o2T�o.V�\cVO^.`co�XOJ?s}VOJ#a5I�J#wDXtV*�?XOFHoqX�\_V*�2XO^�\csWJ#wDXO\l��T}o.w}\_wHu#`ldHVO\_^.wW� \_VOJ�I�\lw]\_I�oq`u#^.wHVOJ#ft�.J?s VYJ*a.I�J#wDX*�+cY\_VO^.`co�XtJ�d�\¤X?�¦o.wHs7VO^.fOX�\lX�o.pHoqfOXk��ft^.I XOF]J}fOJ?ViXª^q�1XtF]J�p(J#ftI�dWXvo�Xt\l^5w F]J#w£\¤X\cV�p(^5VtVY\_[]`_J.�

1 ��� � ����� 8O�1�! 9�s���;����4s�76 �;���98O���{���V¨JCftJ*u*oq`_`][Ho5VY\cu�¥o5u0XtV«oq[(^.dWX«XOF]JªViXtfOdru0XOdHfOJªsWJ*Vtu�ft\l[(J*s�\_wY7 9�;(XOFHoqXMo.fOJkdrVYJ#��d]`H��^5fg^5d]f«pHd]fOp(^5VOJ.�

E�FHJ�>rftVYXk^.w]J�\_I�IZJ?sW\co�XOJ*`lT���^.`_`l^�kV«��ft^.I�XtF]J�sWJ>Hw]\lXO\_^.w ^q�1o�u�^.wrVYJ*fO�5J*s�VOJ#a5I�J#wDX*�� �U��� �#" C�� �� �� !�:���������0 ��2�!3&���45�$ ���G0 � ���/E��������� �G �/���%&�9� �!� 0'&(9� ���T���� ��:�����<��0��2�b38��/ � �

»�» À�e/f�f�g�h

Page 11: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

= ����� �����4���4�/�5��

��u#^.wHVOJ#ft�.J?sCVOJ#a5I�J#wDX¬\_V�u#oq`_`_J*sB����� ��0~+/��5�� �¬\l�U\lX!\cV¬w]^.X�XOF]J1dHw]\l^5w�^q�DX�«^^��5J#ft`_o.p]p]\_w]a�u�^.wrVYJ*fO�5J*sVOJ#a5I�J#wDXtV*� � � �:�����§\cV�o�VOJ*bDd]J*wHu�J}^q�g\_ftfOJ?sWdHu�\_[]`_JZVOJ#a5I�J#wDXtVD��T_"%$&$%$&"����D�¦VOdHuvFBXOFHoqXk� ? o.wHse� ? RUT^��5J#ft`_o.p���^5f«o.`l`CHt�DE�F]JkJ*`lJ*IZJ*wDXtV«^q��o�I�o�mW\_I�o.`ruvFHo.\lwZ��^5fOI o�u�^5wHVOJ#ft�.J*s�VOJ#a5IZJ*wDX*��FH\_uvF�\cVgu*oq`_`lJ?so ���<���5��VOJ#a.I�J*w5X?�1E�F]J���^5`l`_^�\_w]aB`_J#I�I�o7��^5`l`_^�kV}��fO^5I XOF]J VYXOftdHu0Xtd]fOJ�^q�C\lftfOJ?sWdHu#\l[]`_J VYJ*a.I�J#wDXtVVYXOdrsW\lJ?s�\lw[7 9<;,�� �U��� ����� �:� ����3B�� ^�F ���������5����2�!3&���45�) ���{)/���3�++E����5 ��H� �?� ����2��0 �G��� �/�?����/��) �:�� �� ��T�!\���5� ��2�b38��/ �?�!� ��0�� � f !���/L !�� �� �)� �?�� ��42�!��� ��0 ���& �:�� ! �/��� �� �:�����/E�����������5 �� R� �� 6 !�<��� `��)/) ��� ������T�T0S+/���5� `����2�!3&���45� � ������ �:����8����� �! `�E �� �? ��6� ��� ���<���5����2�!3&���4��

E�F]JZw]J?ViXtJ*s¨ViXtfOdHu�XOd]ftJ�^.�g[Ho5VY\cu}VOJ#a5I�J#wDXtVªoq`_`l^�kV�XO^ u�^5wHVO\_sWJ*fC\_wHu#`ldHVO\_^.wW� \_VOJ�I�\_w]\_I�o.`1[Ho.VO\cuVOJ#a5I�J#wDXtV (�w]^.X}u�^5w5Xvoq\_w]\_w]aBoqwUT¨^qXtF]J#f}[Ho.VO\_u�VYJ*a.I�J#wDX�*���E�F]J�pHoqfOXO\cu�dH`_o.f�p]ft^.p(J#fOXO\_J*V�^.�kI�\lw]\_I�oq`[ro.VO\_u�VOJ#a.I�J*w5XvV«��^.`_`l^� ��fO^5I�XOF]J�pHfOJ*�D\_^.drV�`lJ*IZI�oH�� �U��� ��� C��k��A�-�� 2 � �6"&$%$&$%"=� 2 � ��0 � �&�!�W��� � �+ ���5 ��4\ � � �� 3B���/��3&�� �T�����5�&��2�!3&��/ �� �/��� ��� �:��� � ������� ��0~+/��5� `� �����G0H�G ��G�& � �� �!) �T �)/���F� +/����5�6� �B�� ��/���������0��? !�B��<����.)G� �)/���� +/�����) �c� � ��� !�:���������0�� �!� 0Z� 29����"%$&$&$%"=� 2@�_��� �F�!�Y��� �� ���<����� �� !��0b���� ���<�������H�� &+/�� ��� �¯�^�·XOFro�X «J�FHo2�5J}sWfvo w7XtF]J�pr^DVOVO\l[H\l`_\¤XiT Xt^ \_sWJ*wDXO\l��TBo�IZ\_w]\_I�oq`1u�^5wHVYJ*fO�5J*s7VOJ#a5I�J#wDX \lXOF

proqfOXO\cu�d]`coqf�p]ft^.p(J#fOXO\_J*V*� «J�o.fOJªa.^5\lw]aZXt^}XtfOT�XO^�cY\_VO^.`co�XtJ�dC\lX*�

1 �]� �L��6 6c����� � �.��� 8������E�����{�LiVO^.`co�Xt\lw]a�o�u�^.wrVYJ*fO�5J*sZVYJ*a.I�J#wDXg\cVgsW^5w]Jk[UT�oqw�^.p(J#fvo�Xt\l^5w�u#oq`_`_J*s):�Q0b0!������XOFHoqX«\cVgsWJ?VOu#fO\_[(J*s�\_w

7 =<; �UL XMu�^5wHVO\_VYXtVg\lw�Xtfto.wHVY��^.ftIZ\_w]a�o�prJ*fOI}dWXtoqXO\_^.w�\_wDXO^}o�VY\_I�p]`lJ*f«^5w]J.��\lXOF�J?b5dH\l��oq`_J#wDXMp]fO^5prJ*fYXt\lJ?V#�V¨J�VOF]^�²XtFHo�X�\lX}u*oqw [rJ�dHVYJ?s£XO^7sWJ?oq`�\lXOF�u#^.wHVOJ#ft�.J?sBVOJ#a.I�J*w5XvV�o.V MJ#`_`,�!E!^§[(J#a5\lw \lXOF!� «J�oqwDX«XO^�[(J�oq[]`_JkXt^Zo5s]s�J#`_J#I�J*w5XvV�Xt^Zo�prJ*fOI}dWXtoqXO\_^.w \lXOFH^.dWXuvFHoqwHa.\_w]a�XOFHJCJ#mU\cVYXO\_w]a�\_wHsW\cu�J?V#�UE!^s]^7VY^r� «J�s]J*oq` \¤XtFDcYa.J*w]J#fvoq`_\cVYJ?s�dZVO\la5w]J*s¨p(J#ftI�dWXvo�XO\_^.wrV�\lw XtF]J�VOJ#wHVOJ�XOFHoqX�XOFHJ�prJ*fOI}dWXtoqXO\_^.wHV\_`_`1[rJ�[]\ hiJ*u�XO\_�.J}��d]wHu0Xt\l^5wHVª��ft^.I o VYJ#Xª^.�«\_wHsW\cu�J?V�Xt^§o�VOJ�X�^q�«�2o.`ldHJ*V*�([(^qXtF£[(J#\_w]a ^.fvsWJ*fOJ?s7VYJ#XtV^.�kfOJ?oq`cV�\_wHVYXOJ*o5s�^q�C\lwDXOJ*a.J*f�wUd]I�[(J#fvV*�8~H^.fZJ�m]oqI�p]`_J.�!FI< $�$ . 5/$ )( &;J�\_V�o7a5J#w]J*fto.`l\cVOJ*sp(J#ftI�d]Xto�Xt\l^5w�� F]J*fOJD2NMDA�<]�N2NM�� �AF$N$ .]�;2 T AB5�$]��2�cAB .��2 �cAF(]��2��|AF&H�

� )/�b0Q0�������^q��oZprJ*fOI}dWXtoqXO\_^.wL2¨u#^.wHVO\cViXvV«\_w§o.s]s]\lw]a�o.w�\_wHsWJ#m���VYdruvF�XtFHo�X�H{���Z�^H V� 5�U��^.fVO^.I�JkJ#mW\_VYXO\_w]a�\_wHsWJ#m Hv�DoqwHs�\lXtV«\_I�o.a.JXtF]ft^.d]a5F[21�DVOdHuvF�XOFro�X1n*��� 2 � ���xn{Vt 5�q��^.fMVY^5I�JkJ�mW\cViXt\lw]a��o.`ld]J.n (l2 � I�o2T [rJZp(^5VO\¤Xt\l�5J}^5fCw]J*a5oqXO\_�.J *��(~H^.fªJ�m]oqI�p]`_J.�¦\l�s2YA F]< 5 $ ('&;J�\_V�o�VO\_a.w]J?sp(J#ftI�d]Xto�Xt\l^5w ^��.J#f|-_<�"& /" (�" $�" &�0D�#2�� A�F]< $N$ .�5 $ ( &;J0�H\_Vko�pro.s]sW\_w]a�^.�E2 \lXOFX<[���3� o.wHs $[��� 2@���N�&H�HE�F]J�fOJ?VYd]`lXO\_w]a�a5J#w]J*fto.`l\cVYJ?s�p(J#ftI�d]Xto�Xt\l^5wL2 � FHo5V�XOFHJ�VOo.I�J�[]fOJ?o �Up(^.\_w5Xa5fto.p]Fo5VD21��J�m]u#J#pWX�XtFHo�X�XtF]J�X�«^ J?sWa.J?V��LAO2 ? 2 ? RUT�oqwHsxb�ABn@F nVW =J�o.fOJ�w]^� J*o5uvF¨VOp]`_\¤X�\_wDXO^ X�M^J?sWa.J?V��_T~"�� oqwHs3b�T~"7b � ��w J�m]oqI�p]`_J�^q�8pHo.s]s]\lw]a�\cVkVOF]^�w�\_w ~�\_a.dHfOJ��W�

�xpro.s]sW\_w]a�\cVkVtoq\cs�XO^�[(JH�� ���k\¤�1XtF]J�ftJ*VOd]`lXO\_w]a�prJ*fOI}dWXtoqXO\_^.wL2 � FHo.V^5w]J�u�TWu#`lJ�I�^5fOJ�XtFHoqwL21�o.wHs§w]^�w]J�xdHw]^.ft\lJ*wDXOJ*s7\_VO^.`co�XtJ*s§VOJ#a.I�J*w5X?�HXtFHo�X�\cV#�¦o.u*u�^.fvsW\_w]a�XO^�E�F]J#^5fOJ*I �q�¦\¤�{b@Fl2 � J�ABbCFI2�J0���wUT�VOJ*bDd]J#wru�J�VY^5fYXt\lwHa,2 � oq`cVY^�VO^.fOXtV!2 (ÆhidHVYX�\_a.w]^5fOJCXOF]J�o5s]sWJ?s�J*`lJ*I�J#wDX�*��]L ��XtF]J�Xtfto.wHVi��^5fOI�oqXO\_^.w\cV�Vto���J.��o£pHo.ftVO\lI�^5w]\l^5dHV�VOu#J#wHo.fO\_^7��^5f[2 � \_`l`�XtF]J#ftJ���^5fOJ�p]ft^��D\csWJ o¨pHoqfvVY\_I�^.w]\_^.drV}Vtu�J*wHoqft\l^B��^.f21�MKMT J#mDXtJ#wHVO\_^.w��Mo�VYJ?b5dHJ#wHu#J7^q��pHo5s]sW\_w]a5V�\cVD��R����\l��XOF]JBfOJ?VYd]`lXO\_w]a�p(J#ftI�dWXvo�Xt\l^5w�2 � Vto�Xt\_VR>HJ*Vb@Fl2 � JGA bCFI2�J0�

¹�º8»�¹½¼

Page 12: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

�������������� ��������������������������! "� 9

r1 r2

d1

d2

0 −7 −4.5 3 −1 4 2 8 −6 −5 9��� ��!r� � �Qpro.s]sW\_w]aZ^q��XtF]J�prJ*fOI}dWXtoqXO\_^.w�FI<W5�" $W5z & ( *W5 ,W5�. 0/J��]E�F]Jª\lwHs]J�m� /$ .�\_Vo5s]sWJ?s¬� \¤XtFB��oq`_d]J35 &N$ .W�¦E�F]J}[HfOJ?o �Upr^5\lwDXªa.fvoqp]F§\cVªd]wHuvFHo.w]a.J?s¬�rJ#m]u�J#p]XC��^5fCXtF]J}X�«^�J*sWa5J*V �~"7b(@VYJ*J}~8\_a.d]ftJ�� *XOFHoqXªFro2�.J�[(J#J#w¨sWJ#`_J�XtJ*s7o.wHs§ftJ#p]`co.u#J*s [UT �_TS"�� o.wHsPb�T_"7b �(E�F]J���^.d]fªftJ*VOd]`¤Xt\lwHaJ?sWa.J?V�oqftJ�sWfvo w£\_w�a5fto2T5��E�F]J�ftJ*VOd]`¤Xt\lwHa§prJ*fOI}dWXtoqXO\_^.w FHo.V�^.w]J�u#TWu�`_J�IZ^5fOJ�XtFHoqw XtF]J�^5fO\_a.\_wHo.`^5w]J�oqwHs�XOFHJ#ftJ�\_V�w]^�d]wH^.ft\lJ*w5XtJ*s�\_VO^.`co�XtJ*s�VYJ*a.I�J#wDX?�]VY^ZXOFHJ�pHo.s]s]\lw]a�\cVkVto���J.�

:!J�Xc�tAW-�� 2 � ��"%$&$&$%"=� 2 � ��08(74 �@"�mi8�pW4q #"7(98�*«[(J�o�u�^.wrVYJ*fO�5J*s�VOJ#a5IZJ*wDX*� D A< GIH ?A@5B �_v � C � 2 ? �¤�]oqwrs; A<�= > ? @5B �=v �AC � 2 ? �¤�+V£J�Vto2T�XOFHoqX���FHo.V�ok): ����� �����!)/�b0Q0���� ��\l��\lX�\cV�VOoq��JªXO^ZpHo.s�\¤X \lXOF§oqw�\lwHs]J�m��T2�(VYdruvF XOFHoqXc�5g k� ��TD�\�(�(oqwHs�; 5^ ���2@�

��#;¨�Ho.wHs�XOF]J*w�\¤XtFBoqw \_wHsWJ#m�� �(VYdHuvF XtFHo�X

m�� � �gmVg .�]o.wHsED � 2@���#D V\ .�+V¨J�VOo2T�XtFHo�X�� FHo.Vo��G������������!)/�b0Q0�������\¤��\lXk\_VVto���JªXO^

pro.s�\¤X \lXOF§oqw \_wHsWJ#m��;Tq�HVOdHuvF�XOFHoqX��k5 .� ��Tc� �(�Ho.wHs D �W5 2@���DyV\ .�]o.wHs�XOF]J*w \lXOF

o.w�\_wHsWJ#m � q�HVOdHuvF�XOFHoqXcmc��� .� mGV\ .�]o.wHs�; 5 D�W5 2 ��� ;£�

~H^.f1J�m]o.IZpH`lJ5��\lw�~8\la5d]ftJM�H�2XOF]J*fOJ�\cV�oªw]J#aDo�XO\_�.JMpHo5s]sW\_w]a�^q�HXtF]Jku�^5wHVOJ#ft�.J*s�VYJ*a.I�J#wDX!- $N"& #" &N" (�0\_w�XOF]J�p(J#ftI�dWXvo�Xt\l^5w�F]<�5 " $B5 & ( *B5 ,B5 . 0;J0�HE�F]J*fOJ�\cV�w]^�pr^DVY\lXO\_�.J�pHo5s]sW\_w]a�^q�8XOF]JVtoqI�J�VOJ#a.I�J*w5X?�]o.VVOF]^�w�`co�XtJ#f\_w§~�\_a.dHfOJ�{H�

¯�^qXOJkXOFHoqX�\¤�¦XOFHJ�VYJ*a.I�J#wDX{�£\cV1\_VO^.`co�XtJ*s¬�qXOF]J*wZ\lXgFHo5V�o�pHo5s]sW\_w]aH�qp(^5VO\lXO\_�.J\l�929�|AF;¨�qw]J#aDo�Xt\l�5J\l��2 � AB5 D ���k�½XOJ#fo�pro.s]sW\_w]a}^q�!o�VOJ#a5I�J#wDX ���Dpr^DVY\lXO\_�.JC^.f«w]J#aDo�XO\_�.J5�;� (a-%29�

�"�29�

�0ª\_V«\_VO^.`co�XtJ*s¬�

E�FHJªwUd]I}[rJ*f^q��u�TWu�`_J*V�^.�!XOFHJ�[]fOJ?o �Up(^.\_w5X�a.fvoqpHF�FHo5VMXO^�\lwru�ftJ*o.VOJª[DT�X�«^�\l��XtF]J�pHo.s]s]\lw]a�\cVVOoq��J.�� �U��� ��� KN��2�!3&��/ � � ���� �� �! -� �T !�:�����<��0 � �����G0 !�/ ^�H� � ����/�<�F�8��R��� )/�b0Q0���� � �6)/ <��������<�8 !��G�2�Q�! ����� � �

�?� P R� � L �o§VOJ#a5I�J#wDX� \cV�VYXOft^.w]a5`lT£u�^.wrVYJ*fO�5J*s7\_w�o p(J#ftI�dWXvo�XO\_^.w�21��XtF]J#w�`_J�Xku�T_"%$&$%$&"�u���[rJ�oproqfvVY\_I�^.w]\_^.dHV�VYJ?b5dHJ#wHu#J�VO^.fOXO\_w]aP2 \lXOF]^5dWX}[HfOJ?o �U\lwHae����oqwHs�Vto2T�u�T~"&$&$%$&"7u���o.fOJ�XOF]J�fOJ*�.J*ftVtoq`cVu#^.wDXto.\lwHJ*s \lw � (½��ft^.I :�J*IZI�o��q��XOF]J*T I�o2T�[(J7p(^5VO\¤Xt\l^5w]J*s >HfvViX�\_w�XOF]J7VOJ*bDd]J*wHu�J<*0�gE�FHJ#w \_w2,}�u�T1}%}&}�u��i��� \_VMo�VO^.fOXOJ?s�VYJ*a.I�J#wDX*�D`_J�X«drV«Vto2T}\lX«\cVMVY^5fYXtJ*s�p(^5VO\¤Xt\l�5J#`_T1(¥fOJ?VYp!�.w]J*a5o�Xt\l�5J#`_T:*0���MXMXOFH\_Vp(^.\_wDX*�(\¤X�\cV�^5[D�U\_^.dHVXOFHoqX�o�pr^DVY\lXO\_�.J (¥fOJ?VYp!�rw]J*a5oqXO\_�.J *pHo.s]s]\lw]a�\_VªVto���J (¥\¤X�u�ftJ*oqXOJ?V�o.s�hYo.u�J*wHu�\_J*V�*0�­«^5wHVO\_sWJ*f�XtF]J�VOo.I�J�pHo5s]sW\_w]a�\lXOF£XOFHJZ^5fO\_a.\_wHo.`!p(J#ftI�dWXvo�XO\_^.we21��E�F]\cVCpro.s]sW\_w]a�\_V�Vto���J}[rJ?u#o.dHVYJXtF]J�VOJ*bDd]J#wru�JDu�T~"&$%$&$'"7u��ZVO^.fOXtV«XOF]J�ftJ*VOd]`lXO\_w]a�prJ*fOI}dWXtoqXO\_^.w32 � �WXOFUdHV b@Fl2�JsA b@Fl2 � JGA �¬�

­«^5wD�5J#fvVYJ*`lT5��\l�XOF]J*fOJ�\cVZo7VOoq��J�pHo5s]sW\_w]a7^q�c���u#o.`l`{2 � XOF]J�^.[WXvoq\_w]J*s p(J#ftI�dWXvo�Xt\l^5w���2 ���oqwrs

2 ���XOF]J�X�M^Zo5s]sWJ?s���oq`_d]J?V#� �k�½XOJ#fkXOF]J�pHo5s]sW\_w]aH�N� (X-=2 ��

�"�2 ��

�0�\_Vo.w�\cVY^5`_oqXOJ?s�^.ft\_J#wDXOJ?s�VOJ#a5IZJ*wDX

»�» À�e/f�f�g�h

Page 13: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

�?| ����� �����4���4�/�5��

r1 r2

d1

d2

r’1r’2

d’1

d’2

b cde a fgh

0 −7 −4.5 3 −1 4 2 −0.5 8 −6 −5 9��� ��!D� � � w]J#aDo�Xt\l�5JgpHo5s]sW\_w]a�^q�(VOJ#a5I�J#wDX{- $�"% #" &C" (�0�\lwZXOFHJMp(J#ftI�d]Xto�Xt\l^5wZF]<X5�"/$L5Z & (*L5,�5�. 0;J0�H¯�^qXtJCXtFHo�X�XtF]J#ftJ�oqftJ���u#TUu#`lJ?VM\lw�XOFHJ�[]fOJ?o �Up(^.\_w5X�a.fvoqpHF��WoqwHs�w]^�d]w]^5fO\_J#wDXOJ?s�\cVO^.`co�XOJ?sVOJ#a5I�J#wDX*�UE�F]J�VYJ*a.I�J#wDX�- &N$ .�" $�"& /" &C" (�"�<�$ .�0�\_VM\cVY^5`_oqXOJ?s¬�5[HdWXM^5fO\_J#wDXtJ*s¬�UE�F]J#ftJ Mo5V�^.wH`lT�^5w]JCu#TUu#`lJ\_wtFI< 5 " $�5 & ( *B5 , 5 . 0/J0�]VO^ZXOF]J�pro.s]sW\_w]a�\cVkVOoq��J.�

^.��2 � �8~HfO^5I :!J#I�I�o£�]�!XtF]J#ftJ�\cV�o7pHo.ftVO\lI�^5w]\l^5dHV�VOJ*bDd]J*wHu�J�VY^5fYXt\lw]a�2 � FH\_uvF sW^UJ*V}w]^qXZ[]fOJ?o ���(�-%2 ��

�"�2 ��

�0�[rJ?u#o.dHVYJ�XOF]J*fOJZ\cVCwH^�w]J ·d]w]^5fO\_J#wDXtJ*s7\cVO^.`co�XOJ?s7VOJ#a.I�J*w5X?�(VO^�XOF]JZprJ*fOI}dWXtoqXO\_^.w£\_V

wH^qXªo���^U^.`,�rE�F]J�VOo.I�J�VYJ?bDd]J#wHu#J}VO^.fOXtV 21�¦\lXC\cV�proqfvVY\_I�^.w]\_^.dHV�[rJ?u#o.dHVYJ�XOF]JZpHo.sHsW\lwHa�\_VªVto���J.�¦oqwrs\lX�sW^UJ*V�wH^qXk[]ftJ*o��a���]E�F]J#wP� \cVViXtfO^5w]a.`_T�u�^5wHVYJ*fO�5J*s¬� �

V¨J�w]^�QFHo2�.JªXOFHJ�pr^DVOVO\l[H\l`_\¤XiT�XO^�\csWJ#wDXO\l��T o}I�\_w]\_I�o.`�u#^.wHVOJ#ft�.J?s�VOJ#a.I�J*w5X?�]oqwHs�XtJ*VYX F]J�XtF]J#f\lX\_V�VYXOft^.w]a5`lT�u#^.wHVOJ#ft�.J?s�^.f�w]^.X*�]E�F]JªfOJ*I�oq\_w]\lwHaZsW\���u�d]`lXiT�\cV«XO^�uvF]^U^5VOJ�[(J�X�MJ#J*w�o}pr^DVY\lXO\_�.J�oqwrsoZw]J*a5oqXO\_�.JªpHo.s]s]\lw]a�FHJ#w�[r^.XOF§oqftJ�pr^DVOVO\l[H`lJ5�

� �������������  ����!�&����������'��������B'�����«��®��� �����������! �"��

�CV�w]^.XO\cu�J*sZ\_w17"U<;,�.XOF]JI�oq\_w�sW\���u#d]`lXiT}\_w8>HwHsW\_w]a�p(J#fO��J*u�X«VYJ?bDd]J#wHu#J*V�^.�(ftJ#�5J#fvVOo.`_V8^q�¦I�\lwH\lI}d]I`_J#wHaqXOF (¥oqI�^5w]a}o.`l`(prJ*fY��J?u0X�VYJ?b5dHJ#wHu#J*V�*1\cVgXtFHo�XM\¤X�\cV«VO^.I�J�Xt\lI�J?Vg\_I�pr^DVOVO\l[H`lJ�XO^}s]J*u�\csWJ F]J�XtF]J#f«XO^VO^.fOXkoZpHoqfOXO\cu�d]`coqfkVOJ#a5I�J#wDXpr^DVY\lXO\_�.J*`lT�^.fw]J*a5o�Xt\l�5J#`_T.� V¨J�VYFroq`_`�VYJ*J�XOFHoqXk\lw�XOFHJ�u#o5VYJ�^q��pHo.ftVO\lI�^.�wH\l^5dHVVOu#J#wHo.fO\_^5V*�DXOF]\cVuvF]^5\_u#Jª\cVku#^.wHVYXOfvoq\_w]J*s�[UT�XOF]J�sHo�XtoH�

V¨JgsWJ*w]^qXtJ�[UTcb R F]�GJ¦XOF]J�I�\_w]\_I�d]I&wUd]I�[(J#f�^.�WfOJ*�.J#fvVtoq`cVrwHJ#J*s]J*sªXO^CVY^5fYX�oku#^.wHVOJ#ft�.J?sCVOJ#a5IZJ*wDX��pr^DVY\lXO\_�.J*`lT5�(o.wHs�b > Fo�GJ�XOF]JZI�\lw]\_I�dHI wUd]I�[(J#fª^q�gftJ#�5J#fvVOo.`_V�w]J#J?sWJ*s7XO^ VY^5fYXª\¤X�w]J*a5o�Xt\l�5J#`_T.��N��u#^.d]fvVOJ.�{� b/R Fo�GJ!5 b > F]�GJ%�r .�8[rJ?u#o.dHVYJ�\¤�\lX}\cV}VO^.fOXOJ?s£\_w�^5w]J�sW\_fOJ?u0Xt\l^5w���XtF]J#w�^5w]J�ftJ#�5J#fvVOo.`1\_VVOd���u�\_J#wDX�XO^�Fro2�.Jª\¤X�VO^.fOXOJ?s�\_w�XOF]J�^.XOF]J*f*�WL �b/R Fo�GJGA b > Fo�GJ0�]XOF]J�VOJ#a5IZJ*wDX�� \cVku#o.`l`_J*s � �&++ �T�� �

L ��XtF]J#ftJª\_VMo�p(J#fO��J*u�XMpHo.ftVO\_IZ^5w]\_^.dHV«VOu#J#wHo.fO\_^H�DoqwUT�u�^.wrVYJ*fO�5J*s�VOJ#a.I�J*w5XM\_VMVYXOft^.w]a5`lT�u�^5wHVOJ#ft�.J*s��VO^�o.wDT VOJ#a.I�J*w5XªFHo.VCo�Vto���J}pHo.s]s]\lw]a���fO^5I :!J#I�I�o ZW�¬j�^�«J*�.J#f?�WXtF]J}u#^.wU�.J*ftVOJ�\_VCw]^.X�XOftd]J5�(E�F]Jp(^5VtVO\l[]\_`_\¤XiT�^q�8sWJ*VO\la5w]\_w]a}oZVY\_I�p]`_Jªo.`la5^.ft\¤XtF]I XO^}s]J*u�\csWJCXOF]J�J#mU\cVYXOJ#wru�J�^.��o}prJ*fY��J?u0X�pHoqfvVY\_I�^.w]\_^.drVVtu�J*wHoqft\_^}\cV�a.\_�.J*w�[UT�XtF]J���^.`_`l^�\_w]a�`_J#I�I�o]�� �U��� � C��?�I���2�b38��/G� ���G�'++�� �! �/ �:��F�� �����4� !��/�������� � �B�)/ <��������<�I��� 0 ��� �2��������<�E):�Q0b0���� � �

¹�º8»�¹½¼

Page 14: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

�������������� ��������������������������! "� �5�

�?� P R� � :�J�XP4 �@"�m�8kp 46 /"�(98 ��VOdHuvF�XtFHo�Xa� A -�� 2 � ��"%$&$&$%"=� 2 � ��0 \cVZo£w]J*dWXOfvoq`u�^5wHVOJ#ft�.J*s VYJ*a.I�J#wDX*�:!J�X D A < G H ?A@5B �=v �AC � 2 ? � ��o.wHs ; A <�=?> ?A@5B �_v � C � 2 ? �¤��RUd]p]p(^5VOJX�xFHo5V}o£w]J#aDo�Xt\l�5J�pHo5s]sW\_w]aH��u#o.`l`2 > XOFHJZftJ*VOd]`lXO\_w]a�prJ*fOI}dWXtoqXO\_^.w���E�F]\cVªI�J*oqwrV�\¤X�\cVªVto���JZXt^�pHo5s�� \¤XtF�oqwB\_wHsWJ#m ��T2��VOdHuvFBXtFHo�X�,5g � � T � �(�¦oqwHs D ��5 2 >�

�� D V\ 5�(o.wHs7o.w7\lwrsWJ�m�� q�¬VYdruvF XOFHoqX.m� � �WmsV .�¦oqwrs

; 5� [��5 2 >��� ;¨� :�J�X���oqwrsPb�[rJ}XOF]JZftJ*oq`_\lXiT o.wHs7sWJ?VY\_ftJ�J*s]a.J*VCsWJ#`_J�XtJ*s£o��½XOJ*f�XtF]JZpHo.s]s]\lw]a

\lXOF�XOFHJª\_wHsWJ#m���T��]o.wHs � � o.wHsZb � XOFHJ�fOJ?oq`_\¤XiT�oqwrs�sWJ?VY\_ftJCJ?sWa.J?VMs]J#`_J�XOJ?s�oq�½XOJ*f�XOF]J�pHo5s]sW\_w]a \lXOFXtF]J�\lwrsWJ�m�� (¥VOJ#J�~8\la5d]fOJ��C��^.foqw�J�m]oqI�p]`_J *��HRUd]p]p(^5VOJk��FHo5V�oq`cVY^�o�p(^5VO\lXO\_�.JªpHo.s]s]\lw]ar�]oqwHs�u#o.`l`2 R XtF]JZfOJ?VYd]`lXO\_w]a�p(J#ftI�d]Xto�Xt\l^5w��¦E�F]\_VCI�J*o.wHVkXtFHo�Xª\¤Xª\_VªVto���J�Xt^�pHo5s�� \lXOF§XtF]JZ\lwHs]J�m��;T�� \lXOF;�5P D�^2 R�

�� ;£�DoqwHsZXtF]Jk\_wHsWJ�m � ��\lXOF�D � 2 R�

��#D�V� .�.E�FHJ�sWJ#`_J�XtJ*s�J?sWa.J?VgoqftJMXOF]JªVOo.I�J

^5w]J*V*�(J�m]u�J*pWX�XtFHo�X���oqwHseb � o.fOJ�s]J#`_J�XOJ?sBoq�½XOJ#fCXOFHJ}pHo5s]sW\_w]a�\lXOF �;T��¬oqwHs�� � o.wHsPb oqftJ}sWJ*`lJ#XOJ?soq�½XOJ*f�XOF]J�pHo5s]sW\_w]a \¤XtF � �

�CV�[r^.XOF¨pHo.s]s]\lw]aDV�oqftJ}Vto���J.�(XtF]J�wDdHI�[(J#f�^q�Mu�TWu�`_J*VªFHo5V�Xt^�\_wHu#fOJ?o.VOJ���^5fªJ?o.uvF7pro.s]sW\_w]a�^.p(J��fvo�Xt\l^5w��/V¨J�XtF]J#ftJ���^5fOJ�FHo2�.J�XtFHo�X ��oqwHsPb�[(J#`_^.w]a�Xt^�XtF]J}VtoqI�J�u#TUu#`lJ}^q�G21�¦o.V «J*`l`�o.V � � o.wHsXb � ���o.wHs�b � � � � o.wHs�br��RU^ �U��br� � � o.wHsPb � oq`_`�[(J#`_^.w]a�XO^�XOF]J�VtoqI�J}u#TUu#`lJ}\lwBXOF]JZ[]ftJ*o��Dp(^.\_wDXCa5fto.p]F^.�21�¦NC[HVOJ#ft�.JªXOFro�X�[(J*u*oqdHVOJ�� \_VCu�^5wHVYJ*fO�5J*s¬� �U�9bH��� �8o.wHsLb �8oqftJ�XOFHJ�^.w]`_T�J?sWa.J?VXtFHo�X�Fro2�.J�^.w]JJ#mUXOftJ#I�\¤XiT�\¤XtF oZ`coq[(J#`�\_wHVO\_s]J.��HoqwHs�XOFHJ�^qXOFHJ#f^.d]XtVO\_sWJk���

LÃw32 > ��b�oqwrsZb � oqftJC[(^qXtF�ftJ#pH`_o5u�J*s�[DT�X�«^ZJ*sWa5J*V*�WVOo2T[b T ��b .�]o.wHsab � T ��b � �rNCwHJCJ?sWa.J�oqI�^.wHaXtF]JkX�M^�FHo5V�\lXtV«J�mUXOftJ#I�\lXO\_J*V \¤XtF�`_o.[rJ*`_V«\_wHVY\csWJD���5o.wHs�XOFHJ�^qXtF]J#f«^.dWXvVY\csWJc����CVg\_w�~8\la5d]ftJ��W�UVOo2Tb A ��m��]oqwHsLb � AF�'b�FHo2�.JCXOF]J*\lfJ#mUXOftJ#I�\¤Xt\lJ?V \lXOF `_o.[rJ*`_V�\_wHVO\_s]J���

LÃwX2 R �HXOF]J�J*sWa5J*V F]\cuvF§ftJ#p]`co.u#Jkb�oqwrs3b � oqwHs�FHo2�5J�XOF]J*\lfCJ�mUXOftJ#I�\lXO\_J*V \lXOF7`coq[(J#`cV\_wHVO\_sWJ,�o.fOJD��b�oqwrs��&mB(@VYJ*J�~8\_a.d]ftJ�{Z��^.fkoqw J#mWo.I�p]`lJ<*0�

nJ?u#o.`l`¦XtFHo�X�br��b � � �U��� � o.fOJCXOFHJ�^.w]`_T�J*s]a.J*Vo!,(J?u0XtJ*s�[DT�XOF]J�pHo5s]sW\_w]a5V*�DXOF]J�ftJ#I�o.\lw]\_w]aZ^q�8XOF]J[HfOJ?o �Upr^5\lwDX�a5fto.p]F \_V�d]wHuvFHo.w]a.J?s¬��RU^7\l����m�oqwHs �&b7[(J#`_^.w]a§Xt^BsW\`,(J*fOJ*wDX}u�TWu�`_J*V�\lwt2 > ��XtF]J#wY��bo.wHs��&mC[rJ*`l^5w]aZXO^�XOFHJ�VOo.IZJ�u#TUu#`lJ�\_wL2 R �Hoqwrs��U\cu�J�� �.J*ftVto]�ULÃw�XOF]\cVku*o.VOJªFH^�«J*�.J#f?�DXOF]J�VOJ#a5I�J#wDX��M^.dH`_s§wH^qX�[rJ�w]J*dWXOfvoq`�o.VDb > F]�GJ��A�b;R F]�sJ��ft^.I E�F]J*^.ftJ#I �.��RU\_wHu#J ��\_Vªw]J*dWXOfvoq`,�(XOF]JZJ*sWa5J*V|��mo.wHs �'b}FHo2�5JkXO^}[rJ*`l^5w]a�Xt^�XtF]JªVtoqI�J�u#TWu�`_J�[(^qXOF�\lwZ2 > oqwrs�\_w*2 R �DL XM\cV�XtF]J�u#o.VOJk\_w�XtF]J�J#mWo.I�p]`lJ^.�8~8\_a.d]ftJ*V�1(½��^5f 2 > *�o.wHs�{D(���^.f�2 R *��

V¨Jw]^� ftJ#p(J*oqX�XOF]Joqfta.dHIZJ*wDX���^5f�XOF]JJ?sWa.J?V!XtFHo�X�Fro2�.J«XOF]J*\lf1J#mDXtfOJ*I�\¤Xt\lJ?V \¤XtFZ`coq[(J#`cV�^.d]XtVO\_sWJ��]XOFro�XC\cV�b T �Cb � T �rLÃwP2 > �(`lJ#X|b T A����¨oqwrsXb � T A�����(E�F]J#wB\lwX2 R �@b T A����BoqwHsXb � T A���8�HL �sb To.wHs�b � T oqftJ}\_w£s]\-,¦J#ftJ#wDX�u�TWu�`_J*Vª\_we2 > �¦XOF]J*T7oqftJ}\_w7XtF]J�VOo.IZJ�u�TWu#`lJZ\lw�2 R �¬oqwrs7�U\_u#J�� �.J*ftVto]� V£JXtF]J#ftJ���^5fOJ}FHo2�.J�XOFHoqXªJ*\¤XtF]J#f �SFI2 > J�A �SFl2�J1V .�(^.f �SFl2 R J�A �SFI2�JV .�¦oqwHsB^.w]J�XOF]JZpHo.sHsW\lwHa5VC\_VwH^qXCVto���J5�][rJ?u#o.dHVYJ�\lw XtF]\_VCu#o5VYJ5�]J#\lXOF]J*fcb@Fl2 R J � bCFI2�J0�(^.f�b@Fl2 > J � b@Fl2�J��¦E�FH\_V\cV Fro�X�FHo.p]p(J#wHV\_w§~8\la5d]fOJ�{]��F]J#ftJ.bCFI2 R J � b@Fl2 > JGA�b@Fl2�J��

�CVo}u#^.wHVOJ*bDd]J*wHu�J5�Do}w]J#d]XOfvoq`¬VYJ*a.I�J#wDXu#o.w]w]^qX�FHo2�5J�[(^qXOF o}pr^DVY\lXO\_�.J�oqwHs�w]J#aDo�Xt\l�5J�pHo5s]sW\_w]aH��

E�F]J�pHfO\_wHu�\_p]`_J�^q�8XOF]J�o.`la5^.ft\¤XtF]I ��^.`_`l^�kV�\_I�I�J*sW\co�XtJ#`_T.�

��� �U± � �U� ���?������� �*):���3,++2�! �5 !�e2��I�� � �.)/ <�����5� `��2 0b�����-�!� ���e)/ � ^���G �3B�5�� ? ��3&�1� )/������T�)/��������3& ��4�5 ~+ �6���'+/�� ���� R�6� ��<������ "� � ���������2.� �� !� �B�7�Q� ��5� �

�?� P R� � V£J�oqp]pH`lT�XOF]JZdHVOdHoq`!XOJ?uvF]w]\cb5dHJ*V�XO^�VO^.fOX�^5fO\_J#wDXOJ?s \_VO^.`co�XtJ*s§VOJ#a5IZJ*wDXtVk[UT ftJ#�.J*ftVtoq`cV*�:V£Js]^ZwH^qX�sWJ?VOu#fO\_[rJªXtF]\_Vk\lw sWJ�Xvoq\_`@�¦NCw]J�u#oqw VOJ#J���^.f\_wHVYXto.wHu�J87_�.��;���^5fko}�¥o.VYX�I�J#XOF]^Ws�XO^�sW^ZXtFHo�X?�

»�» À�e/f�f�g�h

Page 15: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

�2� ����� �����4���4�/�5��

b d

d2

d’2d1

d’1

ae fh c g

0 −7 0.5 3 −1 4 2 4.5 8 −6 −5 9��� ��!�{ � ��w o�XOXOJ*IZp]X}^q�ko§p(^5VO\lXO\_�.J�pHo5s]sW\_w]a7^q�XtF]J�VOJ#a5IZJ*wDX*- $N"& #" &N" (�0�\lw�XtF]J�p(J#ftI�dWXvo�Xt\l^5wF]<Y5 " $*5. #& ( *z5�,Y5�. 0/J��DE�FHJka.fvoqp]F�\cVgo.`lI�^5VYX1XOFHJCVtoqI�J�o.V1��^.f�XtF]Jkw]J*a5oqXO\_�.JpHo5s]sW\_w]aH�j�^�«J*�.J*fgJ*s]a.J*V�o.fOJªuvFHoqw]a5J*s���ft^.I ��m�oqwHs��'bZXO^ ��bZo.wHsZm ���WVY^Z\lw�^.w]J�u#o5VYJCXOFHJ#ftJªo.fOJ�X�«^�u�TWu�`_J*V^5dWXtVO\csWJªXOF]J�VOJ#a5I�J#wDX F]\l`_J�\_w�XtF]J�^qXtF]J#fku*o.VOJªXOF]J*fOJ�\cV^.wH`lT�^5w]J�VYdruvF u#TWu�`_J.�]E�F]\cVJ�mWp]`coq\_wHV FUT[(^qXtF pHo.s]s]\lw]aDVoqftJC\_I�pr^DVOVO\_[]`lJ5�

:!J�X�2B[(J�oqw oqft[]\lXOfvoqftT�prJ*fOI}dWXtoqXO\_^.w�� V¨J >HftVYXkuvF]J*u ��\l��\¤X\cV�w]^qXko}��^U^.`A(¥VOJ#J :!J#I�I�o��b*0�]L ��\¤X\cV*�UXOF]J*fOJ�\cV�w]^�prJ*fY��J?u0XkpHo.ftVO\_IZ^5w]\_^.dHV�VO^.fOXO\_w]aZVOJ*bDd]J*wHu�J5�

V¨JCwH^��XOftJ*o�XMJ*o5uvF�\_VO^.`co�XtJ*s�VOJ#a5IZJ*wDXMVOJ#pHo.ftoqXOJ#`_T.�DViXvoqfOXO\_w]a�\lXOF�XOF]Jª\lwru�`_dHVY\_^.w]� \cVYJCI�\lw]\_I�oq`^5w]J*V*�(d]p§XO^�XOFHJ F]^5`lJ}prJ*fOI}dWXtoqXO\_^.w��(^.f�VYXO^.pHp]\lwHa�F]J*wBo�u#^.wDXOfvo.sW\cu0Xt\l^5w§\_VC��^5d]wHs¬�¬E�F]\cV�\cVCXOF]J^5w]`_T Mo2T�^.�8^5[WXto.\lwH\lw]a�oZp(J#fO��J*u0XkproqfvVY\_I�^.w]\_^.dHVMVO^.`_dWXO\_^.w��]��fO^5I E�F]J#^5fOJ*I �.�\ �� ������������� !���5���42��0H� �� ! `��E��0&��2�b38��/

RUdHp]pr^DVYJ�>HftVYX�XtFHo�X�XtF]JCu#^.wHVO\csWJ#ftJ*sZ\cVY^5`_oqXOJ*s�VOJ#a5IZJ*wDX{` (¥pr^DVOVO\l[H`lTZ-=<N"&$&$%$ "�(|Vx S0<*1\_Vg^.ft\lJ*w5XtJ*s¬�:!J�XZw]^� �x[rJ�oqwUT£\_wHu#`ldHVO\_^.wW� \_VOJ�I�\lwH\lI�oq`M[Ho5VY\cu�u�^5wHVOJ#ft�.J*s VOJ#a5IZJ*wDX�\lwrVY\csWJZ`r� V¨J�XtfOT [(^qXtFpro.s]sW\_w]aDV�^q�!��XO^7VOJ#J�\l�M\lX�\_V�ViXtfO^5w]a.`_T7u�^5wHVYJ*fO�5J*s¬�¦L � � \cV�w]^.X�VYXOft^.wHa.`_TBu�^5wHVYJ*fO�5J*s¬�rXOFHJ#w¨XOF]J*fOJ\cVMw]^ZprJ*fY��J?u0XpHoqfvVO\lI�^.wH\l^5dHVgVOJ*bDd]J*wHu�J5�DL �8[r^.XOF�pHo.s]s]\lw]aDVMJ�mW\_VYX*�DXtF]J#w�[UT :�J#I�I�o&UD�UXOF]J�VOJ#a5IZJ*wDX�Q\cV�w]^.X�w]J*dWXOfvoq`,��LÃw XOFH\_V}u#o.VOJ.� «J�uvF]^U^DVYJ�XtF]J�p(^5VO\¤Xt\l�5J�pHo.s]s]\lw]a§\l��b;R F]�GJ � b > F]�GJ���o.wHs¨XOF]JwHJ#a5oqXO\_�.J^5w]Jk^qXtF]J#f�\cVYJ5�.L ��b;R�F]�GJGA b > F]�GJ��.XtF]JCuvFH^.\cu�Jk^.�(XtF]J�pro.s]sW\_w]a�\cVMu�^.wrViXtfto.\lw]J?s¬�qLÃw�J*�.J*fOTu*o.VOJ.�!XOF]J�prJ*fOI}dWXtoqXO\_^.w�\cVZpHo.sHsWJ*s \lXOF X�«^£��oq`_d]J*V�2@�

�oqwHsz2@�

��1o.wHsY� (Y-%2@�

�"�29�

�0�\cVZw]^�

\cVO^.`co�XOJ?s¬�¬KMT :�J#I�I�o§zW�¬J*\¤XtF]J#f�w]^ p]ft^.p(J#f�VOd][HVOJ�X�^q�!� \cV�u�^.wrVYJ*fO�5J*s¬�(^.f�oq`_`�\¤XvV�p]ft^.p(J#f�VYdH[HVYJ#XtVo.fOJ�u�^5wHVOJ#ft�.J*s���V¨J�J�m]o.IZ\_w]JªXOFHJ�X�«^�u#o5VYJ?V�VYJ*pHoqfvo�XtJ#`_T.�

LÃw�XOFHJ6>HfvViXku#o5VYJ5� MJ�VO^.fOX�� \¤XtF��W��^.f�J�m]oqI�p]`_J.�UXtF]J�I�J�XtF]^Ws�^.� 7_�.��;,�W��^5fk\cVY^5`_oqXOJ*s�VOJ#a.I�J*w5XvV#�E�FH\_V�p]ftJ*VOJ#ft�.J?V!o.`l`]u#^.wHVOJ#ft�.J?s�VYJ*a.I�J#wDXvV�[(J*u*oqdHVOJ«XOF]J*fOJ�\cV�w]^.w]JM\_wHVY\csWJ����qo.wHs�XtF]J Mo2Tk�B\_V1VO^.fOXOJ?ss]^DJ?V�w]^qX�o!,(J?u0X�XOFHJ�fOJ*I�o.\lwH\lw]a�^.�!XOFHJ�prJ*fOI}dWXtoqXO\_^.w��

LÃwZXOFHJkVYJ?u�^.wrs�u#o5VYJ5�2XOF]J^5w]`_T�oq`_`l^�MJ*s�fOJ*�.J*ftVtoq`cV�o.fOJ«XOFHJfOJ*�.J#fvVtoq`cV!^.�(VO\lw]a5`lJ#XO^5wHV?(½XOFHJkfOJ*�.J*ftVtoq`cV^.��XOF]J FH^.`_J�\lwDXOJ*fO��o.`!\cVw]^qXªoqw7o.s]IZ\lXYXtJ*s ^5prJ*ftoqXO\_^.w��HVO\_wHu�J�^.XOF]J*f \cVOJ�XOF]J�^5p]p(^5VO\¤XtJ�pHo.sHsW\lwHa�\_VuvFH^5VOJ#w4*��(E�F]J}fOJ*�.J*ftVtoq`cV^q�MVY\_w]a.`_J�Xt^.wHVCw]J*�.J#fC^��.J*fO`coqp��(VY^�XOF]J*T I�o2T [(JZo.p]p]`_\lJ?s7\_wBoqwUT ^.fvsWJ*f*�(L �XtF]J�pHo5s]sW\_w]a�\_V�p(^5VO\lXO\_�.J.��«J�ftJ#�.J*ftVOJ�oq`_`�w]J#aDo�Xt\l�5JªwUd]I}[rJ*ftV*�]oqwrs�\l�8XOF]J�pHo5s]sW\_w]a�\cVw]J#aDo�Xt\l�5J.� «JftJ#�5J#fvVYJªoq`_`¬XOFHJ�pr^DVY\lXO\_�.J�wUd]I�[(J#fvV*� �MXXOF]J�J*wHs¬�UXOFHJ�VYJ*a.I�J#wDX�� \_VVO^.fOXOJ?s¬�

¹�º8»�¹½¼

Page 16: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

�������������� ��������������������������! "� �?�

V¨J�oqp]pH`lT�XtF]J�VOo.IZJªI�J�XtF]^Ws�Xt^Zo.`l`¦XtF]J�[Ho.VO\cuCu#^.wHVOJ#ft�.J?s�VYJ*a.I�J#wDXvV#�WVYXtoqfOXO\_w]a \¤XtF \lwHu#`ldrVY\_^.wW�\cVOJªI�\_w]\_I�o.`�^.wHJ*V*�Wd]p�XO^ZXOF]J�VOJ#a5I�J#wDX�`�\¤XvVYJ*`¤�i�\ �� ��������������++�G ����5��/E��08� � � `�!2��0H���2�b38��/

:!J�X1dHV�VYdHp]pr^DVYJMw]^��XtFHo�XG`ª\cV�d]w]^.ft\_J#wDXOJ?s¬��E�F]J�>rftVYX8ftJ#�5J#fvVOo.`�\_`l`WI�o��.JM\¤X1^.ft\_J#wDXOJ?s¬�?o.wHs�XtF]J#wXtF]J�o���^5fOJ*IZJ*wDXO\_^.w]J?s�I�J�XOFH^Us (`ctRU^.fOXO\_w]a�oqw�^.ft\lJ*w5XtJ*s�\cVO^.`co�XOJ?s�VOJ#a5IZJ*wDX dR*�\cV�oqp]p]`_\_J*s¬�WE�^}^5fO\_J#wDX `H�MJ�uvF]^U^5VOJ�o}ftJ#�5J#fvVOo.`(XOFHoqX�sW^UJ*V�w]^.Xk[]fOJ?o ��o.wUT�u�^5wHVYJ*fO�5J*s�VYJ*a.I�J#wDX*�WwH^.fksWJ?u�ftJ*o.VOJ*V��SFI2�J0�r���.J*fOTVOdHuvF§ftJ#�5J#fvVOo.`¬FHo.V�Xt^�[(J�XOft\_J*s¬�(E�F]J#ftJ�oqftJ�o�XCIZ^DViX � `9� ^q��XOFHJ#I �(o.wHs�XOFHJ#T§oqftJ�oqp]pH`l\_J*s ^5w]`lT o�XXtF]J >HfvViXkVYXOJ*p��HVO^}XtF]\cV^.p(J#fvo�Xt\l^5w�TU\lJ*`_sHVo}p(^.`_TUw]^.I�\coq`�o.`la5^.ft\¤XtF]I �\ @A ��G�� 6+ ���5 !�

V¨J�FHo2�5J�VYJ*J#w�F]^�£XO^�VO^.fOX!oqw�\cVY^5`_oqXOJ*s�VOJ#a5IZJ*wDX*����`l`UoqftJ1VY^5fYXtJ*sCXOF]J«VOo.IZJ �o2T.�*oqwHs�VOJ#pHo.ftoqXOJ#`_T.�L �HXOF]J*fOJM\_V1o�prJ*fY��J?u0X1pHo.ftVO\lI�^5w]\l^5dHV!VOJ*bDd]J*wHu�J�VO^.fOXO\_w]a�21�2XtF]J#w}XOF]J�oq`_a.^5fO\lXOFHI&pHfO^WsWdHu#J*V8\lX*�2[rJ?u#o.dHVYJXtF]J �o2T�oqw�\_VO^.`co�XtJ*s�VYJ*a.I�J#wDX\_V�VY^5fYXtJ*s�wHJ#�.J*fko�,¦J*u�XtVMXOFHJ�prJ*fOI}dWXtoqXO\_^.w�^.dWXvVY\csWJ�XOFHJ�VYJ*a.I�J#wDX*�

E�F]\cV�I�J�XtF]^Ws£XOF]J*fOJ#��^.ftJ�s]J*u�\csWJ?V�\¤�MXOF]J*fOJ�\cV�o�prJ*fY��J?u0X�pHo.ftVO\_IZ^5w]\_^.dHV�VOJ*bDd]J#wru�J�VY^5fYXt\lwHa32 \_wp(^.`_TUw]^.I�\coq`¦Xt\lI�J.� �

�������������M��

������� ������� ��������������� ��!�"#�%$&���%'�!��)(�*��+��,-����./�102"3!4( �5������67$8"9$8����!���:;(�<3=2:�>?/:��@A!4B/C/*"3EDF �4=2GIHJ�K#LNM�O4P QSR%O�T/U3VXW�QFY[Z�\]Q3^`_4aNb]_ � ^�ced ^�f`g �]hX� iX� _�a�a hN�

� _ ���j��J�4�Jkl,-���S�� �������!�"m$n����"[ko'�<[�4p3q`r'8����6I'�!�"3G)���q`*ksGI()��p3> (�pN��*G:�"t*q`!���pN(�:�!�"tG)>�*"[�1��:�!�GIH�� _ "3k.8u�'wve�x�l'�!�=2y3�4�J�4(�:�q`zC/*"3!�=2:�>*G�,N�1(�*����:;(�z{|!���}~G)<3!�y#��(�!��4y3y- �1�w:�"�� M)Z�W�V~P�Mz�&O�W�M �8\��E��\�O1�J� �*O��T���W�\+Z�� � _�a�a hN�

� ^ �����������!�"�$n�����/��-��w,-���4"[k,~(�! ����X���`6I'�!�=2=2!�"���"�(����q��4��G��4"[k,X!4�)(�:�"3�e����.�*q`���G��4��G d $m�x�1�)��:�����!4B��/�>**G)G):;(7�~H�� �w\+O�\��*�*O�PJT2��W�\+Z�� ��� d ����� a � _4a�a`_ �

� h������������!�"|$&������:;�X(J�4> }~:��X���#,�(�! ��n�N���[6IDS<N�:�"~q`���G):�!�"�kX:�GI(J��"3>��yX��!��3��*=�H��-:�"�� �4W�L3M T2��W�\�Z���OI��M �4O��� V~W�\+O4�r���-�eUNL~� � O���M �3�2b v��[Cz��G)>�p3*�#u�k � c v8�~B�!��JkE¡8"3:�q`���G):;(�������*G)G*� _�a�a�g �

� g �����������!�"#��$n����,�(�!1�`��5�N����6Iv/"¢(�<3�,X:�=2:��£�1��:;(7�9!�Bz,X (�G�!�B/�����=�pX(J�4(�:�!�"NG��4"[k¤:;(�G2$8yNy3��:�> �4(�:�!�"NG�(�!C/�"3!�=2�'�!�=2y[�4��:�G)!�"NH���'wve'wvev/��¥ a�^ ����!�>** kX:�"3��G*�8� M�Z�W�V~P)M��eO�W�M �¦\��§R%O�T8U[V~W�M PrY[Z�\]M �-ZJM ��q`!����_4¨�f�© � ¨ i4� ©�f � _4a�a�^ �

� ¨ ���!�pN�Jª�pN�C�������*q~«*"N��/���-��"[k�D#*G)����nC����36�.8�>*!�"NGI()��p3>�(�:�"3��(�<N���*"3!�=2:�>��1��> <N:;(�*>�(�pN��n!�B���"N>**GI()�J�4��x�4=2=����GIH��5¬ M �-O�T2Mz­�M ��M��4P)ZJL �*h d g�a�© � g � ¨ � _4a�a hN�

� © �®�:��� ��>/���~��"3k�?��1�)��j��N� �I,-����6I,X!��)(�:�"N�n���n��*q`���G��4��G�@�:;(�<>*!�=2=2!�"�:�"~(� ��q��4��GIH��`�5��!�>*� kN:�"3��GS!�B {r$8���_4a�a hN� � M�Z�W�V~P)M&�&O�W�M �/\��9R%O�T/U[V~W�M PeY[Z�\]M �-ZJM �[q�!���� ^�_ h a � _4¨ � ^`© � _�a�a hX�

� i4�2�/��"N"3*"N<[������:#, �N��"3k���*q~«*"N������ �X67D#�J�4"3GIB�!4��=2:�"3��>*���3�3����e:�"�(�!n(�pN��"3:�y b y-!��;�X"3!�=2:£�4��������!4��:�(�<N=AB�!��G)!4�)(�:�"3�&G):���"3*k�y-���=�pN(J�1(�:�!�"3G5������*q����G�����GIH��3¯ PIO ZJMJM)��\��~���eO7��W�L3M/°N±1W�L2²nR � Y3�4T/UXO���\�V~T³O4�¢K#L3M)O�PJ�O7�2R%O4T/U[V~W�\���� �#� © i4���*i f �F� f�f�g �

� f �2�8*�-���, ����"3k2,~(�! ��S�N����67®�:�"[kN:�"N�e�����-'�!�=2=2!�"��7"�(����q�����G5!�B�´��� ��=�pN(J�1(�:�!�"3GIH����5��!�>�* kN:�"N��G�!4B#'S���_4a�a ��� � M�Z�W�V~P)M&�&O�W�M �/\��9R%O�T/U[V~W�M PeY[Z�\]M �-ZJM �[q�!���� _4a i f � _4a`© � _ � iX� _�a�a ���

��� a �2�8*�-���, �F��"3k¢,�(�!1�`�N���#67$8����!4��:;(�<3=2GeB�!4��®�:�"[kX:�"3�¦C/*"N�'���p3GI(����GIH�������!�>***kN:�"3��G�!�Bw{r$8��� _4a�a ���� M�Z�W�V~P)Me�&O4W�M �e\��¤R%O�T/U3VXW�M P&Y[Z�\]M �-ZJM �[q�!���� _ �*h f � _�g�_ � _4¨�^ � _�a�a ���

�������DF��"3"N:����uw������������!�"µ$n���4"[k9,X����!4(2��� ��®����F67$�kNq���"3>�*Ge!�"µ,~!��)(�:�"3������.8*q����G�����GIH���(�!¦��yNy- �4��:�"¶z\�� Z�P�M W�Me²�U`U � \+M�� � �4W�L3M T2��W�\�Z�� � _�a�a`g �

»�» À�e/f�f�g�h

Page 17: Marie-France Sagot, Eric Tannier To cite this version · ISRN INRIA/RR--5540--FR+ENG apport de recherche Thème BIO INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Unité de recherche INRIA Rhône-Alpes655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier (France)

Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vignes4, rue Jacques Monod - 91893 ORSAY Cedex (France)

Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France)Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)

Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)

ÉditeurINRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France)��������� ���� ���������� ��� ���

ISSN 0249-6399