A Similar Fragments Merging Approach to Learn Automata on Proteins

(1)

HAL Id: inria-00070340

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

Submitted on 19 May 2006

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

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

A Similar Fragments Merging Approach to Learn Automata on Proteins

François Coste, Goulven Kerbellec

To cite this version:

François Coste, Goulven Kerbellec. A Similar Fragments Merging Approach to Learn Automata on Proteins. [Research Report] RR-5672, INRIA. 2005, pp.17. �inria-00070340�

(2)

ISRN INRIA/RR--5672--FR+ENG

a p p o r t

d e r e c h e r c h e

Thème BIO

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

A Similar Fragments Merging Approach to Learn Automata on Proteins

François Coste and Goulven Kerbellec

N° 5672

Septembre 2005

(3)

(4)

*+# , #.-/'#

0214365'798;:=<>?8;<A@CB

∗ 365DFEG8;HIKJ;B95FLGB91AMNBOIPIPBOQ

†

RSUTVXWY[Z]\F^`_badcfe]TAV?WCcgihkjmlkjmnmhpo9qiWAc

rts]jmuvWew_babVgUhxj9cfW

y{z}|U|~jOsfe{dWsWASiWAsSUW62}b}^_bWA|de]WAVgisW}OO,^.4|UzmnmWAc

+'Aimm W|Us]jO|~j9cfWSUWsWe]jlkWAz}sz}qie]jmVz}ezjOsweSiWXSUz}szme]WshkAzehxjOj}t|isj}eWhkUc{KzmVXh

lkhkWAcejj mWAsjmVXW¡e]SiWlkhkV?hxez}e]hkjmUcwj}e]SUW|~j9cfhxe]hkjmi¢c]|~WChx£~SUzmszO¤eWshxCze]hkjm~c[lkzOc]c]hpz}lklkaqUc]WAhk

r2z}efe]WAs]¦¥§hkcj OWsam¨ Whk9e]sjbiqUWziWA©ªSiWAqis]hpcfe]hp?zm|i|isjOzOSlkWAz}sihkinijmd«dWe]WsVXhxUhkcfe]hpz}qd

ejmVzezg~zmc]WA"jmcfWAlxWC¤e]hkjmz}~+jOsdWAs]hkin?j}cfhknmihx£~Az}9e]lka+c]hxVXhklkzmsNsz}nOVXW9ec[ej?g6WVXWsnmWC+z}~

jO|iSbadcfhpjm¢SUWVXhkAz}l|is]jO|~WAsfehxWCcwhpdWAOeh£6zehxjO¬¨§qUz}lkhxevajm2e]SiWXSUzmszO¤e]WAs]hkAz}e]hkjmj}®e]SiW?Vzuvjms

hk9e]shx~cfhp{|isj}eWhk°¯=±GZ«rN²®Kz}VXhklxahpczmccfWCc]c]WAXgbalkWAz4 mWPjOiW¢jmqie®sjOccv¢ z}lkhkiz}e]hkjmXjOs[zlkzms]nOW{sz}inOW

jmVXjddWlpc{c]|~WChx£~hxevam¨

³G´9µ;¶·¸ ¹'m nOszmVXVXz}e]hpzml6hkdWAs]WAUWOºUz}qdejmVzeziºb|isj}eWhkUc

»'¼¤½4¾¿ÀvÁÂÀvÃ=Ä}Àv¾Å¾ÅÀvÆ®ÇÅÈ¬È=½4É4É}¼¤ÃKÊ=ÀvË,ÄÌ¡Í[Î~ÏÐÃ=ÀvÈPÀfÍÃKÆ¢Ï,Ñ¤Ã=ÍÁÊÒkÃK¼¤ÓÕÔ×ÖvÑ¤ÇÅ¼¤Á,Ø;ÃKÀ«Ê¢ÍÑ¤ÁCÀÙ

∗ÒkÃ=ÍÁ4Æv¼¤ÇÅÈ]ÙÆv¼¤È=Ê=À]Ú'ÇÅÃ=ÇÅÈPÍCÙÒkÃ

†^{Ñ¤¼¤½4¾}^¿ÀvÁ9ÙÛ¤ÀvÃ=Ä}Àv¾Å¾ÅÀvÆÚ'ÇÅÃKÇÅÈ¢ÍCÙÒxÃ

(5)

4' ' ×"$[ ,{ ' [

X 'A' ,# *+" #,

jmqUc|is]jO|~j9cfjOUcz}|i|Us]WAUdsWXiWAczmqde]jOVze]WCczmszO¤eAs]hpcz}9e,iWAc,KzmV?hklklxWCcdW|isj}

ehkiWAcX|6jmqUs+|~zmccfWAs?lkWAcXlkhkV?hxe]WCcdWCcXV e]SijddWCcqUc]qiWlklkWAcdW¥!Ajmqi OWs]e]WGdWG±Gj}ehKc+oOqUhwcfjO9e

zO¤eqiWlklxWAVXW9esWAcfe]sWhkOeWAc#"dWAcz}szmeAs]hpc]z}e]hkjmUc,|~z}s|6jOc]hehxjOUcA¨ jmq~chkOes]jddqUhkc]jmUcz}hkUc]h®qiiW

Ujmqi OWlklxWzm|i|isjdSiWGSiWqUs]hpcvehko9qiW|~WAs]VXWe]ezmOez}|i|isW~ds]W°dWAc"z}qdejmVzeWAcUjm e]WsVXhxUhkcfe]WCcº

g~zmcWc]qiswlpzc$AlxWC¤ehxjO¬ºUlkWe]sh×WewlpzXqUc]hxjOdWsz}nmVXWAOec{c]hxnOih£6zehx OWVXW9ewc]hxVXhklkzmhxsWAcAºUzmhxUc]ho9qiW

c]qis,l%hpdW9eh£~AzehxjO°dW?|isjm|ish&eCcw|iSbadc]hkj}«SihxVXhpo9qiWAcA¨#'×zo9qUz}lkhe?iW?Az}szm¤eshkczehxjOdW?lkz+Kz

VXhklxlkWdW|isj}eAhxUWAcw±Z«rª¯VzuvjOs{hkOes]hkUc]hk|is]jme]WAhx~²WAcfe¡ze]e]WCcveW|Uzms{ z}lkhkUze]hkjms]jOhkcWiWevab|~W

(*)+-,.)0/$1324)5/$1-67 |6jmqis{dh&84sW9ecihk mWCz}q9dWcf|:Ah£~hedWAc{V?jddTAlxWCc¨

;ª¸ C ¶ =< " hkd>sWUW,nmsz}VXVze]hpzmlxWOºdz}qdejmVzeWAcAº9|Us]jmehkiWCc

(6)

# $

×# *"$®#

r®s]jme]WhkUc{zms]W,WCc]c]W9e]hpz}l;ejXe]SiWcfe]sqUe]qisWz}U"qi~¤e]hkjmjmzmlxl¬lkhk 9hkinWlklkc{zmU bhxsqUc]WAcA¨tRSiWaz}sW

zmVXhxij"zmhpSUzmhx~ce]S~ze¡jmlpGhx9eje]SUs]WAW«dhxVXWAUcfhkjm~z}lcfe]sqUe]qisWAcA¨w±Gj9cve¡j}2e]SUWehxVXWAcAº;jmilkae]SiW

zmVXhxijzOhp+SUzmhx&%+z?c]WAo9qiWAUW,j OWs}?lxWefeWscWAzmS"s]WA|isWAc]W9e]hkin?jmiWz}VXhkijzmhk'%Xhpc)(bij©¬¨

¥§WeWsVXhxUz}e]hkjmjm e]SiW¡cves]q~¤e]qUs]W{jOsteSiWwqUU¤ehxjOj}¬|isj}eWhkUc2sjmV eSiWhks[c]WAo9qiWAUWCcthpc®jOiWwjm e]SiW

Vz}uvjmsSUz}lklkWinOWAcNhxVXjmlkWAqUlkzms[gUhxjOlxjOnmam¨2RSihpcdWe]WsVXhx~ze]hkjmzm"g6WdjmiW,gbaW09b|6WshkV?WA9ec[giqde

UWWAUc2VXjmsW{z}UXVXjmsWe]jg6W§zOc]c]hpcveWA?gba 2* (1 VXWeSijdic2ej,KzmW{e]SiW{sz}|UhkdlkanOs]j©hkin,z}VXjmqUOe

jm;z4 zmhxlpz}gilkWcfWCo9qiWUWAc2hk?e]SiW§izez}gUzOcfWCcº}|Us]jddqUWAhx|~z}s]e]hpqilpz}s2gba¥ ,+ cfWCoOqUWUhxin|Us]jmuvWA¤ec¨

\§UW?jm®eSiWXV?j9cvec]qUWAccvqUltz}|i|isjOzOSiWAc§hpc¡e]jGdW£~iWcfhknm~ze]qUs]WCcwjm(bij©.- + ()/ j}[gihkjmlkjmn}

hpzmlxlka s]WAlkz}e]WA |isj}eWhkUc¯evab|ihkAz}lklxa ze+e]SiWGqUU¤ehxjOUz}l¡jms+cfe]sqUe]qisz}l§lxWA mWl²¤¨ + s]WA|is]WCcfWA9ezehx OW

W09iz}VX|ilkWj}'e]Sihpcwzm|i|isjOzmS"hkc{e]SiW©NWAlxlx(bij©rtsjOc]heWizez}gUzOcfW10243¢ºUnOz}e]SiWAs]hkinc]hxnOUzeqis]WCc[jmswz

lpz}snmW,bqiVg~WAswj}2|isj}eWhkKz}VXhklxhkWAcA¨Z«Grts]j9cfhxe]WOº~c]hxnOUzeqisWAc{zms]Wc]qigd¢s]WAnmqilpz}sW09b|Us]WCc]c]hxjOUc{dW£UiWC

WCc]c]W9ehkzmlxlkagbaW09d|~WAsfec¨

+

qie]jmVz}e]hp{dhpc]j mWsajm;c]qUSVXj}ehKc§¯r2ze]e]Ws¥§hkcj OWsad²'hpc®zia9~z}VXhk

sWAc]WAzmsS¦£~Wlp50k6dº® 3wdhks]WC¤e]WC ej©[zmsic?dWe]WAe]hkjm j}§jmUc]Ws mWC c]WAo9qiW~WAcA¨87NjOUc]Ws 4z}e]hkjm jm

c]WAo9qiWAUWCchpcnOWiWAszmlxlka)hxVX|6jms]ez}9ejmse]SiW+qiU¤ehxjO jm{|is]jme]WAhxUc?z}~94jOsjmse]SiWVz}hk9e]W~z}UW

jm2e]SiWAhxs¡eSis]WAW«dhkV?WAUc]hxjOUz}l'cves]qUe]qisWm¨:tz}shkjmqUcwevab|~WCcwjm®|Uze]e]WAs]Uc§SUz4 OWg~WAW°qUcfWCGej"dWCc]s]hkg~W

eSiWGcfWe?jm¡jmUc]Ws mWC cfWCo9qiWUWAchx lkWAz}sihkin¦z}lknmjmshxe]SiVc*0x/3¢¨ + z}hklkzmgilkW"VXWeSijdicXsz}inOWsjmV

eSiW?hkdWA9e]hx£~z}e]hkjmjm[c]hxUnmlkWc]Sijms]e,c]WAo9qiWAUWCc{ejGcfqig;lpzmcc]WAc§j}®sWnOqilkzms§W09d|is]WCc]c]hkjmUcAº~WCzmSW09izm¤e

|~zefeWsXSUz4 bhxin,hxec2|Us]jOgUz}gihklkhkcfe]hpjmqUOeWs|Uz}s]eA¨ + VXjmUn,e]SiW{cfez}e]W¢j}Pe]SUW«z}s]ezmlxnOjmsheSiVclxWCz}sihxUn

W09d|is]WCc]c]hk mW|Uz}efe]WAs]~cº~rtsz}efe063¯=SijOc]Wejg~We]SiW?dWKzmqilxe§|Uz}efe]WAs]°dhkcj OWsae]jbjOl|isjm|6jOc]WAjO

eSiWrtsjOc]heW©NWAgGcfhxe]W4²¤º~RWhksWAc]hkzOc;0k2<3×jOsw_b|ilpzmc]S0" 3SUz4 OW,g~WAWc]qUWAccvqilklka+dWAc]hknmiWC+ejnmWAiWszeW

r®s]j9cfhxe]WPlkh=(OWW09dzO¤e¡|Uze]e]WsUc¡©SihklxWOº¬jOUWAs]ihkincvejbS~zmcfe]hpVXjddWlpcº;eSiWXjmssWAc]|~jOUdhkin+cfezeWjm

eSiWz}s]e©NjOqilp g6We]sz}hkihkin°|Us]jm£UlxWSihpidWA ±z}s(mj ¦VXjddWlpc¯©SUhkS z}sWGz°|~z}s]e]hpqilpz}s1(bhx~Õjm

lkWe]PshknmS9eSihkUdW ±zms>(Oj )VXjddWAlkc?jdq~cfhkin¦jm cfjm¢Az}lklxWC@?fVzeSBA|6jOc]hehxjOUcz}U z}lklkj©hxin°e]j

S~z}UdlkWdWAlxWe]hkjmUcwjms{hkUc]Ws]e]hkjmUc{j}tcfabVg~jOlkc²zmc{hxeSiWjmVXVXjmilka+qUc]WAejbjmlpcwc]qUSGzmc,C§±± D®y

043wzmU _ +

±E0km/3¢¨

+ hkV?|6jms]ezm9eWCze]qUs]W"j}{eSiWAc]Wzm|i|isjOzOSiWAchkce]S~ze?e]SiWAa z}sW+lkhxVXhxe]WA e]j

14 7132 /F )G H

SUzmszO¤e]WAs]hkAz}e]hkjmUcI®zOcwzVze]e]WAs§jm'KzO¤eCº6UWhxe]SiWAswsWlpze]hkjm~c{g6Wev©[WWG|6jOc]hxe]hkjmUc

%)jms?hx~cvez}UWmº2hx§©[W"jOUc]hkdWAseSiWihkc]qilx£~dWg~jOU g6Wev©[WWAÕadcfe]WAhxiWCcºeSiW"Kzm¤e?e]S~zeX©SiW z

adcveWhkiWz}VXhkijzmhkhpc{|Us]WCcfWAOe¡zew|6jOc]hehxjO

i eSiWsWc]SijmqUlkg6WiWCWAccz}shxlka"zmij}eSiWswadcveWhkiWze

|6jOc]hxe]hkjm

j %ijmszmleWsUzehx OW|UzeSUcX¯KdhpcKuvqiU¤ehxjO°j OWs§V?jOs]We]SUzmjOiW|6jOc]hxe]hkjm~²§zmg6WsW|isW

c]W9eWA ºd©SiWAs]WCzmc[hxewjmqUlkg6WdjmiW,hke]sqilxa+s]WAnmqilpz}sW59d|isWAcc]hxjOUc[jms{z}qie]jmVz}ezi¨

WzOidsWAcchxeSihkcw|Uz}|6Ws{e]SiWezmc>(+jmlkWAzms]Uhxin +-671 +-7 + jOse]SUWSUz}szme]WAs]hkAz}e]hkjm+jm2|is]jme]WAhxUc

KzmVXhxlkhxWCce]j¡j mWsjOVXW2e]SiWqis]sW9e'|~j9cfhxe]hkjmd«c]|~WChx£~®lkhkV?hxez}e]hkjm?j}Ur2z}efe]WAs]?¥whpcj mWAs]aO¨KJ¡sz}VXVzef

hpzml hxiWsWUWjm~cfhpdWsc[e]SUW|is]jOgilkWV jm'lkWAzms]ihkinXnmsz}VXVz}scNs]jOVe]SUWjmsWehkAz}l¬zmUz}lknmjmshxe]SiVXhp

|6jmhk9ecjm bhxWA©¨®_bhkUW,hxe{hkc[eSiWlxWCzmcfe[W09d|is]WCc]c]hk mW,lpzmccNjmnOszmV?VzmscNhxeSiWL7NSijmVc>(baSihxWAszmsSbaOº

hkdWAs]WAUWXj}sWnmqUlkzms¡nOszmVXVXzmsc§SUz4 OWg6WWA)©hpdWAlxa)cveqUdhkWA ºij}ez}gilkagbaqUc]hkin£Uihxe]WcfezeWz}qd

ejmVzezwsW|Us]WCcfWAOezehxjOz}~cfez}e]WVXWsnmhkinweWASiUhko9qiWCc¨RSiWVXjmsW[sW|Us]WCcfWAOezehx OWNcfezeWV?WAs]nOhxUn

zmlxnOjmsheSiVªhpc[Ws]ezmhxUlxa?yr Z,0x9ºU4<3Pºb©SihpSSUzOctg6WW"cfSij©XejSUz4 OW{hkiW9e]hx£~z}e]hkjm|isjm|6Ws]e]hkWAc

zmUnOj9jd|6Ws]jmsVz}UWAc®jm"zmsfeh£6hpz}l~UzezU¨2RSiW§bqiVg~WAsNjm×iWAWAdWCizezVz4aXg~W¡sWAdqUWA©hxe]S

eSiWwSUWlk|j} e]SUW,D®¥,_d± SiWAqishkcfe]hp{©SihpSSUzOct©[jmXe]SUW + gUgUzmdhkinOjjOV?|6WehehxjO¬ºbcvehxlkl~jOz}s]e]hx£~hpz}l

UzezU¨

(7)

Z« jm9e]szmcfeAº'©SihklxWe]SiWz}|i|ilkhpzehxjO)e]jnOWijOVXhkc]WAo9qiWAUWCcc]WWVce]jg6W"z|isjmVXhpcfhkinG£~Wlp

jOs J¡sz}VXVzehkAz}l~Z«dWsWUWmº9ij}eVq~S©NjOs>(?SUzOctg6WW"|iqigilkhpcfSiWCjOe]Sihpc[VzefeWs,¯hx×©[WwsWAcfe]shke

jOqiscfWAlx OWAc§e]jGVXWeSijdicdhpcj mWAs]hkinzme]qUzmlxlkaznmsz}VXVz}sz}~°Uj}euvqUcfee]sz}hkihkinhec©[WhknmS9e|Uz

sz}VXWe]WscAº×©SihpS ©[jmqilp)jmshkUcfezmUWW09ilkqUdWeSiW©[jms(jm§_dz(z(bhkgUz}szjm cfe]jdSUzOcvehkjm9e]W099e

sWWwnmsz}VXVz}sc'jmsteSiWw|Us]WCdhke]hkjmjm¬y ,+ cves]qUe]qisW 0Å}43;giqde[©NjOqilpXhxUlxq~dW{eSiW§zm|i|ilkhkAze]hkjmjm

_dWAo9qihxe]qis 0kA43×e]jXhxiWswz?SihkWsz}sSihpz}l;cfe]sqU¤eqis]W,jO¥ ,+ c]WAo9qiWAUWCc[©heSijmqde{nOWiWAszmlxhkAz}e]hkjmz

|~z}gihklxhxe]hkWAc²¤¨ 7NjOUWAs]ihkineSiW§zm|i|ilkhkAzehxjOj}×c]qUSVXWeSijdic®jmsNe]SiW¡SUz}szme]WshkAzehxjOXj}¬|isj}eWhkUcº

©[W§zms]W¡jmUlxaz4©z}sW{j}¬eSiW,WAzms]lkaX©NjOs>(?j} tj(mjOV?jOs]h 0Åm<3 jm"lxWCz}sihkinlkjdz}lklkaeWAcfezmgilxW¡lpz}inOqUz}nOWAcAº

zc]qig;lpzmccj}2z}qdejmVzez?©SihkSGVz4ag6WlkhxO(mWA"ej 2 /+ zmU"e]j|6WscfhpcveW9ewc]|ilxhphkinc]abcfe]WAVcº

jOse]SiWhpdWAOeh£6zehxjO"jm'|Us]jme]Whk

α«SUz}hks]WAnmhkjmUcA¨

\§qUs"Vz}hk jm9e]shxgUqde]hkjm hk eSihpczmsfehklxW°hkc+e]SUW°|isjm|6jOc]hxe]hkjm j}?z iWA© SiWqUs]hpcvehk°z}|i|Us]j9zmS hk

eSiWwcfez}e]W¢VXWsnmhkin§szmV?WA©NjOs>(;º4jOlxlkj©hxUn,e]SiWhpdWAzOc2j} 0Å43¢ºOz}lklkj©hxinzc]qUWAccvqUlihxiWsWUWj}¬z}qd

ejmVzez§jmse]SUW{SUz}szme]WshkAzehxjOj};|isj}eWhkUc¨'RSiW{z}|U|is]j9zmS¬ºc>(mWeSiWChk + lknmjmshxe]SiV OºOjmUc]hkcfec

jmUev©[j,VXzmhxcfezmnmWAcI £Uscfe2z G ++07);

+37

132 cvez}nOWmº}hk9e]sjbiqUWChkcfWC¤e]hkjmdºOdWeWA¤ectz}~jOsiWsc

c]hkV?hklpz}s'|is]jme]WAhxsz}nOVXW9e|UzmhxscAº4e]SiWAz )02:);+3(

+-7

1-2 cvez}nOWmº}dWCc]s]hkg~WChk?c]WAe]hkjm " ºV?WAs]nOWAc×e]SiW

Az}Uihkiz}e]W,sz}nOV?WA9e|~z}hksc[ejhkdWA9e]hxa"nOlxjOgUz}lklxa"jm~cfWAs] OWA+zms]WCzmczmU|iSbabc]hpj}«SiWAV?hpzml;|is]jO|~WAsf

ehxWCc¨ W,|is]WCcfWA9e[z£Uscfe 4zmlxhpiz}e]hkjm+jm×jmqUszm|i|isjOzOSjm"zsWAz}l~ezOc (jm×|isj}eWhk"SUzmszO¤e]WAs]hkAz}e]hkjm

hkGcfWC¤ehxjO ¨

<

¸

K

_bhknmihx£~zm9e]lka"_bhkV?hklpz}sisz}nOVXW9e[r2zmhxsc±GWsnmhkin

+

|i|Us]j9zmS

¸ ´ ¹ ´! #"%$'&)('$F¯

SI2cfWe[jmcfWCo9qiWUWAcAº

qI2o9qijmsqiVº

GIc]Wej}'z}VXhxUj?zOhpnmsjmqi|~cº

λG

º

λΣ

I2lkh(mWlkhkSijbjb+e]WCcvece]SUs]WCcfSijOlkUc²

.7NS~z}szm¤eWshxCzehxjO+cvez}nOW

L←^* &+,-/.'0/

(S) .cfWC¤ehxjOi¨x

1¸ ´ i2 -

∈L ^¹ ^¸

-

.score←" ##" 3 #(,54,%&768&9,;:< 6=4

*?>

4,&+.'(

(^- , S) . cfWC¤e]hkjmGd¨Å

L..@"5,8A3:B/DC%.'"

(^²

.J¡WUWsz}lkhxCze]hkjmcvez}nOW

A←^E ^4'F'&) ^> /HGI4'('.@( &+C;4

*

J

>

, .'I4,=4

(S) .cfWC¤ehxjO " ¨x

1¸ ´ i2 -

∈L ^¹ ^¸ A.I #"%$@ &)0K4'L'!&+&)A

* (^- ) A.$ 4@/$' 3( #"%4

*

&+M4,&+.'(

(q) .cfWC¤ehxjO " ¨

A.&)( 5.@"4,&76@ ;.@&9,&+.'('

(G, λG, λΣ) .c]WA¤ehxjO " ¨"

´ ×N

A

O P

%" ' $®RQ[ ,#

SUTWV XUY[ZB\!Y^]`_%a-\<b#c^deXUYWfgYWcWa-hjiUh#a-ZBflk'\<bnmoapY[h3q

