Optimal Blurred Segments Decomposition in Linear Time
-
Upload
independent -
Category
Documents
-
view
0 -
download
0
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
a²
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]
k²
ω(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]
l¶
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 � �
C¶
Ð�Ð Ö�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)� £ ]��
C¶
�®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