Optimal Blurred Segments Decomposition in Linear Time

20
Optimal Blurred Segments Decomposition in Linear Time Isabelle Debled-Rennesson, Fabien Feschet, Jocelyne Rouyer-Degli To cite this version: Isabelle Debled-Rennesson, Fabien Feschet, Jocelyne Rouyer-Degli. Optimal Blurred Segments Decomposition in Linear Time. [Research Report] RR-5334, 2004, pp.16. <inria-00070667> HAL Id: inria-00070667 https://hal.inria.fr/inria-00070667 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´ ee au d´ epˆ ot et ` a la diffusion de documents scientifiques de niveau recherche, publi´ es ou non, ´ emanant des ´ etablissements d’enseignement et de recherche fran¸cais ou ´ etrangers, des laboratoires publics ou priv´ es.

Transcript of Optimal Blurred Segments Decomposition in Linear Time

Optimal Blurred Segments Decomposition in Linear

Time

Isabelle Debled-Rennesson, Fabien Feschet, Jocelyne Rouyer-Degli

To cite this version:

Isabelle Debled-Rennesson, Fabien Feschet, Jocelyne Rouyer-Degli. Optimal Blurred SegmentsDecomposition in Linear Time. [Research Report] RR-5334, 2004, pp.16. <inria-00070667>

HAL Id: inria-00070667

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

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, estdestinee au depot et a la diffusion de documentsscientifiques de niveau recherche, publies ou non,emanant des etablissements d’enseignement et derecherche francais ou etrangers, des laboratoirespublics ou prives.

ISS

N 0

249-

6399

ISR

N IN

RIA

/RR

--53

34--

FR

+E

NG

ap por t de r ech er ch e

Thème COG

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Optimal Blurred Segments Decomposition in LinearTime

Isabelle Debled-Rennesson — Fabien Feschet — Jocelyne Rouyer-Degli

N° 5334

Octobre 2004

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

615, rue du Jardin Botanique, BP 101, 54602 Villers-Lès-Nancy (France)Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19

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

021436587:9;9<7>=?7@5�9<7@A�B�CD7:E�E�7:1�1GFHE∗ IKJ 365�L;7:E J 7:1�MON�7@P † I8Q F'M:7@9;R'E�7SCDFHT�RH7@U)B2=?7:VH9;L ∗

WYX[Z)\^]�_�`badcfehgjilkmZ�\^]�ion)prqrsutvkwtvxyizK{wp}|~]�ko���[�rqr]

�o�}�u��p@{lko�h]�{w]�n(X[]�{wn(Xu]�s6���}�@�}��c�`�n�kmpr�u{m]��}�@�}��c��G���u�}q@]�i

�������)�O�[�r�r���¡ £¢ {w{m]G��¤y�[{w])¥jt¦p ¢ i   g§su�}\^]��§x ¢[¨�¨ g[©ªim])q@\�]�s:kwiH«$]){w]�t£s:km{wph� ¢ n�]G�b�jg§¬§])�   ]��j­®��]�s[s[]�iwimprs])kY�   �riY�}s.]�¯jkm]�suilt£prs.p}x°kwX[]��}{wtvkwX[\^]�kwt£n��   �}�[�u{mp:�rn(X�p}x���])¥@])t  ¦  Z�i$prs?�ht±imn){m])km]   t£s[]�i�²:kmp�kw�r³r]§t¦s:kmp�@n)n)p ¢ s:k�s[prt±im]´t¦sµ�ht£qrt¦kw�   t£\��}qr]Gi)¶·�os¸t£sun�{w])\^])s:k(�  o  t¦su]��}{m­<kmt£\�]>�   q@pr{wtvkwX[\¹«Y�ri^�u{m]Gil]�s@kw]��ºkmp�[]�n�p@\^��p:il]D�>�[t£iwn�{w]�kw]�n ¢ {w¥r]�t¦s:kmpS�  ¦¢ {m{w]��-im])qr\^]�s@k(i�«�t¦kmX»p@{w�[]){��6p ¢ s��h]��-�jg¼�´�u�r{w�r\�])km]�{�½O¶¾¿pO«¡]�¥r]�{�²�t¦k�xy�rt   i�kmp-il]�qr\^])s:k^�ht£iwn�{w]�kw]?n ¢ {w¥r]�i�t£s@kwp��&\^t¦sut¦\��   s ¢ \���]�{�prx¿�  £¢ {w{m]G��im])qr\^]�s@k(i)¶À�]^t£�[])s:kmt¦xÁg´t¦s&kmXut£ib�u�r��]�{�²HkwXu�Ok�kmXut£i�n(Xu�r{w�@n2kw]){wt£ilkmt±n�t±ibt¦s:km{wt£suilt±n�kmp.kmX[]^«�X[p   ]^n   �riwi¿prx¡�  £¢ {w{m]G�im])q@\^])s:kwi�¶�À�]�kmX ¢ i$t£s@kw{mph� ¢ n�]b��i ¢ �Hn   �riwi8prx'�  £¢ {m{w]��.il]�qr\^])s:k(i)²j�u�@il]G��prs?��q@])pr\^])km{wt£n¿\�]G�ri ¢ {w]prxokmXut£n(³js[]Gimi�¶»À�]?�u{mpO¥jt±�h].�&s[])«Ân�prsj¥@]�¯¼X ¢[ ¦  �u�@il]G�»t£sun�{w])\^]�s@k(�  Y  t¦s[]G�}{�kmt£\^]Ã�   q@pr{wtvkwX[\ÄxÁpr{im])q@\^])s:kmt£s[q^�ht£iwn�{w]�kw]�n ¢ {w¥r]GiYt¦s:kmp^\^t£s[t¦\��  ¦  gDkwX[t¦sÃ�  £¢ {w{m]G�.im])q@\^])s:kwi�¶Å´Æ:ÇHÈwÉ�Ê �OË��r� eh])qr\^]�s@k(�Okwt¦p@s°² �$ ¦¢ {w{w]��Ãej])q@\�]�s:k�²�_¡prsj¥@]�¯�¾ ¢u ¦  ²�¬§t£iwn�{w]�kw]�Ì°t£s[]r²[Í¿prt±ilg´_ ¢ {m¥@]

∗ Î[Ï�Ð'ÑÓÒ&Ô�Õ(ÖG×~ØoÙHÚªÕ(Û�Ü4Ý4Þ�ß�×~àâá~Ö)ã;à äOå)Ý4á�ÙHæªç�è2é2ê¡Ù6ë(ì�ë2í2î$ïHÕ(Ö4ðGñ�ÝGòGóyá®ÙÓôâõ~Þ;ÙÁÔ�Õ(Ö4×®Ø�ÚHá~ð4á®ö† ÎjÎjÒ�ÑyÚ.Ù�ÑÁ÷�øSÚHôâá~óyÛ�ù2Ö)ãyÙÓúOá~ó;ó;Õ(Ö4ð�ÙHÚªÕ(Û�Ü4Ý4Þ°ð4á~Þ�Úªû~ü~álÕ(ÝGö¿ÙHî2éGýmþ(èYÒ�Ý4ÿ4àâõ~ó;á¡ÚHá~ð4á®ö

���"$#��%�&#����(����#��*��� ����������������?#��.� #������������ �������o�%������������2���

�� �� � � � Ì°]Gi�il]�qr\^])s:kwi ��p ¢ i�p@s@k��)k���t£s:km{wpj� ¢ tvk(i��u�}{��~iw�}�6]  £  ]o¬¿]��   ]G�j­®��])s[su]�iwilp@s�])k8�   n�p@\^\�]])¯jkm])s�ilt£prs»�h]  �� �}�u�[{mphn(X[]D�r{mt¦kmXu\��)kmt�� ¢ ].�h]Gi��h{wprt¦km]Gi��ht±iwn�{wZ�km]Gi��[{wpr�6p@i��)]��u�}{��o])¥r]�t  £  Z�i�²����us��h]kw])s[t£{�n�p@\��[km]�� ¢ �[{ ¢ tvk��[�rsui   ]Gibt¦\��}q@]�i��ht±imn){mZ)km]�i�¶��¿s��   q@pr{wtvkwX[\^]�t£sun�{��)\^]�s@k(�   ]�k   t¦s����}t£{w]��h]����n�p@\^��p:ilt¦kmt£prsÃ� � ¢ s[]�n�p ¢ {w��]��ht±iwn�{wZ�km]b]�sÃim])q@\^])s:kwi �up ¢ io� � pr{(�h{w]b��p@{ms��b�u�r{ ¢ sÃ�u�}{(�}\^Z)km{w]�½b��)k��o�u{��Gil]�s@k��r²@\^�rt£i¡n�])k¡�   qrp@{mt¦kmX[\^]�s[]�il]�qr\^])s:kw]��u�riKkmp ¢ |~p ¢ {(i   ��n�p ¢ {m�6]o]�s ¢ s�s[pr\��[{w]o\^t¦s[t£\��  �[]bim])q@\^])s:kwi �up ¢ i�¶KÍop ¢ iY\�p@s:km{wprsuiY�[�rsui�n�]�{(�}�[�6pr{mk!� ¢ ]�n�]�kmkm]�n)�r{w�@n2k��){wt£ilkmt�� ¢ ]§]Gi~kot£s:km{wt¦s�ilZ"� ¢ ]#   �´n   �riwil]�n)pr\^�   Z�km]D�[]�i�im])q@\�]�s:kwi$�up ¢ i�]�k�sup ¢ i�t£s:km{wph� ¢ t±ilp@sui ¢ s[]Dimp ¢ il­®n   �riwil]^�h]�i�il]�qr\^])s:kwi��p ¢ i�²Y�u�ri��)]Si ¢ {�i ¢ { ¢ s[]S\^]�i ¢ {w]´q%��pr\&��kw{mt�� ¢ ]>�h]  '� ���u�}t±iwil] ¢ {�¶dÍop ¢ iD�u{��Gil]�s@kwprsui ¢ sµs[p ¢ ¥r]  �   q@pr{wtvkwX[\^]�t£sun){���\�]�s:kw�   ])k   t£s����rt¦{w]r² ¢ kmt   t±im�rs:k  '� ])sj¥r]   p@�[��]^n�p@sj¥r]�¯h]@²(� ¢ t���]�{m\^]�k��h]�im])q@\�]�s:km]){  ]�i�n)p ¢ {w�6]�i��ht±imn){mZ)km]Gi�])s�il]�qr\^])s:k(i)��p ¢ i�� � �)���}t±imim] ¢ {�\^t£s[t£\^�   ]�])k8�hprs�n¡]�s ¢ s^s[pr\��[{m]$\^t¦sut¦\ ¢ \�[]bim])q@\^])s:kwi �up ¢ i�� � �)�u�rt£iwim] ¢ {��6pr{ws��)]@¶* Ê �G� È �%+ � � � eh])qr\^]�s@k(�Okwt¦p@s°²$ej]�qr\^])s:k��up ¢ ²-,Ksj¥@]   pr�[�6]´n�prsj¥@]�¯h]r²8¬§{wprt¦km]Ã�ht£iwn�{wZ�kw]r²�_¡p ¢ {w��]�u{ ¢ t¦k���]

������������ ���������� ½� ������������ �!�#"%$�����$&�����'�($��)���+*,�����#��.-/���0� �

1 2 ���'��#��?�."8����#��

¬§t±imn){m])km].¤;�   ilp.n)�  £  ]��>�ht£qrt¦kw�   ©§im])qr\^]�s@k(i¿�r{m]�«¡]  ¦  ³js[pO«�s´pr�h|~]Gn2k(i¿«�X[t±n(X>Xu�4¥@]��6])]�s´kmX[p@{mp ¢ qrX   gilk ¢ �ht¦]G��xÁpr{�\�p@{m]^kwXu�}s»�@�Ãgr]G�}{(i03¦�4�&4 ¶ÃWYXu]){w]D�}{w]�\^�rsjg��h] �us[t¦kmt£prsui�p}xo�ht±imn){m])km]Dim])q@\�]�s:kwi�²��  ¦ ]"� ¢ t¦¥O�   ]�s@k�xÁpr{05O­®n�p@s[s[]�n�km]G�»�ht±imn){m])km].im]�k(i��rsu�¼�r­ n)prs[s[]Gn2kw]��»�ht±iwn�{w]�km]?il])kwi�¶¼¬¿t±imn){m])km]?il]�qr\^])s:kwiim]){w¥r]Ã�ri^� ¢ t   �ht£s[q¼�   phn(³ji�xÁp@{�{m]��[{w]�im])s:kw�}kmt£prs63£����4<²��h]Gn�pr\^�6p@imtvkwt¦p@s73 ��4§pr{��}su�   ghimt£i^prx��ht±iwn�{w]�km]n ¢ {w¥r]�i��}s��»\^pr{w].q@])s[]�{w�  ¦  g¼ilX��}�6]�i�¶98[pr{^t£suilkw�}s�n�]r²¡��p   gjq@prsu�   t ¨ �}kmt£prsui�p}x§�ht±iwn�{w]�km]Ãn ¢ {m¥@]�i��}{w]«�t±�h]   g ¢ il]G� t¦sµimXu�r��]´{w])�[{w]�im])s:k(�Okmt£prs:3£���&4§�rsu�¸n)�rs ��]Sn)pr\^� ¢ kw]�� t£s   t£s[]��r{�kmt£\^]93£�)�[²$�[²<;&4<¶=>pr{w])pO¥r]�{�²HkwX[] ¢ im]Dprx��[t£iwn�{w]�kw]Dil]�qr\^])s:kwi���]�{m\^t¦kwi��´�6]){mxÁ]�n�k�{w])�[{w]�im])s:kw�}kmt£prs�pr{�{w]�n)prsuilkm{ ¢ n2kwt¦p@sprx��[t£iwn�{w]�kw]bn ¢ {w¥r]�i�¶K¾opO«$])¥@]){G²:kmX[t±i�\^t¦q@X:ko{m]Gi ¢[  kot£sÃn)pr\^�   t£n��Okw]��?{m]��[{w]�im])s:kw�}kmt£prsui¡«�X[])s´�ht±iwn�{w]�km]n ¢ {w¥r]�iot¦sun  ¦¢ �h]�s[p@t£im]�pr{§Xu�4¥r]b�6])])s&�ht£ilkmp@{lkw]��Ã�jg.�rs>�rn�� ¢ t£imtvkwt¦p@sÃ�[{mphn)]�iwi)¶ =>�rs:g.��p   gjq@prsu�   �}�h­�u{mp4¯ht£\^�}kmt£prs-\^]�kwX[ph�[i�Xu�4¥@]���]�])s»�u{mp@��p:il]G��kmX[{wp ¢ q@X[p ¢ k�kmX[].gr]��r{wi ¢ ilt£s[qS�[t?>H]){w])s:k��r�[�[{wp@�rn(X�i3 @h²Y���[²$�4�j²���4 ¶»W'p-�h]G�   «�tvkwX�s[p@t£im]?�rsu�»�@i��rs»]�¯jkw])suimt¦p@s�prxokmX[]?{w]�i ¢[  k��[{w]�im])s:km]G�»t£s63 �&4<²8kmX[]sup}kmt£prsSp}xKx ¢[¨�¨ g>im])q@\�]�s:kwi§«$�@i¿t£s:km{wpj� ¢ n�]G�>t£sA3£�}²°�&4 ¶��osu�>xÁ{mp@\ s[pO«�prs°²H«$]�imXu�  ¦  su�}\^]�kmX[]Gil]im])q@\^])s:kwi��  ¦¢ {m{w]��¼im])q@\�]�s:kwi�{(�OkwX[]){�kmXu�rs¼x ¢[¨)¨ g¼il]�qr\^])s:kwi�t¦s�pr{(�h]){�kwpS�[{w])¥@])s:k��rs:g�n�p@shx ¢ imt¦p@s«�t¦kmX�x ¢[¨�¨ g   p@qrt±n��rsu�&x ¢[¨)¨ gSq@])pr\^])km{wgr¶�WYX[]^kmXu])pr{w])\ p}x�¬¿]��   ]G�j­®��])s[su]�iwilp@s��rsu�-��])¥@])t  ¦  Z�i03 ��4�u{mpO¥jt±�h]�i��rs»t£sun�{w])\^])s:k(�   �   q@pr{wtvkwX[\Ä«�tvkwX   t£s[]G�}{m­;kwt¦\^].n)pr\^�   ]�¯ht¦k~gSxÁp@{�kmXu].{w]�n)prqrsutvkwt¦p@s�prx¿�ht±i~­n){m])km]oim])q@\�]�s:kwi ¢ ilt£s[q��r{mt¦kmX[\^])kmt±n)�   �[{mp@��]�{lkwt¦]GiK�}s��^Xu�ri8��]�])s�]�¯jkw])su�h]G�^xÁpr{8�  ¦¢ {m{w]���im])q@\�]�s:kwi��jg¬§])�   ]G�j­ �o])s[s[]Gimimprs&]�k��   3£��4 ¶�¾opO«$])¥@]){G²H�  ¦¢ {m{w]��&il]�qr\^])s:kwi�{w])�[{w]�im])s:kbi ¢ �6]){(im]�kwi�prx8kmXu]�p@{mt£qrt£su�  �[t£iwn�{w]�kw]��[�}kw�?�}su�>kmX ¢ i�²HkmX[]^{w]�i ¢[  k�p@�hkw�rt¦s[]G�S«�t¦kmX&kmXu]��[{w])¥jt£p ¢ i§kwX[])p@{m]�\!n)�}s&s[p}kb�6]�q ¢ �}{(�}s[­kw])]G��kwp���]�p@�hkmt£\��   ²[t£s.kwX[]�im])suim]bkmXu�}k�kmX[]�p@{w�[]){(i¡prx�kwX[]��  £¢ {w{m]G�.im])q@\^])s:kwi��r{m]bs[prkos[]�n)]�iwim�r{mt   g\^t£s[t£\^�   ¶?À�]D�[{w]�im])s:k�t¦s-kwX[t£i��u�}�6]){��´i~k ¢ �hg�p}x$kmX[]Dp@{w�[]){�p}x��  £¢ {w{m]G�-il]�qr\^])s:kwi��rsu��t£�[])s:kmt¦xÁg�-�htCBDn ¢[  k~g�t£sºkmX[]´\^t£s[t¦\^t ¨ �}kmt£prs p}x§kmX[]´p@{w�h]�{�p}xb�&�  ¦¢ {w{w]�� il]�qr\^])s:k�t¦s�ilt±�h]ÃkmXu]?{w]�n)prq@s[tvkwt¦p@s�u{mphn�]Gimi�¶ ¾¿])sun)]r²Y«¡]´�u{m]Gil]�s@k^kwX[])p@{m])kmt±n)�   �}{wq ¢ \^])s:k(i�kmpÃ| ¢ ilkmt¦xÁg �-{w]�ilkm{wt±n2kmt£prs t£s kmX[]Sn   �@imi^prx�  ¦¢ {w{w]���im])qr\^]�s@k(i�t£sDpr{(�h]){Kkmp�q ¢ �}{(�}s:kw])]�pr�[kmt£\^�   t¦k~g�t¦s�kwX[]¿{w]�n)prq@s[tvkwt¦p@s^�[{mphn)]�iwi)¶D=´pr{w])pO¥@]){G²}p ¢ {�r�[�[{wp@�@n(XÃn��}s��h]��   «�t¦kmX��ht£iwn�p@s[s[]Gn2km]G�>im]�kwi§«�X[t±n(XS«Y�ri¿t¦\^�6p@iwilt£�   ]�«�t¦kmXSkmX[]�kmX[]�pr{w])\ qrt£¥r]�s>t£s3£��4 ¶WYX[]��u�r��]�{.t±i?pr{wq@�}sut ¨ ]�� �ri�xÁp  £  pO«oi�¶ �®s·im]�n2kwt¦p@s·�¼«$]S{w]�n��  £  �[] �us[t¦kmt£prs�i?�rsu�¸�[{wpr�6]){mkmt£]�i

