计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2005年
9期
1476-1482
,共7页
SAT问题%遗传算法%子句权重%早熟
SAT問題%遺傳算法%子句權重%早熟
SAT문제%유전산법%자구권중%조숙
该文提出了一种求解SAT问题的改进遗传算法(SAT-WAGA).SAT-WAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SAT-WAGA等多个算法的实验系统,对选择最佳早熟判定参数值给出了一些有效的建议.实验结果表明:与一般遗传算法相比,SAT-WAGA算法在求解速度、成功率和求解问题的规模等方面都有明显的改善.
該文提齣瞭一種求解SAT問題的改進遺傳算法(SAT-WAGA).SAT-WAGA算法有多箇改進性特點:將SAT問題的結構信息量化為子句權重,增加瞭學習算子和判定早熟參數,學習算子能根據求解過程中的動態信息對子句權重進行調整,以便防止遺傳進程的早熟,同時,算法還採用瞭最優染色體保存策略,防止進化過程的髮散.該文最後描述瞭實現包括SAT-WAGA等多箇算法的實驗繫統,對選擇最佳早熟判定參數值給齣瞭一些有效的建議.實驗結果錶明:與一般遺傳算法相比,SAT-WAGA算法在求解速度、成功率和求解問題的規模等方麵都有明顯的改善.
해문제출료일충구해SAT문제적개진유전산법(SAT-WAGA).SAT-WAGA산법유다개개진성특점:장SAT문제적결구신식양화위자구권중,증가료학습산자화판정조숙삼수,학습산자능근거구해과정중적동태신식대자구권중진행조정,이편방지유전진정적조숙,동시,산법환채용료최우염색체보존책략,방지진화과정적발산.해문최후묘술료실현포괄SAT-WAGA등다개산법적실험계통,대선택최가조숙판정삼수치급출료일사유효적건의.실험결과표명:여일반유전산법상비,SAT-WAGA산법재구해속도、성공솔화구해문제적규모등방면도유명현적개선.
