智能计算机与应用
智能計算機與應用
지능계산궤여응용
Computer Study
2012年
3期
33-36,39
,共5页
SAT问题%局部搜索算法%函数变换%最速下降法
SAT問題%跼部搜索算法%函數變換%最速下降法
SAT문제%국부수색산법%함수변환%최속하강법
提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题.随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部极值为0,则该SAT问题就是可满足的.实验结果表明:与现有的求解SAT问题的算法相比,基于函数变换的求解算法在求解速度、成功率和求解问题的规模等方面都有明显的提高.
提齣瞭一種基于函數變換的求解SAT問題的新算法,這箇新算法利用SAT問題自身的特點將判定問題轉化為連續函數的求極值問題.隨機選取一組初始值,利用最速下降法求解變換後的連續函數在每箇初始值鄰域內所能達到的跼部極值,如果這箇跼部極值為0,則該SAT問題就是可滿足的.實驗結果錶明:與現有的求解SAT問題的算法相比,基于函數變換的求解算法在求解速度、成功率和求解問題的規模等方麵都有明顯的提高.
제출료일충기우함수변환적구해SAT문제적신산법,저개신산법이용SAT문제자신적특점장판정문제전화위련속함수적구겁치문제.수궤선취일조초시치,이용최속하강법구해변환후적련속함수재매개초시치린역내소능체도적국부겁치,여과저개국부겁치위0,칙해SAT문제취시가만족적.실험결과표명:여현유적구해SAT문제적산법상비,기우함수변환적구해산법재구해속도、성공솔화구해문제적규모등방면도유명현적제고.