DNzmS z}VXhkij zmhp SUzmcVqilxe]hxKzmWe]WC |isjm|6Ws]e]hkWAc?e]S~ze+z}sWs]WCcf|6jm~cfhkgilkWjmsXe]SUWcf|6WAh£6hxevaÕz}~

ihx OWscfhxevaj};|isj}e]WAhxXcfe]sqU¤eqis]WzmUqUU¤ehxjO¯=cfWAW[jms2hkUcvez}UWe]SiW|ishkUhk|Uz}lU|is]jO|~WAsfehxWCc'j} z}VXhxUj

(8)

zOhpicc]Sij© hkn'hknU¨

"

²¤¨

+

jmsdhxUnGe]je]SiWAhxsXcfS~z}sWA¦|isjm|6Ws]e]hkWAcAº2cfjOV?Wz}VXhkij°zOhpicVz4a¦g~W

VXjOs]WWAzmc]hklxacfqUgUcveheqde]WCWCzmSzmij}eSiWs§qiUdWAs¡e]SiW?|isWAccfqisWjm®Uzeqisz}lcfWAlxWC¤e]hkjm×¨,_bqUgUcveheqde]hkjm

Vz}e]shkWAcAºOlkh=(OWwr

+ ± z}U+Y'\,_w± ºO|isj bhkiWe]SiW¡|isjmgUzmgihklxhxeva¯KjmsNjbUic²®j}×S~z}inOhxinjmiW¡z}VXhxUj

