优化理论--chap2.docVIP

菴媼梒 擁窒刲坰呾楊腔妗桄煦昴 掛恅釬氪腔價掛夤萸岆ㄩNP俇?恀枙祥蹦嗣繫嬪麵ㄛ蚕衾坳婓旃噶睿茼蚚鍰郖笢湮講堤珋ㄛ秪森斛剕淏醱扆?賤樵源楊˙擁窒刲坰呾楊岆勤葆NP俇?恀枙郔衄?芴腔珨笱源楊˙妗桄煦昴蔚岆旃噶擁窒刲坰呾楊郔翋猁腔忒僇﹝價衾涴欴珨笱?妎ㄛ掛恅釬氪輛?賸涴跺旃噶鍰郖ㄛ筍忑珂醱勤腔岆呾楊妗桄煦昴腔操湮葩娸俶ㄩ聆彸妗瞰暫猁衄珨隅寞耀ㄛ肮奀遜斛剕撿衄眈絞腔麵僅˙呾楊笢衄嗣跺統杅ㄛ藩跺統杅褫夔衄嗣跺?硉˙峈賸勤葆呾楊腔呴儂俶ㄛ剒猁勤藩珨郪統杅硉狟腔呾楊黃蕾笭葩粒欴嗣棒˙蚕衾堍俴奀潔傖峈?瓚呾楊俶夔腔笭猁硌梓ㄛ最唗妗珋斛剕逋劂衄虴˙都都剒猁傖啃奻?苤奀腔數呾儂堍俴馱釬講ㄛ莉汜腔杅擂講珩岆儐?腔˙＃＃﹝蚕衾呾楊妗桄煦昴ㄛ杻梗岆渀勤擁窒刲坰呾楊腔妗桄煦昴ㄛ遜羶衄倛傖?朐腔衙癩睿炵苀腔源楊ㄛ扂蠅都覜妗桄煦昴櫛奧拸髡ㄛ祥躺遜羶衄傖峈黃蕾﹜衄虴腔呾楊煦昴忒僇ㄛ奧?衄掩赻旯葩娸俶敊羶腔峉玸﹝秪森ㄛ割?價掛衙癩ㄛ楷桯價掛源楊ㄛ岆扂蠅輛俴呾楊妗桄煦昴忑珂猁俇傖腔馱釬﹝掛梒植煦昴擁窒刲坰呾楊腔杻萸?忒ㄛ抻枒賸擁窒刲坰呾楊腔俶夔僅講(掀妦繫)﹜俶夔掀誕(崋繫掀)睿統杅蚥趙(崋繫覃)脹恀枙ㄛ場祭跤堤賸掀誕俇淕腔源楊﹝ ∫1. 價掛衙癩 1.1. 呾楊迵恀枙 掛梒垀佽腔呾楊歙硌擁窒刲坰呾楊﹝擁窒刲坰呾楊妗暱奻岆硌珨濬呾楊ㄛ婦嬤曾呴儂粒欴楊(撈Monte-Carlo呾楊)ㄛ冪萎腔擁窒刲坰呾楊(撈硐輛俴夔劂蜊輛窐講腔邁郖痄雄ㄛ善湛擁窒憤硉萸綴黃蕾笭葩)ㄛ耀攜豖鳶呾楊[Kirpatrick et al., 1983]ㄛ疻換呾楊[Goldberg, 1989]脹﹝ 擁窒刲坰呾楊腔菴珨跺杻萸岆鍾魂俶﹝擁窒刲坰呾楊岆紨祭蜊輛珨跺俇淕賤ㄛ奧祥岆紨祭孺桯珨跺窒煦賤ㄛ秪森呴奀飲褫眕跤堤絞?郔疑賤釬峈輪侔賤﹝肮奀ㄛ呴奀潔腔崝樓ㄛ擁窒刲坰呾楊(祫屾籵徹黃蕾笭葩)褫眕呴儂排輪?擁郔蚥賤ㄛ涴珨萸衱掀?隅俶腔輪侔呾楊衄蚥岊﹝ 擁窒刲坰呾楊腔菴媼跺杻萸岆呴儂俶﹝醴?湮模都備擁窒刲坰呾楊岆祥俇掘呾楊ㄛ眕褫雛逋俶恀枙?賤峈瞰憩岆佽ㄛ勤褫雛逋妗瞰呾楊祥夔悵痐梑善賤ㄛ勤祥褫雛逋妗瞰寀祥夔痐隴祥褫雛逋俶﹝妗暱奻ㄛ涴歙岆蚕衾擁窒刲坰呾楊腔呴儂俶ㄛ妏呾楊祥蹦婓痐隴妗瞰褫雛逋遜岆祥褫雛逋奀飲硐夔跤堤衙薹砩砱奻腔俶夔悵痐ㄛ植扂蠅炾嫦腔?隅俶呾楊褒僅懂艘ㄛ憩傖峈都佽腔祥俇掘俶﹝勤桽匼杅瓚隅腔呴儂呾楊Rabin呾楊ㄛ祥麵燴賤奻扴賤庋ㄛ硐岆擁窒刲坰呾楊羶衄Rabin呾楊饒欴詢腔虴薹奧眒﹝涴肮奀珩?楷扂蠅佷蕉擁窒刲坰呾楊睡奀符頗衄虴﹝ 擁窒刲坰呾楊腔菴?跺杻萸岆統杅趙﹝瞰?ㄛ耀攜豖鳶呾楊衄場宎恲僅﹜蔥恲厒僅﹜藩珨恲僅狟腔刲坰棒杅脹統杅ㄛ疻換呾楊衄笱?寞耀﹜娸蝠衙薹﹜曹祑衙薹脹統杅ㄛ藩珨郪統杅硉?隅賸珨跺撿极呾楊﹝壽衾擁窒刲坰呾楊腔統杅趙ㄛ扂蠅婓掛梒菴5誹笢豝牉枒蹦﹝ 掛梒垀佽腔恀枙岆硌郪磁蚥趙恀枙睿載峈珨啜腔蚥趙恀枙ㄛ筍翋猁眕褫雛逋俶恀枙(Satisfiability Problem, 眕狟潠暮峈SAT恀枙)峈瞰﹝SAT恀枙褫眕衄媼笱倛宒ㄛ珨笱岆蚥趙倛宒ㄛ撈?妏跤隅妗瞰笢祥雛逋腔赽曆杅湛善郔苤腔賤˙鍚珨笱岆瓚隅倛宒ㄛ撈戙恀跤隅妗瞰岆瘁湔婓妏?窒赽曆飲雛逋腔賤﹝擁窒刲坰呾楊?賤蚥趙倛宒腔恀枙竭赻?ㄛ奧?岆籵徹?賤蚥趙倛宒腔恀枙懂隙湘瓚隅倛宒腔戙恀腔﹝秪森ㄛ勤衾擁窒刲坰呾楊腔扢數迵煦昴懂佽ㄛ謗笱倛宒腔恀枙羶衄怮湮?梗﹝ 1.2. 呾楊腔俶夔 呾楊腔俶夔岆硌呾楊婓?賤恀枙奀垀剒猁腔數呾訧埭ㄛ翋猁硌奀潔ㄛ迵垀跤堤腔賤腔窐講腔壽炵﹝掛恅垀佽腔呾楊腔俶夔岆硌妗桄褫夤聆善腔呾楊腔珋妗俶夔ㄛ祥岆硌呾楊燴蹦煦昴笢腔膝輪俶夔﹝ 蚕衾呾楊俶夔扡摯謗跺秪匼ㄛ祥晞眻諉夤舷迵煦昴ㄛ秪森掀誕赻?腔源楊岆植珨跺秪匼腔褒僅夤舷鍚珨跺秪匼眈茼腔曹趙﹝瞰?ㄛ呴奀潔芘訧腔祥肮ㄛ窐講彶祔腔曹趙衄妦繫杻萸˙麼氪呴窐講猁?腔枑詢ㄛ垀剒奀潔腔曹趙衄妦繫?岊﹝涴欴暫源晞勤珨跺呾楊俶夔腔煦昴ㄛ衱源晞勤祥肮呾楊俶夔腔掀誕﹝祫衾茼粒?闡跺夤舷褒僅ㄛ寀茼艘恀枙腔剒猁﹝ 擁窒刲坰呾楊俶夔掀誕腔恅瓬笢珨跺都獗腔渣昫岆羶衄婓眈肮奀潔沭璃狟掀誕賤腔窐講ㄛ瞰?[Golden Stewart, 1985; Lourenco, 1995]﹝莉汜涴笱渣昫腔埻秪忑珂岆秪峈羶衄淏?燴賤呾楊俶夔腔囀滬ㄛ?棒岆秪峈恅笢腔擁窒刲坰呾楊衄珨跺礿砦寞寀ㄛ秪奧婖傖賸祥脹奀﹝岈妗奻ㄛ勤衾擁窒刲坰呾楊懂蔡ㄛ酕善脹奀潔狟掀誕甜祥嬪麵﹝珨源醱ㄛ蚕衾擁窒刲坰呾楊腔鍾魂俶ㄛ祥蹦奀潔嗣繫傻ㄛ軞褫眕跤堤珨跺絞?郔疑賤﹝鍚珨源醱ㄛ蚕衾擁窒刲坰呾楊腔呴儂俶ㄛ呾楊赻旯珨啜麵眕瓚剿絞?郔疑賤岆瘁眒湛?擁郔蚥﹝秪森ㄛ壺準奀潔祥埰勍奧?峈礿砦ㄛ呾楊掛旯茼絞蚗祥礿砦˙撈妏珨棒擁窒刲坰衄礿砦諷秶ㄛ珩褫眕籵徹黃蕾笭葩懂樟哿堍俴﹝Johnson [19