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

• 作者: 周智 曾卫玲 黄刘生
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: SAT 局部搜索 搜索空间 模型
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 199-202
• 页数: 4页
• 分类号: TP301.4
• 字数: 4505字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.03.072

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄刘生	中国科学技术大学计算机科学系	134	1203	17.0	28.0
2	周智	中国科学技术大学计算机科学系	13	69	5.0	8.0
3	曾卫玲	中国科学技术大学计算机科学系	1	1	1.0	1.0