一个约束可满足性问题的演化算法求解

1

作者 李景治 康立山 方宁 《计算机科学》 CSCD 北大核心 2004年第4期137-139,共3页

约束可满足性问题是一大类常出现于现实应用中的复杂问题,因其繁多的约束条件而出名。本文针对一个经典的约束可满足性问题——斑马属谁问题,基于演化算法的框架进行求解。我们采用矩阵的表示方式,并设计了相应的杂交和变异算子。实验表... 约束可满足性问题是一大类常出现于现实应用中的复杂问题,因其繁多的约束条件而出名。本文针对一个经典的约束可满足性问题——斑马属谁问题,基于演化算法的框架进行求解。我们采用矩阵的表示方式,并设计了相应的杂交和变异算子。实验表明,演化算法能高效地解决该问题。 展开更多

关键词 约束可满足性问题 演化算法 斑马属谁问题 优化问题 计算机

在线阅读 下载PDF 职称材料

约束可满足问题求解策略的改进和实验结果

2

作者 陈荣 孙吉贵 刘瑞胜 《吉林大学自然科学学报》 CAS CSCD 1997年第2期27-30,共4页

通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．

关键词 约束可满足问题 局部搜索算法 控制策略

在线阅读 下载PDF 职称材料

约束可满足方法对单幅图片的三维猜测与个体识别

3

作者 危辉 张维 《小型微型计算机系统》 CSCD 北大核心 2010年第2期338-343,共6页

从二维图像提取到的特征点相对位置信息,利用对于目标物体的先验知识如边缘比例、夹角特征等,形成基于投影成像规则的变量约束方程,从而将物体姿态计算问题转化为一个非线性优化问题,通过多个局部约束线索形成全局约束,能够迅速对物体... 从二维图像提取到的特征点相对位置信息,利用对于目标物体的先验知识如边缘比例、夹角特征等,形成基于投影成像规则的变量约束方程,从而将物体姿态计算问题转化为一个非线性优化问题,通过多个局部约束线索形成全局约束,能够迅速对物体的姿态做出比较准确的估计,从而推算出视角等信息.实现这个转化的一个前提假设是,对于我们理解图像中物体的姿态,特征位置点的相对位置而不是绝对位置,起着关键作用.因此计算是在一个假设的深度上进行的,从效果来看这样的假设并不影响物体的位姿计算.本文的方法计算量小,利用几何特征来识别稳定、可靠、泛化能力好,实践证明使用几何特征的约束可满足方法能获得关于姿态的极少量可能解,识别出的姿态在各条边之间的比例关系上具有不变性,继而可以将其应用于不变性识别的实际问题之中. 展开更多

关键词 约束可满足 PNP问题 三维解释 不变性识别

在线阅读 下载PDF 职称材料

基于约束可满足的深空探测任务规划方法研究 被引量：2

4

作者 姜啸 徐瑞 朱圣英 《深空探测学报》 2018年第3期262-268,共7页

基于传统的CSP算法不能充分体现规划过程的特点,讨论了如何将规划中的动作关系映射到CSP结构中,并据此提出了一种以动作为中心的启发式变量选择策略;分析验证了该方法能够显著降低传统CSP变量搜索策略的时间复杂度,同时对于约束编码的... 基于传统的CSP算法不能充分体现规划过程的特点,讨论了如何将规划中的动作关系映射到CSP结构中,并据此提出了一种以动作为中心的启发式变量选择策略;分析验证了该方法能够显著降低传统CSP变量搜索策略的时间复杂度,同时对于约束编码的规划问题具有一般适用性。仿真实验表明,本文提出的方法减少了约束处理中的冗余操作,有效提高了问题的求解效率,为工程应用奠定了基础。 展开更多

关键词 规划 约束可满足 变量选取 动作指向

在线阅读 下载PDF 职称材料

可满足问题中的模型计数 被引量：3

5

作者 谷文祥 朱磊 +1 位作者 黄平 殷明浩 《智能系统学报》 北大核心 2012年第1期33-39,共7页

模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满... 模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望. 展开更多

关键词 人工智能 约束可满足问题 命题可满足问题 模型计数

在线阅读 下载PDF 职称材料

最小冲突启发式辅助离散的海洋捕食者求解RB模型

6

作者 杨易 王晓峰 +2 位作者 华盈盈 杨澜 庞立超 《郑州大学学报(理学版)》 北大核心 2025年第4期71-79,共9页

