期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到86篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
最坏情况下Min-2SAT问题的上界 被引量：1
1
作者 谷文祥 姜蕴晖 +1 位作者 周俊萍 殷明浩 《智能系统学报》 北大核心 2012年第3期241-245,共5页
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinS... 最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目. 展开更多
关键词 Maxsat Minsat Min-2sat Maxsat问题的上界 Min-2sat问题的上界 子句数目 分支树
在线阅读 下载PDF
求解SAT问题的拟人退火算法 被引量：27
2
作者 张德富 黄文奇 汪厚祥 《计算机学报》 EI CSCD 北大核心 2002年第2期148-152,共5页
该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有... 该文利用一个简单的变换 ,将可满足性 (SAT)问题转换为一个求相应目标函数最小值的优化问题 ,提出了一种用于跳出局部陷阱的拟人策略 .基于模拟退火算法和拟人策略 ,为 SAT问题的高效近似求解得出了拟人退火算法 (PA) ,该方法不仅具有模拟退火算法的全局收敛性质 ,而且具有一定的并行性、继承性 .数值实验表明 ,对于本文随机产生的测试问题例 ,采用拟人策略的模拟退火算法的结果优于局部搜索算法、模拟退火算法以及近来国际上流行的 WAL KSAT算法 。 展开更多
关键词 sat问题 模拟退火算法 拟人退火算法 目标函数 计算机 可满足性
在线阅读 下载PDF
基于子句权重学习的求解SAT问题的遗传算法 被引量：15
3
作者 凌应标 吴向军 姜云飞 《计算机学报》 EI CSCD 北大核心 2005年第9期1476-1482,共7页
该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,... 该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SATWAGA等多个算法的实验系统,对选择最佳早熟判定参数值给出了一些有效的建议.实验结果表明:与一般遗传算法相比,SATWAGA算法在求解速度、成功率和求解问题的规模等方面都有明显的改善. 展开更多
关键词 sat问题 遗传算法 子句权重 早熟
在线阅读 下载PDF
求解SAT问题的量子免疫克隆算法 被引量：45
4
作者 李阳阳 焦李成 《计算机学报》 EI CSCD 北大核心 2007年第2期176-183,共8页
将量子计算应用于人工免疫系统中的克隆算子,提出了一种基于量子编码的免疫克隆算法(Quantum-InspiredImmuneClonalAlgorithm,QICA)来求解SAT问题,并从理论上证明了算法的全局收敛性.算法中采用量子位的编码方式来表达种群中的抗体,针... 将量子计算应用于人工免疫系统中的克隆算子,提出了一种基于量子编码的免疫克隆算法(Quantum-InspiredImmuneClonalAlgorithm,QICA)来求解SAT问题,并从理论上证明了算法的全局收敛性.算法中采用量子位的编码方式来表达种群中的抗体,针对这种编码方式采用量子旋转门和动态调整旋转角度策略对抗体进行演化,加速原有克隆算子的收敛;利用克隆算子的局部寻优能力强的特点,在各个子群体间采用量子交叉操作来增强信息交流,提高种群的多样性防止早熟.实验中,用标准SATLIB库中的3700个不同规模的标准SAT问题对QICA的性能作了全面的测试,并与单纯的量子遗传算法和简单免疫克隆算法以及著名的WalkSAT和PFEA2算法进行比较,仿真实验表明:QICA具有更高的成功率和运算效率.对于具有250个变量、1065个子句的SAT问题,QICA也仅用了1.357s,显示出了优越的性能. 展开更多
关键词 量子编码 遗传算法 人工免疫系统 克隆算子 sat问题
在线阅读 下载PDF
组织进化算法求解SAT问题 被引量：8
5
作者 刘静 钟伟才 +1 位作者 刘芳 焦李成 《计算机学报》 EI CSCD 北大核心 2004年第10期1422-1428,共7页
基于组织的概念设计了一种新的进化算法———求解SAT问题的组织进化算法 (OrganizationalEvolution aryAlgorithmforSATproblem ,OEASAT) .OEASAT将SAT问题分解成若干子问题 ,然后用每个子问题形成一个组织 ,并根据SAT问题的特点设计... 基于组织的概念设计了一种新的进化算法———求解SAT问题的组织进化算法 (OrganizationalEvolution aryAlgorithmforSATproblem ,OEASAT) .OEASAT将SAT问题分解成若干子问题 ,然后用每个子问题形成一个组织 ,并根据SAT问题的特点设计了三种组织进化算子———自学习算子、吞并算子和分裂算子以引导组织的进化 .根据组织的适应度 ,将所有组织分成两个种群———最优种群和非最优种群 ,然后用进化的方式来控制各算子 ,以协调各组织间的相互作用 .OEASAT通过先解决子问题 ,再协调相冲突变量的方式来求解SAT问题 .由于子问题的规模较小 ,相对于原问题来说较容易解决 ,这样就达到了降低问题复杂度的目的 .实验用标准SATLIB库中变量个数从 2 0～ 2 5 0的 370 0个不同规模的标准SAT问题对OEASAT的性能作了全面的测试 ,并与著名的WalkSAT和RFEA2的结果作了比较 .结果表明 ,OEASAT具有更高的成功率和更高的运算效率 .对于具有 2 5 0个变量、10 6 5个子句的SAT问题 ,OEASAT仅用了 1.5 2 4s,表现出了优越的性能 . 展开更多
关键词 组织 进化算法 sat问题 0EAsat 自学习算子 分裂算子 合取范式可满足性问题 人工智能
在线阅读 下载PDF
求解SAT问题的算法的研究进展 被引量：11
6
作者 郭莹 张长胜 张斌 《计算机科学》 CSCD 北大核心 2016年第3期8-17,共10页
SAT问题是研究最广泛的NPC问题之一。由于SAT问题本身的特性,除非P=NP,否则不存在最坏情况下多项式阶时间复杂度的SAT求解算法。因此设计出高效快速的SAT求解算法至今仍是研究热点。首先简要介绍了SAT问题;其次从完备算法、不完备算法... SAT问题是研究最广泛的NPC问题之一。由于SAT问题本身的特性,除非P=NP,否则不存在最坏情况下多项式阶时间复杂度的SAT求解算法。因此设计出高效快速的SAT求解算法至今仍是研究热点。首先简要介绍了SAT问题;其次从完备算法、不完备算法和组合算法3个角度总结了新近的研究进展,深入分析了已有算法解决SAT问题的基本流程,并从适用问题类别、算法特点、求解效率等方面对各类先进的求解器进行了对比分析;最后讨论了求解SAT问题的算法面临的挑战,并对下一步研究工作进行了展望。 展开更多
关键词 sat问题 完备算法 不完备算法 组合算法
在线阅读 下载PDF
O(m^2)时间求解SAT问题的随机算法 被引量：5
7
作者 徐云 陈国良 +1 位作者 许胤龙 顾钧 《计算机学报》 EI CSCD 北大核心 2001年第11期1136-1141,共6页
传统的求解 SAT问题的随机算法主要是对满足解进行搜索 ,在找不到满足解的情况下 ,则无法正确判断问题的可满足性 .该文提出了两个时间复杂度为 O( m2 )求解 SAT问题的随机算法 Sat Test1和 Sat Test2 ,这里 m为CNF公式中的子句数 .这... 传统的求解 SAT问题的随机算法主要是对满足解进行搜索 ,在找不到满足解的情况下 ,则无法正确判断问题的可满足性 .该文提出了两个时间复杂度为 O( m2 )求解 SAT问题的随机算法 Sat Test1和 Sat Test2 ,这里 m为CNF公式中的子句数 .这两个随机算法是通过对不满足解数的估计来判断 SAT问题的可满足性 ,不同于传统的随机算法 .其中第二个算法 Sat Test2在搜索满足解的同时又可以对不满足解数进行估计 ,是对传统随机算法的重要改进 .试验结果表明 ,文中提出的算法对相变区域的难 SAT实例有较好的求解能力 . 展开更多
关键词 sat问题 随机算法 数学期望 NP问题 计算机
在线阅读 下载PDF
利用近似解加速求解SAT问题的启发式完全算法 被引量：5
8
作者 荆明娥 周电 +1 位作者 唐璞山 周晓方 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第9期1184-1189,共6页
结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全算法.首先利用局部搜索算法快速地得到一个近似解,并将该近似解作为完全算法的初始输入,用于其中分支变量... 结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全算法.首先利用局部搜索算法快速地得到一个近似解,并将该近似解作为完全算法的初始输入,用于其中分支变量的相位决策.该算法引导完全算法优先搜索近似解所在的子空间,加速解决器找到可满足解的过程,为SAT问题的求解提供了一种新的有效途径.实验结果表明,该算法有效地提高了决策的精度和SAT解决器的效率,对很多实例非常有效. 展开更多
关键词 sat问题 完全算法 局部搜索 变量决策
在线阅读 下载PDF
求解SAT问题的多智能体社会进化算法 被引量：6
9
作者 潘晓英 焦李成 刘芳 《计算机学报》 EI CSCD 北大核心 2014年第9期2011-2020,共10页
基于Agent社会合作机制以及智能体对环境的感知和反作用能力提出了一种新的求解SAT问题的多智能体社会进化方法MASEA（Multi-AgentSocialEvolutionaryAlgorithm）。该方法在多智能体进化思想的基础上，引入人类社会“关系网模型”的概... 基于Agent社会合作机制以及智能体对环境的感知和反作用能力提出了一种新的求解SAT问题的多智能体社会进化方法MASEA（Multi-AgentSocialEvolutionaryAlgorithm）。该方法在多智能体进化思想的基础上，引入人类社会“关系网模型”的概念来建立智能体所能感知的邻域环境；同时在保留原有的竞争算子和自学习算子前提下，根据智能体具有竞争协作的特性，设计了一个新的算子---协作算子来共同完成整个进化过程。以标准SATLIB库中变量个数从20～250的3700个不同规模的标准SAT问题以及基于RB模型所产生的随机实例对MASEA的性能进行了全面的测试，并与其他一些具有较高性能算法的结果进行了比较。结果表明，MASEA具有更高的成功率和更高的运算效率。 展开更多
关键词 多智能体系统 进化算法 关系网模型 sat问题 协作算子
在线阅读 下载PDF
SAT问题中局部搜索法的改进 被引量：12
10
作者 杨晋吉 苏开乐 《计算机研究与发展》 EI CSCD 北大核心 2005年第1期60-65,共6页
局部搜索方法在求解SAT问题的高效率使其成为一研究热点.提出用初始概率的方法对局部搜索算法中变量的初始随机指派进行适当的约束.使在局部搜索的开始阶段,可满足的子句数大大增加,减少了翻转的次数,加快了求解的速度.用该方法对目前... 局部搜索方法在求解SAT问题的高效率使其成为一研究热点.提出用初始概率的方法对局部搜索算法中变量的初始随机指派进行适当的约束.使在局部搜索的开始阶段,可满足的子句数大大增加,减少了翻转的次数,加快了求解的速度.用该方法对目前的一些重要的SAT问题的局部搜索算法(如WSAT,TSAT,NSAT,SDF等)进行改进,通过对不同规模的随机3-SAT问题的实例和一些不同规模的结构性SAT问题的实例,以及利用相变现象构造的难解SAT实例测试表明,改进后的这些局部搜索算法的求解效率有了很大的提高.该方法对其他局部搜索法的改进具有参考价值。 展开更多
关键词 sat问题 局部搜索 概率
在线阅读 下载PDF
求解SAT问题的退火遗传算法 被引量：9
11
作者 孙强 马光胜 刘晓晓 《小型微型计算机系统》 CSCD 北大核心 2008年第7期1268-1271,共4页
提出一种将遗传算法与模拟退火算法相结合的SAT问题求解算法SAT-SAGA.该算法以遗传算法流程为主体,并把模拟退火机制融入其中,用以调整优化群体,防止陷入局部最优和出现早熟;在进化过程中算法采用了最优染色体保存策略,防止进化过程的发... 提出一种将遗传算法与模拟退火算法相结合的SAT问题求解算法SAT-SAGA.该算法以遗传算法流程为主体,并把模拟退火机制融入其中,用以调整优化群体,防止陷入局部最优和出现早熟;在进化过程中算法采用了最优染色体保存策略,防止进化过程的发散.实验表明:该算法在求解速度、成功率和求解问题的规模等方面都有明显的改善. 展开更多
关键词 sat问题 遗传算法 模拟退火算法
在线阅读 下载PDF
求解SAT问题的局部搜索算法及其平均时间复杂性分析 被引量：5
12
作者 刘涛 李国杰 《计算机学报》 EI CSCD 北大核心 1997年第1期18-26,共9页
ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算理论等领域有着广泛的应用背景．近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功．本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析．假设ＳＡＴ问题... ＳＡＴ问题在人工智能、ＶＬＳＩ设计和计算理论等领域有着广泛的应用背景．近年来，局部搜索算法在求解ＳＡＴ问题时得到了巨大的成功．本文除提出了多种改进策略之外，还对一般局部搜索算法进行了平均时间复杂性分析．假设ＳＡＴ问题中ＣＮＦ公式的子句数为ｎ，变量数为ｍ，每个子句长度为Ｌ，则局部搜索算法的平均时间复杂性分析结果为：当ｎ＜２Ｌｍ时，求解随机ＳＡＴ问题的算法复杂性为Ｏ（ｎＯ（１）Ｌ（１＋ｎ１＋ε／ｍ）），ε＞０，特别地，对于时的３－ＳＡＴ问题，算法复杂性为Ｏ（ｎ２（１＋ｎ１＋ε／ｍ））．当ｎｍ时，算法复杂性为Ｏ（ｎＬ）． 展开更多
关键词 sat问题 局部搜索 回溯算法 平均时间复杂性
在线阅读 下载PDF
量子协同免疫算法用于SAT问题的求解 被引量：2
13
作者 吴秋逸 李阳阳 焦李成 《系统工程与电子技术》 EI CSCD 北大核心 2009年第6期1441-1445,共5页
根据协同策略和量子免疫计算理论,提出一种求解SAT问题的量子协同免疫算法。该算法在将SAT问题转化为函数优化问题的基础上,采用多个子种群。分别采用量子比特编码来表达个体,采用通用的量子旋转门策略演化个体,采用量子交叉操作阻止早... 根据协同策略和量子免疫计算理论,提出一种求解SAT问题的量子协同免疫算法。该算法在将SAT问题转化为函数优化问题的基础上,采用多个子种群。分别采用量子比特编码来表达个体,采用通用的量子旋转门策略演化个体,采用量子交叉操作阻止早熟收敛;各种群独立演化,同时引入量子协同理论,采用协同算子使得算法的搜索效率更高。实验采用标准SATLAB库中的3 700个不同规模的问题对算法进行测试,并与简单克隆选择算法、量子遗传算法、量子免疫克隆选择算法进行比较。结果表明,量子协同免疫算法的平均成功率最高,平均运行时间和平均评价次数最少。 展开更多
关键词 sat问题 量子编码 人工免疫系统 协同理论
在线阅读 下载PDF
基于DPLL的混合遗传算法求解SAT问题 被引量：3
14
作者 王晓峰 许道云 唐瑞雪 《计算机工程与科学》 CSCD 北大核心 2010年第5期54-56,104,共4页
基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个... 基于"聚类排序选择"优化遗传算法求解SAT问题时,引入交叉算子和变异算子,并根据适应度函数及问题本身特性,调节阈值δ,生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛,从而保证了为可满足性公式能够快速找到一个可满足性指派。同时,在遗传算法中引入了DPLL算法,对部分变元进行消解,提高了算法的求解效率。相关的实验数据表明,本算法的性能明显优于同类算法。 展开更多
关键词 sat问题 遗传算法 聚类排序选择
在线阅读 下载PDF
d-正则(k,s)-SAT问题的NP完全性 被引量：3
15
作者 符祖峰 许道云 《软件学报》 EI CSCD 北大核心 2020年第4期1113-1123,共11页
研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则... 研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则约束的d-正则(k,s)-SAT问题,其要求实例中每个变元的正负出现次数之差不超过给定的自然数d.通过设计一种多项式时间的归约方法,证明d-正则(k,s)-SAT问题存在一个临界函数f(k,d),使得当s≤f(k,d)时,所有实例都可满足;当s≥f(k,d)+1时,d-正则(k,s)-SAT问题是NP完全问题.这种多项式时间的归约变换方法通过添加新的变元和新的子句,可以更改公式的子句约束密度,并约束每个变元正负出现次数的差值.这进一步说明,只用子句约束密度不足以刻画CNF公式结构的特点,对临界函数f(k,d)的研究有助于在更强正则约束条件下构造难解实例. 展开更多
关键词 d-正则(k s)-CNF公式 sat问题 NP完全性
在线阅读 下载PDF
一种求解难SAT问题的改进DP算法 被引量：1
16
作者 徐云 陈国良 张国义 《中国科学技术大学学报》 CAS CSCD 北大核心 2002年第3期358-362,共5页
DP算法是求解SAT问题的最有效完全算法之一 ,论文分析和讨论了DP算法中的各种分枝文字策略 .并基于对不满足解数估计的方法 ,提出了一个有效的分枝文字策略 .实验结果表明 ,提出的改进DP算法对难SAT实例有较好的平均性能 .
关键词 难sat问题 改进DP算法 随机算法 不满足解数 NP完全问题 分支文字策略 可满足性问题
在线阅读 下载PDF
SAT问题中隐蔽集求解的改进 被引量：1
17
作者 李淑霞 龚茜茹 谷文祥 《微电子学与计算机》 CSCD 北大核心 2014年第7期65-68,共4页
隐蔽集(backdoor sets)作为隐藏结构的一种,能有效地提高难求解问题的求解效率,近年来成为人们研究的热点.隐蔽集中变量的赋值能有效减少SAT问题求解的搜索分支,从而减少问题求解的时间复杂度和空间复杂度.为提高SAT问题的求解效率,提... 隐蔽集(backdoor sets)作为隐藏结构的一种,能有效地提高难求解问题的求解效率,近年来成为人们研究的热点.隐蔽集中变量的赋值能有效减少SAT问题求解的搜索分支,从而减少问题求解的时间复杂度和空间复杂度.为提高SAT问题的求解效率,提出一种求解SAT问题隐蔽集的改进算法,并给出最小隐蔽集的定义.在该算法中加入启发式,使求解出的隐蔽集变量个数较少,最后给出隐蔽集问题的总结和展望. 展开更多
关键词 sat问题 隐蔽集 隐藏结构 最小隐蔽集 隐蔽集变量
在线阅读 下载PDF
2-3-SAT问题相变现象剖析及其应用 被引量：1
18
作者 白硕 卜东波 《软件学报》 EI CSCD 北大核心 1998年第11期828-832,共5页
３－ＳＡＴ问题有一个非常奇妙的相变现象．对于固定的变量数Ｎ，合取范式的可满足概率随着子句个数Ｋ的变化而发生剧烈的变化；当Ｋ≈４．３＊Ｎ时，可满足概率急剧地从１变为０．相变现象决定了问题的难易分布，对于快速求解算法的设... ３－ＳＡＴ问题有一个非常奇妙的相变现象．对于固定的变量数Ｎ，合取范式的可满足概率随着子句个数Ｋ的变化而发生剧烈的变化；当Ｋ≈４．３＊Ｎ时，可满足概率急剧地从１变为０．相变现象决定了问题的难易分布，对于快速求解算法的设计有着非常重要的意义．文章着重讨论了ＳＡＴ问题的更一般形式，即２－３－ＳＡＴ问题的相变现象．研究了相变点处的２－子句和３－子句个数的关系，发现了２－子句和３－子句在约束能力意义下的当量关系。 展开更多
关键词 NP完全问题 sat问题 相变现象 计算机
在线阅读 下载PDF
一个SAT问题有解的充要条件 被引量：1
19
作者 余丰人 丘海明 《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第2期37-39,共3页
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究。在此基础上,证明了一个SAT问题有解的充要条件,它为SAT问题完全算法和非完全快速算法的深入研... 合取范式可满足性问题(简称SAT问题)是一个NP完全问题。引入了一个饱和合取范式的概念,利用饱和合取范式的性质,对SAT问题的本质进行了研究。在此基础上,证明了一个SAT问题有解的充要条件,它为SAT问题完全算法和非完全快速算法的深入研究提供了一条新的思路。 展开更多
关键词 合取范式 sat问题 NP完全问题
在线阅读 下载PDF
基于函数变换的求解SAT问题的新算法 被引量：3
20
作者 胡显伟 任世军 《智能计算机与应用》 2012年第3期33-36,39,共5页
提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部... 提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部极值为0,则该SAT问题就是可满足的。实验结果表明:与现有的求解SAT问题的算法相比,基于函数变换的求解算法在求解速度、成功率和求解问题的规模等方面都有明显的提高。 展开更多
关键词 sat问题 局部搜索算法 函数变换 最速下降法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
使用帮助 返回顶部