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
Key words:
SAT; Local search; Search space; Model
摘要： 对不完全算法在搜索空间上的部分特性进行统计分析，并对算法的执行轨迹进行Markov 建模，推导出算法的转移矩阵模型，最后通过实验证明了该模型的正确性。
关键词:
SAT；局部搜索；搜索空间；模型
ZENG Weiling, ZHOU Zhi, HUANG Liusheng. A Transition Matrix Model of Local Search Algorithm for Satisfiability Problem[J]. Computer Engineering, 2006, 32(3): 199-102.
曾卫玲，周 智，黄刘生. SAT 局部搜索算法的转移矩阵模型[J]. 计算机工程, 2006, 32(3): 199-102.