期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到7篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
MAX-SAT问题一种改进的局部搜索算法 被引量：2
1
作者 赵同昇 朱文兴 《计算机工程与科学》 CSCD 2008年第11期50-52,79,共4页
局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部... 局部搜索算法是求解大规模SAT问题的高效算法。经典的局部搜索算法有GSAT、WSAT、TSAT、NSAT等,但这些算法的初始解都是随机产生的。本文提出了用单纯形法产生"初始概率"(每个变量取1的概率) ,用"初始概率"对局部搜索算法中变量的初始随机指派进行适当的约束,使在局部搜索的开始阶段,满足的子句数大大增加,加快了收敛的速度。通过对不同规模的随机STA问题实例的实验表明,这些改进有效地提高了局部搜索算法求解SAT问题的效率。 展开更多
关键词 max-sat问题 局部搜索 单纯形法
下载PDF
利用改进的HBDE算法求解MAX-k-SAT问题
2
作者 宋建民 苟海燕 《河北省科学院学报》 CAS 2014年第1期1-7,共7页
目前,利用进化算法求解组合优化问题已成为智能计算领域中的研究热点。本文基于二进制差分演化算法和动态变邻域搜索相结合提出了一种求解最大可满足问题(MAX-k-SAT)的改进算法(记为IBDE),通过与遗传算法和Johnson算法对一系列随机大规... 目前,利用进化算法求解组合优化问题已成为智能计算领域中的研究热点。本文基于二进制差分演化算法和动态变邻域搜索相结合提出了一种求解最大可满足问题(MAX-k-SAT)的改进算法(记为IBDE),通过与遗传算法和Johnson算法对一系列随机大规模MAX-k-SAT实例的求解比较表明:IBDE是一种求解MAX-k-SAT问题非常有效的新方法。 展开更多
关键词 二进制差分演化 变邻域搜索 组合优化问题 max-sat问题
下载PDF
一种求解MAX-k-SAT问题的新方法
3
作者 宋建民 弓小影 《河南科技学院学报（自然科学版）》 2014年第2期45-48,共4页
基于差分演化算法提出了一种求解最大可满足问题(MAX-k-SAT)的改进算法,记为IBDE,并通过对一系列随机大规模MAX-k-SAT实例的求解进行验证.实验结果表明:IBDE是一种求解MAX-k-SAT问题非常有效的新方法.
关键词 二进制差分演化 组合优化 max-sat问题
下载PDF
MAX-SAT问题的一种改进的禁忌搜索算法
4
作者 刘飞 《福建电脑》 2013年第2期103-105,共3页
求解SAT问题的经典禁忌搜索算法TSSAT初始解是随机产生的,本文在传统的禁忌搜索算法的基础上提出了一种改进初始解的方法。通过对不同规模的随机SAT问题实例的测试表明,这种改进可以有效地提高禁忌搜索过程中求解SAT问题的效率。
关键词 max-sat问题 禁忌搜索 单纯形法
下载PDF
一个求解加权MAX-SAT问题的改进蚁群算法 被引量：1
5
作者 唐天兵 石科 +2 位作者 李炳慧 谢祥宏 严毅 《广西大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第2期315-319,共5页
加权MAX-SAT问题(WMSAT)是一个NP-难问题,针对WMSAT的特点,提出一个改进的蚁群算法。该算法的研究对象由"边"转化为"顶点",简化算法模型;提出取值概率的概念,并以之替换信息素,实现对蚁群进化的直接控制,提高蚁群... 加权MAX-SAT问题(WMSAT)是一个NP-难问题,针对WMSAT的特点,提出一个改进的蚁群算法。该算法的研究对象由"边"转化为"顶点",简化算法模型;提出取值概率的概念,并以之替换信息素,实现对蚁群进化的直接控制,提高蚁群的可进化性。实验结果表明新算法是有效的。 展开更多
关键词 加权max-sat问题 蚁群算法 取值概率
下载PDF
无向图中边不相交Min-Min问题的复杂度(英文)
6
作者 郭龙坤 沈鸿 《中国科学院研究生院学报》 CAS CSCD 北大核心 2012年第4期549-554,共6页
Bhatia等指出,Xu等对无向图中的边不相交Min-Min问题的NP-完全性证明并不成立.我们首先用一个反例指出Bhatia等对Xu等的NP-完全性证明的修正依然存在错误.基于一个从MAX-2SAT的归约,我们给出了一个无向图中边不相交Min-Min问题的NP-完... Bhatia等指出,Xu等对无向图中的边不相交Min-Min问题的NP-完全性证明并不成立.我们首先用一个反例指出Bhatia等对Xu等的NP-完全性证明的修正依然存在错误.基于一个从MAX-2SAT的归约,我们给出了一个无向图中边不相交Min-Min问题的NP-完全性的正确证明. 展开更多
关键词 Min-Min问题 NP-完全 不相交路径对 max-2sat问题
下载PDF
MAX-k-SAT的PTAS归约等价性
7
作者 许道云 秦永彬 《计算机科学与探索》 CSCD 2009年第6期641-648,共8页
通过构造适当的极小不可满足公式,利用子句拼接技术,引入了一个一般化的从k-CNF公式(k≥3)到3-CNF公式之间的归约转换。基于该转换,给出了一个真值指派的转换算法,并证明了MAX-k-SAT与MAX-3-SAT是PTAS归约等价的。因此,对于k,t≥3,MAX-k... 通过构造适当的极小不可满足公式,利用子句拼接技术,引入了一个一般化的从k-CNF公式(k≥3)到3-CNF公式之间的归约转换。基于该转换,给出了一个真值指派的转换算法,并证明了MAX-k-SAT与MAX-3-SAT是PTAS归约等价的。因此,对于k,t≥3,MAX-k-SAT与MAX-t-SAT是PTAS归约等价的。 展开更多
关键词 极小不可满足公式 归约 max—k—sat问题 PTAS等价
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部