28
HAL Id: inria-00074115 https://hal.inria.fr/inria-00074115 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. Scheduling UET-UCT Series-Parallel Graphs on Two Processors Lucian Finta, Zhen Liu, Ioannis Milis, Evripidis Bampis To cite this version: Lucian Finta, Zhen Liu, Ioannis Milis, Evripidis Bampis. Scheduling UET-UCT Series-Parallel Graphs on Two Processors. RR-2566, INRIA. 1995. inria-00074115

Scheduling UET-UCT Series-Parallel Graphs on Two Processors · Scheduling UET-UCT Series-Parallel Graphs on Two Processors Lucian Finta, Zhen Liu, Ioannis Milis, Evripidis Bampis

  • Upload
    others

  • View
    8

  • Download
    0

Embed Size (px)

Citation preview

  • HAL Id: inria-00074115https://hal.inria.fr/inria-00074115

    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.

    Scheduling UET-UCT Series-Parallel Graphs on TwoProcessors

    Lucian Finta, Zhen Liu, Ioannis Milis, Evripidis Bampis

    To cite this version:Lucian Finta, Zhen Liu, Ioannis Milis, Evripidis Bampis. Scheduling UET-UCT Series-Parallel Graphson Two Processors. RR-2566, INRIA. 1995. �inria-00074115�

    https://hal.inria.fr/inria-00074115https://hal.archives-ouvertes.fr

  • ISS

    N 0

    249-

    6399

    ap por t

    de r ech er ch e

    INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

    Scheduling UET-UCT Series-Parallel Graphson Two Processors

    Lucian Finta Zhen Liu Ioannis Milis Evripidis Bampis

    N˚ 2566Mai 1995

    PROGRAMME 1

  • ���������������� � ������� ��� ������������� "!#�$!%�������"&'�$!)(*��

    + � �-, + .� + �/���0� + ���21

    354$687:9

  • � ��� + ����!2���/��� ����� ��� � �$!#(*����� �������������

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $# <

    = > ���F� + ��� �$ + �

    mµwasfad_Xr~aAvwx:{©2Gr@?[oKvG{ts�yw_badG{~i�g r~2sfpwi5xfopi�vG{©r~wc>sfpwiKaA_X ah«�y±e_feU{©{~iu{oKadg%yvGse�sbr~ad pzex¿i�iK[sfpwi�g#rGr~g#r¼eUsbradZah«Lg e¬hiKxfyzehBAÂr}¯ûi¯xfopi�vG{i5{~iKwchsfp�CFah«Txfiusah«Lyze_Xsbr¶eU{©{t aA_bi�_biKsehxf¬8x�rtsfpºvwGrtsb³?iiKo�vsbradG³}sbr~g2iDA �FE`GCnsexf¬8x#ew vwGrtsb³?oKadg2gvwGr~oe�sbr~adG³}sbr~g2iDA ��Ê$GCwiu{¶eKGxadIHJAÂri�dsbr~oe�{"C�y_baGo�iKxfxaA_bxLK ,M}¯

    m cdiKwiK_fe�{�wiKxfoK_Xr~yGsbr~aA a«�sfpi�yw_baA{iKg r~x sfpwi�«Áah{t{aDrc±¯ËpwiK_bi�eh_bi�H r~wiKdsbroeU{yw_baGoKiKxfxfad_bx)ehw·e¹xfius%ah«ON sex¬xªsfa�¿iZ_bvwºad sfpaAxfi[yw_baGoKi�xxfaA_bxK¯LDpwiZiiKoKvGsbradwx2ah«sfpwiOsex¬x2eh_biZxfvwGbiKous#sfa�yw_biKoKi�i�o�iOoKaAwx:sf_fe�r~dsfxPAHehw·oKadg%gªvwGr~oe�sbr~aAºwiu{¶eKGx�Cnsfpze�seh_bi)wiKxfoK_Xr~iK�d�e �iurcdpdsfiK�Gr_biKousfiK*eho¤Gou{tro#cA_fehywpRQTSUAWVYX$Z[Cf®_bi¤«ÁiK_b_biK¹sfa�ehx/sex¬cd_feywpo�adg2yG{~i¤sfiK®¯

    mnoKoKad_bGrc sfa sfpwiªsfpw_biKiu³onziu{~�wahse�sbr~ad�xopwiKg2ir~dsf_baGwvwoKiK¹r�K �MËehw�iGsfiKwi��rK jUpMl«Áad_ xfopi�vG{©r~wc yw_baA{iKg2x rtsfp°oKadg%gªvwGr~oe�sbr~aA wiu{ÂeKGx�Ëxfvwoqp°e*y_baAG{~iKg oUeh·¿iwiKwahsfiK�ehxkHrqsbmtu,h�XFh)dwv i,XYb�i[qmx�y�zW{hlpi�_bi�x8y�z|{�_biKyw_biKxfiKdsfxsfpi�g e¬hi�xyze

  • ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    �iK_bi yw_badyadxfiK�r~ K ,M�e K j��MH¯�m/{©sfpaAvwcdp�«Áadvw_eU{cdad_Xr©sfpwg2x�eh_bi ¬8wal«ÁaA_�xopwiKwvG{tr~wc�FE`�³ ��ÊË�sf_biKi�sehxf¬·cd_feywpxZad°sH�a»y_baGo�iKxfxaA_bx�Ëwa·eU{cdaA_Xrtsfpwg r~xZ¬8wa/]«Áad_ g2ad_bicdi�i�_feU{�ou{ÂehxfxfiKx�ah«Tcd_feywpx�¯

    : sfprx�y±ey¿iK_¤8�i5yw_ba²8r~wi�e ½ vzehw_feUsbro�eU{cdad_Xr©sfpwg sfa#o�adg2ywvGsfi�eh aAysbrg eU{xfoqpwiKwvG{~i«Áad_�eÀxfy¿i�our¶e�{dou{Âehxfx

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $#

    :¹sfpwi eha�²Ai#wi:nzGrtsbrad®r©«Fsfpwi2xfiK_Xr~i�x5oKadg%y¿adxbr©sbr~adehywyG{tr~i�x�adG{t�/pwiK5q � q�S jaA_q � qS j®sfpwiK �i aAse�r~�sfpwi[o¤{¶ehxfx�� ah« #:�! �"�!#��@1�' )'*���+�,�� � AXG^DjCncA_fehywpwxK¯�Hs#rx#ou{ieh_sfpzeUssfpwiªou{Âehxfxah«À^j�cd_fehywpwx�r~wou{~vwwiKx/rG³´«ÁaA_biKxbsfxKwadvGsb³´«ÁaA_biKxbsfx/ewadywyadxbr~wc#«ÁaA_biKxbsfx/exxfy¿iKo¤r¶eU{�oehxfiKx�¯mni±eg2yG{~i�a«`e�G^Dj�cA_fehywpOrxÀr©{t{vxbsf_fe�sfiKOr^�r~cdvw_bi j;AHe�Cf¯

    mnasfpwiK_2xfvw¿ou{Âehxfx#a«5xfiK_Xr~i�x:³?yzeh_fe�{t{~i¤{DcA_fehywpwx#lproqp°e_biO«Á_bi ½ vi�dsb{t·xbsfvwGr~iK·rºsfpi{tr©sfiK_feUsfvw_bi�r~xlxfiK_Xr~iKxb³?yzeh_feU{©{~iu{©³qjAjLAXG^DjAjsC}

    �ZÄ �"!$#~£%#¶È�! � pwi�ou{¶exxah«ËG^DjAj�cd_feypwx�r~xwi:nzi�¹ehx�«Áah{©{~alxK¯( pwi�xbr~wch{i5²diK_Xsfiu�cA_fehywp[rx5e G^DjAj�cd_feywp

  • ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    H«$sfpwi2o�adg2yadxbrtsbradrx�xi�_Xr~iKx�¿sfpi� ZS Z / Z �/ A2� 3 � Cf��DS � e � S � xfasfpzeUs

    qZcq�S qZ q PqZ q #g e7A$q � q�X�q � qC ( q � q Pq � q ,d�� v mqVed)q q ��dq q ��dqS¸qVcq" q �2q" q �q Xlpi�_bisfpwiPnz_bx:sZi ½ v±e�{tr©sH·oKaAg2iKx2«Á_baAg'sfpwi¹«}ehous2sfpze�sRq � qOS j�ad_^q � qOS j$ehw·sfpir~wi ½ v±e�{tr©sH�oKaAg2iKx5«Á_baAg sfpwi#«}eho¤s5sfpzeUs�«Áad_>eU{t{0y¿aAxbrtsbrt²Ai#vg¿i�_bx � ehw��z�g e�A � X��C �� ��z¯

    p8vwx�dZr~wwvwousbr~aAxfiK_XriKxb³Hyze_feU{t{iu{wcd_feywp Q¸oUeh2i/_biKyw_biKxfiKdsfi�[A e�rzeh_X2sf_biKi�

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $#

    r ad_bwiK_�sfa�_biKoKaAcdGr~¼�i ehw o�adwxbsf_bvo¤ssfpwi�i�oKadg2yadxbrtsbrad sf_biKiah«8Q SAWV8X$Z[Cf¯

    ( ?«q �2qeS jKsfpwiK>sfpwi$xbr~wc{~i¢²AiK_Xsfiªr �Drx�r�xi�_Xr~iKxLoKaAg2y¿aAx:r©sbr~aAnrtsfp�sfpwiF_biKg e�r~Gr~wccA_fehywp®¯

    ( ?«�q �2q�� j�ehwBQ¸rx/wahsloKadwwiKousfi�r©s�r~x�oKadg%y¿adxfiK�r xfiK_XriKx�ad_5rts�rxªwahs)eG^Dj>cd_fehywp®¯

    ¸pwiK q �2q�� jr~#aA_bwiK_�«Áad_8Q sfa�i�eh%^j$cd_feypyw_ba²8r~wiK)d2elxi�_Xr~iKxLoKaAg2y¿aAx:r©sbr~aAah«/Q ehwRQ 7Q gvwxbs5pzeK²di)e x:rwch{~i�rr©sbr¶e�{�²AiK_Xsfi®¯��ius �¿i�xfvwoqpe)²AiK_Xsfi®¯z?s5sfpwiKxeUsbrx nziKx5sfpwi)i ½ vzeU{©rtsH!A ��C / �IA ��CFS V ¯LrwoKi#sfpwi2xfiusfx"�A ��C5ew#�IA ��C5e_bi#Gr~xÁbar~ds��i�adGseUr

    ��A ��C $��A �CYS qV q !ïLï é8ý:����

  • ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    H«Àxvwop�e2²diK_XsfiuwaGiKx5wahs�iur~xbs�¿sfpi��ou{~ie_X{t Q aGi�x/wahs�iu{~aAwc%sfa sfpwi#ou{Âehxfx/a«�G^Djcd_feywpx�¯

    ¸pwiK q �2q � j¹ew5Q r~x2o�adwwiKousfiK®`sfpi�_big eKºixfiu²AiK_feU{�²AiK_Xsbr~o�iKx � xeUsbrxb«¶8r~wc��A ��C ��A ��CYS qjV q ¯dr~woKi~Q r~x�eouGou{©r~o8e�sfady¿a{~aAchr~oUeU{t{©xaA_XsfiK28vwg¿iK_Xrwc#ah«rtsfxF²AiK_Xsbr~o�iKxoe i¹yw_ba²8r~wiK°xfasfpze�s � _ �A��eC)rg2yG{triKx sfp±e�s � ( �±¯ÀDpvx�Fsfpi�g)r~Gr~g e�{tr©sH°ah«xfiK_Xr~i�x`wiKoKaAg2y¿aAx:r©sbr~aAªr~xËcdvzeh_fedsfiKiK)d2opwaGadxbr~wc ��sfa�¿i�sfpixfg eU{©{~iKxbsT²di�_Xsfi%xeUsbrxb«¶8r~wcsfpwi2i ½ vze�{trts?*eha�²Ai¯asfpwiK_bx/e_bi�{~aGoe�{cA_fehywp®¯

    ( Ê$adg%yvGsfi5sfpwi�xfius � a«�rGrtsbr¶e�{

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $#

    ^`_baGoKiKwvw_bi �OħdÈ �6+ A Q�X��X ��mX ���C � � 0�%� � ��m# ����� �" 0��� � A QLC��FÄ�� # !

    � & qVcqS j AWV S�� � �;C £��LÄ ! � A QLC�} S �Ä �¶¡�Ä� & q �2q�S j A �S� � �C £���Ä !

    V } S V �� � � �8� } S ��A � C �LÈz¥ iUehop � _^V ÉTÈ ��A���C }+S ��A��eC.]j ��[A � A QLC0C } S . �������������������� ��! �#"$ �&%�� �����'�(�&�)� ��!4�ZÄ8§dÈ �,+ A Q X�� X ���AWV CX ��mAWV C0CÄ �¶¡�Ä�r~wZsfpi�oKaAwi�ousfiKo�adg2yadwiKdsfx�2Q X:Q X !�!�! a«8Q �� & Q rxDwas/oKaAwi�ousfiK £���Ä�!

    Q } S QL �IV } S V V � � }+S � V � � } S � � ��[A � A QLC0C } S 9 ��)���������'�(�&�)� ��!4�ZÄ8§dÈ �,+ A Q X�� X ���AWV CX ��mAWV C0C "$ ��%(� ���*�'�������+�&!4�OÄ8§AÈ �,+ A Q X�� X ���AWV CX ���AWV C0CÄ �¶¡KÄ � � � ��Q �#L��4�m���$�%�o�$� �®rwOsfpwi�xg[eU{t{iKxbs�²diK_Xsfiu�xeUsbrxb«¶8r~wc��A �C $�A ��CYS qjV q ���& xfvwop � irx:sfx £��LÄ !

    V } S�� � _DV q � ( �+� ��V }+S�� � _^V q � � � �� }+S � �8� } S�� �+� �LÈz¥ ieoqp�� _BV É¢È ��A���C }+S ��A���C ��A ��C �LÈz¥ ieoqp�� _BV É¢È ��A���C }+S ��A���C ��A ��C ��[A � A QLC0C�}+S . ����������*�'�������+�&!4�OÄ8§AÈ �,+ A Q X�� X ���AWV CX ���AWV C0C "$ �&%�� ���������&�)� ��!4�ZÄ8§dÈ �6+ A Q X�� X ��mAWV CX ���AWV C0CÄ �¶¡KÄ�¥�Äd£�L¥ ! Q-,_6�

    Ä !LÉ

    #$Ä � �¦ � �����1� 04,���$�;� 0� �ZÄ8§dÈ �,+U )�$��4���&.,�!#96 ���%� ���! '^�

    0/s�!� � )'$1m� Q S AWV8X$Z[C

    �# ��% �g';�2� $ ���# � � ���!� ��4�m# �" $��%�"# �����R�*���$4 ��1�4#� �""4� � 0���^�� [A&N��C � �l� �6.���! )�NDS qV q �

    5�¥�È

  • j � ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#� �����������������

    ����� ���������������

    ���

    i>wi:nzwie2xfoqpwiKwvG{~i)ehxne#«Ávwousbrad��R}eV�� ��� � 3 �8j;Xq �dr}¯ûi¯�A � C�S A��! �X&b" 3C$/pwiK_bi�# r~xsfpwi>sbrg2i�x:{ahsnehw[b" sfpi�yw_baGoKiKxfxfad_�aAOlproqpZsehxf¬ � r~xlxfoqpwiKwvG{~iK®¯±m¾xfopi�vG{inrx$:��'#�%$!� � r©« }( «ÁaA_eU{t{ � X � _^V[ ��&S � r~g2yG{©r~iKx~A��# eX&b' 3C &SA��#(*X&b"(�C �

    ( r©«/A � X �eC(_�Z sfpwiK)�# j � A@b' &Sgb'(,C �*�#(lpi�_bi � A ( C0rxDsfpwi�r~wGr~oe�sfad_$«Ávwo¤sbr~ad®¯

    pwi _biu²AiK_bxfi[«Ávwwousbr~aA+�7m�A���X&b�C>crt²AiKx>sfpwi sehxf¬�xfoqpwiKwvG{~i� ad yw_baGoKiKxfxfad_ b r~*sbr~g2ixb{~as��¯eh "��� � r~¹sbrg2i#xb{~as-�rt«$aAiah«sfpwi y_baGo�iKxfxaA_bx�r~xªrG{~i wv_Xrwc¹sfprxªsbrg2i x:{ahs�¯�: sfpGr~x)oehxfi2�i oKadwxbr~wiK_ex>r©«Dsfpwi r~G{~iyw_baGoKiKxfxfad_5rxªiwiKoKvGsbr~wc�e nzousbr©²di sex¬¿®{¶e¿iu{iK �G¯¢^`_baGo�iKxfxaA_bxeh_bi wiKwahsfiK*d ^Dj[ehw^F¯ F). �i�wiKwasfi5sfpi�g[eh¬iKxfy±e�AÂ{iKwchsfp�CFah«0eªxfopwiKwv{isfpzeUsr~x$sfpwi�{¶ex:s$sbrg2i�xb{~ahsxfadg2i5sexf¬2r~x/iuiKoKvGsfiK�ad�ehdZyw_baGoKiKxfxfad_�}

    . S g eU#�/�Lq'� m A��:X�jsC &S �#ad_0� m A��:XqC &S ��� !m52r{iÀr2sfpwiDsbr~g%i/xb{~as/jA´_biKxfy

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $# jdj

    eho�oKadvwds�sfpwi�wisA´xi�_Xr~iKx�ad_�yzeh_fe�{t{iu{"CFoKaAg2y¿aAx:r©sbr~aA%sfa%¿i5aAy¿iK_fe�sfiKOaA[r©s�r}¯ûi¯r©sfxÀ«}e�sfpi�_r~�sfpiwiKoKaAg2y¿aAx:r©sbr~aA[sf_biKid¯�wad_neU{©{Q _ �DsfpiyzeUr_`A Q�X��cCf¿/pwiK_bi�� _ � . � X . X 9 �dwiKwahsfiKxsfpwins?Gy¿iah«0wisnoKadg2yadxbrtsbradDA . aA_ 9 C$sfa2/pGr~op¹cA_fehywp�Q"y±e_Xsbr~ouryzeUsfiKx�¯±pixbr~cAªwiKwahsfi�x�sfpzeUs8Q·r~x0e/_Xr~cApds A LC

  • j ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    #$Ä � �¦ � � /s�! � #����������+� � 4 $L'�� 0'$12� QSAWVYX�ZC 6 � � � �!�e� ��� . ( qV q �Y#:' � �# $ � ��e�12 )4$1��! � "�!#��o��['�����W����4 $���Y� �""4��� � ��'��$)�F# �" 0�%�&�����$� �o4'#����������+�`4 $F�+�!��� � � . � �6.���! 0� . � � qVcq ��1� 0�!#:�! /,��e� � ����#:' �9�(1� 04$1��! �""�!# � �����!#��# � 0�%�o��� 4$1��! )' �""4�m#`�$';��$)��*4;�2���� A$qjV qC �" �9� �

    5�¥�È

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $# j <

    ����� ��������/����� ��� ���� ���������� ����� �'�� �� �Ê$adwxbr~wiK_`nz_bx:s�sfpwi oehxficQ SQ �9 Q �/pwiK_biIQ S AWV X$Z C�e Q S AWV X$Z Cf¯T®i¤s� A´_biKxfy®¯ � C)i�e GroKi¹xfoqpwiKwvG{~i�a«[Q A´_biKxfy®¯�Q C#Dr©sfp _biKxfyiKous sfa5A Q X 9 CPA´_bi�xy®¯A Q X 9 C0C$/pGroqp¹_bi�xvG{©sfxDr~�e2g eh¬iKxfyzehZah« . A´_biKxfy

  • jK ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    +T¥�È

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $# j

    5�¥�ÈGroKi®r©s>«Áa{t{a�lx�sfpzeUs�sfpwiK_bi2r~xwaadyGsbrg eU{

    ïLï é8ý:����

  • j ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    xfoqpwiKwvG{~i�rtsfp�adwi�r~G{~i�r~�sfpi)adywy¿aAxbrtsfi�xbr~wiªwiur©sfpwiK_/«Áad_~Q aA_D«ÁaA_`Q¯±X¹sfpGr~x�oexfi �oKaAxbsf_bvwousfiK%d#sfpwi5e�{~cAad_Xrtsfpwg"r~xFaAyGsbr~g e�{¿ew2Gr~oKiDr©sfp2adwiisf_biKg e�{±rG{~i5ew eUs0{~iex:sadwir~dsfiK_bze�{±r{i¯dH«�sfpwi/aAysbrg eU{Gr~oKi � pzexFwaªiGsf_biKg eU{zr~G{iAaAwi/oe2iehxbr©{t2xfiKi�«Á_badgsfpwiªGroKiKwiKxfxDa«�� rtsfp¹_bi�xyiKoussfaIA Q X 9 CÀsfpze�sDsfpwiK_bi�r~xla «Áiexbr~G{~i�xfopi�vG{i>wiur©sfpwiK_«Áad_Q wad_l«Áad_LQ rtsfp�{~i�csfp . rtsfp�xfadg2i)isf_biKg[eU{Tr~G{~iLehw¹sfpwiK_biªrx�wa[«Áiexbr~G{~ixfoqpwiKwvG{~i�wiur©sfpwiK_$«Áad_OQ wad_$«ÁaA_kQ¸rtsfpZ{~iKwchsfp . »j5rtsfp sH�a2iusf_biKg e�{

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $# js

    ( ?«�� pzehx�e�_Xr~cApds~A��

    ���

  • j, ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    ���!� ��������/����� � �' � ��� � � � � � �'�� �� �Ê$adwxbr~wiK_�wa�¸sfpwi>oUehxfi�Q S Q . Q lpwiK_bi[Q S AWV X$Z C�ehw^Q SAWV X�Z Cf¯±m5c8e�r~®{~i¤s-� A´_biKxfy®¯ � C$¿ie2Gr~oKi�xfopi�vG{i>a«8Q A´_biKxfyadwi¯ iDxfvwywy¿adxfi$sfpzeUs0sfpil_Xr~cApdsFr~G{iÀr � ew2sfpi�{~i¤«¶sFr~G{~iad � e_biÀr#sfpwi/xehg2iyw_baGoKiKxfxfad_A´ahsfpwiK_Xr~xfi�e¹_biK8vwg¿iK_Xrc*ah«sfpwiOyw_baGoKi�xxfaA_bx>rºadwi ah«lxfoqpwiKwvG{~iKx8r~i¤{~wx#sfpwiOwiKxbr_biKyw_badyiK_XsHmCf¯

    pwieU{~cAad_Xr©sfpg )�§��1)�Ä8¥ iu{~a¾o�adwxbsf_bvo¤sfx�e2Gr~oKixfoqpwiKwvG{~i ��ah« Q"Dr©sfp¹_biKxfy¿iKo¤sDsfaA Q�X��cCf¯/ahsfi$sfpzeUs0advw_0i�oKadg2yadxbrtsbrad�sf_biKi�yw_ba�²r~wiKxFg#rGr~g e�{wxi�_Xr~iKx0oKadg2yadxbrtsbrad®¯Up8vwx�i�adG{t wiKi�Osfa oKaAxbri�_Ësfpwi�oexi�x �_ � 9 X . � �A¯

    +¢¥�ÈeU{~xfa#sfpze�s/e�sD{iehxbsadwiah«sfpwi/xfoqpwiKwvG{~i�x � ew � rx$adyGsbr~g[eU{zwvisfa�sfpi«}ehous0sfpzeUs$iur©sfpwiK_� aA_"� rxFxbr~wch{iusfad®¯ i5Dr©{t{Lxfpwa�¸sfpzeUssfpi�oKaAwoeUsfiKze�sbr~ad a« � ew � 8riu{~wx5eOaAyGsbr~g e�{�xfoqpwiKwvG{~i�ah«8Q¯

    ëÁîTï�ëÁð

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $# j

    �ªÈ�!�¡ #¶É¢Ä8¥ �0¥�¡u£/£��LÄ#§A¦w¡KÄ �TS 9 ' H«®¿asfp#xfoqpwiKwvG{~i�x � X4� eh_bi�adyGsbr~g[eU{}UsfpwiK)ou{~iUeh_X{tsfpwioKaAwoeUsfiKze�sbr~ad*r~x aAysbrg eU{H¯ iZxfpa iu{~a-sfpzeUs2sfpwi�x:rg2yG{~iZoKadwoe�sfiKzeUsbradºe�{~xfa8riu{~wx5e)roKi�xfoqpwiKwvG{~i¯

    ( ?« � ehw � pzeK²Ai5¿asfp2sH�aisf_biKg e�{±rG{~iKxFsfpwiK ou{ieh_X{© �Opzex�eU{~xfa5s?�a#isf_bi�g eU{rG{~iKxlehwOsfpvxr~xle#Gr~oKi�xfopi�vG{i>a«8Qª¯

    ( ?«2� pzehx¢s?�aªiusf_biKg e�{rG{~iKx$ew � aAG{t)adwi`AÂlpGr~op2r~xFwiKo�iKxfxqe_Xrt{©ªsfpwi�{~iu«¶sFrG{~isCfxbro�i � r~x Gr~o�iOrtsfp·_biKxfy¿i�ous2sfa�A Q X . � Cf`�ioUeh·oKaAo¤{~vwwi[sfpzeUs sfpwiK_biZr~x waaAyGsbr~g e�{$xfoqpwiKwvG{~i rtsfp {iKwchsfp . . «ÁaA_Q Dr©sfp adwi _Xrcdpdsr~G{~iDA´asfpi�_XDrxisfpwiK_bi�rx/e#xfvwwxfoqpwiKwvG{~i�r~��¹«Áad_OQ rtsfps?�a2isf_biKg[eU{Lr~G{~i�x/eZ{~iKwcsfp . Cf¯

    ( ?«-� pzex>s?�a�isf_biKg e�{$r~G{~i�x2ehw � adG{t*aAiIAÂlpGr~op r~xwiKoKiKxfxeh_Xr©{t�sfpwi _Xr~cdpAsrG{~isCf8d xbr~g)rt{¶e_$eh_bcAvwg2iKdsfx$aAioe oKadwou{vwisfp±e�sFsfpwiK_bi/rx$a�aAysbrg eU{xfoqpwiKwvG{~i«ÁaA_OQ rtsfpaAwi5{~iu«¶sr~G{~id¯

    ( ¸pwiK*¿ahsfp xfoqpwiKwvG{~iKx � X4� p±eK²Ai adG{t*adwi iGsf_biKg eU{$rG{~i¢xbr~woKi � A´_bi�xy®¯ � CrxªGroKi Dr©sfp _biKxfy¿i�ousªsfa A Q X . 7C[A´_biKxfy®¯�A Q X . � C0Cf�r©s#r~xou{ieh_�sfpzeUssfpi�_bi%rx#waaAyGsbr~g e�{FxfoqpwiKwvG{~i)«Áad_�Q A´_bi�xy®¯ Q CDDr©sfps?�a¹isf_bi�g eU{0r~G{~iKx�®sfpvx�sfpwiK_bi#rxªwaxfopwiKwv{iD«ÁaA_ Q ah«¿{iKwchsfp). . j�Dr©sfp sH�aisf_biKg e�{¿r{iKxOA´ahsfpwiK_Xr~xfi/sfpwiK_biiur~xbsfx�e xvwwxfoqpwiKwvG{~i)r~�� iur©sfpi�_5«Áad_LQ ah«F{iKwchsfp . �ad_5«Áad_Q a«F{~iKwcsfp . rtsfpZsH�a iGsf_biKg eU{�rG{~iKx�Cf¯

    ?«�adG{©ºadwi�ah«5sfpwi¹xfopi�vG{iKx � ew � r~x aAyGsbr~g e�{}`�ioKaAxbri�_#sfpwi¹oehxfi � rxxfvw¿adyGsbrg eU{H¯TpwiOoUehxfi sfp±e�s � r~x2xfvw¿aAyGsbr~g e�{�oehºi[seoq¬A{~iK r°eh·ezeU{~aAcdaAvx�eKA¯Í/Drwc>sfasfpil«}ehousFsfpze�s0� r~xe�Gr~oKi5xfopwiKwv{i/rtsfp _biKxfy¿iKo¤s$sfacA Q X �Y�CfAr©s$«Áah{©{~a/xFsfpze�ssfpwiK_biªrx5wa adyGsbr~g e�{TxopwiKwvG{~i�«Áad_`Q rtsfp�aAi_Xr~cApds5r{i¯¿Dpvx>eU{t{TaAysbrg eU{0xfoqpwiKwvG{~i�xah«�Q lpGr~oppzeK²Ai#{~iKwcsfp . ¸j#xfpwadvG{~�iKw¹rtsfp*¿asfp�y_baGo�iKxfxaA_bx5wvwx:�r~�sfpwi#{¶ex:ssbr~g%iªxb{~as�¯��5vwinsfa sfpwi�r~dsfi�_by_baGo�iKxfxaA_Do�adg2gvwroeUsbradwx/iusH�i�iKsfpwi>sfi�_bg#r~zeU{Lsex¬x/ah«Q ew[sfpwi5r~Gr©sbr¶eU{sehxf¬ ah«Q sfpwi�oKaAoUeUsfiKzeUsbrad ah«Ted aAysbrg eU{�xopwiKwvG{~i5a«YQ Dr©sfpeh*adyGsbrg eU{$xfopwiKwv{i ah«GQ A´i¯ûcw¯�� Cn_bi�xvG{©sfx>r er{iZeUs�sbr~g2i xb{~as . xaZsfpzeUssfpisfahse�{$adyGsbrg eU{�xfopi�vG{i ah«GQ pzehx�{~i�csfp+. . ¯Fdr~woKi sfpwi oKadwoe�sfiKzeUsbrad�ah«Gr~oKixfoqpwiKwvG{~i�x � ew � r~iu{x�sfpwi xehg2i2g[eh¬iKxfy±e®sfpGr~xoKadwoe�sfiKzeUsbrad�r~x)eU{xaZadyGsbrg eU{«Áad_kQ¯ �lx:rwc#waµxbr~g)rt{¶e_�eh_bcAvg%iKdsfxehx$r~ sfpwi�yw_biu²8r~aAvwxÀoUehxfiaAwi5oKadwou{vwi�xFsfp±e�s�sfprxxbr~g2yG{i[o�adwoeUsfi�±e�sbr~aA a«DGroKi xopwiKwvG{~iKx8r~iu{wx2eU{xfa�eGr~oKi xfopi�vG{i%rtsfp»_biKxfy¿iKous�sfaA Q�X 9 Cf¯

    �ªÈ�!�¡ #¶É¢Ä8¥�!LÈ8Ç-£���Ä%§d¦w¡KÄ �TS . � ' :2sfpwi5eU{cdaA_XrtsfpwgZU�i n±_bxbs$o�adwxbsf_bvo¤s �ex`iu«Áad_birtsfpO{iKwchsfp�. S . +. ¯±pGr~xxopwiKwvG{~i�r~xlroKi5rtsfp¹_biKxfyiKous�sfaIA Q�X . � C0lpwiKwiu²AiK_ïLï é8ý:����

  • � ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#� pzehx$e/{iu«¶s`r{i¯*µpwiK � waGiKx0asFpzeK²dine/{~iu«¶s0r~G{~id�ig eh¬ilenxbsf_biusfopG³´{iu«¶sFaAy¿iK_fe�sbr~aAad�� sfa�oK_bieUsfi[e[{~i¤«¶s�r~G{~i aA �¢¯®X�ad_bwiK_�sfa�y_ba²Ai2sfpwi _biKxfv{©sfiK�xfoqpwiKwvG{~i2rx>GroKi�ioKaAxbri�_Ës?�a xfvoehxfiKx�¯

    ( ?« � pzex�e[_Xrcdpdsnr~G{~i

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $# j

    �0�zȱ¥*#~£���� )�§��LÄ8É A � X��cC � � 0�%�"� $�m#`'\�"���#����������+��4 $~';�D�e% �� )'$1m�P 0� 1� 0�!#:�!���o�$� $ � � � �FÄ(� # !

    ��& �[A � C _^V £���Ä !*¥�Äd£�L¥�! sfpwi�adyGsbr~g e�{LxfoqpwiKwvG{~i�a«�sfpwi�xbr~wch{i5sehxf¬ ad�^Dj �Ä �¶¡KÄ ��& �[A � C8S . £���Ä !� } S )�§��LÄ8É A �)���������'�(�&�)��� . �� "� } S )�§��LÄ8É A $ ��%(� ���*�'��������� . � � "�B} S )®§ �1)®Ä¥ A#� X � X �cC �Ä �¶¡KÄ � � � � �[A � CS 9 �� } S )�§��LÄ8É A �)���������'�(�&�)��� 9 � "� } S )�§��LÄ8É A $ ��%(� ���*�'��������� 9 � "�B} S )®§ �$55¦w¥ A#� X � X��cC �Ä !LÉ ¯ i�yw_ba²di�sfpwi�«Áah{t{aDrcsfpwiKad_biKg¯

    � ��Ä8Èz¥�Ä � & � 4; �� /s�! � ����7�,�/��� #��! $"�!#��@1�'; 0'*���+�,�� �'�&';# �k� 0'$12� Q 6 � � N �&';# ��#��;� ���! 0�

    �#L'� [A&N��C '3��*4; $ � � � �o4 Y���\'�R4$1�� �l'*��#����������+�4 $ Q 4;�,� 684G1� 04,���!#$#�4 �# �5�¥�È

  • d ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    � # �ÄdÆf¡ �¶È£

    ���

    & �5 �5 &

    � # �ÄdÆf¡ �¶È£

    �����

    & � �5 �5 &

    � # �ÄdÆf¡ �¶È£

    � �� � �& � � � �

    5 �5 &

    � # �ÄdÆf¡ �¶È£

    ��� ��

    & � � � ���5 �5 &

    ���

    & �5 �5 &

    ������ � �& � �

    5 �5 &

    � �� � �& � �

    5 �5 &

    � �� � �& � � �5 �5 &

    ��

    � � �

    � �

    �� �

    � �� � �

    & � � ���� � �

    �����

    �����

    � � �

    � � �

    � # ��ÄdÆf¡ �¶Èw£

    � # ��ÄdÆf¡ �¶Èw£

    � # ��ÄdÆf¡ �¶Èw£

    � # ��ÄdÆf¡ �¶Èw£

    � �

    � � �

    � � �

    � � �

    �r~cdvw_bi�}GXdsfiK_bg%iKGr¶eUsfi�Gr~o�i>xfopwiKwv{iKx�«Áad_$sfpwi�xvwwcd_feywpxah«Lsfpwi5sehxf¬ cA_fehywp[r^�r~cAv_bij¯

    � + ���5�����U��� �$��� !#��¹�

    i`pzeK²di$yw_biKxfiKdsfi�ªe ½ vzehw_feUsbro`sbr~g%i�eU{~cAad_Xr©sfpg]«Áad_sf_fewx:r©sbrt²Ai2_biKwvwousbr~aA¹r~x�eG^Djcd_feyp®¯:sfpGr~x5oexfin�ipzeK²di�sfa9nz�sfpi�sf_fehwxbrtsbr©²di)_biKwvwousbr~aA¹ah«Tsfpwiªcrt²AiK¹cd_feywpnz_bxbs�¿ehwOsfpwiKZsfiKxbsDr©«�r©sDrx�G^Djd±ehw nzzeU{©{t�ehywyG{t sfpwi�xfoqpwiKwvG{trwc eU{~cAad_Xr©sfpg¯

    m¾_bi�g eUrrwc2adyiK ½ vi�x:sbrad r~x�sfpwin^¢³Hpze_bwiKxfx�ah«Lsfpwi�xfoqpwiKwvG{trc%ah«TcdiKwiK_fe�{¿sex¬cd_feywpx0Dr©sfp �FE`�³ ��Ê$ºaA#sH�ayw_baGoKiKxfxfad_bx�¯� i�oKaA�biKousfvw_bi/pwa�iu²AiK_`sfpzeUs0sfprx$yw_badG{~iKgr~x yah{©Gwadg#rÂeU{/pwiK·sfpwisehxf¬ºcA_fehywp·¿i¤{~adwcAx#sfa sfpwi¹ou{Âehxfx2a«�cdiKwiK_fe�{5xfiK_XriKxb³Hyzeh_fe�{t{iu{cd_feywpx~AÂrtsfpwadvGssfpi�_biKxbsf_Xrousbr~aAOr~Zsfpwi>xfiK_XriKxoKadg2yadxbrtsbrad�Cf¯

    ëÁîTï�ëÁð

  • ����������������������������������! �"�!#$�&%(' )'*���+�,�.-/ 0'$12�3#�4�5�76849%/ )4,�$�!#�#:4; $# <

    � ���8���$�����/���

    K j:M ��¯�*¯¯���ehg%iKzeG 5u8opi�vG{©r~wcOsfa�r~Gr~g)r~¼Ki%�ergªvwg Ê$vwgªvG³{ÂeUsbrt²Ai)ÊËaAxbs58vwGbiKous�sfa 8iK_XriKxb³X^Teh_fe�{t{iu{T^`_biKoKi�i�o�iÊËaAxbsf_fe�r~dsfx�7w�� 1��! 0' �""4�m#��(�!�#��$'; 0��� � � 7Aj�C/j�±ju³j3G¯

    K �M^L¯ÊËpw_biusbriKwid®Êl¯¿^¢roKadvG{~iUehv® 5u8opwiKwv{©r~wc2rtsfp�Ê$adg%gªvwGr~oe�sbr~aA �5iu{Âe¤x!}wm 8vw_X³²Aiu17±AX ����������������P������4 � ';�2� � �"#�1*1���"��' �""4�m# G^L¯¿Ê$pw_biusbr~iKwwi�iuse�{}¯2AWE0x�¯+Cf��G¯]rt{iuA®jUdd¯

    K < M0¯*�r~dse�L¯8¯±m¯

  • h ����� ����&'�� ��� ���� ��� "��#��� ��� '��O12�#

    K jU�M��¯ ��e�{~wiKx�¿�¯7E�¯

  • Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique,

    615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY

    Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex

    Unité de recherche INRIA Rhône-Alpes, 46 avenue Félix Viallet, 38031 GRENOBLE Cedex 1

    Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex

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

    Éditeur

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

    ISSN 0249-6399