结合Separator的约束满足问题树分解方法

来源 :吉林大学学报(理学版) | 被引量 : 0次 | 上传用户：wuzhigang3481

【摘要】

：

基于树分解的回溯搜索算法,结合separator分解算子提出一种新的搜索算法BTD＋-MAC.该算法在搜索时,优先选择separator中的变量进行相容性检查和实例化,由于树宽度的减小能提高

【作者】

：

吕巍张舒娟

【机构】

：

吉林大学计算机科学与技术学院

【出处】

：

吉林大学学报(理学版)

【发表日期】

：

2016年2期

【关键词】

：

人工智能约束满足问题树分解回溯搜索启发式方法 artificial intelligence constraint satisfaction prob

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于树分解的回溯搜索算法,结合separator分解算子提出一种新的搜索算法BTD＋-MAC.该算法在搜索时,优先选择separator中的变量进行相容性检查和实例化,由于树宽度的减小能提高约束传播的效率,进而提高问题求解效率.对几组benchmark问题进行测试,测试结果表明,该算法在问题求解效率上超过了MAC3rm算法和BTD-MAC算法.

其他文献

通气对几种水培观赏植物生长的影响

采用通气泵对营养液通气以提高营养液中溶解氧量,研究通气对水培小天使、芦荟、金琥、山海带4种植物生长的影响。结果表明:通气会改变植物不同范围直径根在根系中所占的比例,

期刊

水培通气小天使芦荟金琥山海带

“混血”木质包装易潜伏疫情风险

在一个进境木包装箱上,同时可以看到新加坡、美国和日本三个国家加施的IPPC专用标识,这是在无锡陆路直通点查验平台上看到的现象。近来,在进境木质包装检疫中,类似这样的＂混血

期刊

木质包装检疫风险疫情IPPC包装箱新加坡进境

请为产品测“智商”

给人测智商一直是个时髦游戏,给产品测智商的话题却罕有提及。市场上,人们常常见到这种鲜明对照:同为衬衫,一件贵为"天价",仍为众人抢手,以致"洛阳纸贵";另一件价格虽然便宜,

期刊

质量重于泰山安全高于一切——记绥芬河检验检疫局捍卫出口果蔬信誉“保卫战”

在全国质量监督检验检疫工作会议上，吴仪副总理不无感慨地说：“2007年这一年是你们质检总局工作最忙碌、最辛苦的一年，也是工作成绩最显著、最突出的一年”。只有经历了2007年这

期刊

质量监督检验检疫工作会议绥芬河检验检疫局泰山信誉果蔬出口安全质检总局

蜂疗并发皮肤蜂针异物性肉芽肿1例

患者女性，43岁。主因右大腿内侧蜂疗后皮肤反复红肿，破溃4年来我院诊治。患者4年前因右大腿外伤留有瘢痕，皮肤凹陷遂于当地行蜂疗，蜂疗后局部皮肤出现溃疡，经换药后好转。而后再行

期刊

蜂疗蜂针肉芽肿

基于π演算的云服务安全检测

利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说

期刊

云服务Π演算越权访问完整性cloud serviceπ-calculusunauthorized accessintegrity

输卤泵叶轮内部湍流流动的分析

混流式输卤泵内部伴有盐析的液固两相流动问题非常复杂,首先需要了解在清水状态下,其内部真实流动现象的物理本质.为此,该文基于Navier-Stokes方程和标准的κ-ε湍流模型,首

期刊

输卤泵叶轮湍流流动数值模拟试验研究impeller of bittern transfer pump turbulent flow numerica

凝聚力之源——淄博检验检疫局增强单位凝聚力综述

这是一摞令人为之叹服的成绩：2008年以来出口货物没有一批受到国外预警和通报，进口货物检出率大幅提升；两年来精神文明建设迈了两大步，先后跨入“省级文明单位”和“全国精神文明

期刊

文明单位检验检疫局凝聚力精神文明建设综述淄博党风廉政建设出口货物

改进的非参数Census变换立体匹配算法

针对多数立体匹配算法的相似性测度都建立在像素灰度特性基础上,无法彻底消除匹配差异性,易出现歧异性的问题,提出一种改进的非参数Census变换匹配算法.该算法通过在传统非参数Census匹配过程中增加局部纹理反差值测度,引入图像纹理度量的方向性,使中心像素灰度值不再是唯一决定因素,改进了匹配模版,从而有效解决了传统匹配算法的歧异性问题.实验结果表明,改进算法是一种有效、合理的立体匹配方法,提高了稠密

期刊

视觉检测立体匹配非参数Census变换匹配精度visual detectionstereo matchingnonparametric Census

国家质检总局发布第111号令公布《进出口玩具检验监督管理办法》

《进出口玩具检验监督管理办法》已经2008年5月30日国家质量监督检验检疫总局局务会议审议通过,现予公布,自2009年9月15日起施行。

期刊

结合Separator的约束满足问题树分解方法

与本文相关的学术论文