| SAT局部搜索算法的转移矩阵模型 |
| |
| 引用本文： | 曾卫玲,周智,黄刘生. SAT局部搜索算法的转移矩阵模型[J]. 计算机工程, 2006, 32(3): 199-202 |
| |
| 作者姓名： | 曾卫玲 周智 黄刘生 |
| |
| 作者单位： | 中国科学技术大学计算机科学系,合肥,230027 |
| |
| 摘 要： | 对不完全算法在搜索空间上的部分特性进行统计分析，并对算法的执行轨迹进行Markov建模，推导出算法的转移矩阵模型，最后通过实验证明了该模型的正确性。
|
| 关 键 词： | 局部搜索 搜索空间 模型 |
| 文章编号： | 1000-3428（2006）03-0199-04 |
| 收稿时间： | 2005-01-12 |
| 修稿时间： | 2005-01-12 |
A Transition Matrix Model of Local Search Algorithm for Satisfiability Problem |
| |
| ZENG Weiling,ZHOU Zhi,HUANG Liusheng. A Transition Matrix Model of Local Search Algorithm for Satisfiability Problem[J]. Computer Engineering, 2006, 32(3): 199-202 |
| |
| Authors: | ZENG Weiling ZHOU Zhi HUANG Liusheng |
| |
| Affiliation: | Computer Science Department, University of Science and Technology of China, Hefei 230027 |
| |
| Abstract: | This paper makes a statistical analysis on some attributes of search space first, then models in track of algorithms and gets the transition matrix model of them. These experiments also show that the model is accords with practice. |
| |
| Keywords: | SAT |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
