An Efficient Probabilistic Population-Based Descent for the Median Genome Problem

(1)

HAL Id: hal-00341672

https://hal.archives-ouvertes.fr/hal-00341672

Submitted on 25 Nov 2008

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.

An Eﬀicient Probabilistic Population-Based Descent for the Median Genome Problem

Adrien Goëffon, Macha Nikolski, David James Sherman

To cite this version:

Adrien Goëffon, Macha Nikolski, David James Sherman. An Eﬀicient Probabilistic Population-Based Descent for the Median Genome Problem. GECCO: Genetic And Evolutionary Computation Confer- ence, Aug 2008, Atlanta, United States. pp.315-322. �hal-00341672�

(2)

. /0 -213)546 7 ,!" 8 -9: $ -:

;=<+>?A@CBED&FGIHJFKB0LNMOQPSR+OUT=?WVQFKXWYZV?[L+OQB+<]\&OC^?W<]_R`@C>aUObB

cedNfNcWgihkjlnm3oqpsrutvwrImSxeyNrIo{zn|q}~+dNf0v}3bphkfJc

Zu

jr3lnz5m3oplps|jQ}

ZsZ#

pso

oZ}C3lps

o

TF^K@Ca@C>=KL5Kb

*¡£¢{¤q¥s¦3§Z¤

¨©o5ª3lno{znow|kp0Ij«"oªjª3r3ps|juxACpzno{mj psCznoqpsl n¬ ps"jl| ¬3®°¯ jl(| ¬ o

±³²n´µ·¶Z¸*¹²º¸»±*²+¼½¾»w¿ºÀ²±Á

k¬ oNª3l® pslÂ³lno{zr3|kj ¯ | ¬ zkpsl| oJz`| ¬ ps|`| ¬ z

ª3lnjCps3z| psª3ª3lnj"p n¬ znZ3ÄÃ ps|Â!® ª3lnjq«"o{z#| ¬ oªol ¯jl ® ps oÅj ¯ psux

o{z|lpsb"oIj

®

olno

jIz|lr

|j

j ®

ªCpslno{mÆ|nj*oºtuz|3

®

o|

¬

jwm3zq}

®

psÇw3

|ªjZznzn3o-|njÈ|p Çwo³ª3lnj3o ® z/É ¬ olno#| ¬ o jw|no ® ªjlpslÂÊ"oIj ® o{z ® pqÂ

j|ps ® pswÂ ¬ r3Imulno{m3zJj ¯Ë® pslÇ"olnz

Á(Ì

jlno{jq«"olq}Ijr3l ® o| ¬ jwmÈzIj|® x

|no{m|nj0|lª3o{z(j

¯

"oIj

®

o{z}psIm#|

¬

rIzznj«"o{z|

¬ o ®

o{mups³"oIj

®

okª3lnj3o

®

Å|nzk"oIolps|ÍÂ

Á

¨©oz ¬ jqÉÎ| ¬ ps|Ålnoqps£psª3ª3 ps|j pzno{z| ¬ o j ® ª3r3|p$x

|jCpslno{zr3|nzpslno ¬ ¬ Â=lnj3rIzn|q}Qzr3Z"o{z|3Æ| ¬ ps|É+o ps&|nolª3lno|/| ¬ o

j ® ª3r3|no{m ® o{mupsÏ"oIj ® o{zÆpz psImumIps|no{z psllÂS3| ¬ oÐzo ® ps| zÅj ¯

ps

o{z|lpsKpsl

n¬

|no

|r3lno{z

Á

Ñ ÒKÓÅÔÕ`Ö=×©Ø©ÙNÔ(ÚÖÓ

ÛÜÝÅÞàßásâ[ÝãSä[Þåßæ©ãçwãSÞàè·ãSéÞàèåÞêëÊìSí5íAîèàèàë6äºÝ$ïCîÝsßá$ÝsðæSÝsßìuñÝsä#ÜãSäíAîÝ$èåèåÝ$ðòÝ$óKìuâ[êºäÞåß

îßðÝsâ[ä[ê{ãwßðÞåßæ!êÜÝ=ÜÞåäêìuâëôãSßðíAîßá$êÞàìußìwí/æuÝsßìSñ=Ý$äõêÜâºìuîæSÜásìSñ=öãwâºÞåä[ìußìwí

â[Ýsè·ãêÝsð9äºöbÝsá$ÞåÝsäãSßð!ãSßãSèëä[Ýsä-Þåß6ásìuñöîêãwêÞàìußãSèéÞàìuèåìSæSëu÷NøðÝsß3êÞíùëCÞåßæÐãSßásÝ$ä[êºâãSè

æuÝ$ßìuñÝsäãSâ[á{ÜÞàêºÝsá$êºîâºÝ$ä-Þàä/ìußÝ³ÞåñöKìSâ[ê{ãwßIê0ïCîÝsä[êºÞåìuß6êÜãê/áãSß9ßìZúEébÝãSððâºÝ$äºäºÝ$ð

êºÜãSßûIä³êì6âºÝsá$Ýsß3êÅãwðçwãSßásÝ$äõÞàßôá$ìuñÈéÞàßãwêºìuâºÞåãSè`ñÝ$êºÜìCðäãwßðüêºì9â[Ýsá$Ýsß3êÅãSá$ïIîÞåä[Þý

êºÞåìußõìSíQè·ãSâ[æuÝý¾äºásãSèåÝJæuÝsßìuñ=ÝNðãwêãSäºÝêäs÷þÿìußä[êºâºîáêÞàßæ#öè·ãwîäºÞàéèåÝ5Ü3ëCöKìSêºÜÝsä[ÝsäJãSébìuîê

êºÜÝsä[Ý³ãSßásÝ$ä[êºâãSè£ãSâºá{ÜÞêÝ$á$êîâºÝsäÞàäãá$ìuñ=öîê{ãwêºÞåìußãSèê{ãSä[û=ú/Üìuä[Ý#âºÝ$äºîèêä0ñ=ãë=öâºìwý

çCÞåðÝõðÝ$Ýsö9Þåßä[ÞåæuÜ3êéKìwêÜ6Þåß3êìÆêÜÝ*öãSäêÜÞåä[êºìuâºÞàÝsä/ìSíöãSâ[êºÞåásîè·ãSâæuÝ$ßìuñÝsäãSßð6êÜÝ

(3)

öîê{ãwêºÞåìußãwèKá$ìuñ=öèåÝÞêëÐìSí(êºÜÝ#öâºìSéèåÝ$ñ2ãSä0úNÝsèàèãSäé3ëÐêºÜÝ#ðÞ=á$îèàêëÐìSíÞåß3êÝ$æuâãê[ý

ÞàßæÆéÞåìuèàìuæuÞàáãSèbásìußä[êâºãSÞåßäÞàß&êÜÝõãSèåæSìuâºÞêÜñäNú/ÞêÜìuîêãSèàêºÝsâºÞàßæÅásìSñ=öèàÝ$êºÝsèàë=êÜÝ$Þåâ

ñ=ãwêÜÝsñ=ãwêÞàáãSèQíAìuîßðãwêÞàìußäs÷

!ãwêºÜÝsñ=ãwêºÞåáãwèåèàë0æuÝ$ßìuñÝãSâ[á{ÜÞàêºÝsá$êºîâºÝ$ä©ãSâºÝ!Ýsßá$ìðÝ$ðãSäÊäºÞàæußÝ$ð öKÝ$âºñÈîêãý

êºÞåìußä=ìSí³ásìSñ=ñìußñ=ãSâºûwÝsâ[äs÷ÛÜÝòæuìuãSè-ìwí*êºÜÞåä=Ýsßá$ìðÞåßæ ÞàäÊßìSê=êìÎãSèàÞåæußUìußÝ

æuÝ$ßìuñÝ³ãSæ3ãSÞàßä[êÿêÜÝ³ìSêºÜÝsâéîêâãwêºÜÝsâ0êºìÆásìuñöãSâ[ÝêÜÝ³ìuâ[ðÝsâ/ìSí`æuÝsßÝ*ñ=ãSâ[ûSÝsâ[äs÷

Û(úÿì9ñÐãwÞåßãSööâºì3ãSá{ÜÝsä³êì6ásìuñöãSâ[Ýñ=ãSâ[ûSÝsâ³ìuâ[ðÝsâ[äõÝ Þåä[ê³ásìuîß3êºÞåßæ©êÜÝðÞó£Ý$âý

Ý$ßásÝ$äébÝ$êúNÝsÝ$ßiêúNìæuÝsßìSñ=Ý$äÅÞåß êÝ$âºñäÅìSí "! "#$JãSßðÎásìuîßIêºÞåßæ

êºÜÝÈñÞåßÞàñÐãSè£ßCîñÈéKÝ$âìSí5Ý$ðÞàêìuöKÝ$âãwêºÞåìußäêºÜãwêêºâãSßä[íAìuâ[ñ ìußÝæuÝ$ßìuñÝÈÞåß3êìÐãSßý

ìSêºÜÝsâ%'& $ ÷)(ÿìSêºÜòìSíêÜÝsäºÝÆãwööâºìuãSá{ÜÝsä#ðÝ*ßÝÆã,+-.0/21 340/5.ìuß9êÜÝÅä[öãSásÝ

ìSí-äºÞàæußÝ$ðUöbÝsâ[ñÈîêãwêÞàìußäs÷øßUêºÜÞåäÅöãwöKÝ$âÆúNÝ&ú/ÞåèàèÿíAìuèåèàìZú êÜÝ76ãwßßÝsßÜãSèåèàÞãSßð

8Ý$ç:9sßÝ$âÆãSööâ[ì3ãSá{Ü;<&

$

ú/ÜÝ$âºÝÐêºÜÝÊãSèàèåìZúNÝsðüÝsðÞêÈìuöbÝsâºãwêÞàìußä*ãSâºÝ=1 3>.@?A.

/B@C/DE5FGD-C/H.ãSßðIJD÷ø¾ê#ú0ãSä³ìuâ[ÞåæuÞàßãSèàèàë&Ý$ä[ê{ãwéèåÞàäºÜÝ$ðêºÜãwê#êºÜÞåä

F:K:LMN+-O0/ÈáãSßébÝÅásìuñöîêºÝsðüÞåßòöbìuèàëCßìuñÞ·ãwè(êºÞåñÝP<&4 CQ$÷SR(ãwêºÝsâ

úNìuâºû&ÜãSä/ÞåñöâºìZçuÝ$ð6êºÜÝsä[Ýõâ[Ýsä[îèàêºä-Ý$ä[ê{ãwéèåÞàäºÜÞàßæÆãèàÞåßÝsãSâýeêÞàñ=ÝãSèåæuìSâºÞàêºÜñ)íAìuâ0êÜÝ

â[ÝãSâ[âãSßæSÝsñÝsß3ê#ðÞàä[ê{ãwßásÝÈá$ìuñöîê{ãêÞåìSßT$÷=6ÞåßÞàñ=ÞU9sÞåßæÆêºÜÞåäðÞåäê{ãSßá$ÝÈÞåäãÐíAîßý

ðãwñ=Ý$ßIêãSèËäêÝsö9Þåß&á$ìuñ=öîêÞàßæÆöè·ãSîäºÞåéèåÝãwßásÝ$ä[êìSâºäs÷

Û(úÿì©ásìSñ=öîê{ãwêºÞåìußãwè+ãSööâºì3ãwá{ÜÝsä#íAìuâá$ìußäêâºîá$êÞàìußòìSíNãSßá$ÝsäêâãwèkæuÝsßìuñ=ÝÈãSâý

á{ÜÞêÝ$á$êîâºÝsäÆúNÝsâºÝ9öâºìSöKìuä[ÝsðË÷iÛÜÝ$ëÏúNÝsâ[Ý9íAìuâ[ñÈîèåãwêÝ$ðÎãSäêºÜÝWVX+5ZY[0LM

\2D-L^].`_=8baËãSßð³êÜÝcV`3:DdHB@D-[Y[0LMfeg F:K:LMh\2D-L^].`_=iN8ba÷

_#ÞàçSÝsßüãÊäºÝêõìwíNæSÝsßìuñÝsä

{Πi}ËêºÜÝÅíAìuâºñÝsâásìußä[Þåäêä#Þåßòá$ìuñöîêÞàßæ©ã&öKÝ$âºñÈîê{ãý êºÞåìuß

Π ñ=ÞàßÞåñÞ-9$Þåßæ6êÜÝ©ä[îñ ìSíðÞåä[êãSßá$ÝsäÆêì

{Πi}Nú/ÜÞàèåÝÊêÜÝ9èåãwêºêºÝsâÆãSÞàñ=äÆãwê á$ìuñ=öîêÞàßæ6êºÜÝPjIêÝsÞàßÝsâ³êâ[ÝsÝêÜIîäÈñÞåßÞàñ=ÞU9sÞàßæÐêÜÝÐäºîñ ìwíðÞåäê{ãSßásÝsäãSèåìSßæ9Þêä

Ý$ðæuÝsä$÷ ÛÜÝk9Ý$ðÞ·ãwß;_#ÝsßìuñÝ78âºìuéèàÝsñ ÜãwäÐébÝsÝsß äºÜìZú/ß êºìébÝ`l[8ký¾ÜãSâ[ðiíAìuâ

ébìSêÜÎìSíðÞàä[êãSßásÝÊíAîßá$êºÞåìußäÅÝçuÝ$ß Þåß êºÜÝ©áãSä[Ý©ìSíìußèàëTmòæuÝsßìSñ=Ý$ä7]ÍäºÝ$Ý <no n $

íAìuâJéâ[ÝãSûIöbìuÞåß3ê0ðÞåä[êãSßá$ÝãSßð`# Gp $ íAìuâJâºÝsãSâºâºãSßæuÝ$ñ=Ý$ßIêNðÞàä[ê{ãwßásÝqa÷rl-ÝçuÝ$â[êÜÝsèåÝ$äºä

Ý ãwá$êJâºÝ$äºìuèàîêÞàìußÆìSís`_=8ÜãZçSÝ-ébÝsÝ$ßÊãwê[êÝ$ñ=öêºÝsðt3ëCÞåÝ$èåðÞàßæ#ìuöêºÞåñ=ãSèCäºìuèàîêÞàìußäkíAìuâ

çSÝsâ[ë©ä[ñÐãwèåè£Þàßä[êãSßá$Ýsä=Cu$ ÷

v

ööâºìqÞåñ=ãwêÝ0ãSèåæuìSâºÞàêºÜñä(íAìSârW_)8ôÜãçuÝ/ébÝsÝ$ßöâºìuöbìuäºÝ$ðÅíAìuâkébìSêÜÅðÞàä[êãSßásÝ$äs÷

øß#êÜÝéâºÝsãSûIöKìuÞàß3êáãSä[ÝjãSßûwìSóãSßð)(Nè·ãSßá{ÜÝ$êºêºÝkíAìuâºñîè·ãwêºÝsðêºÜÝäºìuèàîêÞàìußêºÜâºìuîæuÜ

ãâºÝsðîá$êºÞåìuß*êì/êÜÝNÛ`âºãZçSÝsèàèåÞåßæwjãwèåÝsä[ñÐãwß8âºìSéèåÝ$ñ^"#C$ ÷`ÛÜÝsä[ÝãSîêºÜìuâ[ä`öâ[ìuöbìuäºÝ$ð

ãSßôãSèàæuìuâºÞêÜñ êÜãêõæSîãSâãwßIêºÝsÝ$äÈã©âºÝãwäºìußãwéèåÝèåìZúNÝsâ*éKìuîßðìußêÜÝÐäºîñìSí0ðÞàäý

êãSßásÝ$äs÷

øßõêºÜÝJáãSä[ÝNìSíâºÝsãSâºâºãSßæuÝ$ñ=Ý$ßIê`ðÞàä[ê{ãwßásÝxyW_)8òãSßðW_)i[8ÜãZçSÝÿébÝsÝ$ßõêÞàæuÜ3êèë

èàÞåßûwÝsð!ä[Þåßá$Ý*íAìSâ-â[ÝãSèýäºÞU9sÝ$ð9ásãSäºÝ$äêÜÝõöâºìSöKìuä[Ýsðä[ìuèåîêÞåìSßäíAìuâêºÜÝ*è·ãwê[êÝsââºÝ$èàë©ìuß

ä[îásá$Ýsäºä[ÞàçSÝêâºÞåãSßæuîè·ãwêºÞåìußäÿãwßðiêºÜCîäÊìußiêºÜÝ!ä[ìuèàçCÞàßæôìwíêÜÝ6íAìuâºñÝsâÞåßÎêÜÝWmý

æuÝ$ßìuñÝ9ásãSäºÝw÷ ÛúNìÝ Þàä[êºÞåßæôäºìSíùêúÿãSâºÝ9öãSá{ûãSæuÝ$ä7VTY2ez'm $ ãwßð{|2JDd3y}~!$

(4)

êºâºÞåöèåÝsäìSíÿñîèàêºÞåá{Üâ[ìuñ=ìSäºìuñ=ãSèæuÝsßìSñ=Ý$äú/ÜÞåèàÝÈâkçSìuèåîo9$Ýsâ*áãSßòêºâºÝãêõñìuâ[ÝÈêÜãSß

mÏæuÝ$ßìuñÝsäéîê6ìußèàëiÞåßêÜÝüîßÞåá{Üâ[ìuñìuäºìuñ=ãSèáãSä[ÝS÷^(ÿìwêÜ ìSí*êÜÝòöâ[ìuöbìuäºÝ$ð

ä[ìuèåîêºÞåìußä=ãwâºÝ6ÜÝsîâ[ÞåäêÞåá$äÐéãwäºÝsð ìußiêºÜÝ!ðÝêÝ$á$êÞàìußìSíNnæuìCìð:&âºÝçuÝ$âºäãwèåäìSöKÝ$âãý

êºÞåìußä*êÜãêÅãSâ[ÝÊæuîãSâºãSß3êÝ$Ýsð êì!ÞåñöâºìZçuÝêÜÝÐäºìuèàîêÞàìußË÷!ÛÜÝ&æuÝsßìSñ=Ý$ä

{Πi} ^ãSâºÝ

â[Ýý¾ú/â[Þàê[êÝsßÎäêÝsöUé3ëÏä[êºÝsöUé3ëUãSööèëÞàßæòâºÝçuÝ$âºäãwèåäÆîß3êÞàèÿêúÿì]ÍìSâÈêÜâ[ÝsÝCaÈìSíêÜÝsñ

ébÝsá$ìuñ=ÝÐÝsïIîãSèW÷òÛÜÝsâ[Ý©ãSâºÝêúÿìðÞó£Ý$âºÝsßásÝsäÅÞàßêÜÝÊöâºìSöKìuä[ÝsðÏä[ìuèåîêºÞåìußäs÷k+Þàâºäêq

êºÜÝÊðÝ*ßÞàêºÞåìußôìSíú/ÜãwêÈásìußäêÞêîêºÝsäÅã!æSììCð âºÝçuÝ$âºäãwè0ÞåäõßìSêÈÝ ãSá$êºèàëüêÜÝÊäºãSñÝS÷

jÝ$ásìußðtú/ÜÝsß9ßìÆæuìCìð©âºÝçuÝ$âºäãwèåä/âºÝ$ñÐãSÞàßt`_=i]öbÝsâíAìuâºñä/ã

ký¾ðÝsöêºÜ9ä[ÝãSâ[á{Ü9êºì

*ßð!ãÅébÝsä[êâ[Ý$çuÝ$âºäºãSè.ú/ÜÞàèåÝ#âçSìuèåîG9sÝsâãSèàèåìZú/ä0íAìuâéãwá{ûIêºâãSá{ûIÞàßæ÷

øßiêºÜÞåäÆöãwöKÝ$âÿúNÝ9öâºÝsä[Ýsß3ê

vg

þÿøRjJãôßÝú ãSööâºìqÞåñ=ãwêÝ6ãSèàæuìuâºÞêÜñíAìuâ

W_)8°ÞàßêÜÝÅæSÝsßÝ$âãSèkásãSäºÝxêÜãwê³Þàä£íAìSâ³ãSßîßâºÝ$ä[êºâºÞåáêÝ$ðüßIîñéKÝ$â#ìSíÿñîèàêºÞåá{Üâ[ìwý

ñìuäºìSñÐãSè(æuÝ$ßìuñÝsäKú/ÜÞàèåÝÞàñ=öâºìZçCÞåßæöKÝ$â[íAìuâ[ñÐãwßásÝ$äìSí5ÝÞàä[êÞàßæ&ãSööâºì3ãwá{ÜÝsä#ìuß

â[Ýsä[êºâºÞàá$êÝ$ð&Þåßäê{ãSßásÝsä$÷5ÛÜÝ#ñÐãwÞåßèëÆìuâºÞàæuÞåßãwèåÞàêëÈìSíìuîâãSööâºì3ãwá{Ü&ÞåäÿêºÜÝ#ðÝ*ßÞàêºÞåìuß

ìSí£ã³öâºìuéãSéÞåèàÞåäêÞåáNßÝsÞàæuÜIéKìSâºÜìCìðÅú/ÜÞàá{Ü=ÝçuìuèçuÝ/ú/ÞàêºÜÞåßã³öKìuöîè·ãwêºÞåìußCýéãSä[ÝsðÅèàìásãSè

ä[ÝãSâ[á{ÜãSá$ásìuâ[ðÞåßæÐêì©ìuéä[ÝsâçSãêÞåìSßäñ=ãSðÝÈìußòêºÜÝÅöKìSöîè·ãêÞåìSßË÷#ÛÜÞåäñ=Ý$á{ÜãSßÞàäºñ

ãSèàèåìZú/äîäêìæuâ[Ýãwêºèàë&ãwásásÝ$èåÝ$âãwêºÝ³êºÜÝ*äºÝãwâºá{Üãwßð9Ý$ßäºîâºÝsä-ñ=ìSâºÝ³ásìuß3çSÝsâºæSÝsßá$ÝbÝsäý

öbÝsá$Þ·ãSèàèàëÆíAìuââºÝsãSèìuâäêâºîá$êîâºÝsð9Þåßäê{ãSßásÝsä$÷

P /×&ÚõÓ /Ó&Ö zEÕ`Ög

v

/:LMCCLM

π= (π1, . . . , πm) ÞåäâºÝ$öâºÝ$äºÝ$ßIêºÝsð9éIë6ãÅä[ÝsïIîÝsßásÝìwí+ä[ÞåæußÝ$ð©æuÝsßÝ ñ=ãSâºûwÝsâ[ä©ú/ÜìuäºÝäºÞàæuß ÞåßðÞåáãêÝsäÊêºÜÝsÞàâÊâºÝ$è·ãwêºÞàçSÝòðÞåâ[Ýsá$êºÞåìuß ìSß êºÜÝá{ÜâºìSñ=ìuä[ìuñÝS÷

v äºÞU9sÝý

n LS3:Dd5./:LMCCLDAK:0LM

Π ÞåäðÝ*ßÝsð ãSä=ãôä[Ý$ê=ìSí#á{Üâ[ìuñìuäºìuñÝsä

{π¹, . . . , π^N} äºîá{ÜÊêºÜãwê P

i|πⁱ|=n÷b!ãwâºûSÝ$âºä0êãSûSÝêºÜÝsÞàâNçwãSèàîÝíAâ[ìuñ êÜÝäºÝ$ê0ìSí ìuâ[ðÞåßãSèåä

1, . . . , n ßìÆæuÞàçSÝsß6ñÐãSâ[ûSÝ$â/ãSööbÝãSâ[äÞàß©ñ=ìuâ[ÝêÜãwß9ìußÝ#á{Üâºìuñìuä[ìuñ=Ýw÷

ìuâkÝ ãwñ=öèàÝ

{(5,−8),(1,2,−10,6,4),(9),(−3,7)}Þåäã#æuÝ$ßìuñÝìSí£ä[Þ-9$Ý CQ

÷

øß,<m $ ásìSßáãwêºÝsßãêÞåìSß&ìSí`ãSèåèbá{ÜâºìSñ=ìuä[ìuñÝsäÿÞàä0âºÝ$öâºÝ$äºÝ$ßIêºÝsð9ãSä/ãÈäºÞàæußÝ$ð&öKÝ$âºñÈîêãý

êºÞåìußË÷

_#ÞàçuÝ$ß&ãä[Ý$ê0ìwí(äºÞ-9$Ýý

n æuÝ$ßìuñÝsä

{Πi} ãwßð&ãõæSÝsßìuñÝðÞåä[êãSßá$Ý-íAîßáêÞàìuß

d^ãwß

Þàßä[êãSßásÝìSíêÜÝásìuñÈéÞåßãwêºìuâºÞåãSèQñ=ÞàßÞåñÞ-9sãwêÞàìußÈöâ[ìuéèàÝsñ

M GP ÞåäNðÝ*ßÝsð©é3ëÐêúNì Ý$èåÝsñÝsß3êºä

hτn, φi

÷-ãäºÝsãSâºá{Üòä[öãSásÝx

τn

básìuñöbìuäºÝ$ðìSíkêºÜÝä[Ý$ê#ìSíãSèåè(öbìuäºä[ÞåéèàÝõä[Þ-9sÝqý

n æuÝsßìuñ=Ý$ä ãwßð

!

÷-ãwß#ìué:[ÝsáêÞçuÝíAîßáêÞåìSß

φ:τn→N

]OC/Ca£ðÝ*ßÝsð*é3ë

φ(Π) = P

Πid(Π,Πi)^÷

(5)

v LM+5 K:0LMíAìuâõã!æuÞçuÝ$ß äºÝêÈìSíæSÝsßìuñÝsä

{Πi} Þåäõã!æuÝ$ßìuñÝ

Π ^êÜãwê

ñÞåßÞàñ=ÞU9sÝ$ä

φ(Π)÷bkçuÝsâë©ìuöêºÞåñ=ãSè£ä[ìuèåîêºÞåìußÊêºì

M GP ÞåäãÅñ=Ý$ðÞ·ãwß&æuÝsßìSñ=Ýw÷

Ó Ö*Õ`Ú õÚ$Ó=W¡òÖ=¡6ØP#Ô(Ú$ÖõÓM¢o7=£s/× ÖÙ¤=`£sg³Õ+Ùf ¥Ö*Õ

ìuâ©ãSððâºÝ$äºäºÞàßæ¦l[8+ýásìSñ=öèàÝ$êºÝüöâºìuéèàÝsñä&èåÞàûSÝXW_)8 Þåß êÜÝüæuÝ$ßÝsâºãSè³áãSä[Ý ãSßð

â[ÝãSá{ÜÞàßæiãSásá$ÝsöêãSéèåÝä[ìuèåîêºÞåìußä&Þåß âºÝsãSäºìußãSéèåÝòêºÞåñÝ-ãSööâ[ìCÞàñÐãwêºÝãSèåæSìuâºÞêÜñä

öâ[ìZçÞàðÝòêÜÝñìuä[ê©öâãSáêÞåásãSè#ãSööâºì3ãwá{ÜË÷¨§ÝüöâºÝ$äºÝ$ßIê!ãÏöKìSöîè·ãêÞåìSßýéãwäºÝsð èàìwý

ásãSè£ä[ÝãSâ[á{Ü!ãSèàæuìuâ[ÞàêÜñ îäºÞàßæÆãSß&ìuâ[ÞåæuÞàßãSèbãSßð&ÝçuìuèàîêÞçuÝ#ßÝ$ÞåæuÜIébìuâºÜìCìCðÊâºÝ$ðîá$êºÞåìuß

ñÝsá{ÜãwßÞåä[ñ íAìSâêºÜÝÈâºÝ$äºìuèàîêÞàìuß6ìSí2W_)8 Þàß9êºÜÝÈáãwäºÝÈìSíkâºÝãwâºâãwßæuÝsñÝsß3êæuÝsßìSñ=Ý

ðÞàä[êãSßásÝ$äs÷5ø¾êæuÞçuÝ$ä0ÝásÝ$èåèàÝsß3ê/âºÝ$äºîèêä0ÞàßÊêÝsâ[ñ=äÿìSíêÜÝ#ïIîãwèåÞàêëìSí(êºÜÝ#äºìuèàîêÞàìußäNÞàê

ìuéê{ãSÞàßäêºÜÝ³äºöbÝsÝ$ð9ìSí`êÜÝ³á$ìuñ=öîê{ãwêºÞåìuß0Þàêºä0âºìSéîä[êºßÝsä[äKãSßð6Þàêºääºáãwè·ãSéÞàèåÞêëu÷

©gª¬« ®¯s°:±0¯s²2³µ´r¶·r¸r¹GºO³G»¼ ½¸f¹¾ ¿¦À

jCêºìá{ÜãSä[êºÞåárRìásãSè:jÝsãSâºá{ÜM].jGRjoaf<Á $ Þåä(ãúNÝsèåèýûIßìZú/ß³ásèåãSäºä(ìSíñ=Ýê{ãSÜÝsîâ[Þåä[êºÞåá$ä"îäºÝ$ð

íAìuâêºÜÝNâ[Ýsä[ìuèåîêºÞåìuß*ìSíñÐãSß3ë³ðÞásîèê`á$ìuñÈéÞàßãwêºìuâºÞåãSèSìuöêÞåñÞ-9sãwêÞàìuß#öâ[ìuéèåÝ$ñ=ä$÷ÂjGRj

ãSèàæuìuâ[ÞàêÜñ=äãSâºÝ6ÞàêºÝsâãêÞàçSÝ&ñ=ÝêÜìCðäÅú/ÜÞàá{Ü ä[êãSâ[êÆíAâ[ìuñ ãSßUÞåßÞêÞåãSèÿá$ìußG*æuîâãwêºÞåìuß

]AáãSßðÞåðãwêºÝÆäºìuèàîêÞàìußôìwíÿêÜÝÐäºÝsãSâºá{ÜäºöãSá$ÝCa*ãSßðÞàñ=öâºìZçuÝÆÞàê*é3ëüäºîá$ásÝ$äºäºÞçuÝ&èàìásãSè

ñìðÞU*ásãwêÞàìußäs÷`øß&êÜÞàä0äºÝ$á$êÞàìuß&úÿÝ³ðÝ*ßÝ*ãÅäºÞàñ=öèàÝðÝ$äºá$Ýsß3êãwèåæuìuâ[ÞàêºÜñ êìW_)8Â

ú/ÜÝ$âºÝx

÷/êºÜÝÃH5D/q?ÂK34F5.Þåä0êãSûSÝ$ß9íAâºìSñ

{Πi}

! ÷/êºÜÝÄJDd3GH.71 340/5.ÞåäõêÜÝ&äºãSñ=Ý©ãwäÈêÜÝ&ìué>[Ýsá$êºÞàçSÝ©íAîßá$êºÞåìuß

φ^ÐêÜÝ

â[ÝãSâ[âãSßæuÝsñÝsß3ê/ðÞàä[ê{ãwßásÝ

d

m÷/êºÜÝc0KGC+ND5.õúNÝJásãSèåè

R¹ ^Þåäã ý¾ä[êºÝsö³âºÝsãSâºâºãSßæuÝ$ñ=Ý$ßIê

R¹(Π) = {Π⁰ ∈τn, d(Π,Π⁰) = 1}

n÷/êºÜÝLMJg5F.KÅÅÞàäÿã[?r5ÆÇL@JcCD-/H.X]H`ø¬a5ú/ÜÞàá{ÜÊãSá$ásÝsöêä0ébÝ$ê[êÝsâ

ãwßðÊÝsïIîÞçwãSèåÝ$ßIêNásìSßG*æuîâºãwêÞàìußä]Ç5+:ÆÇÈbDBÆñÝsá{ÜãSßÞåä[ñÉGj:§ p $ aCæuÞàçSÝsß&ã

ä[öKÝ$ásÞ*Ýsð6ßIîñÈébÝsâ/ìSí`ÞàêÝ$âãwêºÞåìußäw@W÷

ÛÜÝ/öbÝsâ[íAìSâºñ=ãSßásÝÿìSíËã#ðÝ$äºá$Ýsß3ê0ãwèåæuìuâ[ÞàêºÜñÝsä[äºÝsß3êºÞ·ãSèàèàëÈðÝsöbÝsßðä5ìußÅêºÜÝ/ßÝsÞàæuÜý

ébìuâºÜììCðÅâºÝ$è·ãwêºÞåìußÈîäºÝsð`$ ÷køß=ìSâºðÝ$âkêì*ãçuìuÞàðä[èåìZúöâºìCásÝsä[äºÝ$äÿãSßð=èàìásãSèìuöêÞåñ=ã

(6)

?

Initial configurations candidates Search space

Π1

Π2

Π3

Π4 Π^∗ Π7

Π6 Π5

+Þàæuîâ[Ý Â_#ÝsìuñÝ$êºâºÞàáÿãSßãSèåìuæwë³ìSíW_)8gñÝsðÞåãSßæuÝ$ßìuñÝsäãwâºÝNú/ÞêÜÞàßõêºÜÝÿá$ìuß3çuÝ

ÜIîèàè+ìSí

{Πi} Þåß9êÜÝÅä[öãSásÝÅìwíNæSÝsßìuñÝsä$÷jCê{ãSâêÞàßæÐêÜÝÈäºÝsãSâºá{ÜòíAâºìSñ ã

Πi

ìußêÜÝ

öbÝsâ[ÞåñÝ$êÝ$â0æuâ[ÝãwêºèàëÊâ[ÝsðîásÝsä/êÜÝ*ä[ÝãSâ[á{Ü!ä[öãSásÝw÷

ðÞásîèêÞåÝ$äkúNÝ©îäºÝ&êÜÝÉ`ø¬Ê=j>§ ä[ÝsèåÝ$á$êºÞåìußÏäêâãêÝsæwëÏásìuñéÞåßÝ$ðÏú/ÞàêÜ êºÜÝ©è·ãSâ[æuÝ

ãSßð6äêâºãSÞåæuÜ3ê[íAìuâ[úÿãSâºð©ßÝ$ÞåæuÜIébìuâºÜììCð

R¹^÷

+ÞàæuîâºÝ äºÜìZú/ä*êÜãwêõásìSßG*æuîâºãwêÞàìußä#ê{ãwûSÝsßôíAâºìuñ

{Πi} ñÐãëòébÝ=Þàß3êÝsâ[ÝsäêÞåßæ ÞàßÞàêºÞ·ãSèCáãSßðÞåðãêÝsäíAìuâkêºÜÝ/éKÝ$æuÞåßßÞåßæ#ìwí£êÜÝä[ÝãSâ[á{ÜË÷Jþÿìußä[ÞåðÝ$âºÞàßæ#êÜÝ/Ý$çwãSèàîãwêºÞåìuß

íAîßá$êÞàìußãwßð êÜÝßÝsÞàæuÜIéKìSâºÜìCìðiâºÝ$è·ãwêºÞåìuß

R¹0êÜÝ!ðÝ$äºásÝ$ß3ê&ú/Þåèåè/Ý öèåìuâ[Ý!ìußèë á$ìußG*æuîâãwêºÞåìußä*íAâºìuñêÜÝ&äºá{ÜÝ$ñÐãwêºÞåá&ãwâºÝã9ðÝsèàÞåñÞàêÝ$ðé3ëêºÜÝ

Πi

÷ø¾íêºÜÝ

Πi

ãSâºÝ

á$èåìuä[ÝÃ]AíAìuâÿÝãSñöèåÝ-ÞåßÊêÜÝáãSä[Ý#ìSíâºÝsãSèËãSööèåÞàáãwêºÞåìußäaIêÜÝ$ß&êÜÝâ[Ýsä[îèàêºÞåßæÈä[ÝãSâ[á{Ü

ä[öãSásÝ³ÞàääºÞåæSßÞU*ásãSß3êèëÊâºÝ$ðîá$ÝsðË÷

©gª.Ë ÀW¹G¸fÌw´fÌwº¶º°>³4º±{Í¸rÍÎ¶´A³4º¬¸r²cÏ"Ìw´r°:¯s®¶¸c±0´r¶S°:¯s´f¹o±o»

ÛâãSðÞàêÞàìußãSèàèàëCðÝsäºá$Ýsß3ê#ãwèåæuìuâ[ÞàêºÜñ=äÿãSâºÝ³ä[Ýsßä[ÞàêÞçuÝ#êìÝsÞêÜÝ$âä[êºìá{Üãwä[êÞàá#íÍãSá$êºìuâºä/ìuâ

ÞàßÞàêºÞ·ãSèásìuß4*æuîâºãwêÞàìußä(ãSßðõásìußäºÝsïIîÝ$ß3êèàë*ñ=ãëßìSêébÝ5äºîGásÞàÝsß3êë*âºìuéîä[êsÐ-êÜãwêÞàä

ðÞó£Ý$âºÝ$ßIê/Ý ÝsásîêÞåìSßä/ñÐãëÊðÞàçuÝ$âºæuÝ[ÐÊãSèêÜìSîæuÜÐêºÜÝj:§ ñÝsá{ÜãSßÞåä[ñ ãSßð©êºÜÝ³îäºÝ

ìSíã-èåãSâºæuÝßÝsÞåæSÜCébìuâ[ÜììCð*áãSßõâºÝsðîásÝJêÜÞàäðâãú/éãSá{ûQ÷

v

ásìuññìußèàëîäºÝ$ðÈäºìSèåîêºÞåìuß

ÞàäêìÊöbÝsâíAìuâºñ äºÝçuÝ$âãSèðÝ$äºá$Ýsß3êä³íAâºìuñ ðÞó£Ý$âºÝsß3ê#ÞàßÞàêºÞ·ãSè(á$ìußG*æuîâãwêºÞåìußäS]ÍðÞó£Ý$âºÝsß3ê

Ç@Dd./5.GÊÞàß ãXLS3:Dd5Æ.O =+:C/#öâ[ìá$Ýsäºäa÷øßæuÝsßÝêÞàáÐèåìCáãwèJä[ÝãSâ[á{ÜÎãSèåæSìwý

â[ÞàêÜñ=äèåìCáãwèKä[ÝãSâ[á{Ü!öâ[ìá$Ýsäºä[ÝsäãSßð©á$âºìuä[äºìZçuÝ$âºäébÝ$êúNÝsÝ$ß!Ý$èåÝsñÝsß3êºä=]¬@+JC5+3GDBa

ìSíÿã&äºÝêìuâ#ñîèàêºÞåäºÝê#ìSíNásîâ[âºÝ$ßIêõásìSßG*æuîâºãwêÞàìußä]Ñ@34D5.taöâ[ìZçÞàðÝÅÞåß3êºÝsßä[ÞU*ý

ásãwêÞàìuß©ãSßð6ðÞàçSÝsâ[äºÞU*áãwêºÞåìuß©öÜãwäºÝsä$÷

v èàìásãSèQäºÝsãSâºá{Ü&öâ[ìá$Ýsä[äãSööèàÞåÝ$ðêºìÈñÐãwßIëÞàßðÝsöbÝsßðãSß3ê0â[ÝsöèàÞåáãêÞåìSßä5ÞåäJäºìuñÝý

êºÞåñÝsäáãwèåèåÝ$ðãw@3:D5.Æ¬C+D-C/DGC/Ý$çuÝ$ßÐêÜìuîæuÜÆêÜÝ$âºÝãSâ[ÝßìõÞàßIêºÝsâºãSáý

(7)

$

éîêÈäºÞàñÈîèåãwêÝãSßÏãwèàêÝ$âºßãêÞàçSÝÐÝçuìuèàîêÞàìußãSâëöâºìCásÝ$äºäÈÞàßìuâ[ðÝsâ*êìòãSá$ásÝ$èåÝsâºãwêÝêÜÝ

ä[ÝãSâ[á{ÜÝsä-ãSßð©êìÆñ=ãSûSÝ³ñÈîèêÞýä[êãSâ[êÿðÝsä[ásÝ$ßIêºäñìuâºÝ#á$ìuß3çuÝ$âºæuÝ$ßIês÷

§ôÝÞåß3êâ[ìðîásÝ5ã0öâ[ìuéãSéÞàèåÞàä[êÞàá`öbìuöîè·ãwêºÞåìußý¾éãSä[ÝsðèàìásãSèwä[ÝãSâ[á{Üãwèåæuìuâ[ÞàêºÜñ ú/ÜÞåá{Ü

íÍãçuìSîâºäãwêÝsãSá{Ü©ä[êÝ$ö©ìSí(êÜÝä[ÝãSâ[á{ÜtêÜÝ#äºÝsèàÝsáêÞåìSßÊìSíñ=ìSä[êöbÝsâêÞåßÝsß3êßÝ$ÞåæuÜIébìuâºä

u$ Þåß6âºÝ$äºöbÝsá$êêìÆêÜÝõöKìuöîè·ãwêºÞåìuß£÷cjCêºâºîáêîâºãSè(ÞåßíAìuâ[ñÐãêÞåìSß©ãSéKìSîêÝsãSá{ÜÞàßðÞàçCÞàðý

îãwèÞàä/îäºÝ$ð!êì=Ýsä[êºÞåñ=ãwêÝ*ãÆäºÝ$èåÝsáêÞàìuß!öâ[ìuéãSéÞåèåÞêë&ãwêÝsãSá{Üä[êºÝsöìwí+êÜÝõä[ÝãSâ[á{ÜË÷/øß

êºÜÞåäÈöâºìCásÝsä[äÿãSèåèJâºÝ$öèåÞàáãwêºÞåìußäãSâºÝ&ðÝsöbÝsßðãwßIêNú/ÜÞàèåÝÐêºÜÝ&ðÝ$äºásÝ$ß3êä=ãSâºÝ&ásãSâºâ[ÞåÝsð

ìuîê/äºÞåñîèàêãSßÝsìSîäºèëu÷

øß&êÜÞàä0äºÝ$á$êºÞåìuß&úNÝ#öâºÝ$äºÝsß3êãÈñÈîèêÞý¾ä[êãSâ[êNðÝsä[ásÝ$ßIê/íAìuâcW_=8÷G§ôÝ#îäºÝ#êÜÝ#ðÝý

ä[ásÝsß3ê5ñÝsá{ÜãwßÞåä[ñ öâ[Ýsä[Ýsß3êÝ$ðÞàßÈäºÝ$á$êºÞåìußÃm÷ uãSððÞàßæêìÝãSá{ÜÆßÝ$ÞåæuÜIébìuâkãä[ÝsèàÝsá$êºÞåìuß

öâ[ìuéãSéÞåèåÞêëu÷

RÝ$ê P ébÝêÜÝ#öKìuöîè·ãwêºÞåìuß=ìSíìuîâöbìuöîèåãwêÞàìußý¾éãSäºÝ$ðÊðÝ$äºásÝ$ß3êqú/ÜÞåá{Ü©ÞàßÞàêºÞ·ãSèàèàë á$ìuß3ê{ãSÞàßäÅÞåßðÞàçCÞåðîãSèåä*ê{ãSûwÝsßÎíAâºìuñ

{Πi}^÷Il-ìZú èàÝ$êÅîäÆá$ìußäºÞàðÝsâãòöâ[ìuéãSéÞàèåÞàä[êÞàá íAîßá$êÞàìuß

p:τn×τn×τn^|P|−1 →[0,1]3ä[îá{ÜÐêÜãwê

p(Π,Π⁰,P \ {Π}) æuÞçuÝsäJã³äºÝ$èåÝsáqý êºÞåìuß=öâºìuéãSéÞåèàÞàêëÅìwí

Π⁰ ∈ R¹(Π)÷bjîá{Ü©ãöâºìuéãwéÞåèàÞåä[êºÞåá0íAîßá$êÞàìußÐÞàäÿïIîÞêÝä[ÞåñÞåèåãSâ êºì³êºÜÝìußÝ/îäºÝ$ð=íAìuâä[ÞåñÈîè·ãwêºÝsðÆãSßßÝãSèàÞåßæ³ñì"çSÝ/ä[êâºãwêÝ$æSëu÷+ÛÜÝ-ðÞàóKÝsâºÝ$ßásÝ/ÜÝ$âºÝÞåä

êºÜãwê-ìußèàëÊéKÝêºêÝ$âìuâÝsïIîÞçwãSèåÝ$ßIê-ßÝ$ÞåæuÜIébìuâºä-ãSâºÝõãSá$ásÝsöêÝsðòé3ë©êÜÝõñìZçuÝäêâºãwêÝ$æSëy

ú/ÜÝ$âºÝsãSä³ßÝsÞàæuÜIéKìuâ[ä³ãSâºÝÅæSÝsßÝ$âãwêºÝsðüéIëòã©öâºìuéãwéÞåèàÞàêë6ðÞåäêâ[ÞåéîêºÞåìußÒ]@ÓDd-H./

0KGC+X

y$

aq÷-ÛÜÝÈãSÞåñ Þàä-ßìwêêì=Ýsä[áãSöbÝêì=èåìCáãSè(ìuöêÞåñ=ãGéîêêìíÍãçuìuîâ

ßÝ$ÞåæuÜIébìuâºä0ú/ÜÞåá{Ü6äºÜãSâ[Ý³öâºìuöbÝsâêÞàÝsäú/ÞàêºÜ6ìwêÜÝ$âÞàßðÞçÞàðîãSèàäÿÞàß

P^÷

ÛÜÞàäJöâºìuéãwéÞåèàÞåä[êºÞåáÿíAîßá$êºÞåìußÆÞåä5á$ìußßÝ$á$êÝ$ðÐêì#êºÜÝ-ßìSêÞàìußÆìSírÓ+FÔ:/0/.SêºÜãwê

úNÝ³ðÝ*ßÝõÞàß©êºÜÝ#ú0ãë6ãSßãSèåìuæSìuîäÿêºìÕl-ãSðÝsãSî!ãwßð9Û`ãëCèåìuâ)

"!"$

ÖP×ÓØAÙÚÛ"Ú5Ü@ÙÞÝàßáÈ%/GC/345JD-LM

πi

@+ π_i+1 1N/:LMCCLM

π ∈Π

w5+MÇMãSðºãwásÝsß3êS

Π^âPã )0Ç=:-Ó+FÔ:/0/ÅÕÅ

(πi.πi+1)^â

§ôÝásìußäºÞåðÝsâÊãwððÞàêºÞåìußãSè/ãSðºãSá$Ýsßá$ÞåÝ$ä&ãwêêÜÝÝ CêâºÝ$ñ=ÞêÞàÝsäìSí³ÝãSá{Ü á{Üâºìuñìwý

ä[ìuñ=ÝÐéIëÞåß3êâ[ìðîásÞàßæñ=ãSâºûwÝsâ Q ÷XìuâÈãá{ÜâºìuñìuäºìSñ=Ý

(π1, . . . , πm)êúNìôãwðºãý á$Ýsßá$ÞåÝsä-ãSâ[ÝãSððÝsðt

(0.π1) ^ãSßð (πm.0)÷¤lìSêÞàásÝ#êÜãwê

(πi.πj) = (−πj.−πi) ^ãSßð (0.πi) = (−πi.0)÷w+ÞàßãSèàèàëyúÿÝÅßìwêÝ

A(Π) êÜÝÈäºÝê#ìSí5ãSèàèãSðºãSá$Ýsßá$ÞåÝsäÞåß

Π^÷[§ôÝ

ÜãçSÝ

|A(Π)| = n +N ^]n ÞåäÈêºÜÝ&ßIîñÈébÝsâÅìSí-ñÐãwâºûSÝ$âºäÆãSßð

N êºÜÝ&ßIîñÈébÝsâÅìSí á{Üâ[ìuñìuäºìuñÝsäa÷

5ãSá{ÜñìZçuÝM]ÍâºÝsãSâºâºãSßæuÝ$ñ=Ý$ß3ê aéâºÝsãSûIäìußÝM]*äºäºÞàìußhaìuâ/êúÿìW]ÍâºÝçuÝ$âºäãwè.QíAîäºÞàìußt

â[ÝsásÞàöâºìCáãwèêâºãSßäºèàìásãwêÞàìußhaãSðºãSá$Ýsßá$ÞåÝsä$÷ ÛÜÝöâºìSéãSéÞàèåÞåäêÞàá!ßÝ$ÞåæuÜIébìuâºÜìCìCð Ýsßý

á$ìuîâãwæuÝsäJãSðºãwásÝsßásÞåÝ$äú/ÜÞåá{Ü=ãSâºÝßìSêqIìuâ5ãSâ[ÝèåÝ$äºäIâ[Ýsöâ[ÝsäºÝ$ß3êÝsðÐÞåßÅêÜÝ/öbìuöîèåãwêÞàìuß

êºìéKÝ=éâºìSûSÝsß£÷ÛÜÝÊöâ[ìuéãSéÞåèåÞàä[êºÞåáÅßÝ$ÞåæuÜIébìuâä[ÝsèåÝ$á$êºÞåìußôìuöKÝ$âãwêºÝsäÅãwäõíAìuèàèåìZú/äÈèàÝ$ê

(8)

Π⁰ ∈ R¹(Π) ^Þí φ(Π⁰) 6 φ(Π)^êÜÝ$ß Π⁰ â[ÝsöèåãSásÝ$ä

Π ^Þåß P ^Þåß íAîßá$êÞàìußÏìSí/êÜÝ öâ[ìuöbìuâ[êºÞåìußãwè£âºÝ$öâºÝ$äºÝ$ßIêãwêÞàìuß6ìSí`êºÜÝ³éâºìSûSÝsß9ãSðºãwásÝsßásÞåÝ$ä-Þàß

P \ {Π}

p(Π,Π⁰,P \ {Π}) = 1−|{Π⁰⁰∈ P \ {Π},(A(Π)\ A(Π⁰))∩ A(Π⁰⁰)6=∅}|

|P| −1

v èàæuìuâ[ÞàêÜñ öâºìZçCÞåðÝsäãSß*ì"çSÝsâºãSèåèSçCÞàÝ$úÏìSíìuîâ(öâ[ìuéãSéÞåèåÞàä[êºÞåáöKìuöîè·ãwêºÞåìußCýéãSä[Ýsð

ðÝ$äºá$Ýsß3êúNÝásãSèåèàÝsð7 vg

þÿøRÂj&íAìuâwäáÂå0/ÇMæOq1q0/Ççkès:Kké2JHK:

@+%ê DDdK:AëáC/D0ìt/C÷

íPîï Ü@ðÚÛ"ñò Ý

óô×:õtöÚð×h÷

{Π1, . . .Πk}^{Nã=äºÝêìwí} k ñîèàêºÞåá{Üâ[ìuñ=ìSäºìuñ=ãSèbæuÝsßìSñ=Ý$ä-ìSí+äºÞU9sÝ

n l.k

êÜÝ³ä[Þ-9sÝ³ìSíêÜÝ*öbìuöîè·ãwêºÞåìuß

@ kêÜÝ³ßIîñÈébÝsâ/ìSí`ðÝsä[ásÝ$ßIêÞàêºÝsâãêÞåìSßäs÷

øùÙúqöáð"×@÷³ãwß9ãwööâºìqÞåñ=ãwêºÝ#ñ=Ý$ðÞ·ãSß&æSÝsßìuñÝ#äºÝê

Pˆ

î ×ÓÛ

P éKÝÅêºÜÝÆñÈîèàêºÞåä[Ý$ê³ìSíJêÜÝásîâºâºÝ$ß3êæuÝ$ßìuñÝsä³öbìuöîèåãwêÞàìußt£ú/ÜÞàá{ÜÞàßÞàêºÞ·ãSèàèàë ásìuß3êãSÞåßä

l á$ìuöÞàÝsäìSí`ÝãSá{Ü

Πi

÷

î ×ÓÛ3:LS

←0 ébÝ#êÜÝ³ßIîñÈébÝsâ/ìSí`öKÝ$â[íAìuâ[ñ=Ý$ð©èåìCáãSèKäºÝãwâºá{Ü!ÞêÝ$âãwêºÞåìußä

û

ñÂÚ î ×73:LSwüý@cþáÜ

ÿ

Ühð îHî

Π ∈ P ^þáÜ

î Ü0Ü

âºãSßðìuñèàë=äºÝ$èåÝ$á$ê

Π⁰ ∈ R¹(Π)

ð"×üú/ÞêÜ©öâºìSéãSéÞàèåÞàêë

p(Π,Π⁰,P \ {Π})

×:ÙÂþ î ÜtÜ

Ú ÿ

φ(Π⁰)6φ(Π) Û"ñá×:Ù

Π←Π⁰

×:ÙÂþIÚ ÿ

×:Ùþ ÿ Ühð

3:LS ← ^3:LS + 1

×:ÙÂþ

û

ñÚ î ×

ð"×>ÛCöðÙ

Pˆ = argmin_Π∈Pφ(Π)

M¡k0Õ`Ú /ÓÅÔ£

ìuâ-ÝöKÝ$âºÞàñ=Ý$ßIêºäúÿÝÆîä[ÝÅðÞàóKÝsâ[Ýsß3ê³ûIÞåßðä#ìSíJÞåßäê{ãSßá$ÝsäâºÝsãSèãSßðòâºãSßðìSñ ìußÝ$ä

(9)

k n ∆

φb f φ^m φ^w σ

(,-

φ

(,.

φ

/,.

01+3254 4 +3254 687:9 ;5<=5> =5?+5@; =5?5= >@4 AB=C ' ' ' ' '

01+3254D'E+ 2 +3254 9F87 +G<=5> +G;>@H +G;= +5@I+ +34C +G;5; 25454C +G;? A5A5C 'J

01+3254D'*= 2 +3254 9K9L 4B<=5> +5+3H@I+ +5+G; >@? +A5C +5+3J +3?5?C +3=5> HC 'MA

01+3254D'*2 2 +3254 9LON +G<=5> +34+5@J +3452 >@; +34C +34B; 2AB?C +3H5> H5>C '*;

01+3254D'A 2 +3254 9PK6 +AQ<=5> +325=@2 +3252 >@4 +A5C +3254 2B;5;DC +325H +32C '2

01+3254D'*4 2 +3254 9F8F +G<=5> +3H5?@> +3H5J >@J +34C +G;2 AB>5>C +G;4 AB?C '*;

01+3254D'*H 2 +3254 9K9RN 4B<=5> +5+5+5@I+ +5+3= >@? +34C +5+3= +AB?C +5+A ?C '=

01+3254D'S; 2 +3254 9F8N +G<=5> +3H+5@; +3HA >@J +32C +3H5= 25>5>C +G;= =5HC '=

01+3254D'*? 2 +3254 97KL AQ<=5> +3?5H@H +3?5? +5@I+ +32C +3J52 45=B;DC +3JA +3JB;DC '?

01+3254D'*J 2 +3254 9RTUL 2B<=5> +ABH@H +AB? +5@> +32C +34A =5J5HC +34A AB4C 'J

01+3254D'E+3> 2 +3254 9LOV =B<=5> +3H5>@H +3H52 >@J +34C +3HB; 25454C +3H54 25>C 'H

0ABJ5J 4 ABJ5J L8FOT HB<=5> 45H54@J 45H5? +5@; J5?C ' ' ' ' '

0ABJ5JD'E+ 2 ABJ5J TUNKW 4B<=5> AB>5?@I+ A+3> >@J A5A5C < CXDY A+32 AB4B;DC 'H

0ABJ5JD'*= 2 ABJ5J =52A +G<=5> =5254@> =525H >@2 25?C < CXDY 6OP8P +3>54C Z[+

0ABJ5JD'*2 2 ABJ5J PKP87 HB<=5> 2525J@I+ 2A+ >@J AB2C < CXDY 2525J =5JB;DC '+

0ABJ5JD'A 2 ABJ5J =5H52 AQ<=5> =5H52@J =5H54 >@H 25JC < CXDY 6OFK6 +3>5HC Z[+

0ABJ5JD'*4 2 ABJ5J PUW86 =B<=5> 2B;2@; 2B;4 +5@> AB2C < CXDY 2B;4 25J+C '2

0ABJ5JD'*H 2 ABJ5J +3?+ +3>B<=5> +3?+5@H +3?52 >@H 25?C 9W8V =1\O] 9WOV ;DA5C Z=

0ABJ5JD'S; 2 ABJ5J PUW8L +G<=5> 2B;5;R@I+ 2B;J +5@> 2B;DC < CXDY 25?+ 2+G;DC 'H

0ABJ5JD'*? 2 ABJ5J T^WOF 2B<=5> AQ;J@= AB?+ +5@H AB>C < CXDY AB?A ?5=52C '4

0ABJ5JD'*J 2 ABJ5J PKNKW =B<=5> 2+3>@2 2+3> >@J 254C < CXDY 25>5J =525>C '=

0ABJ5JD'E+3> 2 ABJ5J PKP87 2B<=5> 2AB>@> 2AB2 +5@A AB=C < CXDY P8P87 =54+C _

) # 2 +5+A TU7 =5>B<=5> AB?@> AB? > `a+C TU7 +3>C TK7 `a+C >

Û`ãSéèàÝ Ðþÿìuñ=öãSâºÞàäºìuß ébÝ$êúNÝsÝ$ß vg þÿøRjÏãSßð~W_)i ìSßÏâºÝãwèÿÞåßä[ê{ãwßásÝ$äs÷

φb

Þåä

êºÜÝéKÝ$ä[ê6äºá$ìuâºÝâºÝêîâ[ßÝsð°é3ë vg

þÿøRÂj@

f Þàä&ÞàêºäÊíAâºÝsïIîÝ$ßá$ë

φm

ÞàäÊêÜÝñÝãSß

ä[ásìuâ[Ý

φw

Þàä5êºÜÝúÿìSâºä[êNäºá$ìuâºÝx

σ ÞåäêºÜÝ/ä[ê{ãwßðãSâ[ðÐðÝçÞåãwêÞàìußÆéãSä[ÝsðÐìSß

!Q

ðÞó£Ý$âºÝ$ßIê

Ý Ý$ásîêºÞåìußäs÷

b ª¬« cµ¯s´r¶Sº¬²[°>³4´r²±¯s°

+ÞàâºäêõúNÝ&ãSä[äºÝsä[äÈìuîâãSèåæSìuâºÞêÜñ vg

þÿøRjôìußôêúÿìòä[Ý$êäìSí CQ êâºÞàöèåÝêä*ìSí0ëSÝãSäê

æuÝ$ßìuñÝsä$÷ ÛÜÝòðãwê{ã4öâºìZçCÞåðÝ$ð éIë;_ed$ßìuèàÝ$çCîâºÝ$ä6þÿìußä[ìuâ[êºÞåîñ

+

]._efwi þ¤li[j

! m # n>aZá$ìußä[Þåä[êºäÞåßw*çSÝ5äºÝsïIîÝ$ßásÝ$ðëuÝsãSä[êºäíAâºìuñ êÜÝhg#èåîëCçSÝsâ[ìuñëCásÝ$äá$è·ãSðÝji=Dd3:ÅxJLSÅÓ/

D:/5-A]Gg#èåèåãÓaì://GLSÅÓ/EDd3:ÅxJ 4].jãSûIèa(káÅK:C://GLSÅ>/A3.ly4]DmKëCâºìÓa

êºÜÝsä[ÝðãwêãGêúNìÅäºÝêäìSí(öbÝsâ[ñÈîê{ãêÞåìSßäNÜãZçSÝ#éKÝ$Ýsß&á$ìuñ=öîêÝ$ðtkêÜÝN*âºäêìußÝ-ú/ÞàêÜ

m #

ñ=ãSâºûwÝsâºä%]Gg m #

aKãSßð!êºÜÝä[ÝsásìSßðòìußÝ*ú/ÞàêÜÉnÓÁyÁÐñ=ãSâ[ûSÝsâ[äS]3g)nyÁyÁÓa÷Nìuâ/êÜÝ

á$ìuñ=öãSâºÞàäºìuß!ú/ÞêÜ W_)i)Kú/ÜÞàá{ÜòáãSèàásîèåãwêÝ$äìußèë`m"ýæuÝ$ßìuñÝsäñÝsðÞåãSßäÃ]

N = 3^a

úNÝ-ä[ÝsöãwâãwêºÝÞåßÅêºÝsßÐÞàßä[êãSßá$ÝsäÿÝsãSá{ÜÐöbìuä[äºÞåéèåÝêâ[ÞåöèàÝ$ê5ìSí£æuÝsßìSñ=Ý$äog#èåèåãý¬jãSûIèýQmKëCâ[ì

Þàäpg m # ý ãSßðqgùnÓÁyÁý rg#èåèåãý¬jãSûIèýâ[æuì=Þàäeg m # ý !

ãSßðqgùnÓÁyÁý

!

k÷$÷s÷ºÛÜÝsäºÝÃ*çSÝ

æuÝ$ßìuñÝsäÜãçSÝõâ[ÝsäºöbÝsáêÞçuÝsèë7pG&G

u

pÆãSßðÉ&Æá{ÜâºìuñìuäºìSñ=Ý$äs÷

s5tUuGuGv/wyxKxOz{z{zo|}U~Q"U~R:"G~Q|KD}

(10)

9ìSîäºÝxKãwßð6ãZçwãSÞàè·ãSéèåÝìSß6êºÜÝW_=iúÿÝ$é9öãwæuÝ

= ÷

Û`ãSéèåÝ äºÜìZúÏöbÝsâíAìuâºñ=ãSßá$Ýsä(ìSíG vg

þÿøRÂjõãSßðW_=iôìuß*êºÜÝsä[Ýÿâ[ÝãSè3Þàßä[êãSßásÝ$äs÷

vg þÿøRjÐÞåäÿãä[êºìá{Üãwä[êÞàáãSèàæuìuâ[ÞàêÜñÉIãSßðÐêúÿìÅÝ ÝsásîêÞåìSßä0ñ=ãZëâ[Ý$êîâºßÊðÞó£Ý$âºÝ$ßIê

â[Ýsäºîèàêä

íAìuâ&Ýãwá{Ü]Þåßä[ê{ãwßásÝòúNÝüöbÝsâíAìuâºñ ÝÝsá$îêÞàìußäs÷ Û`ãSéèåÝ ÞàßðÞåásãwêÝ$äÊêÜÝ

ébÝsäê³âºÝsä[îèàêºä

φb

ìSí !Q Ý ÝsásîêÞåìSßäêÜÝsÞåâ-íAâºÝsïIîÝ$ßá$ë

f£êÜÝÅñ=ÝsãSßòäºá$ìuâºÝ$ä

φm

£êÜÝ

úNìuâºäêäºá$ìuâºÝ$ä

φw

CêÜÝ-ä[ê{ãwßðãSâ[ð&ðÝ$çCÞ·ãêÞåìSßä

σ ãSßðÐêºÜÝñÝãSß=ásìuñöîêãwêÞàìuß=êºÞåñÝsä ìSí³ìSßÝÝÝ$ásîêºÞåìußË÷

vg

þÿøRj ú0ãSä&â[îßú/ÞàêºÜ ÞàêºäÐðÝíÍãSîèàêÐöãSâºãSñ=ÝêÝ$âºä

l = 3

]

â â ã öKìSöîè·ãêÞåìSß äºÞU9sÝòìSíÁú/ÜÝ$ß

k = 3^a-ãSßð ìußÝòñÞåèàèåÞàìuß~RÂj ÞêÝ$âãwêºÞåìußä ]@a

W_=iÎú0ãwär*âºä[êJâ[îßÅú/ÞàêÜÅÞêäðÝíÍãSîèêöãSâºãSñ=ÝêÝ$âºäIãwßðÆäºÝsá$ìußðèëÈú/ÞàêºÜÈêÜÝ

ÜÝ$îâºÞàä[êºÞåáÈìuöêÞåìSßk6 ]HW_=i0ý6 aíAìuâäºöbÝsÝsðÞåßæ&îöòêºÜÝÅäºÝsãSâºá{ÜË÷%Jãwá{ÜüÝ ÝsásîêÞåìSß

úÿãSä5öKÝ$â[íAìuâ[ñ=Ý$ðÅìuß=ãßìðÝìwít_#âºÞàðr

#QyQyQ

2

ãwßðÅêÜÝ/ásìSñ=öîê{ãwêºÞåìußãwèCêºÞåñÝ0èåÞàñ=Þê`öbÝsâ

á$ìuñ=öîêÝ=ßìðÝ=úÿãSä%*GÝsð êºììußÝÐúNÝsÝ$ûQ÷òøßÎãSèåèê{ãwéèåÝ$ä

∆ æuÞàçSÝsä*êÜÝÊðÞàóKÝsâºÝ$ßásÝ ébÝ$êúNÝsÝ$ß êÜÝ6ébÝsä[ê=äºá$ìuâºÝ6âºÝêîâ[ßÝsðié3ëµW_=i ãwßðiêºÜÝ©éKÝ$ä[ê=äºásìSâºÝ6âºÝ$êºîâºßÝsðé3ë

vg

þÿøRjK÷

âºìuñÛ`ãSéèåÝ ìSßÝìuéä[Ýsâ[çSÝsä(êÜãêá vg þÿøRÂj#ásìSñ=öîêÝsäébÝ$ê[êÝ$âñ=Ý$ðÞ·ãSß#æSÝsßìuñÝ

êºÜãSßW_)i*÷xìuâãSèàè3êÜÝg m # Þåßäê{ãSßá$Ýsä>

vg

þÿøRjÈöbÝsâ[íAìSâºñä+ébÝ$êºêºÝsâr`_=iÎú/ÞàêÜ

# ÷'Á9â[ÝãSâ[âãSßæuÝsñÝsß3êä*èåÝ$äºäõöKÝ$âõÞàßä[êãSßásÝíAìuâ#êÜÝ=éKÝ$ä[êºäâºîßäãwßðÄn÷<n!â[ÝãSâ[âãSßæuÝý

!QyQ

âºîßäS]

10×20a0ú/ÞàêºÜ!èåìZú]ásìuñöîêãwêÞàìuß êºÞåñÝsäM]WãSébìuîê "# ñ=ÞàßIîêÝ$äÈãSæ3ãwÞåßäêÜìSîâºäÈíAìuâ%W_)iaq÷`ÛÜÝPW_=i 6 ÜÝsîâ[Þåä[êºÞåá

ðìCÝsä&ä[öKÝ$Ýsðîö êÜÝòöâºìuæuâºãSñ7éîê&êÜÝòâ[Ý$êºîâºßÝ$ð°ä[ìuèåîêÞåìSßä&ãSâ[ÝèåÝ$äºä&ásìSñ=öbÝ$êºÞý

êºÞàçuÝ]AÝásÝ$öê/íAìuâg m # ý

CQ

ú/ÜÝ$âºÝW_)iýÇ6 ébÝãwêºä[W_=iú/ÞàêÜ&ðÝ$íÍãSîèêäºÝêºêºÞåßæuäa÷

+ÞàßãSèåèëyx vg

þÿøRÂjÈÞàäkãSèàäºìâ[ìuéîäêú/ÞàêÜÅñìuâ[ÝNêÜãSßÈêÜâ[ÝsÝæuÝ$ßìuñÝsäg]AÞåßäê{ãSßásÝsä

g m #

ãwßðgùnÓÁÁÓaäºÞàßásÝ&êÜÝ6â[Ý$êºîâºßÝ$ðiä[ìuèåîêÞåìSßäÅÜãçuÝ&çuÝ$â[ëÎá$èåìuä[Ý6ä[ásìuâ[Ýsä$÷iÛÜÝ

Þàßásâ[ÝãSä[ÝüìwíõêºÜÝôá$ìuñöîê{ãêÞåìSßêÞåñÝñ=ãSÞåßèàëiðÝsöbÝsßðä!ìuß êÜÝôöbìuöîèåãwêÞàìußä[Þ-9sÝ

öãwâãSñÝ$êºÝsâú/ÜÞåá{Ü6áãSß6ébÝ#âºÝsðîásÝ$ðË÷

b ª.Ë cµ´r²®¸b¼ º¬²[°>³4´r²±¯s°

øßüìuâºðÝsâ#êì6ãSä[äºÝsä[äõêºÜÝÆöKÝ$â[íAìuâ[ñÐãSßásÝÅìSíNìuîâ³öbìuöîèåãwêÞàìußýéãSäºÝ$ðòèåìCáãSè`äºÝãwâºá{Ü ãwèý

æuìSâºÞàêºÜñ Þåß&âºÝ$äºöbÝsáêìSí(êºÜÝ³ä[êâ[îá$êºîâºÝ*ãSßð6êºÜÝ#äºÞU9sÝ³ìSíêÜÝ#Þàßä[êãSßásÝxúÿÝ³æuÝ$ßÝsâºãwêÝ

QtUuGuGv/wyxKxO:-QR|GGK|~-x8Xex}UR|B}U

QtUuGuGvRwyxKxz{z{zo|}KDM8UK"|*