期刊文献+
共找到16篇文章
< 1 >
每页显示 20 50 100
一种求解3-SAT问题的新方法 被引量:6
1
作者 贺毅朝 王彦祺 寇应展 《计算机工程与应用》 CSCD 北大核心 2006年第16期70-72,共3页
可满足性问题(SatisfiabilityProblem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法。文章根据Kennedy和Eberhart提出的二进制粒子群优化算法(BinaryParticleSwarmOptimizers),基于局部随机搜索策略... 可满足性问题(SatisfiabilityProblem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法。文章根据Kennedy和Eberhart提出的二进制粒子群优化算法(BinaryParticleSwarmOptimizers),基于局部随机搜索策略,给出了一种求解3-SAT问题的新方法:基于局部随机搜索的改进二进制粒子群优化算法(ModifedBinaryParticleSwarmOptimizersBasedonlocalstochasticsearch,简称MBPSO)。数值实验表明,对于随机产生的3-SAT问题测试实例,该算法是一种高效实用的新方法。 展开更多
关键词 3-sat问题 合取范式 PSO算法 局部搜索
在线阅读 下载PDF
严格随机正则(3,s)-SAT模型及其相变现象 被引量:7
2
作者 周锦程 许道云 +1 位作者 卢友军 代寸宽 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第12期2563-2571,共9页
研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则(3,s)-SAT问题,并给出了该问题的实例产生模型——SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则(3,s)-SAT问题相变点的上界,即... 研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则(3,s)-SAT问题,并给出了该问题的实例产生模型——SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则(3,s)-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则(3,s)-SAT实例是高概率不可满足的。实验结果表明:由SRR模型所生成的随机实例中,当N>60且s>11时,所有的(3,s)-SAT实例均是不可满足的,而当N>150且s<11时,所有的(3,s)-SAT实例均是可满足的,即严格随机正则(3,s)-SAT实例的相变点位于s=11处,且在s=11处(子句变元比为11/3)的严格随机正则(3,s)-SAT实例,比在相变点(子句变元比)4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。 展开更多
关键词 严格正则(3 s)-sat问题 相变性质 计算复杂性 难解实例产生模型 生成函数
原文传递
基于聚类排序选择方法求解3-SAT问题的遗传算法 被引量:1
3
作者 王晓峰 尚旭静 《大连民族学院学报》 CAS 2009年第3期267-271,共5页
使用聚类排序选择方法的遗传算法,加入交叉算子和变异算子求解3-SAT问题。根据适应度函数及问题本身的特性,对阈值δ进行调节,重新生成新的种群聚类,有效地抑制了算法延迟收敛的可能性及可满足性范式无解的可能性,使得与同类算法相比,... 使用聚类排序选择方法的遗传算法,加入交叉算子和变异算子求解3-SAT问题。根据适应度函数及问题本身的特性,对阈值δ进行调节,重新生成新的种群聚类,有效地抑制了算法延迟收敛的可能性及可满足性范式无解的可能性,使得与同类算法相比,在时间上有很大的改进。最后给出基本的求解算法并分析了该算法的复杂性。 展开更多
关键词 3-sat问题 遗传算法 CNF范式
在线阅读 下载PDF
2-3-SAT问题相变现象剖析及其应用 被引量:1
4
作者 白硕 卜东波 《软件学报》 EI CSCD 北大核心 1998年第11期828-832,共5页
3-SAT问题有一个非常奇妙的相变现象.对于固定的变量数N,合取范式的可满足概率随着子句个数K的变化而发生剧烈的变化;当K≈4.3*N时,可满足概率急剧地从1变为0.相变现象决定了问题的难易分布,对于快速求解算法的设... 3-SAT问题有一个非常奇妙的相变现象.对于固定的变量数N,合取范式的可满足概率随着子句个数K的变化而发生剧烈的变化;当K≈4.3*N时,可满足概率急剧地从1变为0.相变现象决定了问题的难易分布,对于快速求解算法的设计有着非常重要的意义.文章着重讨论了SAT问题的更一般形式,即2-3-SAT问题的相变现象.研究了相变点处的2-子句和3-子句个数的关系,发现了2-子句和3-子句在约束能力意义下的当量关系。 展开更多
关键词 NP完全问题 sat问题 相变现象 计算机
在线阅读 下载PDF
3-SAT问题的编码设计及评估函数值的求解 被引量:1
5
作者 田华 《铜仁学院学报》 2007年第3期88-89,96,共3页
基于遗传算法,采用二进制串对3-SAT问题进行编码,编码设计完全符合遗传算法的特点,在使用遗传算子的过程中不会出现非法编码,数据结构简单,易于实现,通过寻求较好的方式来表达问题及其解,尽可能从易于实现的角度高效率求得评估函数值。
关键词 遗传算法 3-sat问题 二进制 编码 评估函数
在线阅读 下载PDF
基于遗传算法的3-SAT问题判定
6
作者 王晓峰 《宁夏工程技术》 CAS 2009年第2期109-111,共3页
通过对遗传算法的改进,引入了聚类排序选择算子,将一个3-SAT的判定性问题转换成一个3-SAT的验证性问题,同时加快了算法的收敛程度,最后给出了基本的求解算法,并分析了该算法的复杂性。实验数据表明,该算法的可靠性有较大地提高,性能明... 通过对遗传算法的改进,引入了聚类排序选择算子,将一个3-SAT的判定性问题转换成一个3-SAT的验证性问题,同时加快了算法的收敛程度,最后给出了基本的求解算法,并分析了该算法的复杂性。实验数据表明,该算法的可靠性有较大地提高,性能明显优于其他同类算法。 展开更多
关键词 3-sat问题 遗传算法 CNF公式
在线阅读 下载PDF
基于任务分配与调度的GSAT算法求解3-SAT问题 被引量:1
7
作者 付慧敏 徐扬 +1 位作者 何星星 宁欣然 《计算机工程与科学》 CSCD 北大核心 2018年第8期1366-1374,共9页
基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形成一个任务,在GSAT算法的基础上,引入任务分配与调度指导贪心搜... 基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形成一个任务,在GSAT算法的基础上,引入任务分配与调度指导贪心搜索;同时,在保留原有贪心搜索的前提下,根据任务分配与调度的思想和3-SAT问题的特点,设计了两种新的策略—分配策略和调度策略共同完成整个贪心搜索过程。以标准的SATLAB库中变量个数从20~250的3 700个不同规模的标准Uniform Random-3-SAT问题对新的算法的性能进行了合理的测试,并与高效和普通性能改进的GSAT算法的结果作了比较,结果表明,该算法具有更高的成功率和更少的翻转次数。 展开更多
关键词 Gsat算法 贪心搜索 任务分配与调度 3-sat问题 分配策略 调度策略
在线阅读 下载PDF
基于DPLL的混合遗传算法求解SAT问题 被引量:3
8
作者 王晓峰 许道云 唐瑞雪 《计算机工程与科学》 CSCD 北大核心 2010年第5期54-56,104,共4页
基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个... 基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派。同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率。相关的实验数据表明,本算法的性能明显优于同类算法。 展开更多
关键词 sat问题 遗传算法 聚类排序选择
在线阅读 下载PDF
随机正则3-(d,k)-SAT问题的可满足性相变
9
作者 王晓峰 唐傲 +4 位作者 彭庆媛 颜冬 华盈盈 何飞 王军霞 《华中科技大学学报(自然科学版)》 2025年第10期42-48,83,共8页
受随机正则恰当(d,k)-SAT(可满足性)问题的特征启发,提出了随机正则3-(d,k)-SAT问题.首先,引入了随机正则3-(d,k)-SAT问题实例生成模型,用于产生随机正则(d,k)-CNF(合取范式)公式.该模型采用完美匹配机制,每个随机完美匹配都对应一个随... 受随机正则恰当(d,k)-SAT(可满足性)问题的特征启发,提出了随机正则3-(d,k)-SAT问题.首先,引入了随机正则3-(d,k)-SAT问题实例生成模型,用于产生随机正则(d,k)-CNF(合取范式)公式.该模型采用完美匹配机制,每个随机完美匹配都对应一个随机正则3-(d,k)-SAT实例.然后,结合一阶矩方法、二阶矩方法和正则(d,k)-CNF公式的解空间结构,给出了当k>3时,随机正则3-(d,k)-SAT问题的可满足性相变点dk.当d>dk时,随机正则(d,k)-CNF实例公式高概率3-恰当不可满足;当d<dk时,随机正则(d,k)-CNF实例公式高概率3-恰当可满足.最后,分别取变元规模n=10,k=6和n=15,k=10的两组数据集进行实验.实验结果表明:随机正则3-(d,k)-SAT问题存在相变现象,分别发生在d_(6)=1.407 4和d_(10)=1.962 4附近,验证了理论证明所得相变点的正确性. 展开更多
关键词 相变现象 随机正则3-(d k)-sat问题 矩方法 正则(d k)-CNF公式 生成模型
原文传递
一种具有混合编码的二进制差分演化算法 被引量:50
10
作者 贺毅朝 王熙照 寇应展 《计算机研究与发展》 EI CSCD 北大核心 2007年第9期1476-1484,共9页
差分演化(DE)是Storn和Price于1997年提出的一种基于个体差异重组思想的演化算法,非常适用于求解连续域上的最优化问题.首先引入"差异算子"等概念,给出DE的一种简洁算法描述,并分析了它所具有的特性.然后,为了使DE能够求解离... 差分演化(DE)是Storn和Price于1997年提出的一种基于个体差异重组思想的演化算法,非常适用于求解连续域上的最优化问题.首先引入"差异算子"等概念,给出DE的一种简洁算法描述,并分析了它所具有的特性.然后,为了使DE能够求解离散域上的最优化问题,基于数学变换思想引入"辅助搜索空间"和"个体混合编码"等概念,通过定义一个特殊的满射变换,在辅助搜索空间的作用下将连续域上的高效差分演化搜索变换为离散域上的同步演化搜索,由此提出了第1个二进制差分演化算法:具有混合编码的二进制差分演化算法(HBDE).接着,给出了HBDE的依概率收敛和完全收敛的定义,并利用离散Markov随机理论证明了HBDE是完全收敛的.HBDE不仅完全具有DE的各种特性和所有优点,而且非常适用于求解离散域上的最优化问题,对随机生成的大规模3-SAT问题实例和典型0/1背包问题实例的数值计算表明:该算法具有很好的全局收敛性和稳定性,其性能远远超过二进制粒子群优化算法和遗传算法. 展开更多
关键词 差分演化 个体混合编码 辅助搜索空间 3-sat问题 背包问题
在线阅读 下载PDF
一种适于求解离散问题的二进制粒子群优化算法 被引量:29
11
作者 贺毅朝 王彦祺 刘建芹 《计算机应用与软件》 CSCD 北大核心 2007年第1期157-159,共3页
分析了二进制粒子群优化算法(BPSO)的缺陷。为克服此缺陷提出了“粒子位置的双重结构编码”的概念,以此为基础给出一种新的二进制粒子群优化算法———具有双重结构编码的二进制粒子群优化算法(简称DS_BPSO)。DS_BPSO算法既保留了PSO的... 分析了二进制粒子群优化算法(BPSO)的缺陷。为克服此缺陷提出了“粒子位置的双重结构编码”的概念,以此为基础给出一种新的二进制粒子群优化算法———具有双重结构编码的二进制粒子群优化算法(简称DS_BPSO)。DS_BPSO算法既保留了PSO的优点,又非常适用于求解离散优化问题。对随机3-SAT测试实例的数值计算表明:该算法的性能远远超过BPSO算法。 展开更多
关键词 二进制粒子群优化 双重结构编码 3-sat问题
在线阅读 下载PDF
Hamming距离下的最短路逆问题 被引量:2
12
作者 张斌武 王勤 《河海大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第4期571-574,共4页
针对Hamming距离下的最短路逆问题,分析了最优解的性质,给出并证明了问题存在可行解的充分必要条件;利用把背包问题的实例多项式归约到该问题的实例,证明了该问题为NP困难的,为设计该类问题的近似算法提供了理论依据.
关键词 HAMMING距离 最短路 NP困难 多项式归约 3-sat问题
在线阅读 下载PDF
DNA粘接计算模型及其应用
13
作者 李燕 《潍坊学院学报》 2007年第6期10-12,共3页
DNA计算是应用分子生物技术进行计算的新方法。应用形式语言及自动机理论技术研究DNA计算理论,有利于推动理论计算科学的发展。本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应... DNA计算是应用分子生物技术进行计算的新方法。应用形式语言及自动机理论技术研究DNA计算理论,有利于推动理论计算科学的发展。本文根据DNA分子的结构及特点给出了DNA分子的形式化描述,介绍了DNA粘接计算模型的文法结构和计算能力,并应用DNA计算方法求解3-SAT问题。 展开更多
关键词 DNA计算 DNA粘接计算模型 3-sat问题
在线阅读 下载PDF
改进的模拟退火算法求解规则可满足性问题 被引量:10
14
作者 张九龙 王晓峰 +2 位作者 芦磊 牛鹏飞 程亚南 《现代电子技术》 2022年第5期122-128,共7页
对于随机k-SAT问题,限定每个变元出现的次数恰好出现d次,形成随机规则(k,d)-SAT问题,目前国内外对该问题的相关研究较少,且研究随机规则(k,d)-SAT问题比研究k-SAT问题更为具体。文中给出一种随机规则(k,d)-SAT问题的生成实例模型——RRI... 对于随机k-SAT问题,限定每个变元出现的次数恰好出现d次,形成随机规则(k,d)-SAT问题,目前国内外对该问题的相关研究较少,且研究随机规则(k,d)-SAT问题比研究k-SAT问题更为具体。文中给出一种随机规则(k,d)-SAT问题的生成实例模型——RRIG(N,k,d)模型,并用改进的模拟退火算法SARSAT求解规则随机规则(k,d)-SAT问题。将变元出现次数d加入到扰动策略中,利用变元出现次数和子句间约束关系中的启发信息对候选解中的赋值选择性改动,加快算法收敛至较优解的速度;同时,模拟退火算法中的Metropolis接受准则和改进后的退火策略保证了算法能够有效跳出局部最优解,最后使用RRIG(N,k,d)模型生成不同参数的测试实例,并与其他相关算法进行比较,结果表明SARSAT算法能有效解决规则可满足问题。 展开更多
关键词 模拟退火算法 规则可满足问题 随机正则(k d)-sat 启发式策略 随机3-sat问题 Metropolis接受准则 规则可满足性实例生成模型
在线阅读 下载PDF
一种布尔公式的代数逻辑约化新方法 被引量:1
15
作者 刘江 周鸿昊 《计算机科学》 CSCD 北大核心 2020年第5期32-37,共6页
布尔可满足问题是最早被证明的NP完全问题之一,1-in-3-SAT问题是一个NP完全的布尔可满足子类问题。1-in-3-SAT的计算复杂度取决于对应公式的变量以及子句的个数。将1-in-3公式归约为一个变量数或者子句数更少的1-in-3公式,是提高1-in-3-... 布尔可满足问题是最早被证明的NP完全问题之一,1-in-3-SAT问题是一个NP完全的布尔可满足子类问题。1-in-3-SAT的计算复杂度取决于对应公式的变量以及子句的个数。将1-in-3公式归约为一个变量数或者子句数更少的1-in-3公式,是提高1-in-3-SAT问题求解效率的一个关键。基于一个新的范式形式——XCNF,针对1-in-3-SAT问题提出一种新的代数逻辑约化方法,用于在多项式时间内约减一个1-in-3公式的变量数和子句数。所提算法的主要思想为:首先将1-in-3公式转化为XCNF公式,然后尝试找出XCNF公式中的X-纯文字,并利用X-纯文字法则对1-in-3公式中相应的布尔变量赋值,最后得到一个约减公式,该约减公式与原公式的1-in-3可满足性等价。 展开更多
关键词 NP完全问题 布尔可满足性问题 1-in-3-sat XCNF X-纯文字
在线阅读 下载PDF
ON THE COMPUTATIONAL COMPLEXITY OF THE MAXIMUM TRADE PROBLEM
16
作者 Z.-Q. Luo D.L. PARNAS(Communications Research Laboratocy Department of Electrical and Computer Engineering,Mcmaster University, Hamilton,Ontario, Canada L8S 4K1) 《Acta Mathematicae Applicatae Sinica》 SCIE CSCD 1994年第4期434-440,共7页
Consider a computer assisted trading system in which the needs and the products of the traders are compared by a computer system and the trading proceeds without attaching a dollar price to each commodity. In such a s... Consider a computer assisted trading system in which the needs and the products of the traders are compared by a computer system and the trading proceeds without attaching a dollar price to each commodity. In such a system the computer serves as aii 'intelligent' communication link between traders, enhancing the ability of producers and consumers to exchange goods. In this paper, we examine one computational aspect of such computerized trading schemes:Given a list of trading proposals (each proposal specifying the quantities of the commodities to be traded),how should one arrange the trades so that the maximum number of trades can be made in the market? We show that this maximum trade problem is computationally hard; it is NP-complete (Nondeterministic Polynomial Time Complete). We then describe some related open questions and potential solutions. 展开更多
关键词 Computational complexity maximum trade problem 3-sat problem
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部