zOhpGhkOejzmij}eSiWsC¨_bqUSVz}e]shkWAcwzmlxlkj©/e]jsW£UiWe]SiW?ijme]hkjmjmNjOUcfWAs] z}e]hkjmGgbaGhx9es]jddqUhxUn

c]hkV?hklpz}sheva VXWCzmc]qis]WCcXg~Wev©NWAW |isj}eWhk c]WAo9qiWAUWCc¨ W|Us]jO|~j9cfWhkÕeSihpc+c]WA¤ehxjO e]j qUc]We]SiWCcfW

Vz}e]shkWAc®e]j?hkdWA9e]hxacfhkVXhxlpz}s[|isj}e]WAhx+szmnmVXW9e[|Uz}hkscNhk+jmsdWAste]j?hpdW9e]hxahk9e]WsWAcfe]hkin?jm~cfWAs] OWA

zms]WCzmcA¨

Z«eSihkcwcveqUdamº~©NWq~cfW,eSiW,e]WAs]V 1-7 ) 2 - +; )02 7 ejdWAc]hknmUz}e]WzjOOehxnOqijmq~ccfqig~cfWCoOqUWUW¡jmz

|Us]jme]Whk¬¨ W{jmUc]hpdWs2|isj}eWhk?szmnmVXW9e2|Uz}hksc2cfqUS?eSUzetg6j}eSsz}nOVXW9ecSUz4 OW[e]SiW{cz}VXWlkWinme]S¬¨

RSUW§c]hxVXhklkzms]hxevaXj}×c]qUS+|UzmhxsNhkcNeSiW¡c]qiV j}×e]SiW¡hx~dhx bhpdqUzml6c]hxVXhklkzms]hxevaX z}lkqiWAcNj}¬eSiW{KzOhkinXz}VXhxUj

zOhpicA¨®¥whqilxeva+hkjOVX|Uz}shxUneSiWc]hxVXhklkzms]hxevaj}'ev©[jXih8;WsW9e{lkWinme]SszmnmVXW9e|Uzmhxschpc{z?©NWAlxl

