首页> 中文期刊> 《计算机工程》 >SAT局部搜索算法的转移矩阵模型

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2006年第3期|199-202|共4页
作者
曾卫玲; 周智; 黄刘生;
展开▼
作者单位

中国科学技术大学计算机科学系;

合肥;

230027;

中国科学技术大学计算机科学系;

合肥;

230027;

中国科学技术大学计算机科学系;

合肥;

230027;

展开▼
原文格式 PDF
正文语种 chi
中图分类可计算性理论;
关键词
SAT; 局部搜索; 搜索空间; 模型;

相似文献

中文文献
外文文献
专利

1. 基于加强概率控制策略的SAT局部搜索算法 [J] . 洪剑珂 ,张峥华 ,许贵平 . 计算机工程与应用 . 2017,第014期
2. MAX-SAT问题一种改进的局部搜索算法 [J] . 赵同昇 ,朱文兴 . 计算机工程与科学 . 2008,第011期
3. 一个求解结构SAT问题的高效局部搜索算法 [J] . 梁东敏 ,吴晔 ,马绍汉 . 计算机学报 . 1998,第0z1期
4. 求解SAT问题的局部搜索算法及其平均时间复杂性分析 [J] . 刘涛 ,李国杰 . 计算机学报 . 1997,第001期
5. MAX-SAT问题的一种改进的禁忌搜索算法 [J] . 刘飞 . 福建电脑 . 2013,第002期
6. MAX-SAT问题一种改进的局部搜索算法 [C] . . 2008年全国理论计算机科学学术年会 . 2008
7. SAT问题的随机算法的转移矩阵模型 [A] . 曾卫玲 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号