修正的B(revised B,RB)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出一种基于元启发式与局部搜索相结合的求解算法用于解决RB模型实例。以海洋捕食者算法为基础,对初始解空间进行编码离散化,并对海洋捕食者算法... 修正的B(revised B,RB)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出一种基于元启发式与局部搜索相结合的求解算法用于解决RB模型实例。以海洋捕食者算法为基础,对初始解空间进行编码离散化,并对海洋捕食者算法的三个核心阶段进行优化。有针对性地将当前候选解向最优解方向引导搜索,最终阶段借助局部搜索方法,当所得当前最优解无法满足RB模型实例解时,传递至退火策略的最小冲突启发式,进一步提升算法求解效能。实验证明,与多种启发式算法相比,所提算法在精度与时间效率方面均呈现明显提升,即便在接近可满足性相变点的情形下仍展现出高概率求解的潜力。 展开更多

关键词 RB模型 约束可满足问题 海洋捕食者算法 元启发式 最小冲突启发式

在线阅读 下载PDF 职称材料

深空探测器动态约束规划中的外延约束过滤方法研究 被引量：2

7

作者 姜啸 徐瑞 陈俐均 《深空探测学报》 2019年第6期586-594,共9页

随着深空探测任务的增加以及星上科学任务的日益复杂,深空探测器自主任务规划与调度技术成为研究的热点。在深空探测器任务特点与系统约束分析的基础上,将智能规划理论与约束可满足技术相结合,研究多层约束规划模型中约束的动态特征,设... 随着深空探测任务的增加以及星上科学任务的日益复杂,深空探测器自主任务规划与调度技术成为研究的热点。在深空探测器任务特点与系统约束分析的基础上,将智能规划理论与约束可满足技术相结合,研究多层约束规划模型中约束的动态特征,设计了基于动态约束表的外延约束快速过滤算法,根据领域信息中活动间的冲突性特征来对新加入的活动进行分类和一致性检查。仿真结果表明:提出的算法能够有效地降低约束处理中无效的约束检查次数,降低问题处理过程中的算法回溯,提高规划效率和成功率。 展开更多

关键词 规划 约束可满足 过滤算法 外延约束 动态约束集

在线阅读 下载PDF 职称材料

结合问题特征利用SE-Tree反向深度求解冲突集的方法 被引量：5

8

作者 欧阳丹彤 刘伯文 +1 位作者 周建华 张立明 《电子学报》 EI CAS CSCD 北大核心 2017年第5期1175-1181,共7页

基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索... 基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索求解冲突集的方法.针对CSISE-Tree方法求解时占用内存空间与元件总数指数级相关的缺点,构建反向深度搜索方法减小求解时所占用内存空间;针对CSISE-Tree方法不能对部分非极小的冲突集进行剪枝的问题,给出对非冲突集和更多非极小的冲突集进行剪枝的方法,有效减少了求解时调用SAT(Boolean SATisfiability problem)求解器的次数;实验结果表明,与CSISE-Tree方法相比,本文提出的方法求解效率有明显的提升,并避免了求解时的内存爆炸问题. 展开更多

关键词 基于模型诊断 冲突集 布尔约束可满足 集合枚举树

在线阅读 下载PDF 职称材料

RB模型实例集上置信传播算法的收敛性 被引量：11

9

作者 王晓峰 许道云 《软件学报》 EI CSCD 北大核心 2016年第11期2712-2724,共13页

置信传播算法求解RB(k,n,a,r_c,p)模型实例时非常有效,几乎能够有效求解接近可满足性相变点的难解实例.然而,因子图带有回路的实例,置信传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.置信传播算法是最为基础... 置信传播算法求解RB(k,n,a,r_c,p)模型实例时非常有效,几乎能够有效求解接近可满足性相变点的难解实例.然而,因子图带有回路的实例,置信传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.置信传播算法是最为基础的信息传播算法,对置信传播算法的收敛性分析是其他信息传播算法收敛性分析的重要基础.在RB(k,n,a,rc,p)模型中,取k=2,a>1/k,r_c>0均为常数,且满足ke^(-a/r_c)≥1.证明了如果p∈(0,n^(-2a)),则置信传播算法在RB(k,n,a,r_c,p)模型产生的随机实例集上高概率收敛.最后,在RB(k,n,a,r_c,p)模型上选取了几组不同的数据进行数值模拟,实验结果表明该结论有效.当问题规模n增大时,在RB(k,n,a,r_c,p)模型的可满足区域,实验收敛区间趋于一个固定范围,而理论收敛区间逐渐变窄.原因在于,RB(k,n,a,r_c,p)模型是一个具有增长定义域的随机CSP实例产生模型,不协调赋值的数目与参数p及问题规模n有关. 展开更多