(bij© |is]jOgilkWV¨ R×j)j mWAsjmVXWXe]SihpcX|isjmgilkWVº2©[W"q~cfWcfWecj}

=2 H

+-2 7%(@

(&+ - +;

)02 7

+

G ¯P_ 'rN²|Us]j bhpdWA)gba)¥§Z+ '×Z J 0x4<3P¨¥§Z+ '×Z J hpczVqilxe]hk|ilkW"z}lkhknmiVXW9eejbjml®©SUjOc]W

£~scfetcveW|Xjm~cfhpcvecj}~£UUdhkinz}lklbszmnmVXW9e|Uz}hksc2cfqUSe]S~zee]SiWAhxstc]hkV?hklpz}shevahpctc]hxnOih£6z}9elxalpz}snmWAs

eSUz} W09d|~WC¤e]WC jm sz}~djmV cfWCoOqUWUWAc+¯=zmcV?WCzmc]qisWA)gba)zG©[WhknmS9eqUU¤ehxjO

w(s, l) sWlpze]WC)e]j eSiWX|isjmgUzmgihxlkhxevaGj}®£~UdhkinGz}baszmnmVXW9e|Uzmhxs,j}[lxWAin}eS

l ^©hxe]S zc]jmsWzelkWAzOcvezmc¡lpz}snmWXzmc

s

ez(bhkinhkOej°zOjOqi9ee]SUW+lkWinme]SUcj}eSiW+|isj}eWhk c]WAo9qiW~WAc²¤¨°Z« ¥§Z+ '¬Z J dºeSiWAc]W_ 'r z}sW

eSiW jmVgihxUWA°e]jVz(mWzVqilxe]hk|ilkW"zmlxhknmiVXWAOejO|de]hkVXhxAhxUne]SiWnOlxjOgUz}ltc]qiV j}©[WhknmS9ec,qi~dWs

jmUc]hpcveWUaXjmUcfe]sz}hk9ecA¨Z«"jmqisz}|U|is]j9zmS¬ºme]SihpccfWe[jm'_ 'r hkc[jOUcfhpdWAs]WCzmc[z£~scfec]WlkWAe]hkjmjm

sz}nOVXW9eccfqUS,eSUze'VXWsnmhkine]SUWVhpc×|6j}eW9e]hpz}lklxa¡hkOeWsWAcfe]hkinU¨'RSiWNc]WlkWAe]hkjmjmde]SiWCcfW®szmnmVXW9ec

hpc§gUzmc]WAjmilkajmc]WAo9qiWAUW=ej}«cfWCoOqUWUWjOV?|~z}shkc]jm¬¨ W?©hklxl2c]WW?hxe]SiW?iW59becfWC¤ehxjOSij©/e]j

sz}O(Xe]SiWCcfW,sz}nOV?WA9eczmAjmsdhkine]jXe]SUWhkss]WA|is]WCcfWA9ezehx OWiWCc]cNj}'e]SUW©SijmlkW,|is]jme]WAhx"Kz}VXhklxaO¨

SUTS jhIk h3Y\Z X YWfgY c[a-hjiUh#a-ZBflk'\<bnmoapY[h3q

RjjOsdWAse]SUW?_ 'r ©hxe]Ss]WCcf|6WAe{e]j+e]SiWAhxs¡s]WA|isWAc]W9ez}e]hk mWUWAccj}e]SiW©SijmlkWKzmVXhxlkamº6©NWVXz4a"e]sa

ejWAcfe]hkVXz}e]W?e]SUWhkscfqi|U|~jOsfehk°jme]SiWAscfWCoOqUWUWAc¡j}Ne]SiWXKzmV?hklkamº¬hP¨WO¨?e]jGjOqi9e¡jOs,WAzmS _ 'r e]SiW

bqiVg~WAsj}cfWCoOqUWUWAcjOOez}hkihkin?zsz}nOV?WA9ec]qhkW9e]lka+c]hxVXhklkzmse]jXhxeA¨®_bWA mWsz}l s]hxe]WAs]hpzAz}g~W

SUjOc]W)e]jiWAhpdWhxwzsz}nOV?WA9ehkccfhkVXhxlpz}sejGev©[jGj}e]SUWsjOiWAcA¨ '¬WeqUcUj}e]We]SUz}ee]sz}~cfhxe]hk bheva

ij9WCcijmewSijmlp"jms¡cfhkVXhxlpz}shevaO¨ WqUc]We]SUWe]shkzminmqUlkzmshxiWCo9qUz}lkhevacfhkUWhewhpcwc]hkV?|UlxWOºUsjmgiqUcfewz}~

|~z}sz}VXWeWs]=sWWO¨RjXc]hkV?|UlxhxaeSiW,W59d|isWAccfhkjmUcAºb©NW,qUc]W

w(f1, f2)hkUcveWAzO+jm

w(s, l)e]jdWCcfhknm~ze]W eSiWX¥wZ

+

'¬ZJ

©NWAhxnOS9e§j}®zszmnmVXW9e¡|Uz}hks

p=hf1, f2i SUz4 bhkin+c]hxVXhklkzms]hxevac]jmsW

s z}UGlkWUn}e]S

l^¨ ⁺ ^_ ^'r (f1, f2) ^hpccz}hp ⁶ ^{1 7}⁾ gbaz"sz}nmVXWAOe

f ^hx ^I w(f, f1) +w(f, f2)≥w(f1, f2)^¨ ⁺

_#r hpc[cz}hpejXg~Wc]qi|i|6jms]e]WA+gbazc]WAo9qiWAUW¡h'hehpccfqi|U|~jOsfeWAgbaz}elkWAzOcvejmUWwsz}nOV?WA9eNj}e]SiW

c]WAo9qiWAUWO¨ '¬We

p^g~WzX_ ^'r¨ WdW£UiW¡e]SiW 6 1 7 jm

phkzc]Wej}cfWCoOqUWUWAc

S zOcteSiW,9qUVg6Ws jmc]WAo9qiW~WAc[c]qi|i|6jms]e]hkin

p^hk SºddWUj}e]WCgba

σS(p)^¨ ^CwWsWAzeWsCºb©NW,dWUj}e]W

SupportS(p)^zOcNe]SiW

c]Wejmc]WAo9qiWAUWCchxUlxq~dWAhk

S c]qi|i|6jms]e]hkin

p^¨

SUW

S hpc'e]SiWKzmVXhxlkaj}6|isj}e]WAhx~cº

σS(p)Vz4ag~Wq~cfWCej¡WA z}lkqUzeWNSij©ÕWAzOS

phkcsW|Us]WCcfWAOezehx OW jm;e]SiWwKz}VXhxlkam¨'Z«eSiWjmlklkj©hxin~ºmjOsdWAs]hkin,eSiW§_ 'rÕzOjmsdhxUn§eje]SUW§c]qi|i|6jms]e

σS

©hxlklUg6WwsWWAs]WC

ej zOc"e]SiW 6 1 7 )56B 7 ¨!±GjmsWWAlkzmg~jOsz}e]WhkUdhpWCcgUzmc]WA jm eSiW cfqU|i|~jOsfeVz4a z}lpcfj g~W

jmUcfe]sqUe]WA¬¨Z«|~z}s]e]hpqilpz}sCºmhx×zc]WeNjm¬|isj}e]WAhx~c (bij©ijmete]jg~WAlxjOine]je]SiWwKz}VXhklxaXhpc®z4 z}hklkzmgilkW

¯K©NW©hxlkldWijme]WeSihpc§c]We¡g9a

N²º6c]qi|i|6jms]e§Vz4ag~WqUc]WAej"dWe]WAe¡dhpcshxVXhkUzehx OWszmnmVXW9ec{hk

eSiWKzmV?hklka)jm|is]jme]WAhxUc©heS s]WCcf|6WAee]je]SiW"j}e]SUWsc]Wej}|isj}e]WAhx~c¨GRjzmSihkW OWXe]SihpcnmjOzml=º©NW

(9)

jmVX|iqdeWz}

( +37 132 2 )

jmsWAzOS_#r

pgUzOcfWC+jO@0k 3PºUiWijme]WAgba

ι(p) ^I ι(p) =−P(SupportN(p)) +P(SupportS(p))×P(N)

pP(SupportS(p))× |N|)

©SUWsW

|X|dWAij}eWAc[e]SUWz}sdhkUz}lkhxevaj}'zXc]We

X ^zmU P(X)dWUj}e]WCchec|isjm|6jms]e]hkjm"©heS"sWAc]|~WC¤e ej

S ^z}~ N^I P(X) = _|S|^|X|₊_|N|¨?RSihkc¡jOs]Vqilpz+WA 4zmlxq~ze]WCc¡Sij©e]SUWXc]qi|i|6jms]e,j}®eSiW_ 'r/hx°e]SiW

KzmVXhxlkahkVX|ilxhkWActhect|isjm|6jms]e]hkjme]jg6W{cfqU|i|~jOsfeWA?hkXe]SiWKzmV?hklka?zmU?hx?e]SUW{j}eSiWstc]We®jm;c]WAo9qiWAUWCc¨

RSUW , (+-71-2 )06B 7 ©hklxl×s]WWse]jXjOsdWAs]hkine]SiW_#r zOjmsdhxUne]j

ι^¨

RSUW§hkVX|ilxhpz}e]hkjmhkUdW09s]WAlxhkWAc[jO+zc]Wej}¬|Us]jme]WhkUc[ijme[g6WlkjminOhxUne]je]SiW¡KzmV?hklkaXe]jnOhx OWw|ishkjmsheva

