資源描述：
《求解sat問題的擬人退火算法》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在行業(yè)資料-天天文庫。
1、Seediscussions,stats,andauthorprofilesforthispublicationat:https://www.researchgate.net/publication/292549417Personi?cationannealingalgorithmforsolvingSATproblemArticle·February2002CITATIONSREADS9783authors,including:DefuZhangXiamenUniversity75PUBLIC
2、ATIONS1,206CITATIONSSEEPROFILESomeoftheauthorsofthispublicationarealsoworkingontheserelatedprojects:Anovelforecastingmethodbasedonmulti-orderfuzzytimeseriesandtechnicalanalysisViewprojectAllcontentfollowingthispagewasuploadedbyDefuZhangon12April2016.
3、Theuserhasrequestedenhancementofthedownloadedfile.第25卷第2期計算機(jī)學(xué)報Vol.25No.22002年2月CHINESEJ1COMPUTERSFeb.2002求解SAT問題的擬人退火算法張德富黃文奇汪厚祥(華中科技大學(xué)計算機(jī)學(xué)院武漢430074)摘要該文利用一個簡單的變換,將可滿足性(SAT)問題轉(zhuǎn)換為一個求相應(yīng)目標(biāo)函數(shù)最小值的優(yōu)化問題,提出了一種用于跳出局部陷阱的擬人策略.基于模擬退火算法和擬人策略,為SAT問題的高效近似求解得出了擬人退火算
4、法(PA),該方法不僅具有模擬退火算法的全局收斂性質(zhì),而且具有一定的并行性、繼承性.數(shù)值實驗表明,對于本文隨機(jī)產(chǎn)生的測試問題例,采用擬人策略的模擬退火算法的結(jié)果優(yōu)于局部搜索算法、模擬退火算法以及近來國際上流行的WALKSAT算法,因此擬人退火算法是可行的和有效的.關(guān)鍵詞SAT問題,模擬退火算法,擬人中圖法分類號:TP18PersonificationAnnealingAlgorithmforSolvingSATProblemZHANGDe2FuHUANGWen2QiWANGHou2Xiang(S
5、choolofComputerScience,HuazhongUniversityofScienceandTechnology,Wuhan430074)AbstractThesatisfiability(SAT)problemiscoretopicofthefieldsofartificialintelligenceandcomputerscience.Therefore,algorithmstosolvetheSATproblemplayanimportantroleinthedevelopm
6、entofcomputingtheoryandsystems.TraditionalalgorithmstreattheSATproblemasaconstraineddecisionproblem.Inthispaper,wetransformtheSATproblemintoaglobaloptimizationproblemtotheobjectivefunctionbyasimpletransformation,thusmanyalgorithmscanbeusedtosolveit.T
7、heSAalgorithmisageneralstochasticsearchalgorithmforcombinatorialoptimizationproblems,however,thisalgorithmneedoftencosttoomuchtimeforfindingasolution,whichpreventsitfrombeingappliedtomanypracticalproblems.HowtoimprovethisalgorithmforsolvingtheSATprob
8、lemiswhatthispaperconcerns.Inthispaper,thepersonificationstrategiesobtainedbyobservingandlearningfromthesocialandnaturephenomenaarepresented.Thesestrategiesaregenerallystraightforwardandintuitive,andarehelpfulforthesearchprocessjumpingoutoflocalminim