¢ il]G�St£sE3£��4�kwpÃim])q@\^])s:kb�[t£iwn�{w]�kw]^n ¢ {w¥r]�i§t£s@kwpÃ�  ¦¢ {m{w]��&il]�qr\^])s:kwi�¶�À�]^�[{w]�im])s:k�t¦s-il]Gn2kwt¦p@s��h¶ �[²°��u{mp@�   ]�\ t¦s´kwX[]�\�t£s[t£\^t ¨ �Okmt£prsSp}x�kmXu]�p@{w�h]�{¿prxK{m]Gn�prq@s[t ¨ ]��Ã�  ¦¢ {w{w]��>im])q@\�]�s:kwi�¶§WYX[t±i¿�u{mp@�   ]�\ t£in)pr\^�   ]�kw]   g�t±�h]�s@kwt ��]��¼t£s»kwX[])p@{m]�\ ���}su�   ]��@�[i�kmp>kwX[]�t£s:km{wph� ¢ n2kwt¦p@s»p}x¿�&i ¢ �6n   �@imi�p}x¿�  £¢ {w{m]G�im])q@\^])s:kwi��jg^�r�[�[t¦s[q���qr]�pr\^]�kw{mt±non(Xu�r{w�@n2km]�{mt ¨ �}kmt£prs�p}x°�  £¢ {w{m]G��il]�qr\^])s:kwiK�u�rim]��^p@sDn�prsj¥@]�¯�X ¢[ £  i)¶� {w]�n)prqrsutvkwt¦p@s��   qrp@{mt¦kmX[\ prx��  £¢ {w{m]G��im])qr\^]�s@k(i$t£iY�h]Gimn){mt£��]G��t£sÃil]Gn2kmt£prs?���jg�kwX[]b«$�4g^prx���i~k ¢ �hgprx¡kwX[])t£{�]"� ¢ t¦¥O�   ]�s@k�n(X��}{(�rn2kw]){wt ¨ �Okwt¦p@sui�t¦s-kw]){w\^i�p}xon�p@s:¥@]�¯SX ¢[ £  i)¶Ã�os¼t£sun�{w])\^]�s@k(�  K  t£s[]��r{l­<kmt£\^]{w]�n)prq@s[tvkwt¦p@s¼�   qrpr{wt¦kmX[\ t£i��[{w]�im])s:km]G�-«�X[t£n(X�q ¢ �r{w�rs@kw])]Gi�kmXu�}k�kmXu].n�p@\^� ¢ km]G�¼�  £¢ {w{m]G�¼il]�qr\^])s:kwi�r{m]�kwX[]^kmX[t£s[s[]Gi~k���p:imimt¦�   ]�p@s[]�i�¶�,�¯h�6]){wt¦\^])s:k(i��}{w]^qrt£¥r])s-t£s¼il]Gn2kmt£prs-�Ãkwp>ilX[pO« kmX[]�� ¢ �   t¦k~gSprxkwX[]b�h]�n)pr\^��p:ilt¦kmt£prs�p}xªkmXu]§�[{wpr�6p@im]����   q@pr{wtvkwX[\ö�À�]�])su�DkmX[]��u�}�6]){$«�t¦kmX.impr\^]�n�prs�n  £¢ ilt£prs�i8�}s���6]){(im��]Gn2kmt£¥r]GiYt¦sÃim]�n2kwt¦p@s>�h¶

Ð�Ð Ö�Fuë2é2é(ì

� � � � �C� ½���� ���������#��$������� � "� ����� � $��� ��� � � ��� ���

� �)��������� ��������������

����� ����������� �"!#��$WYXu]Ds[p}kwt¦p@s-p}x��  £¢ {m{w]��¸¤;�   ilp>n��  £  ]G��x ¢[¨)¨ g[©�il]�qr\^])s:k(i�{m]   t£]�i�prs-kmXu]��}{wtvkwX[\^]�kwt£n��   �[] �us[t¦kmt£prs¼prx�[t£iwn�{w]�kw]   t£s[]�i03£�r��4K«�Xu]){w]^�   t¦su]r²'«�Xup@im]�i   p@��]^t±i a

b

²   pO«$]){b��p ¢ su�µ�rsu�SkmX[t±n(³js[]�iwi

ω¤y«�tvkwX

b²µ�rsu�

ω�6])t£s[q�t£s@kw])q@]){oi ¢ n(X?kmXu�}k

gcd(a, b) = 1©$t±iYkwX[]�im]�kop}x�t£s@kw])q@]){��6prt£s@k(i

(x, y)¥r]�{mt¦xÁgjt¦suq

µ ≤ ax − by < µ + ω¶�e ¢ n(X´�   t£s[]�t£i��[])s[prkm]��?�jg

D(a, b, µ, ω)¶

WYX[]§{m]G�  [  t£s[]�iax− by = µ+ω−1

�}s��ax− by = µ

�r{m]�{w]�im�6]�n2kwt¦¥@]   g�s��}\^]���kwX[] � � � ��� �� ½� $�% ����C�#������ � �?����� � prx

D(a, b, µ, ω)3 �&4<¶DWYXu]�t£s:km]�qr]){��6prt£s:kwi

(xL, yL)¤Á{w]�im�°¶

(xU , yU )©�p}x$kmX[]

  pO«$]){�¤y{m]Gil�'¶ ¢ �[��]�{(©   ]��}sut¦s[q   t£s[]Gi§prxD(a, b, µ, ω)

�}{w]�n��  £  ]G�ÃkmX[]   pO«¡]�{�¤Á{w]�im�°¶ ¢ �[�6]){2©   ]G�}s[t£s[q�6prt£s:kwiYprx

D(a, b, µ, ω)¶�À�]�{w]�xÁ]�{Ykmp 8�t£qu¶Y�bxÁp@{o���[]�iwn�{wt¦�hkwt¦¥@]b]�¯[�}\^�   ]bp}x'kwX[p@im]bs[p}kwt¦p@sui�¶

�®sbkwX[]�xÁp  £  pO«�t¦s[q�²�«$]�{w]�ilkm{wt£n�k°p ¢ {'ilk ¢ �hg¿kwpo�6prt£s@k(iªp}xjkwX[]��u{(i~k�pjn�kw�rs@k°prxZ

2 ²O� ¢ ]�kwp¿img:\^\^]�kw{mt£]�i«�t¦kmX¼{w]�im�6]�n2k�kmpOx²Oy

�}s���kmX[]D{w]��  8  t¦su]x = y

¶ÃÀ�]DkmX ¢ i��   «$�4ghibXu�4¥@]0 ≤ y ≤ x

¶>WYX[t£iXjgj�6p}kmXu]�imt£ibn)�rsS�6]��hprs[]^«�t¦kmX[p ¢ k   p:imi§p}x$qr]�s[]){(�   tvk~g´�rsu�&imt£\��   t �u]�i§kwX[]^s[p}k(�Okmt£prs�i)²ª�[{wpjp}xyib�}s���[] �us[t¦kmt£prs�i)¶&?Æ('*)*+ � +yÊ,)-/."02143 � ���

Sb

$"5 "#$�� ���#"������76�� ��$���������8|Sb| ≥ 2 9 $�5+���: � "#$�� ���#"���� ½ "����;6&� � �+

<>=@?BACAEDGFIHCD;J KLD>MONQPSR"N�TVUWAGF,D>A�F � 5 �X ����� � � ½ � ��"��������!�������D(a, b, µ, ω)

����"� �X ��������� $��������$�5

Sb

� ���C$�� � ��$D�� ½ ω

max(|a|,|b|) ≤ d Y-Z � �������D� � ���� ½ � $ � �! <EUW?[M\FWR�M]J �������#5 $��

Sb YWYX[]8s[p}kwt¦p@s�prx:p@{w�[]){°prxj�Y�  £¢ {w{m]G�bil]�qr\^])s:k°Xu�@iª��]�])s�t£s:km{wpj� ¢ n�]G�¿kwpo�htC>6]�{m]�s@kwt£�}km]�kwX[]�kwX[t£n(³js[]Gimi

prx¡�6p ¢ s��ht¦suq   t£s[]�ibprxS²�imt¦sun)]��}sjgSi ¢ BDn�t£])s:k   g´kmXut£n(³��ht£iwn�{w]�kw]   t£s[]�n)�rs�n)prs:kw�rt¦s

S¶DWYX ¢ i�²°k~«$p

