节点文献

SAT局部搜索算法的转移矩阵模型

A Transition Matrix Model of Local Search Algorithm for Satisfiability Problem

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 ZENG Weiling,ZHOU Zhi,HUANG Liusheng(Computer Science Department,University of Science and Technology of China,Hefei 230027)

【机构】中国科学技术大学计算机科学系；中国科学技术大学计算机科学系合肥230027；合肥230027；

【摘要】对不完全算法在搜索空间上的部分特性进行统计分析,并对算法的执行轨迹进行Markov建模,推导出算法的转移矩阵模型,最后通过实验证明了该模型的正确性。更多还原

【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.更多还原

【关键词】 SAT；局部搜索；搜索空间；模型；
【Key words】 SAT； Local search； Search space； Model；

【文献出处】计算机工程 ,Computer Engineering , 编辑部邮箱 ,2006年03期

【分类号】TP301.6
【被引频次】1
【下载频次】114

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献