| 基于学习的GSAT算法 |
| |
| 引用本文： | 林智勇,郝志峰,刘海.基于学习的GSAT算法[J].华南理工大学学报(自然科学版),2002,30(7):5-8,12. |
| |
| 作者姓名： | 林智勇 郝志峰 刘海 |
| |
| 作者单位： | 华南理工大学应用数学系,广东广州,510640 |
| |
| 基金项目： | 国家自然科学基金资助项目 (19990 10 0 9)，广东省自然科学基金资助项目 (970 4 720 0 0 4 6 3)，中国科学院软件研究所计算机科学开放研究实验室资助项目 |
| |
| 摘 要： | 在GSAT算法的基础上，引进学习的概念，设计了一种新的SAT求解算法，用若干DIMAC的测试实例进行了仿真实验研究，比较了基于学习的GSAT算法与著名的Random Walk GSAT算法，结果表明两种算法对于随机SAT的实例比较有效，但对于Real-World SAT的实例性能较差。
|
| 关 键 词： | GSAT算法 可满足性问题 局部搜索 随机游走 学习算法 Random Walk GSAT算法 真值指派 |
| 文章编号： | 1000-565X(2002)07-0005-04 |
Learning-Based GSAT Algorithm |
| |
| Lin Zhi_yong,Hao Zhi_feng,Liu Hai.Learning-Based GSAT Algorithm[J].Journal of South China University of Technology(Natural Science Edition),2002,30(7):5-8,12. |
| |
| Authors: | Lin Zhi_yong Hao Zhi_feng Liu Hai |
| |
| Abstract: | A new learning_based GSAT algorithm is introduced, and then are use some DIMAC benchmarks to compare our algorithm with Random Walk GSAT, one of the famous SAT local search algorithms. Experiment results show that both algorithms are efficient to the random SAT model, but have low efficiency to the Real_World SAT model. |
| |
| Keywords: | SAT GSAT random walk weighting learning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