关键词 置信传播算法 收敛性 约束可满足性问题 RB模型

在线阅读 下载PDF 职称材料

基于问题结构的启发式策略在析取时态问题求解中的应用 被引量：4

10

作者 刘越畅 姜云飞 钱红 《计算机研究与发展》 EI CSCD 北大核心 2008年第11期1840-1849,共10页

智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以... 智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型——析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP. 展开更多

关键词 时态推理 析取时态问题 约束可满足问题 值选择 变量排序 智能规划和调度

在线阅读 下载PDF 职称材料

可视化析取时态推理器的设计与实现

11

作者 刘越畅 林晓骏 汤庸 《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第6期38-43,共6页

时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网... 时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络(weakly evolutional disjunctive temporal network,WEDTN)的定义,基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。 展开更多

关键词 人工智能 时态推理 析取时态问题 约束可满足问题 弱演化析取时态网络

在线阅读 下载PDF 职称材料

基于分层约束图的多节点探测器任务规划方法

12

作者 付康 赵清杰 杨和星 《深空探测学报(中英文)》 2025年第3期305-314,共10页

针对多节点探测器的附着任务规划问题,提出了一种基于分层约束图的约束可满足任务规划方法。介绍了时间资源约束的表示方式、任务时间网络和分层约束图模型,并将该问题转化为约束可满足问题。该方法通过任务时间网络推理变量的值域信息... 针对多节点探测器的附着任务规划问题,提出了一种基于分层约束图的约束可满足任务规划方法。介绍了时间资源约束的表示方式、任务时间网络和分层约束图模型,并将该问题转化为约束可满足问题。该方法通过任务时间网络推理变量的值域信息,并采用基于约束双向支持的弧相容算法进行约束传播。设计了结合层级约束信息的变量启发式规则以及优先满足资源约束的值启发式规则。实验结果验证了所提出方法的有效性。 展开更多

关键词 多节点探测器 任务规划 分层约束图 约束可满足问题 启发式规则

在线阅读 下载PDF 职称材料

利用CSP求解极小碰集的方法 被引量：8

13

作者 王艺源 欧阳丹彤 +1 位作者 张立明 张永刚 《计算机研究与发展》 EI CSCD 北大核心 2015年第3期588-595,共8页

基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心... 基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心问题之一.提出一种将极小碰集问题转换为约束满足问题的方法,该方法调用成熟的CSP求解器进行求解,扩展了约束可满足问题的应用领域.首次提出hard-冲突集和soft-冲突集的概念,并给出利用所提的方法分别求解具有一些特征的极小碰集:小于固定长度、不含特定元素及包含hard-冲突集和soft-冲突集.实验结果表明,提出的方法易于实现、扩展性强,对于特定类型极小碰集问题的求解效率较高. 展开更多

关键词 极小碰集 约束可满足问题 基于模型诊断 hard-冲突集 soft-冲突集

在线阅读 下载PDF 职称材料

布尔Game的核求解算法

14

作者 王博 刘惊雷 《计算机研究与发展》 EI CSCD 北大核心 2018年第8期1735-1750,共16页

布尔Game是一种重要的多Agent合作求解框架,它利用命题逻辑来表达静态的Agent博弈场景.其中每个Agent的目标采用命题公式来表示,其目标是否满足取决于命题公式的赋值.目前布尔Game多从知识表示角度和纳什均衡计算的角度来研究,从联盟角... 布尔Game是一种重要的多Agent合作求解框架,它利用命题逻辑来表达静态的Agent博弈场景.其中每个Agent的目标采用命题公式来表示,其目标是否满足取决于命题公式的赋值.目前布尔Game多从知识表示角度和纳什均衡计算的角度来研究,从联盟角度研究核的求解却不多.布尔Game求核是生成策略组合然后在策略组合内对比的过程.首先,通过以布尔Game的决策变量为顶点、以目标为超边,构成布尔Game上的超图结构来求满足核的约束满足的解.其次,以Agent为顶点、以Agent间的依赖关系为边构成的有向依赖图,可以将布尔Game根据稳定集分解为规模上更小的布尔Game.这2种结构简化了求核的生成过程和比较过程,进而在一定程度上提高了布尔Game求核效率.然后基于超图的超树分解和依赖图的稳定集分解,给出了不同的布尔Game的求核算法.最后实验验证了算法的有效性. 展开更多

关键词 布尔Game 核求解 约束可满足问题 超图 超树分解 稳定集

在线阅读 下载PDF 职称材料