�[t£iwn�{w]�kw]   t£s[]�i�n�prs:k(�}t£s[t¦suqSn)�}s-�6]�n�p@\^�u�}{w]��&«�tvkwX»{w]�im��]Gn2k�kmpÃkwX[])t£{�p@{w�[]){(i��}su�&kmXut£i�qrt£¥r]�i��

n   �@imimt ��n)�}kmt£prs�p@s�kwX[]�im]�kop}x   t£s[]Gion�p@s@k(�}t£s[t£s[qS¶

�®s pr{(�h]�{�kwp��6]´{w]��rimprs��}�   g¼n   p@im]�kwp&kwX[]Ã��p@t¦s:k(i^p}xS²¡t¦kDt£i^su]�n�]Gimiw�}{wg�kmp-t£s@kw{mph� ¢ n�]Ã\^pr{w]

{w]�ilkm{wt±n2kmt£¥r]Kn)prsu�[tvkwt¦p@sui°p@s@kwp�kmXu]8�ht±imn){m])km]   t¦su]�i�n�prs:k(�}t£s[t¦suqS¶�WYXut£i   ]G�r�[i°kmpokwX[]Ks[prkmt£prs�prx H^N"ACR�_(N2=@`

�6p ¢ su�ht£s[q   t£s[]�i�¶&?Æ('*)*+ � +yÊ,)�ab."021 *�� �

Sb

� � � ��������� ½ ������������[% ���X $�� ½ ���d%B $&��� � ��" � �#�� ��� �����;6����� �

[0, l−1]�� ½ �C���D(a, b, µ, ω)

� � � $���� ½ ��� �+�?�����$"5Sb Y D � � ����� ½ H^N�ACR�_(N�=@`�<EUW?[M\FWR�M]Jdc>UWA

Sb

� 5D��$&�#��� �%��� � �� �C�#&��� �X ���#� �C�#�� ��� � � $�������� ���)�X � ��� �����;6&��

[0, l − 1]�� ½Ge

Sb

"#$�� ������ � ��<� �%���� $����� $�% ��� �C�#������ � � $������ �� ½ $���� � � � ��� �C�#�� ��� � � $������ $"5

D Y�®s8�t¦q�¶[�r²

D(1, 4,−4, 8)t±iK�bi~kw{mt±n2k   g���p ¢ su�ht£s[q   t¦su]�p}x6kmX[]��  £¢ {w{m]G�^il]�qr\^])s:k

Sb

¶�WYX[]   ]��rs[t¦suq�6prt£s:kwi¡p}x

D�r{m]¿kmX[]§��p@t¦s:k(i

(4k + 3, k)�rsu�

(4k, k + 1)²rxÁpr{

k ∈ [0, 3]�}s��

Sb

n)prs:kw�rt¦suiKkmX[]   pO«¡]�{  ]��rs[t£s[q^��p@t¦s:k�¤y�u² �:©Y�}su��kmX[] ¢ �[��]�{   ]��}sut¦s[q^�6prt£s:k�¤l�G�[² �j©2¶

���f� gh�]i#jk�[�l��m*����!#�nmOo"i\!#pq��� rsj ���l��!ut�o�vsp p �[wx$(�]iljy�B�#� ${z|��� r}$>��pq��~,� o"�t�!lvs�sw����si�o2���s�[$

À�]?�[{mt£] ��g�{w]�n��  £  t£s»kwX[t±i����}{(�}qr{(�}�uX&kwX[].km]�n(Xus[t � ¢ ] ¢ im]��¼t£s63£� 4Ykwp&im])qr\^]�s@k^�&�[t£iwn�{w]�kw].n ¢ {m¥@]t£s:kmp¼p@{w�h]�{

d�  £¢ {w{m]G� im])q@\^])s:kwi^«�t¦kmXµilkm{wt£n�k   g��6p ¢ s��ht¦suq   t£s[]�i�¶·WYX[t±iDim])q@\�]�s:kw�Okwt¦p@sº{w]   t£]�i^prs

ÑÁÔ�аÑÓÒ

������������ ���������� ½� ������������ �!�#"%$�����$&�����'�($��)���+*,�����#��.-/���0� �

lower leaning line

upper leaning line

x

Sb ��� � ���� � ����� ��� ��� � ����� � � D8�t£q ¢ {w]����K��i~kw{mt±n2k   g���p ¢ su�ht£s[q   t¦s[]

Dp}x����  £¢ {m{w]��?im])qr\^]�s@k

Sb

kwX[]�xÁp  ¦  pO«�t¦suq^kmX[]�pr{w])\ò[«�X[t±n(X>i~k ¢ �ht£]�iokmX[]��[t?>H]){w])s:k¿�6p@iwilt£�   ]�n)�@il]Gi�p}x�kmXu]�qr{wpO«YkmX?p}xK���  £¢ {w{m]G�im])q@\^])s:k�¶��� ÆjÊ � Æ ��� ."021 *�� �!� � "%$�� ��� ½ ��� � �?������� ½ ������������

Sb

���7�7���� �#���0$ "������� %B $&��� � ��" � �#����� �����;6��� � �

[0, l − 1]�� ½

D(a, b, µ, ω)e ���'���(" �'� � $���� ½ ��� �9������� Y � � �X � � "#&��� e �7�� $�� ½ ��� $�5

Sb

� �ωbY *�� � M(xM , yM )

� � �� ����� ��� ��� � $������ "#$�� ���#"���� ½ � $Sb

%B $����) � ��"�� �%��9� �+��! ���� ��$l$��

l − 1 Y#" �)"#���� AED>K%$qR�M\FZD>A �� Me &� 5#����"����($��:$�5

De ��$�� � ½

r(M)�� ½º½ �&� ��� ½ �

r(M) = axM − byM Y(i) � 5 µ ≤ r(M) < µ + ω

e �7�� �M ∈ D '

Sb ∪ M� � � ��������� ½ �������� � �#% ���X $�� ½ ��� ω

b

�� ½D�� �#�'���("���� � $���� ½ ��� � �?����� Y

(ii) � 5 r(M) ≤ µ − 1e �X ���)( � � �+* � � ���($�� ��$

D 'Sb ∪ M

� �) � ��������� ½ � ��� �0����� % ���X6$�� ½ ��� ω′

b′

�� ½ �7��)�������D′(a′, b′, µ′, ω′)

� � �������("��'� � $���� ½ ��� � e % ���X− b′

�� ½a′ "%$ $�� ½ �������� �)$"5+�X � 6��%"�� $�� −−−−−−−→

Pr(M)+1Me

Pr(M)+1

� ����� �A�7��0��$���� �Q%B�$&����%� ����� ½ ��� � �

r(M) + 1% ���X ����� �� ½ � $

D�� ½

xPr(M)+1∈ [0, b − 1]

e− µ′ = a′xM − b′yM

− ω′ = a′xLL− b′yLL

− µ′ + 1e % ���7

LL(xLL, yLL

)� &��� � $�% ����C�#������ � � $������ $"5�X �

�?�����D����� ��� � � ���

Sb Y(iii) � 5 r(M) ≥ µ + ω

e �7�� �,( � � ��* �������($�� � $D '

Sb ∪ {M}� � � �������%� ½ �������� � ��% ���XE$�� ½ � � ω′

b′

�� ½ �X � �������D′(a′, b′, µ′, ω′)

� ��������("��'� � $���� ½ ��� � % ���7− b′

�� ½a′"%$ $�� ½ �������� � $"5+�X � 6&�#"���$�� −−−−−−−→

Pr(M)−1Me

Pr(M)−1

� ����� �A�X �!��$���� �Q%B�$&����%� ����� ½ ��� � �

r(M) − 1% ���X ����� �� ½ � $

D�� ½

xPr(M)−1∈ [0, b− 1]

e− µ′ = a′xUL

− b′yUL

% ���XUL(xUL

, yUL)�C��#�� � � ��� �C�#������ � ��$���� �$�5 �X �)�������

D����� � ����� ���Sb

e− ω′ = a′xM − b′yM − µ′ + 1 Y

Ð�Ð Ö�Fuë2é2é(ì

� � � � �C� ½���� ���������#��$������� � "� ����� � $��� ��� � � ��� ���

M

P

d′

L

d′

UMdU

P

dL

��

8�t£q ¢ {m]�� ���¿s?])¯[�}\^�   ]�prx��  ¦¢ {w{w]��?il]�qr\^])s:k�qr{wpO«YkmX.{m]   gjt£s[q�p@s´WYX[])p@{m]�\ �[¶

�¿sS])¯h�r\^�   ]�p}x¡�r�[�   t£n��Okwt¦p@s´p}xKkwX[t£i§kwX[])p@{m]�\ t±i§qrt£¥r])sSt¦s 8�t£qu¶ �h¶b���  £¢ {w{m]G�>il]�qr\^])s:kSb

«�t¦kmXp@{w�[]){��Ãt±i��h])�[t±n2kw]��¼t£sA8�t£qu¶S�¼¤   ])xÓk(©2¶

D(1, 3,−2, 4)t£i�i~kw{mt±n2k   g��6p ¢ su�[t¦s[qSxÁpr{

Sb

²dU

�}su�dL�r{m]�kmXu]   ]G�}s[t£s[q   t£s[]Gi�p}x

D¶DWYX[]��6prt£s@k

M(15, 4)t±i��r�u�h]��&kmp

Sb

¶�ejt¦s�n�]rD(M) = 3

²'�@�[�ht£s[qM

kmpSb

n�pr{w{w]�im��p@su�[i�kwpSkwX[]´n)�@il](iii)

p}xokwX[]?kmX[]�pr{w])\ �Pt£i�kmXu].�6prt£s:k^t£s

[0, 2]i ¢ n(X»kmX��Ok

rD(P ) = 2²hkmXu]�i   pr�6]�p}x

D′ t£i¿n�pr\^� ¢ km]��ë�t¦kmX?kwX[]�¥r]Gn2kwpr{ PM²hkmXu]){w]�xÁpr{w]

D′(4, 13,−12, 21)t£i