ej ;; L24+37,.) G ++07 ) 7 _#r¨9RSihkcNcfWe®zm?g6Wwzc]We®jm;jmqi9eWs]PW09dzmVX|ilxWCcº4jOsthkUcvez}UWmº

Y ' + _dR¦SihxecK(bij©,e]j§g~W[jmqiec]hkdWte]SiWNKz}VXhklxaO¨RSiW[cfWe'zmz}lpc]jwjOOez}hkcfWCo9qiWUWAc¬s]jOV/zmij}eSiWs

KzmVXhxlka+hkGz?lkzOc]c]hx£~z}e]hkjm+jOs]hkW9eWA"|~WAsc]|~WC¤ehx OWm¨ '¬We{qUcijme]hpW¡e]S~zewc]hxUWdhpc]s]hkVXhxUz}e]hkjms]WAlxhkWAc

jO e]SUW+hkV?|Ulxhpz}e]hkjm hkUdW09¦hkUcfe]WCzm jme]SiWlpzmccfhpzml®jOVX|Uzehxgihklkheva shxe]WshpzGqUc]WA hk nOszmV?Vz}e]hx

Az}l'hxiWsWUW"¯©SUhkSjmsgihkcves]hp¤elxae]jsWAjOnmihkWjmiW?jmqUOeWs]PW09iz}VX|ilkWC²[eSiWlpz}g6Wlkhkin+jmNcfjOVXW

jmqi9eWs]PW09dzmVX|ilxWCc×Az}g6WWss]jOiWjOqUc×zmUc]jmVXWNlkzmg~WAlxhkin¡ijmhpcfW[Vz4ag~W[SUzmUdlkWA ¨±GjmsW®nOWiWAszmlxlkamº

eSiWW099eszXc]Wewjmc]WAo9qiWAUWCchpcij}e§s]WCz}lklxaUWWAiWAe]jg6Wlpz}g6WlkWA ¨RSiWhkVX|ilxhpz}e]hkjmGhkUdW09zmGg~W

q~cfWC+hkGz?c]WVXhx¢c]qi|6Ws bhkc]WA"Vz}iiWAs©heSijmqiee]SiWiWAWA+e]jhpdW9ehalkjOc]W,jmqi9eWs]PW09dzmVX|ilxWCc¨

RQ[ ,#

W|isWAc]W9eij©!eSiWc]WAjOU cvez}nOWGj},e]SiW°z}|i|isjOzOS¬¨FRSUWcfWC¤ehxjO " ¨kGhx9e]sjddqUWAcXeSiWG£Uscve

nOWiWAszmlxhkAz}e]hkjmcfe]WA|?e]SUz}e®jm~cfhpcvec'hxXVXWsnmhkin¡e]SiW{_ 'r¨mZ¢e®zmlxlkj©{ce]jdWe]WAe®jOUcfWAs] OWAszmnmVXW9ec

zmU)e]jihkczms)|Uzmsfecj}e]SUW+VXjddWlN©heSijmqdeWijOqinmS¦W bhpdW~Whk¦e]SiWKz}VXhxlka¦zmc|isWAc]W9eWA¦hk

c]WAe]hkjm " ¨Åd¨ + s]W£UiWVXWAOej}e]SiW¦VXjddWl,gUzOcfWC jm e]SiW¦hpdW9e]hx£~Aze]hkjmFj}|US9adc]hkj}«SiWVXhpzml

|Us]jO|~WAsfehxWCcNhpceSiW|isjm|6jOc]WA+hxGc]WA¤ehxjO " ¨" ¨

UTWV k h#ZBY \ZgiUh#a-ZBflk'\<bnmoapY[h3q

RSUWN£~scfe2nmWUWsz}lkhxCze]hkjmcveW|Xz}|i|ilkhkWAce]SiW{lkzOc]c]hpz}lbcfezeW¢VXWsnmhkin¡cSiWAV?W[|6jm|iqilpz}shkWAgbayr Z

0k4<3,zmU D®¥,_d± 0k " 3§ej _ 'r¨ W)jm~cfhpdWs+e]SiW°VXjmsWnmWAiWsz}l¡zmc]Wzmlxlkj©hxUn e]j lkWAzms] Ujmd

iWe]WAs]VXhkihpcvehkzmqde]jOVzezU¨ ijmlklkj©hxine]SiW+iW£Uihxe]hkjm~cjm 0 3¢º'e]j©SUhkS ©[WsWWse]SiW"s]WCzmdWAs,jms

iWezmhxlpcAº4e]SiW[nmWAiWsz}lbc (OWeSj}ieSihpc (9hkUj}~zmlxnOjmsheSiV/hkce]j§£UscvejOUcves]q~¤e2z}zmqde]jOVze]jO¬º4Uz}VXWC

+

+3() +32:1-2

+3( +3671

+37 132 ¯

M CA²¤º2sW|isWAc]W9e]hkinW09izm¤elxa°e]SUWe]sz}hkihkinc]WejmwcfWCo9qiWUWAc zmU º eSiW×º e]jnmWAiWsz}lkhkWeSiWsWAjOnmihkWCGlpz}inOqUz}nOWgba

) 2 ¯qiUhabhkin9²,c]jmVXW?j}Nhxeccfez}e]WCc¨

_bezeW®VXWsnmhkinwzmlxnOjmsheSiVc×Az}g6W[dhpcfe]hkinmqihpc]SiWAgba¡e]SUWhks'SijOhkWtj}Ucfez}e]WCc e]j§VXWsnmWm¨

WN|isjm|6jOc]W

SUWsW,e]jVXWsnmWhxe]WAsz}e]hk mWAlxa)¯Kc]WW/'hknU¨,C²[eSiWcfez}e]WAc§jOs]sWAc]|~jOUdhkin?e]jeSiW_ 'r hpdWAOeh£~WAhkGe]SiW

S~z}szm¤eWshxCzehxjO cvez}nmWOºtg6Wnmhkiihkin¦gbaÕ_ 'r ©heSÕSUhxnOSiWssW|isWAc]W9eze]hk mWAiWAcczmU dWAc]hxnOUzehxUn

sWAc]|6WA¤ehx OWlkajOsiWshxin©hxe]S"s]WCcf|6WAete]je]SiW,dhpz}lkhxnO©NWAhxnOS9eAºOe]SiW,cfqU|i|~jOsfeNhx+e]SiW§|~j9cfhxe]hk mWwe]sz}hkihxUn

c]WeCºiz}U"eSiWhxVX|ilkhpzehxjO"hkUdW09"jm×e]SUW_ 'r'¨

R×jXdW£~iWwsz}nOVXW9e[VXWAs]nOhxin~ºOlkWeqUcsWVz}s(e]SUz}ec]hkUW

M CAsW|isWAc]W9ec®W09dzO¤elxa?e]SUW§eszmhxUhxin c]WeCºjmiWzmdW£UiWz§jmiW=ej}¢jmiW®qiU¤ehxjOsjmV/eSiWz}VXhxUj¡zOhpic'|~j9cfhxe]hkjmUcejweSiWjmssWAc]|~jOUdhkin

(10)

'hxnOqis]W?I J¡WAiWsz}lkhkAzehxjO+gbaVXWsnmhkinz?|Uz}hksj}szmnmVXW9ehkzmzmqde]jOVze]jO¬¨

eszmUc]hehxjOUchk

M CA¨ªRSiWKzmhxin |~j9cfhxe]hkjmUc+j}z _#r dWeWsV?hkUz}e]WeSbqUc+z c]Wej}|Uzmhxscjm

eszmUc]hehxjOUc¨ WdW£UUWe]SiW?_ 'r V?WAs]nOhxUn|is]jdWAdqisWzmcVXWAs]nOhxin~ºdjmswWAzmSGjmss]WCcf|6jmUihxinX|Uzmhxs

jmte]sz}~cfhxe]hkjm¬º;eSiW?ev©Nj"ezms]nOWe,cveze]WCc§e]jmnOWeSiWsz}~Ge]SUWev©[jcfjOqisWcfez}e]WAc§ejmnmWe]SiWAsA¨RSiWX_#r

jOsiWshxinXhpcez(mWAGhx9ejzmjmqi9e{gbahx9e]sjddqUhxin"zX|is]WCcfWAs] z}e]hkjmGjOUcveszmhx9e{j OWse]SUW|isW bhxjOqUc]lxa

VXWAs]nOWAsz}nOVXW9ecA¨ z}VXWAlxaOºize]WAsWAzOS_ 'r VXWsnmhkinUºdzXjOUcfe]sz}hkOecfezehxUneSUzeeSiWsWAc]qilehxUn

cfez}e]WCczm¦ij}e?g~WVXWAs]nOWA)e]jOnmWe]SiWAshkccfWeA¨ UqisfeSiWsX_ 'r VXWsnmhkinOce]SUz}e©NjOqilp¦ 9hkjmlpzeWcfq~S

jmUcfe]sz}hk9eNz}sW§ihkczmsdWC ¨ '¬WeqUcNij}eWweSUze[e]SUW§|isWAc]Ws zehxjOjm~cveszmhx9ecNz}sWwqUc]WAjmilkadqishxin

eSiW°cfe]WA| dWCc]s]hkg~WC hk e]SihpccfWC¤e]hkjmFz}U Vz4a g~Wjmsnmjmefe]WA zeWs+S~z4 9hkin jmUc]hpdWsWA zmlxl§e]SiW

