基于學(xué)習(xí)的GSAT算法

在GSAT算法的基礎(chǔ)上,引進(jìn)學(xué)習(xí)的概念,設(shè)計(jì)了一種新的SAT求解算法.用若干DIMAC的測(cè)試實(shí)例進(jìn)行了仿真實(shí)驗(yàn)研究,比較了基于學(xué)習(xí)的GSAT算法與著名的Random Walk GSAT算法.結(jié)果表明兩種算法對(duì)于隨機(jī)SAT的實(shí)例比較有效,但對(duì)于Real-World SAT的實(shí)例性能較差.

作 者： 林智勇 郝志峰 劉海   作者單位： 華南理工大學(xué)應(yīng)用數(shù)學(xué)系,廣東廣州,510640  刊 名： 華南理工大學(xué)學(xué)報(bào)(自然科學(xué)版)  ISTIC EI PKU 英文刊名： JOURNAL OF SOUTH CHINA UNIVERSITY OF TECHNOLOGY(NATURAL SCIENCE EDITION)  年，卷(期)： 2002 30(7)  分類(lèi)號(hào)： O157 TP30  關(guān)鍵詞： 可滿(mǎn)足性問(wèn)題   局部搜索   隨機(jī)游走   加權(quán)   學(xué)習(xí)  

【基于學(xué)習(xí)的GSAT算法】相關(guān)文章：

基于粒子群算法的資源均衡04-27

基于分解算法的RM及DFRM之間的轉(zhuǎn)換04-26

基于UKF的機(jī)載無(wú)源定位算法04-27

基于正則蘊(yùn)涵算子的三Ⅰ算法的性質(zhì)04-27

基于結(jié)構(gòu)特征的空間目標(biāo)識(shí)別算法04-26

基于蟻群算法的火災(zāi)人群疏散仿真04-26

基于支持向量機(jī)的紅外成像跟蹤算法04-27

基于遺傳算法的飛機(jī)氣動(dòng)優(yōu)化設(shè)計(jì)04-27

基于進(jìn)化算法的測(cè)控飛機(jī)跟蹤路徑規(guī)劃04-26

基于遺傳算法CSAMT反演計(jì)算研究04-27