期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
求解SAT问题的局部搜索算法及其平均时间复杂性分析
被引量：
5
1
作者
刘涛
李国杰
《计算机学报》
EI
CSCD
北大核心
1997年第1期18-26,共9页
ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算理论等领域有着广泛的应用背景．近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功．本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析．假设ＳＡＴ问题...
ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算理论等领域有着广泛的应用背景．近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功．本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析．假设ＳＡＴ问题中ＣＮＦ公式的子句数为ｎ，变量数为ｍ，每个子句长度为Ｌ，则局部搜索算法的平均时间复杂性分析结果为：当ｎ＜２Ｌｍ时，求解随机ＳＡＴ问题的算法复杂性为Ｏ（ｎＯ（１）Ｌ（１＋ｎ１＋ε／ｍ）），ε＞０，特别地，对于时的３－ＳＡＴ问题，算法复杂性为Ｏ（ｎ２（１＋ｎ１＋ε／ｍ））．当ｎｍ时，算法复杂性为Ｏ（ｎＬ）．
展开更多
关键词
SAT问题
局部搜索
回溯算法
平均时间复杂性
在线阅读
下载PDF
职称材料
题名
求解SAT问题的局部搜索算法及其平均时间复杂性分析
被引量：
5
1
作者
刘涛
李国杰
机构
中国科学院计算技术研究所
出处
《计算机学报》
EI
CSCD
北大核心
1997年第1期18-26,共9页
文摘
ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算理论等领域有着广泛的应用背景．近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功．本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析．假设ＳＡＴ问题中ＣＮＦ公式的子句数为ｎ，变量数为ｍ，每个子句长度为Ｌ，则局部搜索算法的平均时间复杂性分析结果为：当ｎ＜２Ｌｍ时，求解随机ＳＡＴ问题的算法复杂性为Ｏ（ｎＯ（１）Ｌ（１＋ｎ１＋ε／ｍ）），ε＞０，特别地，对于时的３－ＳＡＴ问题，算法复杂性为Ｏ（ｎ２（１＋ｎ１＋ε／ｍ））．当ｎｍ时，算法复杂性为Ｏ（ｎＬ）．
关键词
SAT问题
局部搜索
回溯算法
平均时间复杂性
Keywords
SAT problem, local search, backtracking algorithm, average time complexity.
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
求解SAT问题的局部搜索算法及其平均时间复杂性分析
刘涛
李国杰
《计算机学报》
EI
CSCD
北大核心
1997
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