ilkm{wt±n2k   g>�6p ¢ s��ht¦suq.xÁp@{Sb ∪ {M}

¶D`§s&{wt¦q@X:kbprx<8�t£qu¶'�[²��?{m]��[{w]�im])s:kw�}kmt£prs>prxD′ �}su� Sb ∪ {M}¤y�   �rn(³��6prt£s@k(iw©¡t±iYqrt£¥r]�s°¶�WYX[]b��p@t¦s:kwi$prx

D′ «�Xut£n(X?�hp^s[p}k��6]   prs[q�kmp Sb ∪ {M}�r{m]§t¦së�X[t¦km]@²

d′U�rsu�

d′L�}{w]¿kwX[]   ]��}sut¦s[q   t¦su]�i�prx

D′ ¶WYXu�rs[³hi$kmp^kwX[t£i�kmX[]�pr{w])\ò[�   t£s[]��r{Ykmt£\^]�t¦sun){m]�\^])s:kw�   �   qrpr{wt¦kmX[\�prx�im])q@\�]�s:kw�Okwt¦p@s�t£s:kmp^pr{(�h]){d�  ¦¢ {m{w]��?il]�qr\^])s:k(iYt£iYp@�hkw�rt¦s[]G�?t¦s 3£�}²��&4��hkwX[]�n ¢ {w¥r]

Ct±iYt¦s�n�{w])\^])s:kw�  ¦  g�iwn)�rs[s[]��°²h]��rn(X?�6prt£s@kot±i

kw]�ilkm]G�ª¶�WYX[]¿�[{wt£sun�t£�   ]ot£i$�ri�xÁp  £  pO«oi �   ]�kSb

�6]okwX[]§n ¢ {w{m]�s@k¡pr{(�h]){d�  £¢ {w{m]G��il]�qr\^])s:k�²:���6prt£s:k

MprxCt±i§�@�[�h]G�?kmp

Sb

²�kmX[]�n(Xu�}{(�rn�km]){wt±i~kwt£n�iYp}x8�Dilkm{wt£n�k   g.�6p ¢ su�ht£s[q   t¦su]�p}xSb ∪ M

�r{m]�n�pr\^� ¢ km]���@n)n)pr{(�ht¦suq>kmp¼WYX[]�pr{w])\ �u¶ WYX[]´n ¢ {m{w])s:k�il]�qr\^])s:k^t¦s�n  £¢ �h]�i�kwX[]´�6prt£s@k

Mtvx§kmX[]´¥O�  £¢ ]Ãp}x§kmX[]

p@�hkw�rt¦su]��-{(�Okmt£pω/max(|a|, |b|)

t±i   pO«$]){�p@{�]"� ¢ �   kmp>kwX[]�p@{w�[]){d¶ ,   im]r²�kwX[].n ¢ {w{m]�s@k�pr{(�h]){

d�  ¦¢ {w{w]��^il]�qr\^])s:k8]�su�[i¡�OkKkwX[]¿�6prt£s:k   phn��Okm]G�^��])xÁpr{w]Mt¦s

C�}su����s[])«¸p@{w�h]�{

d�  ¦¢ {w{w]���im])qr\^]�s@k

ilkw�r{lk(iY�OkM¶

����� � m �2� w�p m�z|tsmO~��WYXu])pr{w])\����h]Gimn){mt£��]GiK�}s�t£sun){m]�\�]�s:kw�   \�])kmX[ph�^kwp�n�p@suilkm{ ¢ n2k8��ilkm{wt±n2k   g���p ¢ su�ht£s[q   t¦su]r¶�¾opO«$])¥@]){G²kwX[]�p@{w�[]){�prx$kwX[].�@imimphn�t±�Okw]��-�  £¢ {w{m]G�¼il]�qr\^])s:kwi�n)�}s�s[p}k��6].n)prs:km{wp  £  ]���t¦sº�}sjg�n)t¦{(n ¢ \^ilkw�rsun�]Gi)¶¾¿])sun)]r²@kmX[]¿\�t£s[t£\��   {(�Okwt¦p

w/ max(|a|, |b|)t£i¡ilp@\�])kmt£\^]�iKsup}k8p@�hkw�rt¦s[]G�ª¶�WYX ¢ iKqrt£¥r]�s��bkmX[{w]�imX[p   �

p@{w�[]){d²[kmXu]�il]�qr\^])s:k(�Okmt£prsÃ�   qrp@{mt¦kmXu\ \^t¦q@X@k�il]�qr\^])s:k¿���ht±imn){m])km]�n ¢ {m¥@]�t£s:kmp�kwpjp�\^�rsjg��  £¢ {w{m]G�

im])q@\^])s:kwi�¶ 8[p@{�t¦s�i~k(�}sun)]r²[kwX[]�n ¢ {m¥@]b�[])�[t±n2kw]��Ãt£s 8�t£qu¶¡�´¤   ]�xÓk(©o\^t¦q@X@ko�6] ¢ s�n�pr{w{w]�n2k   g.il]�qr\^])s:km]G��[])�6])su�ht£s[q.prsÃkmXu]   t¦\^t¦kmt£s[q�p@{w�[]){

dn(X[p ¨ ])sÃxÁp@{¿kwX[]��   q@pr{wtvkwX[\ö � k�t£i ¢ sun)pr{w{m]Gn2kw]��   g?im])q@\^])s:km]G�

imt£sun�]ÃxÁp@{d = 1.9

²8kwX[]Sim]�kDt±i��h]Gn�p@\��6p@im]��ºt£s@kwp�im])¥r]�{w�   �u�}{mkwi�� ¢ kDkmXu]){w]´]�¯ht£ilkwi��-��p ¢ su�ht£s[q  t£s[]D«�t¦kmX¼{(�Okmt£p>ilkm{wt£n�k   g   pO«¡]�{�kmXu�rs

1.9¶?W�«$p´]   ])\^])s:kwi�\^t¦q@X@k���]Dt£sun){mt£\^t¦su�}km]G�SxÁp@{�kwX[t£i�xy�rn�k �

kwX[]��   q@pr{wtvkwX[\Â�rsu�ÃkwX[]�\^]��@i ¢ {m]@¶$À�]�X��4¥r]��h]Gn�t±�h]��´kmp�ilk ¢ �[g.kwX[]�\^]G�ri ¢ {m]��}xÓkm]�{§])¯j�6]){wt£\�]�s:kw�  t£sj¥r]Gi~kwt¦q:�Okmt£prs�i)¶

�®s»p@{w�[]){�kwp ¢ su�[]){(i~k(�}su�-kwX[]�\^]G�}s[t£s[q>prx�kmX[].{w�}kmt£pw/ max(|a|, |b|)

²�«$]��h]�n)t£�[]��-kwp&ilk ¢ �hgt¦k�t¦sºkmXu] �u{(ilk^phn�kw�}s:k�xÁpr{��&s[p}kDn�p@{m{w]�n�k   g¼il]�qr\^])s:km]G���ht±iwn�{w]�km]Ãn ¢ {m¥@]&¤yim])] 8�t£qu¶��:©2¶E8upr{��}sjga�}su�

b¥O�  £¢ ]�i�²�«�tvkwX

a ≤ b²'«$]DXu�4¥r]�n)pr\^� ¢ kw]���kmXu]D{m]�\��}t£su�h]){

r(M)¶´WYX[]D¥O�  £¢ ]�p}x

ω«$�@i

�[]�� ¢ n)]��&ilt£\^�   gS�:g>�@�[�ht£s[q���kwp�kwX[]��ht?>H]){w])s�n�]���])k~«¡]�])s>kwX[]^\��O¯ht¦\ ¢ \!�}s��´kmXu]�\^t£s[t£\ ¢ \!prx

ÑÁÔ�аÑÓÒ

������������ ���������� ½� ������������ �!�#"%$�����$&�����'�($��)���+*,�����#��.-/���0� ;

y

x

8�t£q ¢ {w]�� ��¤   ])xÓk(©§�Dim�r\^�   ]��ht£iwn�{w]�kw]�n ¢ {m¥@]!¤Á{wt¦q@X@k2©Yqr{(�4g.iwn)�   ]��   prk¿p}xω/b

«�t¦kmXbt¦s´¯j­®�O¯ht±io�}su�

at¦sÃg:­ �}¯ht£i

kwX[]^{m]�\��}t£su�h]){(i�¶�À&]D�[])s[prkm]^�jgω(a, b)

kmXut£ib¥O�  £¢ ]@¶�WYX[]^{w]�i ¢[  k�t±i��h])�ut£n�km]��&prs 8�t¦q�¶^�&¤y{mt£qrX:k(©«�Xu]){w]   t£qrX:k�qr{w])gD¥O�  £¢ ]Gi�n�pr{w{w]�im��p@su��kwp   pO« ¥O�  ¦¢ ]GiYp}x�kmX[]b{(�Okwt¦p

ω/b¶

a b ω(a, b)/b a b ω(a, b)/b a b ω(a, b)/b� � �h¶â� � �&; �r¶ 5@� � �r� �r¶ 5r�� � �r¶ 5r� � � 5 �r¶�;}� � �}� �r¶�;�5� ; �r¶ 5@� � � @ �r¶�;4� � �O� �r¶�;O�

W��}�   ]^� �ω/b

¥4�  ¦¢ ]�i$xÁpr{oimpr\^]�n�p ¢ �   ](a, b)

�§i.imX[pO«�sµt£s68�t¦q�¶��µ¤y{mt£qrX:k2©2²�kwX[]>x ¢ s�n2kmt£prsω(a, b)/b

Xu�@i��   p}k?p}x   pjn��   ]�¯jkm{w])\��u¶ WYX[]\^t£s[t£\^�   t ¨ �}kmt£prs�p}x

ω(a, b)/bil]�])\�i�kmp��6]o�bXu�r{w��n�p@\��[t£su�Okwpr{wt£�   �[{mp@�   ])\ö�W�p�qr])kK�b�[{m]Gn�t±il]Yt±�h]��u²

  ]�k ¢ i�n)prsuimt£�[]){�impr\^]D])¯h�r\^�   ]�¥O�  ¦¢ ]Gi�q@t¦¥@])s-t¦s»W��}�   ]>�@¶>ej])¥@]){(�   ]   ]�\�]�s:kwi�n��}s-�6]�]�¯jkw{w�@n2km]G�xÁ{wpr\�kwX[p@im]¿¥O�  £¢ ]Gi)¶ 8�t¦{(ilk�²   phn)�   \^t£s[t£\^��Xu�4¥@]¿n�p@\����}{(�}�   ]o¥O�  £¢ ]�i$imp �usu�ht£s[q�kmX[]�q   pr���   \^t£s[t£\^�t±i��[{wpr�u�r�   g»�&Xu�r{w�»kw�rim³H¶ºej]Gn�prs��ª²

ω(a, b)/bt£i^�&\^]��ri ¢ {w]?im])s�ilt¦kmt£¥r].kmp-\ ¢u  kwt¦�   t±n)�Okwt¦p@sºimt¦s�n�]

(1, 6)²

(3, 18)�}s��

(4, 24)�hp¼s[p}k��[{wph� ¢ n)].kwX[]>iw�}\^]Ã¥4�  ¦¢ ]r¶µ¾o]�sun�]@²

a�}su�

b\ ¢ ilkD��]´³@])�hk

{w]   �Okwt¦¥@]   g��[{wt£\�]@¶ =´p@{m]�i ¢ {w�[{wt£imt¦suq   gr²[kwX[]�{(�Okwt¦pω(a, b)/b

Xu�ri§�}sS�@ilgj\^�hkmprkmt±n��6])Xu�4¥jt£p ¢ {o«�Xut£n(Xn��}s��6]�impr\^])kmt£\�]Gi¡n)prs:km{wp  £  ]��^�ri$�h]�iwn�{wt£��]G���jg�kwX[]¿xÁp  ¦  pO«�t£s[q�kmXu])pr{w])\�qrt£¥r]�s^xÁpr{¡kmX[] �u{(i~k$pjn�kw�rs@k«�t¦kmXup ¢ k   p:imi¿p}xKqr]�s[]){(�   t¦k~gr¶¿WYX[t±i¿kmX[]�pr{w])\ ]�¯h�   �}t£suio«�Xjg?kmXu]�\^t¦sut¦\^t ¨ �Okwt¦p@sSprx�kmX[]�{w�}kmt£pD\^t¦q@X@k�6]�t£s@kw{w�@n2k(�}�   ]r¶��� ÆjÊ � Æ ��� ��$��0��q � � ����� ��� �

Sb

e � � � � � ½ � ��$�� � � W

�7�� � �����(� �(ω(ak, bk)/bk)

%B�� ���k� �

0� $��������76�� ����� ��� ��� eak = k

�� ½bk = kb0 + λ

e % ���Xb0�� ½

�$&�����'�76&�.����� ��� ���#� Y -Z ��� W

� �½ �#" ���#��#��� �.�� ½ �� �����!��� ��!����� � � $ ω(1,b0)−1

b0Y

� ��$ $�5À�]^t¦s:kw{mph� ¢ n)]�kwX[]^{m]�\��}t£su�h]){

r(a,b)(M) = axM − byM

¶ � kbt£ib]G�rimg.kwp´il]�]�kwXu�Okr(ak,bk)(M) =

kr(1,b0)(M) − λyM

¶�À&]�supO« t£s@kw{mph� ¢ n�]∆(a,b)(M, M ′)

�@i$xÁp  £  pO«oi�²

∆(ak,bk)(M, M ′) = r(a,b)(M) − r(a,b)(M′) = k∆(1,b0)(M, M ′) + λ (yM ′ − yM )

¤~�G©

Ð�Ð Ö�Fuë2é2é(ì

5 � � � �C� ½���� ���������#��$������� � "� ����� � $��� ��� � � ��� ���

À�] �u{(i~koi ¢ �[�6p@im]�kmXu�}k∆(1,b0)(M, M ′) = 0

¶�¾o])s�n�]r²

∆(ak ,bk)(M, M ′) = λ (yM ′ − yM )¤;�r©

eht¦sun)](yM ′ − yM )

t±io�6p ¢ su�[]��´p@s>�}sjg ��s[tvkw]�im]�k§�rsu�´imt¦sun)]λt£i§n�p@sui~k(�}s:k�²�«¡]��h]�� ¢ n�]�kwXu�Ok§kmX[]

�u{m]�¥:t£p ¢ i¡¥O�  ¦¢ ]�t±iY�6p ¢ su�[]��Ã�}�6pO¥r]��jg���n�p@sui~k(�}s:kδ¶

À�]�s[pO« i ¢ �[�6p@im]�kmXu�}k∆(1,b0)(M, M ′) 6= 0

¶ � g ¢ ilt£s[q?kmX[]�iw�}\^]^��p ¢ su�h]G�hs[]Gimi��r{mq ¢ \^])s:k�²«$]�il]�]�kmXu�}k�kmX[]�{m]b]�¯ht±i~k(io��¥O�  £¢ ]

k0i ¢ n(X.kmXu�}k

∆(ak ,bk)(M, M ′) > 0¤y{m]Gil�'¶

< 0©⇐⇒ ∆(1,b0)(M, M ′) > 0

¤Á{w]�im�°¶< 0

© ¤;�@©xÁp@{¡�rs:g

k ≥ k0¶�¾o]�sun�]��rimgj\��[kmp}kwt£n��   gr²rkmX[]§{m]�\^�rt¦s��h]){(i

r(ak ,bk)(.)�}su��kwX[]¿{w])\��}t£su�h]�{wi

r(1,b0)(.)X��4¥r]bkmXu]�iw�}\^]�pr{(�h]�{mt£s[qu¶Y¾opO«$])¥@]){G²hkmXu]�{w])\��}t£su�h]�{wir(ak ,bk)(.)

�}{w]��ht£¥r]�{mq@t¦suq�«�Xu])skkm]�su�[i¿kmp

t£s �usutvk~g@¶�e ¢ n(X�kmXu�}k�²OxÁp@{�i ¢ BDn�t£])s:k   g   �}{wqr]k²4kwX[]$\�t£s[t£\ ¢ \ �rsu��kwX[]¡\��}¯jt£\ ¢ \ prxhkmX[]${w])\��}t£su�h]�{wi

r(ak,bk)(.)�r{m]op@�hkw�rt¦su]���])¯h�@n2k   g�xÁpr{8kmX[]biw�}\^]¿�6prt£s:kwi

Mmin�}su�

MmaxkmX��}s�xÁp@{8kwX[]¿{w])\��}t£su�h]�{wi

r(1,b0)(.)¶KWYXut£i��6]){w\^tvk(i ¢ i$kwp^�[]�� ¢ n)]bkmXu�}k�xÁpr{oi ¢ BDn�t£])s:k   g   �}{wqr]

ω(ak,bk) = k(

ω(1,b0) − 1)

+ λ (yMmin − yMmax) + 1¤y�:©

ehpu²ω(ak,bk)

bk

=k

(

ω(1,b0) − 1)

kb0 + λ+

yMmin − yMmax + 1

kb0 + λ

¤;�r©WYXu]   t£\^tvk(i�p}x�kmX[]��u{m]�¥:t£p ¢ i¡])¯h�[{m]Gimimt£prs?t£iYq@t¦¥@])s?�:g�kmX[]   t£\�t¦kop}x�kmXu] �u{wilk�km]�{m\ �}su��kmXu]   t£\^tvk¿prxkwX[] �u{(i~kYkw]){w\ t±i

limk→+∞

ω(ak,bk)

bk

=

(

ω(1,b0) − 1)

b0

¤y�@©À�]�n)prsun  ¦¢ �h]�kwX[]��u{mpjp}xK�jg´�Dilk ¢ �[g´p}x8��im�6]�n�t ��n�n)�rim]�p@�hkw�rt¦s[]G�´«�X[]�s>kmXu]�{w])\��}t£su�h]�{wi

r(1, b0)�r{m]��  £  ]�� ¢ �   i�¶ �®s-i ¢ n(X-�?n)�rim]r²ω(1, b0) = 1

�}su�ω(ak, bk) = 1 + λ (maxM yM − minM yM )

¶WYX ¢ i¿�jgÃ�[t¦¥jt±�ht¦suq��jg

bk

�}su�?k(�}³jt£s[qDkwX[]   t¦\^t¦k�²H«$]�pr�[kw�}t£s>�[¶bejp�kwX[]�{w]�i ¢[  k�ilkmt  ¦  X[p   �>�rsu�ÃkmXut£in)prsun  ¦¢ �h]�i$kwX[]��[{wp:prx~¶

�ejp�t£s´pr{(�h]�{Ykmp�Xu�4¥@]b�rsÃpr�hkwt¦\��   �   qrpr{wt¦kmX[\òh«$]�i   t¦q@X:k   gD\^pj�[tvxÁg.kmX[]�i ¢ �Hn   �riwi�p}x�n�p@suimt£�h]�{m]G��  ¦¢ {w{w]��>im])q@\�]�s:kwib�}su�S�u�rim]��SprsSkmX[t±i�\�ph�ht ��n��Okmt£prs'²ª«¡]��[{wpr�6p@im]��}s&pr�hkwt¦\��   il]�qr\^])s:kw�}kmt£prsS�   ­q@pr{wtvkwX[\ö�WYX[]�\^ph�ht �6n)�Okwt¦p@s>n�p@suilt±ilkwi�t£s´kw�r³jt¦s[q^kwX[]   t£\�t¦k§\^]G�ri ¢ {m]�prx�kmX[]��[{m]�¥jt¦p ¢ iYkmXu])pr{w])\ �ri�.\^]��@i ¢ {w]�xÁpr{�n�p@\����}{wt¦s[q.�  £¢ {m{w]��&il]�qr\^])s:k(i)¶�À�]�i~k(�}{mk��jg>q@t¦¥jt£s[q.�?q@])pr\^])km{wt£n��h]�iwn�{wt¦�[kmt£prsSprxkwX[]   t¦\^t¦ko\�]G�ri ¢ {w]r¶

WYX[]�� D>A>N�R�_ $,= FWR�H^N+$WM\_ED UGc $ FqR�HC_>AGD>N D =@R�M\DD(a, b, µ, ω)

t£i�kmXu]$¥@]){mkmt±n)�   �[t£ilkw�rsun�]�¤Áp@{w�[t¦su�}km]�[t?>H]){w])sun)]G©��6]�k~«$])]�sSkwX[]   ]G�}s[t£s[q   t¦s[]Gi�p}x

D�}su��t±ib]�� ¢ �   kwp ω−1

b

¶�À&]�s[pO«�{m]Gn)�  ¦  kmXu]�s[p}kwt¦p@sprx H�?�����UWA(N"R�M[J =@R�MOD>H 3â�&4 ¶.� H�?�����UWA(N"R�M[J =@R�MOD prxY�´n)prsj¥r])¯&il])k

Ct£i��   t£s[]

li ¢ n(X�kmXu�}k�kmX[]

t£s:km]�{wim]�n�kmt£prsSprxl«�t¦kmX

Ct±ibs[prkb]�\^�hk~gS�}s��&i ¢ n(X&kmXu�}k

Ct£i�])s:kmt£{m]   g´]�tvkwX[]){��6]   pO« p@{��}�6pO¥r]

WYXu]�� D>A>N�R�_ $W=hFWR�H^N+$WM\_GD UGc,$ _GUWM � D��IHCD(NC²[t±i$kmXu]�\^t£s[t£\^�   ¥r]�{lkwt£n��   �ht±i~k(�}sun)]�prx��rs:g����}t£{$prx

���}{(�  £  ]   i ¢ �[�6pr{mkmt£s[q   t¦s[]Gi)¶&?Æ('*)*+ � +yÊ,)� *���� � � "#$�� ��� ½ � � ��� � $"5 : � "#$�� ���#" � � ½ ��$���� �(�

Sb Y 3 � $���� ½ ��� � �������0$"5Sb

� � ���� ½U�ON"R�K%$,= � 5 ���(��6�� ���'�("#�� ½ � ��� ���"%� � � � ��� ���0�� e � Y � Y � 5 ���(��6�� ���'�("#�� ½ � ��� ���"%� � � ��!������� $ �X ��6��������("#��½ � �������"#� $�5

conv(Sb)�X �!"#$��W6&��* ������D$�5

Sb Y

ÑÁÔ�аÑÓÒ

������������ ���������� ½� ������������ �!�#"%$�����$&�����'�($��)���+*,�����#��.-/���0� @

vertical distance

convex hull

M

8�t£q ¢ {w]b� ���osÃpr�[kmt£\^�   ��p ¢ su�ht£s[q   t¦su]

WYX[t±i��h] ��s[tvkwt¦p@s�t±i't  £ ¦¢ ilkm{(�Okw]���t¦s!8�t£qu¶��§�rsu�   ]��@�[i°kwpokwX[]8xÁp  ¦  pO«�t£s[q¿s[]�«»�h] ��s[tvkwt¦p@s�n)prsun)]){ws[t¦suq�  ¦¢ {w{w]��?il]�qr\^])s:kwi�¶&?Æ('*)*+ � +yÊ,)�� 3 �����

Sb

� � <C=@?BACAGDEF HCD;JqKLDCMONsUGc PSR�F,N"Tv� 5��� ½ $�� � � 5 ����� $%��������� � $���� ½ ��� �

�?�����S &� 6&�����'�("%�� ½ � ��� ���"%� �C� �#� $�� ��! ���� � $v Y

WYX[]b{w]�n)prqrsutvkwt¦p@sDp}x��  ¦¢ {m{w]��.il]�qr\^])s:kwi¡«�t¦kmX?«�t£�jkwXvt£i¡kmX ¢ iY]"� ¢ t¦¥O�   ]�s@k$kmp�kmXu]bn)pr\^� ¢ k(�Okwt¦p@s

prx'kwX[]�¥r]�{lkwt£n��   �ht±i~k(�}sun)]bp}x'kwX[]�n�p@sj¥r]�¯�im]�kconv(Sb)

� � #������ ��� �?����� ��.�, ���.������� �^������������

����� ��r�m p mO~,���]pq��m*� �"!l� !�� ��rs�� #�]p�� ��~ZmOoQws��$>��mO�s~Z�!�� m ��������� ~Z!#�� #��� $(���W�p>�6]D�[{w]�n)t£im]r²�kmX[].¥r]�{lkwt£n��   �ht±ilkw�}s�n�]Dprx�� �us[t¦km].n)prsj¥r])¯�im]�k

Ct±i�kwX[]D\��O¯ht£\��  8  ])suq}kmX¼prx�kmX[]

t£s:km]�{wim]�n�kmt£prs�p}xC«�tvkwX»�Ã¥r]){mkmt±n)�  �  t£s[]@¶� k�t±i�n   ]G�}{�kwXu�Ok��jg�n�prsj¥@]�¯htvk~g@²'i ¢ n(X¼t¦s:kw]){(il]Gn2kmt£prs�i��}{w]

¥@]){mkmt±n)�   il]�qr\^])s:k(i)²Hilp�«¡]�prs   g.X��4¥r]�kwp�n(Xu�}{(�rn�km]�{mt ¨ ]bkwX[]��6p@imtvkwt¦p@sui§p}x�]�¯jkm{w])\��   t¦k~gr¶ �$¢ kG²   ])k ¢ i�[])s[prkm]��jg

Li

�}s��Ui

{w]�im��]Gn2kmt£¥r]   gSkmX[]   pO«$]�ilk��}su��X[t£qrXu]�ilk�t¦s:kw]){(il]Gn2kmt£prs-�6prt£s:k�p}xC«�tvkwX¼kmX[]

¥@]){mkmt±n)�  �  t¦su]�q@t¦¥@])s.�:gx = i

�}s��D�jgV(i)

kwX[]��ht±i~k(�}sun)]§�6]�k~«$])]�sLi

�}su�Ui

²jkmX[]�s�xÁp@{Y�rsjgi 6= j

²kwX[] � ¢ �r�[{w�rs[q   ]

(LjUjUiLi)t±i   pjn��Okw]��ºt¦suimt±�h]

C¶·ejp¼t¦kDt£iDilkm{(�}t£qrX:kmxÁpr{w«$�r{w��kwp»il]�].kwXu�Ok�kmX[]

x ¢ sun2kwt¦p@sV(.)

t±ib�.n)prsun��4¥r]�x ¢ s�n2kmt£prs'¶�¾o]�sun�]@²ª])¥r]�{mg   phn)�   ]�¯jkw{m]�\ ¢ \ prxKkmX[]�x ¢ s�n2kmt£prs&t£ib�   imp.�q   p@�u�   ]�¯jkm{w])\ ¢ \ prx�kwX[]�x ¢ sun2kwt¦p@s°¶�WYX[]�xÁp  £  pO«�t¦s[q��u{mp@��p:ilt¦kmt£prs´n(Xu�r{w�@n2km]�{mt ¨ ]Gi   phn��   ])¯:kw{m]�\��   tvk~gprx'kwX[]bx ¢ sun�kmt£prs

V(.)¶

� � Ê��8Ê � + � +yÊ,)�� ��$��!��q � ����� � "#$��q6��+*.�����Ce �X � 5#����" �'�($��

V(.) &� �� ��* �������!��� 6�������0��

��$&�����'�($��i%B�� �%�

Li

$��Ui

"#�� � � "� $�� ��� � $ � �!46�� ��� ��*.$�5 �7�� � $�� ½ ��� e ½Ce $�5

C Y� ��$ $�5 Ì°])k ¢ i�n�p@suimt£�h]�{��´�6p@imt¦kmt£prs

ii ¢ n(X¼kmXu�}k�s[]�tvkwX[]){

Li

s[pr{Ui

�}{w]D¥r]�{lkwt£n)]�i�prx � �C¶�À&]

n)prsuimt±�h]){¡kmX[]b]G�hqr]Gi¡prx � �Cn)prs:kw�rt¦s[t£s[q

Li

�}su�Ui

�rsu�D«$]��h])s[prkm]��jg=²+pr{

−kwX[]�xy�rn2kYkwXu�Ok

kwX[]�i   p@��]Gioprx�kwX[]�]G�hqr]Gio�}{w]�])t¦kmXu]){b�[²�ilkm{wt±n2k   g?��p:ilt¦kmt£¥r]�p@{¿ilkm{wt£n�k   g.s[]�q@�}kmt£¥r]r¶YWYX[]�{m]��r{m] @�n)�rim]�ikwp�n�prs�ilt±�h]){�«�Xut£n(XÃ�}{w]b{m]G� ¢ n�]G���jg�imgj\^\�])km{wt¦]Gi$kmp�p@s   g��^n��rim]�i �� (=, =)

�¡t¦k§t±i¿n   ]G�}{¿kmXu�}k���\^pO¥r]�p@sÃkmX[]�]��hq@]�i§�hpj]�iosup}k§n(Xu�rs[qr]bkwX[]�¥O�  ¦¢ ]�p}xV(.)

X[])s�n�]tvkot±ioi ¢ BDn�t£])s:kYkmp�\^pO¥r] ¢ s:kmt   p@s[]bp}x�kmX[]bk~«$p^��p@t¦s:kwiY�6]�n)pr\^]�i���¥@]){mkm]�¯.p}x � �

Ð�Ð Ö�Fuë2é2é(ì

�G� � � � �C� ½���� ���������#��$������� � "� ����� � $��� ��� � � ��� ���

� (+,−)���jgD\^pO¥jt£s[q����rn(³j«$�r{w�ui

V(.)t¦s�n�{w]��rim]�i�¶

� (+, +)���jg�n�p@\����}{wt¦s[q§kmXu]oi   pr�6]�i�²}t¦kKt£i�]G�rimg�kmp��h]Gn�t±�h]Y«�X[]�kwX[]){K«$]YXu�4¥r]¡kmpb\^pO¥r]$xÁp@{m«Y�}{(�

pr{��u�@n(³j«$�r{w�^kwp�qr])k��rsÃt¦sun){m]G�rim]§t£s?kmX[]�¥O�  ¦¢ ]bprxV(.)

¶� (+, =)

���jgD\^pO¥jt£s[q����rn(³j«$�r{w�uiV(.)

t¦s�n�{w]��rim]�i�¶�®sDkmX[]§xÁp ¢ {�n��rim]�i�²}kmXu]§�6p@imtvkwt¦p@s�t±i8sup}k��   pjn��   ]�¯jkm{w])\ ¢ \��}su��kmX ¢ i$s[p}kY��q   p@�u�   ]�¯jkm{w])\ ¢ \ö

�8u{mp@\ kwX[t£i¡�[{wpr�6p@imtvkwt¦p@s°²}«$]¿n)�rsD�h]�� ¢ n�]�k~«$p�xy�@n2kwi8tvx°«$]¿�r{m]   pjpr³jt¦suqbxÁpr{KkwX[]o¥@]){mkmt±n)�   �ht£ilkw�rsun�]prx��¼n�prsj¥@]�¯ im]�k � ��{wilk�²Y«$]>prs   g Xu�4¥r]?kmpºn�prs�ilt±�h]){���p@t¦s:kwi�prs kwX[]>�6pr{(�h]){Dprx

C�}su�¸im]�n)prsu�ª²

])¯jkm{w])\ ¢ \¹¥O�  £¢ ]�i��r{m]Ãp@�hkw�rt¦s[]G�ºxÁpr{�impr\^]x�6p@imtvkwt¦p@sui^p}xbkmXu]´¥r]){mkmt±n�]Gi^p}x � �

C¶·WYX[t£i   ]G�r�[i

kwpSkwX[{w])]Ãn)�rim]�i ��])t¦kmXu]){^«¡]?Xu�4¥@].��n�p ¢ �   ]-¤Á]G�hqr]@² ¥@]){mkm])¯[©�²�pr{äÁ¥@]){mkm]�¯ª² ]��hq@]G©�pr{äÁ¥r]�{lkw]�¯ª² ¥r]){mkm])¯u©«�Xu]){w]bkmX[] �u{wilk¿]   ]�\�]�s:k¿{m]��[{w]�im])s:kwiYkwX[]   pO«$]){��u�r{lk¿prx�kmX[]�n�prsj¥@]�¯.im]�kb�}su�?kwX[]�im]�n�p@su�Ã]   ])\^]�s@k{w])�u{m]Gil]�s@k(iYkmXu] ¢ �u��]�{§�u�r{lkG¶ � k�\ ¢ ilkb��]�s[p}kwt£n)]��´kwXu�Ok§kmX[]��[{w])¥jt£p ¢ i¿�[{mp@��p:ilt¦kmt£prs´t±i§t£�h]�s:kmt±n)�   kmpkwX[]�prsu]bn(X��}{(�rn2kw]){wt ¨ t¦suq�kmXu]�«�t£�jkwXÃp}x���n)prsj¥r])¯�il])k 3¦�G�&4<¶

� k�t£i�n   ]��r{°kwXu�Ok�kmX[]$]��hq@]�i�n�pr{w{w]�im��p@su�ht£s[qYkmp¿kmX[]$��p:ilt¦kmt£prs�p}x[]�¯jkw{m]�\ ¢ \dp}xV(.)

�r{m]$i ¢ �u��p@{lkwt¦s[q  t£s[]�i�²}k(�}³jt¦suq�Xupr{wt ¨ prs:kw�  :  t£s[]�i�xÁp@{8�bn�p ¢ �   ]�¤Á¥r]�{lkw]�¯ª² ¥r]){mkm])¯u©2¶/=´p@{m]�pO¥r]�{�²4kwX[]�]��hq@]��}su��t¦kwi��u�r{w�  ¦  ]  ���riwilt£s[q.kmX[{wp ¢ q@X>kwX[]^¥r]){mkm])¯S�h] ��s[]^]�¯[�rn�k   gÃkmX[]   pO«¡]�{��rsu� ¢ �[�6]){   ]��}sut¦s[q   t¦s[]Gibp}xY�}sSp@�hkmt£\��  �6p ¢ su�ht£s[q   t£s[]bxÁpr{

C¶K¾¿])sun)]r²[p@�hkmt£\��  °  t£s[]�i��r{m]��h]G� ¢ n�]G�DxÁ{wpr\ kmX[]��6p@imt¦kmt£prsuiYprx�pr�[kmt£\^�   t¦k~gr¶

���f� � ��znp �[~Z!\il�s��� ��!#� mOo"i#!\pq��� r�j�$k�kwX[t±i���p@t¦s:k�²@«¡]�n)prsuimt£�[]){��bil])kKp}x��6prt£s:kwi

Sb = {(xi, yi), 0 ≤ i < n}²r���  ¦¢ {m{w]���il]�qr\^])s:k�t£s�kwX[]

��{wilk�pjn�kw�rs@ko«�t¦kmXD(a, b, µ, ω)

�@iYpr�hkwt¦\��   ��p ¢ su�ht£s[q   t¦su]r¶KWYX[]�¥@]){mkmt±n)�   �ht±ilkw�}s�n�]�p}x�kmX[]�n)prsj¥r])¯X ¢[ £  prx

Sb

²conv(Sb)

²�t±i�]�� ¢ �   kwpÃkmX[].¥r]){mkmt±n)�   �ht±i~k(�}sun)]Dp}xD¶ÃÀ&].i ¢ �u��p:il]^kwXu�Ok

Sb

n)prs:kw�rt¦suik~«$p ¢ �[��]�{   ]G�}s[t£s[q��6prt£s:kwi�²

UF

�}s��UL

²h�}s��Dprsu]   pO«¡]�{   ]��}sut¦s[q���p@t¦s:kG²LL

¶UF

²UL

�rsu�LL

�}{w]¥@]){mkmt±n�]Gi�p}x

conv(Sb)¶ =´p@{m]�pO¥r]�{�²4kwX[]o¥r]�{lkwt£n��   �[t£ilkw�rsun�]�prx

Dn��}s^�6]§n)�   n ¢[  �Okm]G�^�OkKkwX[]o�6prt£s@k

LL

¶W�p�n�p@\�� ¢ km]��rsu�?\^�rt¦s:k(�}t£sÃn)prsj¥r])¯DX ¢[ ¦  i�²[«¡] ¢ il] =´]   ³j\��}s � i��   q@pr{wtvkwX[\ 3 5&4<¶$Ì°])k ¢ i�{w]�n)�  ¦  kwXu�Okt¦kwi8�   qrpr{wt¦kmX[\ t£sun){m]�\�]�s:kw�  £  g�n�p@\�� ¢ km]Gi�kmX[]on)prsj¥r])¯�X ¢[ £  p}x

n�6prt£s:kwi�xÁp@{m\^t£s[q��bilt£\^�   ]���p   gjqrp@su�  

  t£s[]�t¦sÃkwt¦\^]O(n)

�u�rim]��?p@sÃ���[p ¢ �   ]�])s��h]�� � ¢ ] ¢ ]D¤y�h]"� ¢ ]G©   t£ilk�¶Yejt£sun�]��6prt£s:kwio�r{m]��@�[�h]��?«�t¦kmXt£sun){m]G�rimt¦s[q

x²u«¡]��}{w]bq ¢ �r{w�rs:km])]G��kwp�X��4¥r]b��imt£\��   ]��6p   gjqrprs��  H  t£s[]@¶

e ¢ �[��p:il]�kmXu�}k§«$]��r�u�´��s[])«��6prt£s:kMkmp

Sb

²S ′

b = Sb ∪ {M}¶oWYXu]){w]��}{w]bkmX[{w])]�n)�@il]Gi�¤yim])]

8�t£qu¶K�r©�¶

?M?

?M?

?M?

UF

UL

P

LL

8�t¦q ¢ {m]�� �KWYX[]�kmX[{w])]�n��rim]�i$«�X[])s´�@�[�ht£s[q����6prt£s:k� x

M�6]   prsuq@i�kmp

DkmXu])s°²��OxÓkw]){^kwX[]S�}�u�   t±n)�}kmt£prs p}x =´]   ³j\^�rs¸�   qrpr{wt¦kmX[\ 3 5�4¿kmX[]´¥@]){mkmt±n)�  

�[t£ilkw�rsun�]�{w])\��}t£sui�kwX[]Dim�r\^]r¶.ejpÃkwX[]�s[]�«�im]�k�prx$�6prt£s:kwi�{w])\��}t£sui��Ã�  £¢ {w{m]G�-il]�qr\^])s:k�«�tvkwX-kmX[]

ÑÁÔ�аÑÓÒ

������������ ���������� ½� ������������ �!�#"%$�����$&�����'�($��)���+*,�����#��.-/���0� �@�

iw�}\^]b«�t±�jkmX´�}s��.«�t¦kmX?kwX[]�im�r\^]�p@�hkmt£\��   �6p ¢ su�ht£s[q   t£s[]D¶��®s?kwX[]�p}kwX[]){on��rim]�i�²

Mt±i��}�6pO¥r]bpr{

�6]   pO«D²hkmX[]�n)prsj¥r])¯�il])kot£iY\^ph�ht �u]��Ã�rsu�.imp�kmX[]�¥@]){mkmt±n)�   �ht£ilkw�rsun�]b\ ¢ i~k��6]�{m]Gn�p@\�� ¢ km]G�ª¶

À�] �u{(i~k�ilk ¢ �hgSkwX[]�n��rim]�«�X[]){w]P²�t£s:km]�{wim]�n�kmt£prs���p@t¦s:k��6]�k~«$])]�s-kmX[]�¥@]){mkmt±n)�  8  t£s[]^xÁ{wpr\

LL�rsu�UF UL

²[t±ioilkm{wt£n�k   gDt£suilt±�h][UF UL]

M

P

N

L

L

FU

U

L

N

M

P U

L

UFL

L

8�t£q ¢ {m]�� �����[�[t¦s[qD��s[]�« �6prt£s:ko])t¦kmX[]�{o�}�6pO¥r]�¤   ]�xÓk2©$pr{��6]   pO«�¤Á{wt£qrX:k(©

e ¢ �[��p:il]�kwXu�OkMt±i��@�[�h]G�&�r��pO¥@]

D¶�Ì']�k ¢ ib�}�[�   g =´]   ³j\��}s��   qrp@{mt¦kmX[\ö�WYX[]^n�p@sj¥r]�¯>im]�k

t¦x¿\^ph�ht �u]�� �}su��«¡]Ãn)�  ¦ NkwX[]Ã��p@t¦s:k^��])xÁpr{w]

Mt¦s�kmX[] ¢ �[�6]){^�u�r{lk�p}xokwX[]Ã{m]Gi ¢u  kwt¦s[q�n�p@s:¥@]�¯

X ¢[ £  ²6im])]!8�t£qu¶��>¤   ]�xÓk2©2¶Nt±i¿s[]Gn�]Gimiw�}{wt   g��6]�xÁp@{m]

UF

p@{¿t±iUF

¶§�¿i��Dn)prsuim]�� ¢ ]�sun�]@²ukwX[]�¥@]){mkmt±n)�  �u{mpr|~]�n2kwt¦p@s¼p}x

LL

t±i�t¦suimt±�h][NM ]

¶&ejpu²�kwX[]�¥@]){mkmt±n)�   �ht±i~k(�}sun)]�prx$kwX[]?s[])« n)prsj¥r])¯�im]�k�ilkm{wt±n2k   gt£sun){m]G�rim]�i�¶�WYX[]�³r]�gÃ��p@t¦s:kbt£i§kmX ¢ i§kwp   phn)�Okw]�kwX[]�su])« �6p@imtvkwt¦p@sSprx8]�¯jkm{w])\��   t¦k~gr¶ � kbt£ibn   ]��r{¿kwXu�OkNn��}s[sup}k§{w])�u{m]Gil]�s@k¿����p:ilt¦kmt£prs´prxK]�¯jkm{w])\��   t¦k~g?imt£sun�]

V(N) ≤ V(LL)¶ =´pr{w])pO¥@]){G²

M�hpj]�i§s[p}k

�u{mpr|~]�n2k�¥@]){mkmt±n)�  £  g�i~kw{mt±n2k   gºt¦s�ilt±�h]S�rs ]G�hqr]´prx§kwX[]   pO«¡]�{^�u�}{mkDp}xconv(S ′

b)¶ ¾o]�sun�]@²¡kwX[]>s[]�«

�6p@imt¦kmt£prs´p}x�])¯:kw{m]�\��   tvk~g.tvxKs[]Gn�]Gimiw�}{wt   gDp@�hkw�rt¦s[]G�?xÁpr{§prs[]��6prt£s:k§�Ok¿kmX[]�{wt£qrX:k¿p}xLL

t£sÃkmXu]   pO«¡]�{���}{mk¿p}x

conv(S ′b)¶§Ì°])k ¢ i§{w]�n)�  ¦  s[pO« kmXu�}k   phn)�   ]�¯jkm{w])\��D�r{m]�q   p@�u�   ]�¯jkm{w])\��^xÁp@{okwX[]�x ¢ s�n2kmt£prs

V(.)i ¢ n(XÃkmX��Ok§«$]�p@s   g?Xu�4¥@]�kmp�kw]�ilk¿kwX[]�n��}su�ht±�[�}km]��6prt£s:kwiot£sSim]�� ¢ ]�sun�]��rsu�>ilkmp@�ui¿�}kokmX[] �u{(i~k

  phn)�   ]�¯jkm{w])\ ¢ \ò[n)�  £  ]��C¶

e ¢ �[��p:il]^s[pO« kmXu�}kMt±i��@�[�h]G�S�6]   pO«

D¶^Ì°])k ¢ i��}�[�   g =´]   ³j\��}s-�   qrp@{mt¦kmXu\?¶�WYX[]   pO«$]){

���}{mk8p}xHkmXu]§n�p@sj¥r]�¯�il])k¡t±iK\^ph�ht ��]����}s���«¡]§i~kwt  £  n��  £ NkmXu]¿�6prt£s@k¡��])xÁpr{w]

Mt¦s�kwX[]   pO«$]){��u�r{lk8prx

kwX[]�s[]�«�n�prsj¥@]�¯�X ¢[ £  ²Him])] 8�t¦q�¶��´¤Á{wt¦q@X@k2©2¶Nt±ios[]Gn�]�iwiw�}{wg��Ok�kwX[]   ]�xÓk¿prx

LL

¶�¾o])s�n�]r²Nn)�rs[s[p}k

�6]�kwX[]os[]�« �6p@imt¦kmt£prs�p}xª])¯:kw{m]�\��   tvk~g�ilt£sun�]V(N) ≤ V(LL)

¶�À&]¿�[p�s[p}k¡³:supO«º�[{w]�n)t£im]   g�«�Xu]){w]Nt±i   phn)�}km]��^t£s�n)pr\^�u�}{wt±ilp@s�«�t¦kmX

[UF UL]¶ � k8\^t£qrX:k¡�6]o]�tvkwX[]){$prs^kwX[]   ]�xÓk$p}x

UF

pr{¡t¦s�ilt±�h][UF UL]

¶�®s?�6p}kmXÃn)�@il]Gi)²:t¦kot£i$X[pO«$])¥@]){Yi~kw{w�rt¦q@X@kmxÁpr{w«$�r{w��kwp^im])]§kmX��Ok�s[p���p:ilt¦kmt£prsÃi~kw{mt±n2k   gD�}k¡kwX[]   ]�xÓk�p}x

ULn��}sD�6]b���6p@imtvkwt¦p@sDp}x'])¯jkm{w])\��   tvk~g@¶��§i$t¦s�kmX[]��[{w])¥jt¦p ¢ i8n��rim]r²:s[])t¦kmXu]){Ns[p@{

Mn��}sD�6]§�6p@imt¦kmt£prsui

prx�]�¯jkm{w])\��   t¦k~gr¶&ejp�²�kmX[].s[])«��6p@imtvkwt¦p@s»p}x�])¯:kw{m]�\��   tvk~g�t£i�qrt£¥r]�s¼�jg&p@s[]D�6prt£s@k^ilt¦k ¢ �Okm]G�»�Ok�kmX[]{wt£qrX:k8p}x

UL

p@s�kmXu] ¢ �[�6]){¡�u�}{mk¡prxHkmX[]§s[])«µn)prsj¥r])¯�X ¢[ £  �rsu�^«¡]¿prs   g^Xu�4¥r]Ykwp�km]Gi~k¡kmX[]�n)�}s��ht£�u�Okm]�6prt£s:kwiYt£s´il]"� ¢ ])sun)]b�rsu�?i~kwpr�uio�}kYkmX[] �u{(ilk   phn)�   ]�¯jkm{w])\ ¢ \ò[n)�  £  ]��

�®s�kwX[]�im]o�6p}kwX�n)�@il]Gi)²S ′

b

t±i8���  ¦¢ {w{w]���im])qr\^]�s@k¡«�tvkwX�pr�hkwt¦\��   �6p ¢ su�[t¦s[q   t£s[]D′ xÁp@{K«�X[t±n(X�kmX[]�6prt£s:kwi

M²N²j�rsu�

C�}{w]   ]��rs[t¦suq��6prt£s@k(i)¶ =´p@{m]�pO¥r]�{�²OkwX[]¿¥@]){mkmt±n)�   �ht±i~k(�}sun)]¿prx

conv(S ′b)t±i8]"� ¢ �  

kwp�kmX[]�¥@]){mkmt±n)�   �[t£ilkw�rsun�]bp}xD′ �rsu�?n)�}s?�6]�n)�   n ¢u  �}km]��?�Ok�kwX[]b��p@t¦s:k C

¶À�]�Xu�4¥@]�s[])q   ]Gn2kw]���kmXu].n)�@il]�«�X[]){w]

LL

�}s��P�}{w]�¥r]){mkmt±n�]Gi�p}x

conv(Sb)¶>WYX[t±i�t±i�imt¦\^�   g

�6]�n�� ¢ im]�kwX[t±i�n��rim]�t±i¿]"� ¢ t¦¥O�   ]�s@k�kmp�kmX[]�p}kwX[]){bp@s[]�i�¶ �®s��h])]G�>t¦x8«¡]^n(X[pjp@im]��rs:gÃ]G�hqr]�n�prs:k(�}t£s[t¦suq]�tvkwX[]){

LL

p@{P�}su��«$]¿³@])]��DkmXu]§prkmX[]�{¡�6prt£s:kY�@i¡��¥r]){mkm])¯ª²@«$]¿p@�hkw�rt¦s?��n�p ¢ �   ]�¤y¥r]){mkm])¯ª² ]G�hqr]4©�pr{

¤y]��hq@]r² ¥r]�{lkw]�¯u©�«�t¦kmXDkwX[]bim�r\�]§¥r]�{lkwt£n��   �[t£ilkw�rsun�]@¶�WYXut£i¡{m]Gi ¢u  k$t£i¡p}x�n)p ¢ {(im]¿�htC>6]�{m]�s@k$xÁ{wpr\�kmX[]§prs[]prx'kwX[]�«�t£�hkmXÃp}x��^n�prsj¥@]�¯�im]�k 3â� 4<²u� ¢ k¿�}�u�   t£]�iY�6]){mxÁ]�n�k   g�t£sÃp ¢ {on)prs:km])¯:kG¶

Ð�Ð Ö�Fuë2é2é(ì

�4� � � � �C� ½���� ���������#��$������� � "� ����� � $��� ��� � � ��� ���

WYX ¢ i�²H«¡]�Xu�4¥r]�p@�hkw�rt¦s[]G�ÃkmXu]�xÁp  ¦  pO«�t¦suq�kmX[]�pr{w])\ «�X[]){w]��6prt£s:kwi¿xÁpr{w\^]��´��imt£\��   ]���p   gjqrp@su�  n(X��}t£s?�rsu�.�r{m]�k(�}³r]�s.t£sÃt¦s�n�{w]��rimt£s[q

xp@{w�[]){wt¦s[q�¶

��� ÆjÊ � Æ ��� -Z ����� � � �� ����" �%� �� � ����/�� � $������X � %B��(" �0������ ������ �X �!"#$��W6&��* �������$"5 � � ����������!$�5!� $�������� &� % � ��� &� �X �� $��#���'�($�� $"5 �7��d6�� ���'�("#�� ½ � �������"#� $�� e ��!����76���C�����'� e �7�� �%� � � ������" �%� �� � ������� � $������7�� %B��(" )"#$�� ����� ��� �� $%��������� � $���� ½ ��� � �������!$"5 � � ����� ��� � $"5<��$���� �(� Y¾¿]){w]��OxÓkw]){G²'kwp´{m]Gi ¢ \�]^kwX[]Dt£sun�{w])\^]�s@k(�   �[{wphn�]Gimi��[]�iwn�{wt¦�6]���t£s-kmX[]D�u{mpjp}xYp}x$kmXu]�kmX[]�pr{w])\ò��

{w]�n)prq@s[tvkwt¦p@s��   qrp@{mt¦kmX[\dprxu«�t£�hkmXν�  £¢ {w{m]G��im])qr\^]�s@k(i't±i��[{w]�im])s:km]G��¤yim])]Y�   qrp@{mt¦kmXu\��4©°«�Xut£n(X�qrt£¥r]�i

�@iK{w]�i ¢[  k$���6pjp   ]��rsD¥O�  £¢ ]¿]"� ¢ �   kmp�kw{ ¢ ]§t¦x���im]�� ¢ ]�sun�]§p}x'�6prt£s:kwiS¤Át£s[� ¢ k2©¡t£i$��«�t±�jkmX

ν�  £¢ {w{m]G�

im])q@\^])s:k�¶0=´pr{w])¥@]){§kmX[]   �rilk�n)�   n ¢u  �}km]��&¥O�  £¢ ]�ibprxa²b²µ�}s��

ω�}{w]�kwX[]�n(Xu�}{(�rn�km]){wt±i~kwt£n�i¿prx$�}s

p@�hkmt£\��   �6p ¢ s��ht¦suq   t£s[]bp}xS¶

� +�� Ê � + � � � - � �®sun�{w])\^])s:k(�   {w]�n�p@qrs[t¦kmt£prs.p}x��  £¢ {m{w]��.il]�qr\^])s:k�«�t¦kmXë�t£�hkmXν

� ) � '� �S�rs 5O­®n�prsus[]�n�km]��.il]"� ¢ ])sun)]bp}x�t¦s:km]�qr]�{$�6prt£s:kwi�²

ν��{w]��   ¥O�  £¢ ]

��'� � �� �isSegment

���6p:p   ]G�}s?¥O�  £¢ ]r²a²b²µ²ωt¦s:kw])qr]�{wi

� )*+ � + ��+ +�� �h� +;ÊW) �isSegment = true

²a = 0

²b = 1

²ω = b

²µ = 0

²M �

�u{wilk���p@t¦s:koprxS¶

É � + + ÆS� � ��$�� � � �����%� � 0��"#�� ��� ½ �� ½

isSegmentË Ê

M �s[]�¯jk��6prt£s@koprx

S�

�r�[�Mkmp�kmX[] ¢ �[��]�{¿�}s��   pO«¡]�{�n�prsj¥@]�¯DX ¢[ £  i�prx'kwX[]�imn��}s[su]��.�u�}{mk�p}x

S�

r = axM − byM

�+�

r = µ� � Æ )

UL = M�

+�r = µ + ω − 1

� � Æ )LL = M

�+�

r ≤ µ − 1� � Æ )

UL = M�

Ì']�kNkmX[]��6prt£s:ko��])xÁpr{w]

Mt£s.kwX[] ¢ �[�6]){§n�prsj¥@]�¯DX ¢[ £  ²

a0 = yM − yN

²b0 = xM − xN

²jkmX[]�sa = a0

gcd(a0,b0)

²b = b0

gcd(a0,b0)

²µ = axM − byM

�8�t£su�.kmX[] ��{wilk���p@t¦s:k

Ct¦s?kmXu]   pO«$]){Y�u�}{mk�p}x�kmX[]�n)prsj¥r])¯DX ¢[ ¦  i~k(�}{mkmt£s[q��}k

LL

²[i ¢ n(XkwXu�Ok �Ki   pr�6]�prx

[C, Cnext] > ab

LL = C�

Æ +y� Æ +�r ≥ µ + ω − 1

� � Æ ) �; �� �� �'���("#��,"%����Æ ) ËisSegment = ω−1

b≤ ν

�Æ ) ËÀ�]�s[pO«ºilk ¢ �hg�kmXu]on�pr\^�   ]�¯ht¦k~g�p}x�kmX[]o�r�[�   t£n��Okwt¦p@s�prxukmXu]o�   qrpr{wt¦kmX[\��Yprs^�bil])k

Sprx

n��p@t¦s:k(i)¶

WYXu] �u{wilk8�u�r{lkKprxHkmX[]¿�   q@pr{wtvkwX[\ t±i�kmXu] ¢ �H�[�Okw]op}x6kmXu]¿n�p@s:¥@]�¯�X ¢[ £  �}xÓkm]�{�kmX[]¿t¦suim]){mkmt£prs^prx6kwX[]os[]�«�6prt£s:k

M¶K¾opO«$])¥@]){G² =>]   ³:\��rs � i��   q@pr{wtvkwX[\ 3 5&4'Xu�@i��   t£s[]G�}{m­;kwt¦\^]�n�p@\��   ])¯jt¦k~g�xÁp@{YkmX[]�«�Xup   ]bim]�k

prx°t¦s�il]�{lkwt¦p@sui)¶�ejt£sun�]@²h���6prt£s@kYt±i ¢ im]��Dprs   g�xÁpr{$prs[]�n�prsj¥@]�¯^X ¢u ¦  ²j«¡]��h]�� ¢ n�]�]��rimt   g�kmXu�}k¡kwX[t±i8�u�r{lkilkmt  £  Xu�4¥@]��   t£s[]��r{l­<kmt£\^]�n�p@\��   ])¯jt¦k~gr¶YWYX[]�im]�n)prsu�?�u�r{lkoprx�kmX[]��   q@pr{wtvkwX[\Ân)prsun)]){wsuiYkwX[] ¢ �H�[�Okw]�iprxªkmX[]b�6p@imtvkwt¦p@sui¡p}x°]�¯jkw{m]�\^�   t¦k~gr¶ ,8�@n(X�kmt£\^]����6prt£s@kYt±i¡�@�[�h]��°²:���}{mk¡p}x'kmX[]��[{w])¥jt¦p ¢ i$n�prsj¥@]�¯^X ¢u ¦ t±i�]�¯[�}\^t£s[]��´kmpÃ�h]�kw]�n2k�kmXu]�su])« �6p@imtvkwt¦p@s>p}x¡]�¯jkm{w])\��   t¦k~gr¶�¾opO«$])¥@]){G²ukwX[]�\��rt¦s&�[{mp@��]�{lk~gÃprxKkmX[]

ÑÁÔ�аÑÓÒ

������������ ���������� ½� ������������ �!�#"%$�����$&�����'�($��)���+*,�����#��.-/���0� �G�

x ¢ sun2kwt¦p@sV(.)

t±i�kwXu�Ok§tvk�t£io��n�prs�n)�4¥r]�x ¢ s�n2kmt£prs'¶oWYX ¢ i¿�rio�[{m]�¥jt¦p ¢ i   g�\^]�s@kwt¦p@s[s[]G�ª²u«$]�prs   g.km]Gi~k�6prt£s:kwi§xÁpr{�«�X[t±n(X

V(.)t±i§s[p}k   phn��  £  g´])¯:kw{m]�\��   �}su�&i~kwpr�ui��Ok�kmX[]��u{(ilk   pjn��   ]�¯jkw{m]�\ ¢ \ö�ejp.«¡]

p@�hkw�rt¦s.kmX��Okot£s.kwX[]��[{w])¥jt£p ¢ iY�   qrp@{mt¦kmXu\?²:kwX[t£io�u�}{mko�   ilp^Xu�@i��   t£s[]��r{l­<kmt£\^]bn)pr\^�   ]�¯ht¦k~gr¶WYX[t±iKt£\^�   t¦]GiKkwXu�Ok8«�Xu])s ¢ imt¦suq�kmX[]¿s[])«¸�   qrp@{mt¦kmXu\ t£sui~kw]��@�^p}xHkmX[]§p   ��prs[]ot£s^kmXu]§�h]Gn�pr\^�6p@imtv­

kwt¦p@s��   qrp@{mt¦kmXu\�prx��ht±imn){m])km]§n ¢ {w¥r]�i�²}kwX[]�«�X[p   ]§n)pr\^�   ]�¯htvk~g��hpj]Gi8s[prkYn(X��}s[q@]¿�}su�DX[])sun)]r²:kmXu]§s[]�«�[]�n�p@\^��p:ilt¦kmt£prsÃn)�rs?�   imp��6]��hp@s[]�t¦s�n�{w])\^])s:kw�  ¦  g�t£s   t£s[]��r{l­<kmt£\^]b�   p@s[q�kmX[]�«�X[p   ]�n ¢ {m¥@]r¶

D1(1, 2, 0, 2)

D4(1, 3,−3, 6)

D3(1, 4,−5, 7)D2(2, 3, 0, 3)

�LL = C

UL = M4

�LL = M6

N

UL = C

�� � � ���� � � Sb = {Mi}i=1..15

LL = C

N

UL = M10

� � � ���� � � D4 � ��� ����� � ��� ���& � ��� � � Sb

N�

UL = M3

N

LL = C

M4

M10

M3 M6

8�t£q ¢ {w] ; ���osÃ])¯h�r\^�   ]�prx�«�t±�jkmX>���  £¢ {w{m]G�.im])q@\�]�s:kYt£sun){m]�\�]�s:kw�   {w]�n)prq@s[tvkwt¦p@s

�¿s�])¯h�r\^�   ]¡p}x[kwX[]��   qrp@{mt¦kmX[\ �[{wphn�]�iwimt¦s[q§t£i��h]��[t±n2km]G��t£s 8�t£qu¶ ;:¶�z��r{lk�p}x��§�ht±imn){m])km]Yn ¢ {w¥r]@²Sb

²t±i¿�[{w�4«�sÃ�OkokwX[]�kwpr�´p}x�kwX[] �uq ¢ {m]��rsu�?kmXu]��htC>6]�{m]�s@k§pr�hkwt¦\��   ��p ¢ su�ht£s[q   t£s[]�i�²up@�hkw�rt¦s[]G�Ã� ¢ {wt¦s[qkwX[]^t¦s�n�{w])\^])s:kw�   {m]Gn�prq@s[t¦kmt£prs°²ª�}{w]�q@t¦¥@])s°¶��¿ibt¦k�n��}s&��]�im])])s'²HkmX[]�{m]��}{w]�p@s   gÃxÁp ¢ {�ilkm])��ibt¦s&kmX[]{w]�n)prq@s[tvkwt¦p@s��[{wphn�]Gimi��rsu�.kmX[]�i   pr�6]�iYp}x�kmXu]�i ¢ �[��p@{lkwt¦suq   t£s[]�io�[]�n�{w]��@il]bp@{�t¦sun){m]G�rim]b«�tvkwX?{w]�im�6]�n2kkwp�kmX[]´�r�u�h]��º��p@t¦s:k(i)¶

Sb

t£i����  £¢ {w{m]G��im])q@\�]�s:k�prx§«�t±�jkmX2«�tvkwX

D4(1, 3,−3, 6)�ri�pr�hkwt¦\��  

�6p ¢ su�ht£s[q   t£s[]r¶

� � ���&�Y���)��������

WYXu]Sil]�qr\^])s:k(�Okmt£prs p}x��¼n ¢ {m¥@]´t¦s:kwp¼�  ¦¢ {m{w]��¸im])q@\�]�s:kwi^p}x�«�t±�jkmXνt£iD�[prs[]>t£sun){m]�\�]�s:kw�  £  gº�ri

�[]�iwn�{wt¦�6]��St¦sE3¦�@²ª�&4<²'�rsu�S�@i¿{w]�n��  £  ]G�´t£s�im]�n�kmt£prs&�[¶ �[¶�À¸X[])s&kmX[]�«�t±�jkmX�p}xKkwX[]^n ¢ {w{m]�s:kbim])q@\�]�s:k�6]�n)pr\^]�ibilkm{wt£n�k   g´qr{w]��}km]){§kmX��}s

ν²°�?�  ¦¢ {m{w]��&il]�qr\^])s:k§]�su�[i��}k§kwX[]^�[{m]�¥jt¦p ¢ i���p@t¦s:k�²°�rsu����s[]�«

im])q@\^])s:k§t±i�t¦s[t¦kmt±�   t±il]G�ª¶ �®s)8�t£qu¶ 5.�rsu� @u²ª«¡]�ilX[pO«�XupO«dkmX[]�n ¢ {m¥@]�iop@s>kwX[]   ]�xÓk��r{m]�il]�qr\^])s:km]G�t£s:kmp>�  ¦¢ {w{w]��»im])q@\�]�s:kwi�«�t¦kmX�«�t£�jkwX �[¶SWYX[].n ¢ {w¥r]Dt£sE8�t£qu¶�5St£i�im])qr\^]�s@kw]��-t£s:kmp�� 5>im])qr\^]�s@k(i)¶WYXu]�n ¢ {m¥@]�t¦s)8�t£qu¶�@Dt±i��Ds[p@t£img.¥@]){(ilt£prsÃprx�kmX[]�prs[]�t¦s)8�t£qu¶�5h²ªimpDkmXu]�im])qr\^]�s@k(�Okwt¦p@s´qrt£¥r]�i¿\^pr{w]im])q@\^])s:kwi ���h�@¶� xo«$]�t£sun�{w]��@il]^kwX[]D«�t±�jkmX»prxYkmX[]D�  ¦¢ {w{w]��-il]�qr\^])s:k(i)²�kmX[]�s ¢ \��6]){�prxoil]�qr\^])s:kwi�[]�n�{w]��@il]Gi��$� @^im])q@\�]�s:kwi¡xÁpr{YkwX[]�«�t£�hkmX>�h¶â�h²ª� 5�im])q@\^])s:kwi$xÁp@{YkmX[]�«�t±�jkmX´�u¶

Ð�Ð Ö�Fuë2é2é(ì

��� � � � �C� ½���� ���������#��$������� � "� ����� � $��� ��� � � ��� ���

8�t£q ¢ {w] 5 ��¬§]�n�p@\^��p:ilt¦kmt£prs?p}x��^n ¢ {w¥r]bt£s@kwp^�  ¦¢ {m{w]��?il]�qr\^])s:k(iYp}x�«�t±�jkwX´�

8�t¦q ¢ {m] @ �8ejXu�}{w³Dn ¢ {m¥@]�iY«�t¦kmXÃs[prt±im]bilkmt  £  �h]�n)pr\^��p:il]G��t£s:kmp��  £¢ {w{m]G�.im])q@\^])s:kwi$p}x�«�t±�jkmX>�

� � #��?"¡���?�'�)#��

À�]�Xu�4¥@]�� ¢ {wi ¢ ]G��t£s?kmX[t±i��u�r��]�{YkmX[]�ilk ¢ �hg�prx��  £¢ {w{m]G�?im])q@\^])s:kwiY�}s���kwX[])t£{¿�r�[�   t£n��Okmt£prs�i$kmp��ht±i~­n){m])km]Ys[p@t£img�n ¢ {m¥@]�i�¶'zK{w])¥jt£p ¢ i�«$pr{w³ji�prxH¬§])�   ]��h­ ��]�s[s[]Gimimprs�]�k8�   3¦��4�«¡]�{m]Ys[prk��r�   ]¡kwp��h]�n)pr\^�6p@im]�[t£iwn�{w]�kw]�s[p@t£img>n ¢ {m¥@]�i§«�tvkwX&\^t£s[t¦\��  ¦  gÃkmX[t£s-�  £¢ {m{w]��Sil]�qr\^])s:kwi�¶�À�]^Xu�4¥r]�t£�h]�s:kmt �u]��SkmX[]^p@{mt£qrt£sprx�kmX[t±i��h]�xÁ]Gn2k��rsu�´�u�@il]G�Ãprs>p ¢ {okwX[])p@{m])kmt±n)�   ilk ¢ �hg@²H«¡]�X��4¥r]��[{wpr�6p@im]��?kwp�{w]�ilkm{wt£n�kokmXu]�n   �riwioprx�  ¦¢ {w{w]��´im])qr\^]�s@k(io�jg´�r�[�[t¦s[q.��qr]�pr\^]�kw{mt±n)�   �6p ¢ su�>prsÃkmXu])t£{¿kwX[t£n(³js[]Gimi�¶¿WYX[]�qrpjph�Ã\^]��ri ¢ {w]�kmpn)prs:km{wp   kmXu]¡kwX[t±n(³:su]�iwi�prx��  £¢ {w{m]G��im])q@\�]�s:kwi���p ¢ su�h]G���jg����ht±imn){m])km]   t£s[]

D(a, b, µ, ω)«Y�ri��h])\^p@sh­

ilkm{(�Okw]���kwp>��](ω − 1)/b

¶ � �rim]���p@s-kmX[t±i�\^ph�ht ��n)�}kmt£prs°²�kwX[]�{w]�n)prqrsutvkwt¦p@s�prx��  ¦¢ {m{w]��¼im])q@\�]�s:kwi«Y�ri�imX[pO«�s�kmpS��]D]"� ¢ t¦¥O�   ]�s@k�kwp´kmXu]�n�p@\�� ¢ kw�}kmt£prs-p}x$kmX[]�¥r]){mkmt±n)�   �ht±i~k(�}sun)]�p}xYkmXu]�n�p@s:¥@]�¯&im]�kprx$�6prt£s:kwi�p}xYkmX[].�ht£iwn�{w]�kw]Dn ¢ {w¥r]Gi)¶.À&]�Xu�4¥r]��[{w]�im])s:kw]��-�}s-t£sun�{w])\^])s:k(�  K  t¦su]��}{�kmt£\�].�   qrpr{wt¦kmX[\«�Xut£n(XDimp   ¥r]Gi�kmX[t±i¡�[{mp@�   ])\ «�t¦kmX�\�t£s[t£\��   tvk~g^t£s^kmX[]¿kmX[t±n(³js[]�iwiKprxªn)prsuilkm{ ¢ n�km]��^�  ¦¢ {w{w]���im])qr\^]�s@k(i)¶=>pr{w])pO¥r]�{�²Hp ¢ {��}�u�[{mp:�rn(X��   ilp´�}�u�   t£]�i�kwp>�ht±imn)prs[s[]Gn2kw]��-il])kwi�«�Xut£n(X-pr�6])s�i���]�{wim�6]�n2kwt¦¥@]�ibt£s-kmX[]

ÑÁÔ�аÑÓÒ

������������ ���������� ½� ������������ �!�#"%$�����$&�����'�($��)���+*,�����#��.-/���0� �4�

ilk ¢ �hg�prxH�ht±iwn�{w]�km]on ¢ {w¥r]�i�«�t¦kmX�X[p   ]Gi)¶�WYX[]Ykwp:p   i�«$] ¢ im]��^n)�rs^��]�])¯:kw])su�[]���kmp��@¬µ�}s���kwX[t±i�\^t¦q@X@k  ]��@�Dkwp��h]�n)pr\^��p:ilt¦kmt£prs�iYp}x��ht£iwn�{w]�kw]�i ¢ {mxy�rn)]�i$t£s?�  ¦¢ {w{w]��   t£s[]��r{��u�Ok(n(X[]�i�¶

� ���O�Y�����."$���

3¦��4 �2¶6¬¿]��   ]��j­®��])sus[]�iwilp@s°²���¶ ­®ÌK¶[� �)\�g@²��rsu���u¶u�op ¢ g@]){G¶8ej])q@\�]�s:kw�Okwt¦[email protected]�ht£iwn�{w]�kw]�n ¢ {w¥r]GiYt¦s:kmpx ¢u¨)¨ g?il]�qr\^])s:k(i)¶ �®s�� �X � ��� � ������'�($����� " $���&�2�$%�A$��� $�� � ������ $����(�� � ��� � 3 ���� &��� � ²[¥rp   ­¢ \�]��4��p}x � �C�#" �'��$�� �("�� $�� � � ���+� � ��"���� � � ( ��7�� ���'�(" � ²H�}�@�r�[¶

3 ��4 �2¶o¬§])�   ]G�j­ �o])s[s[]Gimimprs'²���¶ ­®ÌK¶��!��\�g@²��rsu����¶o��p ¢ gr]�{�¶ ej]�qr\^])s:k(�Okmt£prs·p}x^�ht£iwn�{w]�kw]�n ¢ {w¥r]�it£s:kmp x ¢[¨�¨ g im])q@\^])s:kwi�²b]�¯jkm]�su�h]��·¥r]�{wimt£prs°¶ W']Gn(X[s[t±n)�   {m]���p@{lkG² �~ͧ�!�~� ��]���p@{lk>�o�Y­ � @ 5 @u²X:kmkm� �����O«�«�«�¶ t£s[{wt£�u¶ xÁ{��4{w{m{mk��O{m{m­ � @ 5 @h¶ X@kw\   ²@�r�r�@�[¶

3 ��4 �2¶6¬¿]��   ]��j­®��])sus[]�iwilp@s?�rsu����¶ z�¶u��]�¥r]�t  £  ZGi)¶¡�   t£s[]G�}{o�   qrp@{mt¦kmXu\�xÁpr{¿im])q@\^])s:kw�}kmt£prs?p}x��ht¦q@tvk(�  n ¢ {w¥r]�i�¶ ��� �O�s3 � ² @�¤y�@©�²[¬¿]Gn�]�\��6]){�� @ @@�[¶

3 � 4 8$¶<8[]�iwn(X[])k.�}su�¸Ì8¶8W�p ¢ q@s[]r¶ `§�hkmt£\��   kwt¦\^]Sn)pr\^� ¢ k(�Okwt¦p@s¸p}x�kmX[]´k(�}s[q@])s:k�prxb�¼�ht±iwn�{w]�km]n ¢ {w¥r] �>�r�[�   t£n��Okwt¦p@sºkwp�kmX[]Sn ¢ {w¥4�}k ¢ {w]r¶ �®s � � ��" ����� �����#$��� �'�; A�� ½ $�� ����� � � � �0 � ���; ²Ì']�n�k ¢ {w]�Íoprkm]�iYt£sS_¡pr\^� ¢ kw]){¿ehn)t¦]�sun�]^�4�}� 5u²j�u�}q@]�iY�[���:�@�u¶[ej�[{wt¦s[q@]){���]){   �}qu²ª� @ @ @[¶

3 ��4 =»¶ ,o¶}¾¿p ¢[  ]Y�}su��a�¶ Wb¶}W�p ¢ iwiw�}t£s@kG¶h_¡p@\^� ¢ kmt£s[q§kmX[]Y«�t±�jkmX�p}x���im]�k�¶ � ����� - ������ Y $�� � ���� � ���3 ���� &��� � �� ½ ( " ������ � � ���������?� � ��"%� ²'�G�u¤<�r© ��;O�u����;O�@�[²[� @ 5 5u¶3 ��4���¶��¿p   ]Gils[t£³rpO¥��}su��z�¶ 8[{! }s:kmt<¶°��]G� ¢ n�]G�j­®il]G�}{(n(X^�[g:s��}\^t£n¿�[{wprqr{(�}\^\^t£s[qbxÁpr{$�}�[�[{wp4¯ht¦\��}kmt£prsprx��6p   gjqrp@su�   n ¢ {m¥@]�i�¶ � ��'������� � �#"#$%��� �����($�� */���'����� ²u�O�6¤~�)�j© �â�r�}�@�"�[�r�@�O�u²r�r�r�@�[¶

3 ;&4 =»¶�Ì't¦s��h])sj�u� ¢ \Ä�rsu�»��¶ � { ¢ n(³hi~kw])t£s°¶�`§s���]Gn ¢ {(imt¦¥@]r²K`�¤yͧ©�z8�r{lkwtvkwt¦p@s[t¦suq>p}x¿�&¬¿t£qrt¦kmt ¨ ]G�_ ¢ {m¥@]?t£s:kmp»¬§t¦q@tvk(�   e:kw{w�rt¦q@X:kDeh])qr\^]�s@k(i)¶ � ����� - ������� "����($�� � $�� � ��'������� 3 ���� &��� � �� ½( " ������ � � ���������?� � ��"#� ²°�4�[¤�@@© � @}� @"��@@�}�u²u� @ @r�u¶

3 5�4���¶ =>]   ³:\��rs°¶j`§sh­   t¦s[]Y_¡prsuilkm{ ¢ n2kwt¦p@s�p}xhkwX[]Y_¡p@s:¥@]�¯b¾ ¢[ £  prxu�¿ejt£\^�   ]¡zKp   gjqrp@s°¶ � �E5 $������'�($��� ��$ "#� �#�#��� �*/����� ���#� ²u�@� �£�r���6�G�[²u� @ 5 ;h¶

3 @�4#��¶hz�]){w] ¨ �}s�� ,o¶��¿t±�[�   ¶8`§�hkmt£\ ¢ \ ��p   gjqrp@su�   �r�[�[{wp4¯jt£\��Okwt¦p@sDp}x��ht¦q@tvkwt ¨ ]��?n ¢ {w¥r]Gi)¶ � ���� � ���� �#"%$%� �����'�($��+*������ � � ²ª�4� ��;4�:�"� ;r�}�u²[� @ @}�u¶

3£����4 8$¶ z�¶@zK{w])���}{(�Okw�b�rsu�=¼¶ �2¶:ejXu�r\^p@i�¶ $�� ����� ��'�($�����$���%$��0���'�; �% �� � � ���%$ ½ ��" �'�($�� ¶Hej�u{mt£s[qr]�{l­��]�{   �}q�²ª� @ 5@�h¶3£�r��4���¶ z�¶H��]�¥r])t  £  ZGi)¶�a$�)p@\��)km{wt¦]��ht£iwn�{wZ�kw]r²6n)�   n ¢u  i�]�s´s[pr\��[{w]�i�]�s@kwt¦]�{wio]�k��   q@pr{wtvkwX[\^t � ¢ ]@¶¡WYX[ZGil]

� � ,�k(�Ok�� �¿s[t¦¥@]){(ilt¦k���Ì'p ¢ t±iYz��rilkm] ¢ {�²ª� @ @[�@¶3£�G��4b��¶°��p@im])s[xÁ]   �>�}su�&��¶&�   ])klkw]r¶�¬§t¦q@tvk(�   e:km{(�}t£qrX:kmsu]�iwi��´��{w])¥jt£])«�¶ � � ��"�������� 3 � ���?�(� ½ ( ��X Y ²�G� @�¤~���h�@©��¦� @ ;'�[�}�@�[²r�}�@�}��¶3£����4�z�¶jÌK¶:��p@imt¦s'¶6W�]�n(X[sut � ¢ ]Gi�xÁpr{¡�riwil]Gimimt¦suq��6p   gjqrp@su�   �r�[�[{wp4¯jt£\��Okwt¦p@sui�p}x°n ¢ {m¥@]�i�¶ � �(��� - ���� � �

" �'�($���� $�� ��3 ( � ²ª� @u¤y�:© � �@� @"�j�@�r�u²u� @ @ ;h¶

Ð�Ð Ö�Fuë2é2é(ì

�G� � � � �C� ½���� ���������#��$������� � "� ����� � $��� ��� � � ��� ���

3£�)� 4b��¶ À�¶ =¼¶§eh\�] ¢[  �h]){(i´�}su� ÌK¶o¬§pr{(ilk�¶ ¬¿]Gn�pr\^�6p@imtvkwt¦p@s prx��ht±imn){m])km]¼n ¢ {m¥@]�i?t¦s:kwpº�[t£]�n)])«�t±il]ilkm{(�}t£qrX:koim])qr\^]�s@k(i$t¦s   t¦s[]G�}{Ykwt¦\^]r¶ $���� � � � $�����; ( ��7�� ���'�(" � ²��r� @ �£��� @ �6� @@�h²u� @ @u�r¶

3£�G��4�z�¶��§t£s°¶ � k(�}� ¢ im]��r{wn(X �}�[�u{mp:�rn(Xºkmp¼�6p   g:q@prsu�   �}�[�u{mp4¯ht£\^�}kmt£prsºp}x��ht¦q@tvk(�   n ¢ {w¥r]�i�¶ � � �� ��������'�($����� � $���������<$�5 � ��'������� � �#"#$�� �����'�($�� �� ½d3 ����� �<" �(�� � ��� � �����?� ����"#� ²¿�)��¤<�r©�� �}�@�"�[�r�@�h²�r�r�@�[¶3£����4b¬�¶��6X��}s[q^�}su�Ãa�¶[Ì ¢ ¶��o])¥jt¦]�« prx�imXu�}�6]b{m]��[{m]Gil]�s:kw�Okwt¦p@s��}s��.�h]Gimn){mt£�hkwt¦p@sDkm]Gn(X[s[t�� ¢ ]�i�¶ � �� �

� ����� � �#"#$%��� �����($�� ²[� ;[¤~�4© �£���6� @[²h�}�@�}�u¶

ÑÁÔ�аÑÓÒ

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

615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)

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

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France)Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier (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