Az}Uihkiz}e]W,VXWsnmWCc¨

UTS k!h#k'q?k'\<b a8b YBk iUh#a-ZBflk'\<b#q

±WsnmhkinGe]SUWG_#r z}lklkj©{ce]j)hpdW9e]hxa SijmeXc]|~jmecI"c]Wecjm§jOOehxnOqijmq~c|6jOc]hehxjOUc©SiWsW+lkj}ecjm

sz}nOVXW9ecS~z4 mWg~WAW VXWAs]nOWA ¨/Y[WAc]hkdWCcºc]jmVXW|6jOc]hehxjOUcVz4a g6Whkb mjOlx OWAÕhx ijOiWjm_#r

VXWAs]nOWAcA¨×RSiWAc]Wlkz}efeWslxjdAz}lkhxCze]hkjm~c'zms]W[lkWAzms]lkaij}e2sW|isWAc]W9eze]hk mW®j}UeSiW[Kz}VXhklxaO¨ W|isjm|6jOc]Wte]j

es]WCze2eSiWV zmc ?fnOzm|Uc A¨ W{hk9e]sjbiqUW{lkzOc]c]hkAz}lklxazoOqUjmsqiVª|UzmszmVXWe]WAsA¨Z¢¬zcveze]Whpctq~cfWCgbalxWCc]c

c]WAo9qiWAUWCc2eSUz}c]|~WChx£UWAg9a?eSiW§o9qijOs]qiVºOhe[hkcNVXWsnmWAX©hxe]S+hec®iWAhxnOSbg~jOscA¨RSihpc[cveW|+zmlxlkj©{ce]j

(OWWA|jmUlxa,eSiWSUz}szme]Wshpcvehk2sWnOhxjOUc'z}Uhkc2zmhkV?|6jms]ezm9e'nOWiWAszmlxhkAz}e]hkjmcfe]W|jmslkjmin¡|isj}eWhkUc¨

_dW mWAszmlb 4zms]hpzehxjOUc'z}sjmqiUe]SUhkc2cSiWVXWjOqilpg6WhxVX|ilkWVXWAOeWA ¨2_9eze]hpcfe]hpz}ldhkdjOs]VzehxjOlkh(mW[e]SiW

lkWUn}e]SjmseSiWz}VXhkijzmhpjmVX|6jOc]hehxjO"jm×eSiWnOzm|jmqilp"zmlkc]j?g~WjmUc]hkiWsWA+zmUzmidWCejXe]SiW

VXjddWAl=¨tRSiW, OWscfhkjm"|is]WCcfWA9e]WA"SiWAs]W,hpce]SiWc]hkV?|UlxW,jmUWqUcfWC+hke]SiWW09d|~WAs]hkVXW9ecA¨

UT k'\<b#Y^]`_%a8b YB\ m<dqYW__Ik'fgYW_%apcm hKk h b#YWk'q

RSUW"nOWiWAszmlNc]qigUcfe]hxe]qdehxjO Vzes]hpWCcqUc]WA cfj°Kz}sjmse]SiWlkjbAz}lkhxCzehxjO j}§jmUc]Ws mWC)szmnmVXW9ec

zms]WWCcvehxVz}e]WAs]jOV lpz}snmW{c]Wec®jm lxj9cfWw|is]jme]WAhxUcNz}U?eSbqUc®sW~WA¤ectjOilxaXz4 mWAszmnmWc]hxVXhklkzms]hxeva"¯Kj mWs

zms]hkjmqUc'jO9e]W59bechkb mjOlx bhkin§dh&8;WsW9e'|US9adc]hkj}«SiWVXhpzmlO|isjm|6Ws]e]hkWAcj}~e]SiWzmV?hkij,zmhkic²¤¨

W|isj}

|6jOc]W?SiWsW?e]jqUc]WeSiWAc]WXlxjdzmlxhkAz}e]hkjmUc,zOc¡jm9e]W09bec§e]jsWAj OWswe]SiWhkVX|~jOsfez}9e¡|US9adc]hkj}«SiWVXhpzml

|Us]jO|~WAsfehxWCcNjmeSiWz}VXhkijzmhkic©hxe]SsWAc]|~WC¤ee]jXeSiW,qiUe]hkjmjms[eSiWcves]q~¤e]qUs]W,j}'e]SUW,Kz}VXhxlkam¨

RSUW{z}|i|isjOzOSez(mWCc2zmchki|iqdeNz,c]We

Gj};W mWA9e]qUzmlxlkaj mWAs]lpz}|U|ihxUn§c]qigUcfe]hxe]qdehxjO?nOs]jOqi|UcsW|isWAc]W9e]

hkinhkVX|~jOsfez}9et|iSbadcfhpjm¢SiWAVXhkAz}lb|isjm|6Ws]e]hkWAc¯evab|ihpzmlxlkaeSiW{nOs]jOqi|Uc'|isjm|6jOc]WA?gbaR'z4a9lkjms 0Åd/3¢ºOc]WW

'hknU¨ " ²¤¨RSiWc>(mWeS°jmzUzmhx OWXhkdWA9e]hx£~z}e]hkjm)©NjOqilk°g6WXe]je]WCcve,jOsWAzOS°c]Wej}z}VXhkijGzmhkic

P zmlxhknmiWCg9a"e]SUWz}|U|is]j9zmSh2hxe§hpc{WCoOq~z}l ejjmiWj}e]SiWnmhk mWAnOs]jOqi|UcA¨[RSUhkc§z}|i|isjOzOS"Vz4ag~W zm|i|ilkhxWCGjmUlxa"e]jcfVz}lkl×nOs]jOqi|UcwjmswWAlkc]Whxe§©hklxl'sWAo9qihks]Wz+lkzms]nOWz}VXjmqUOe§j}2e]sz}hkihkin+c]WAo9qiWAUWCce]j

hpdWAOehazmlxl~e]SiW§hxVX|6jms]ezmOe[nmsjmqi|~c{¯KjmUc]hkiWsNjms®hkUcfezmUWwe]SiW§|is]jOgUz}gUhxlkheva?j}×zmlxhknmUhxinz}lklUeSiW "

Sbaddsjm|iSUjmgihp§zmVXhxijzOhpichxGz?lkhxVXhxe]WAc]We{jm'jOs]sWlpzeWA+|is]jme]WAhxUc²¤¨

(11)

'hxnOqisW!It±z}hkc]SiWAVXW¡jm2_#r VXWsnmhkinz}|U|is]j9zmSjO±Z«r'¨

(12)

'hknmqisW " I :2Wi dhpz}nmsz}V |isjm|6jOc]WA gba Rz4ablkjms"hx 0Åd;3,c]Sij©hkin eSiW°sWlpzehxjOUc]Sihx| j}e]SUW¦m

zmVXhxij°zmhpice]j°zcfWAlxWC¤e]hkjm jm{|iSbadcfhpjm¢SiWAVXhkAz}l2|isjm|6Ws]e]hkWAce]SijOqinmS9eejg6W+hkV?|6jms]ezm9ehk e]SiW

iWe]WAs]VXhkUzehxjO"jm|isj}eWhkGcves]qUe]qisWz}U+qiUe]hkjm¬¨

'hxnOqis]W I D 9b|~z}Uc]hxjO+ejXe]SiW|US9adc]hkj}«SiWVXhpzml~|isjm|6Ws]e]hkWAcA¨

(13)

W|isjm|6jOc]We]j q~cfWz cfez}e]hpcvehkAz}l{eWAcfee]j iWAhpdWhx,e]SiWVqilxe]hx¢c]We

P S~zmcg6WWA nmWUWsze]WC

zOjmsdhxUnejXz?|iSbadc]hkj}«SiWVXhpz}l;nOs]jOqi|

Gjmsijme¯Kc]WW'hxn~¨ ²¤¨

J¡hk mWAev©Njcfez}e]WAc

q1, q2

j}'e]SiWzmqde]jOVzezUºilkWe

P g6We]SiWcfWewj}2z}lkl¬eSiWz}VXhkijzmhkUc{z}lklxj©hkin?e]j sWAzOS

q2

sjmV

q1

zmU¦lxWe

n g~We]SiWej}ez}l®bqiVg~WAsj}{c]WAo9qiWAUWCcqUc]hxineSiWAc]WeszmUcfhxe]hkjm~c¨ W

iWAhpdWe]j"s]WA|ilkzOWe]SiWXqissW9e¡c]We,j}NzmVXhxijzmhkic

P gbae]SUW?c]Vz}lklxWCcve¡|iSbabc]hpj}«SiWAV?hpzml×nOs]jOqi|

GhkUlkqUdhkin

P gUzOcfWC"jOe]SiWs]WCcfqUle{jm2zlxh(mWAlxhkSijbjd"szehxjXeWAcfeA¨Rj+jOV?|Uqde]WeSihpc{sze]hkjUº~©NWq~cfW eSiWgUzOG(9nOs]jOqiUG|Us]jOgUz}gihklkheva

pa

jmNWAzOS)zmVXhxijGzOhp

a zmU°©NWXWAcfe]hkVzeWeSiW|isjmgUzmgihklxhxeva

pa|G

jmNeSihpcz}VXhkijzmhk)nOhx OW°e]SUz}eheg6WlkjmUnOc,ej

G ^gba pa|G =cGpa

©SiWsW

cG

hpcz|isjm|6jms]e]hkjmUzml

sWAihkcfe]shxgUqde]hkjm"Kzme]jmsjmeSiWVXhkccfhkinz}VXhkijzmhkicI

cG= ^P ¹

a∈Gpa

¨

Z«e]SUz}ec]We]e]hkinUºb©[W§zm+jOVX|Uz}sWe]SUWwlkh=(OWlkhxSijbjd

LG

P gbae]SUWsz}e]hkjOI

LRG/P =LG

LP

= P

a∈Ppa

P

a∈Gpa

ⁿ

J¡hk mWAzeSis]WCcfSUjmlp

λG

LR_G/P < λG

¨

Z¢e]SiW,W09b|~z}Uc]hxjOej

GhkcsWvuvWC¤eWA ºbeSiWsW§hpcij?W bhpdWUW,j}'z|iSbadcfhpjm¢SUWVXhkAz}l6|is]jO|~WAsfevaXhke]SiW c]Wejm[z}VXhkijzmhpic

P ^SUz4 OW

jmVX|6jOc]hehxjOj}2eSiWcfWe§hpc§hkVX|~jOsfez}9e¡zmUc]SijOqilkg~W(mWA|de,zOcwhxe,hkcA¨YNasW|ilpzmhxUn

G ^gba Σ^z}U

hk9e]sjddqUhkine]SiW¡eSis]WCcfSUjmlp

λΣ

LRΣ/P = ^L_L^G_P = (P

a∈Spa)ⁿ< λΣ

¨

λG

z}U

λΣ

P

ej Gjms'WlpcfWNe]j

Σ^¨ SiWAg6j}eSz}sWNc]We'e]j

λ_G ^e]j 0©hxlkl×W09b|~z}UGzmlxle]SiW c]Wec¡j}[zmVXhxijzmhkUcwej+eSiWlkjOc]Ws,nmsjmqU|hx~lkqUdhkine]SiWAV.I¡eSiWoOq~z}lkhevaGjmte]SiWXsWAc]qilxe,©hklkleSiW

cfe]sjmUnmlka"dWA|~WAUjOGe]SiW?SijmhpWj}2e]SUW?c]Wec{j}t|US9adc]hkj}«SiWVXhpzml¬nmsjmqi|~c¨§_dWefehxUn

λG

e]j

1^z}~

λΣ

e]j

0 z}lklkj©{cwej (mWWA|°jOilkaGe]SiWc]Wec,j}z}VXhxUjzOhpic,WAo9qUzmlkc¡ejjmiWXj}Ne]SiW|US9adc]hkj}«SiWVXhpzml nOs]jOqi|Uc2jm¬z}VXhxUjzmhkicIe]Sihpc®hpc2eSiW,(bhkUjm;g6WS~z4 9hkjmste]SUz}eN©[W{©hxlkl~Kz4 mjms2©SUW+Sijbj9cfhkin,e]SUWwsWAz}l

hpdWAOehevaO¨

°

WGW zmlxqUz}e]WC jOqisz}|i|Us]j9zmS jO eSiWGVzuvjmsXhk9e]shxUc]hp|is]jme]WAhx/¯K±GZ«r[²Kz}VXhxlka50kA 3P¨ RSiWG±GZ«r

KzmVXhxlkaGSUzmc¡g6WWA°jOUcfe]hxe]qdeWA)zmjmsdhkine]j"qiUe]hkjmUzml2z}U°cves]qUe]qisz}l|isjm|6Ws]e]hkWAcA¨,rtsj}e]WAhx~c§jm

c]Vz}lkl;V?jOlxWCqilkWAcNeszmUcf|6jms]e[zOs]j9c]c[WAlxl;VXWVgiszmiWAcNeSUz}!(dcNe]jXr¨ + nOs]WX¯ jmg6Wl rtshkW¡hx 7NSiWV?

UzezmgUzmc]Wmº jm9ezmhxUc 6Um|Us]jme]WhkUc,z}Uij}eze]WCzOc,g~WAhxinVXWVg~WAsc,jmte]SiW±GZ«r KzmV?hklkam¨X\wNe]SiWCcfW

6UmOºN46G|isj}eWhk cfWCo9qiWUWAc"¯KdWAij}eWA SiWAs]WCzeWsgba)e]SUW"c]We?R{²z}sW|isWAc]W9ehkÕ_ Zf_i_dr®y{\¡R

©SUhkS hpce]SiW"s]WAlxhpz}gilkW"zmiijmezeWA¦|iqUgilxhp"s]WWsWUW+izez}gUzOcfW+qUcfWC gba¦rts]j9cfhxe]WO¨¦\weSihkc?c]WeAºtz

(14)

gUhxjOlxjOnmaW09b|6Ws]ewSUzOchpdW9e]hx£UWCjmilkaG6XcfWCoOqUWUWAc©hxe]SzXsWAzml¬gihkjmlkjmnOhkAz}l W59d|6WshxVXWAOe]Pg~zmc]WAz}d

Uj}ez}e]hkjm ¯=zlkj}e§jmt|isj}e]WAhx~c{g6Whkin"zmiij}ezeWA&?fgbac]hxVXhklkzms]hxevaAv²¨wY[a£UleWshxUnjmqde§e]SiWXc]WAo9qiW~WAc

90%j}hkdWA9e]hxevamºieSihpc{cfWe{©[zOc[e]SiWAGs]WCdqUWA+e]j = c]WAo9qiWAUWCc¯Kc]Wew±²¨;\w'e]Sihpc c]WeCºbe]SiWW09d|~WAsfeSUzOchkdWA9e]hx£UWAG ©ze]WAsf«c]|~WChx£~§c]WAo9qiWAUWCc,¯Kc]We ²z}~CnOlxadWAs]jOl;jmscfVzmlxl

VXjOlxWCqilkWKzmhxlkhxezejms?cfWCoOqUWUWAc¯=cfWe v²¤¨'×Weq~cijme]hpWeSiW"ihqUleva¦j}eSiW"ihkcshxVXhkUzehxjO

ej,e]SiWjme]SiWAs®c]WAo9qiW~WAcjm ¨ W{SUz4 mWWCcvez}gilkhkc]SiWC?zmlkc]jz,jm9es]jOlicfWe®jmVX|6jOc]WA?j} c]WAo9qiW~WAc

lxj9cfWe]jG±GZ«r/cfWCo9qiWUWAcX¯£~scfe,Y[lpzmcfe¡SUhec²¡z}~hpdW9e]hx£UWCgbaGeSiWW09d|~WAsfezmc¡g6WhkinjmqdecfhpdW?e]SiW

KzmVXhxlka¯Kc]We7²¨

R©[j (bhxUUc¬j}iW09d|~WAs]hkVXW9ec×©NWAs]Wt|6Ws]jmsVXWA ¨8'hxscveCº4jmqis×szmnmVXW9e×VXWsnmhkin{cSiWVXWt©zmc× z}lkhkiz}e]WC

gbajOVX|Uz}shkc]jm©hxe]Srtszefe<063iz}URWhksWAc]hkzOc;0k2<3bVXWe]SUjbUc'zmUr®s]j9cfhxe]WNSUz}UdPVzmiW®|Uz}efe]WAs]4¨-ijms

VXjOlxWCqilkWAc,KzOhklxhxez}e]jOscA¨GRSihkcezOc ()hkcVXj}e]hk zeWA¦gba)zg~Wefe]WAsqUUdWscfez}~dhxUnGj}e]SiW+e]sz}Uc]|6jms]e

jm2e]SiWCcfW?VXjmlkWAqilxWCc¨ WqUc]WAhe¡e]jcveqUdae]SUW?o9qUzmlxhxevaj}2e]SUW?SUzmszO¤eWshxCze]hkjm×º~zmc¡ze]e]WCcveWAGgba

lkWAz4 OW¢jmiWPjOqde§|Us]WCdhke]hkjm)|~WAsfjOs]VzmUWCc¡z}edh8;WsW9ec]|~WChx£~hxevalkW OWlpcº¬jO)lxj9cfWAlxaGsWlpzeWA)cfWec

jm'c]WAo9qiWAUWCc¨

+ lxlme]SiW2W09d|~WAs]hkVXW9ec ©[WsW2|6Ws]jmsV?WCw©hxe]Szm,hxVX|ilkWVXW9eze]hkjmjm9jOqis¬z}|U|is]j9zmS¡Uz}VXWC§r®s]jme]jmVz}ez

r®s]jme]jmVz}ez 'GSUzOc[g~WAWdjmiW¡©hxe]S"e]SiW,cfWec[j}'|iSbadcfhpjm¢SiWAVXhkAz}lU|Us]jO|~WAsfehxWCc®|isjm|6jOc]WA+hx 'hxn~¨2

jm 0i/3~W09dW|deNe]SiW?vqiUhxjOUc AnmsjmqU|ºbz}U

jddWmºbeSiWW59dWAqde]hkjmiWA mWsW09iWWCdWA°A?VXhk9qie]WAcjOGz " J C{dWCc(9e]jO|cfez}e]hkjm¬¨

UA"! ¸ ¸ N# ×43 ´ N;

r®sz}efe0643iz}~R×WAhxsWAc]hpzmc0x<2<3bVXWe]Sijdic'z}UrtsjOc]heW®SUzmUb¢VXzOdW®|~zefeWs¬º4©NW[sWAcfe]shke]WA,r®s]jme]jmVz}ez

'ejs]We]qisXjmilkaeSiW£Uscfe®jmVXVXjm?sz}nOV?WA9e2c]SUzms]WCgba?z}lklUcfWCo9qiWUWAcAº}qUc]hxUncfqi|U|~jOsfetSiWAqishkcfe]hp}¨

zOc2Kzmlkc]WwiWAnOz}e]hk mWwc]WAo9qiWAUWCct©hxe]S+sWAc]|6WA¤e®e]jR¯K©SihklxW,R ©[zOctqUc]WAe]jiW£UiW§rtsjOc]heW=c®|Uz}efeWs~²¤¨

R'z}gUlxW °cfqiVXVz}shkWAce]SiW°s]WCcfqUlecj}c]qUS czmUcjOse]SUWe]SUs]WAW|Uze]e]WAs]UcA¨ªRSiWs]WCz}lklwjmjmqis

±Z«r gba+c]hkV?hklpz}shevaO¨ SUWGjOV?|~z}shxin?jmqUs{z}|i|isjOzOSe]jr®sz}efe{z}URWhks]WCcfhpzmc[|Uz}efeWsdhpcj mWAs]a

ejbjmlpcºUe]SiW?jmVX|Uzms]hpc]jmhkc§lkWAz}slka"hkKz4 mjOs{j}2rtsj}ejmVzez'¦©heSGs]WCcf|6WAe{e]j"g~jme]Se]SUW|isWAhkc]hxjO

zmU+e]SiWsWAAz}lkl=¨

&

ÎUÃ=Àv¾ÅÇÅÓÇÅÁÍÃÌÊPÀvÈKÊPÈ('4Á4¼Ê×ÃKÀfÉ}¼¤ÃÊPÀvËÏ4ÀvÃKÀ)'ÈPÏ4¼(* ÀvË¡Ê=ÏÍÊÔÎ s@r ÍÁCË,+6Ð.-/* ÀvÃKÀ2Á4¼ÊÍÄ4¾ÅÀÊ=¼É4ÃK¼¤Ém¼¤È=ÀtÉmÀvÃÊPÇÅÁCÀfÁÊ

Í½CÊP¼¤Ó{ÍÊPÍNÒxÃ=¼¤Ó ÊPÏCÇÅÈ×ÛÇÅÁ4Ë§¼Ò~Ë4ÍÊ¢Í

0 r

Ë4ÀvÁÊPÇÒÌAÇÅÁ4Ñ[Ê1* ¼{Í¾Ê=ÀvÃ=ÁÍÊ=Ç¿ÀtÉ4ÃK¼¤ÉmÀvÃÊPÇÅÀvÈÇÅÈ¬Á4¼Ê¾ÅÇÅÛ¤Àv¾ÌÊP¼[ÄmÀ2ÇÅÁÊ=ÀfÃKÀvÈ=Ê=ÇÅÁ4ÑÏ4ÀvÃKÀÙ

(15)

R'z}gilkWXI 7NjmVX|Uzms]hpc]jm+jm ±GZ«r c]hxnOUzeqisW§|Uz}efeWsUc¨

"!#$%&

'(#)*,+*-&. /01 /2&1 3$/4 56 789 :<;7>=?5@&AB9 :C5DEGF'HJIB:C5@&AK:5DEGF'HJI-:5L'@AB9>I-M :

'N& /(3O1 PQO1 3$Q4 LRTS

U

5I-E*DBHVF>:<7>=?59@&:RW5;'@&AK:C5IE*DX:C59?L=Y:

Z <( [4O1 Q(/O1 3$4OP 5EGD-HVF :<RTS

\U5@A]:<RTSC^

U5EGD-HVF :<7>RW59?L>:<RTSC^

U59?L>:

_J`aba]ced-bd-fg 23(3O1 QP1 3$/4 59?hKLW@&A]F>:<RW59?h]I-LE*DBHVF>:7W59?h?L=YF>:C59 L'@:C59?hKIBL

E*DBHVF>:5;7@&AK:C59 h]IBL'EGD-HVF :C59?h?L'@&AKF>:RW59?hKIBL6>E

i

DBHJAKF jkM>:RTS

U

5IHVM>:<RW59 h]IBL'6 E

i

D-HJA]F>jlM>:<R

8m59?hKIBL6>E

i

DBHJA]F>jkM :C59?hKIBLE*DBHVF>:C59?L'@&:59 L'@:

'×We?qUcUj}e]We]SUz}eeSiWeSis]WAW|Uz}efe]WAs]~cjdq~cjO¦e]SiWc]zmVXW+cfhxe]WOºe]SiWcfjm¢Az}lklxWC r + g6j.9 ¨¦\§qis

|~zefeWs hkcVqUS lkjmUnmWse]SUzm¦e]SiW"j}e]SUWs|~zefeWsUcA¨Z¢eXjOOez}hkUczmlkc]jcfjOVXW+jOV?VXjO)|6jOc]hxe]hkjmUc

jOzVXjmsW|isWAhkc]WSUzmszO¤eWshxCze]hkjm¦¯KjmVgihxUhxincfWA mWAszml szmnmVXW9ec²jm®zc]qig6lkzOc]cwj}2eSiW±GZ«r

*n o d ´ ¶&p

´ 5rq ;ts&u 81¢ j<µ

±Z«rFc]qigdKz}VXhklxac]We º;qUc]hxUn+eSiW?c]We {zmc¡jOqi9e]WAsf¢W59iz}VX|ilkWm¨,RSihpc,dhkcshkV?hkUz}e]hkjmezmc>(hkc

VXjme]hk 4z}e]WC gba zg6We]e]WsXqi~dWscvez}Uihxin°j}{eSiWe]sz}Uc]|6jms]ej}{eSiWAc]WV?jOlxWCqilkWAcA¨ W"qUc]WA he?e]j

cfe]q~daGe]SUWoOq~z}lkhevaGjm®e]SUWSUz}szme]WshkAzehxjOGjm¦lkjOc]WlkaGs]WAlkz}e]WCc]Wec,jm[c]WAo9qiWAUWCcze,hxUs]WCzmc]hxUn

c]|6WAhx£~heva¦lkW mWAlkcA¨ ¥wqUW+ejeSiWc]Vz}lklNbqiVg~WAsjm§z4 z}hklkzmgilkW+cfWCo9qiWUWAcAºtzlkWAz4 OW¢jmiWPjOqdesjOccf

z}e]hk mWc]WAo9qiW~WAc

(w+, w−)ºie]SUW,e]sz}hkihxUn?©zmczOSihkW mWC+q~cfhkin?e]SiWsWVzmhxihkinc]WAo9qiW~WAcjm zmU ¨ ijOs{WAzOSlxWCz4 mW¢jmUW¢jmqdeizezmc]WecºUc]W OWsz}l¬zmqde]jOVXz}ezL%+sz}inOhxUnsjmV!cfSUjms]ewz}qdejmVzez

¯Klxh(mWhxe]SiW?|isW bhxjOqUc{|~z}sz}nmsz}|US~²®e]j+lpz}snmWAswz}qie]jmVz}ez+S~z}szm¤eWshxAhxUnXzmlxVXj9cve,z}lkl¬e]SUWlkWinme]Sjm

w+ºbeSiW,iWn9zehx OW¡c]WAo9qiWAUW¡lxWe{jmqde

w−ºizmU"zmlkc]j?j}×eSiWlkjOc]WAcfec]WAo9qiWAUW

c hx"e]SiWjm9e]sjml c]We 7§¨~RSiW

7 +32 )

-

1 +G ) 7 +37132

sWWAscSUWsW,e]jXe]SUWVXhxihkVz}l'jOcfe{j}tzmV?hkijzOhpc]qigUcfe]hxe]qie]hkjmUc

UWWAiWAhk°e]SiWc]WAo9qiW~Wjms,heczmAW|iezehxjOgbaGe]SUW?zmqde]jOVXz}e]jOÕ¯eSiWj9cve,j}[WAzmS°z}VXhxUjzOhp

c]qigUcfe]hxe]qie]hkjmg~WAhxUn?nOhx OWgbae]SiWlkzOc]c]hpz}l¬c]qigUcfe]hxe]qie]hkjmVze]sh&9"Y[lxj9cfqiV9'03²¤¨

'hknU¨t,|isWAc]W9ec2e]SUWwsWAc]qilectjm×z}lklie]SUWAc]WwW59d|6WshxVXWAOect©SiWAqUc]hxUne]SUWwhkV?|Ulxhpz}e]hkjmSiWAqishkcfe]hp{z}~

zo9qijmsqiV j}®Cm%$+¨t\§e]SUW§c]hxAW§z39dhpcº9©[WwSihknmSilkhknmS9e]WC z}efe]szme]hkjm|6jmhk9ecN©SihpS+z}sW{sWlpze]WCXe]j

eSiW|isjmnOs]WCc]c]hk mW¡WVXWsnmWAUWjm2jmVXVXjmc]qigd¢|Uze]e]WAs]UcAºieSiW£UscfewjmiWjmssWAc]|~jOUdhkin?e]jeSiW£Uscve