On the Arc Consistency Problem

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:leneyao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this paper, we propose a new arcconsistency algorithm, AC-8, whichrequires less computation time andspace than AC-6 and AC-7. The main idea oftheoptimization is the divide-and-conquer strategy, thereby decomposing anarcconsistency problem into a series of smaller ones and trying tosolve them insequence. In this way, not only the space complexity butalso the time complexity canbe reduced. The reason for this is that dueto the ahead of time performedinconsistency propagation (in the sensethat some of them are executed before theentire inconsistency checkinghas been finished), each constraint subnetwork will besearched with agradually shrunk domain. In addition, the technique of AC-6 canbeintegrated into our algorithm, leading to a further decrease incomputationalcomplexity.
其他文献
Java Beans is a standard for softwarecomponents. For checking theconsistency of the Java Beans semanticconstraints with its implementation, thispaper proposes a
目的:研究分析上消化道出血患者内科护理临床效果。方法:选取2012年2月-2014年10月期间收治的上消化道出血患者84例,所有患者均按照数字随机法分为对照组和观察组,每组各42例,对照
Concurrence is an important researcharea in collaborative problem solving.This paper offers a formaldefinition for cooperative sequences in multi-agentsystems,
An algorithm for solving thesatisfiability problem is presented. It is proved that this algorithmsolves 2-SAT and Horn-SAT in linear time and k-positive SAT(in
The paper discusses semantics ofencodings in logical frameworks where equalities in object calculi arerepresented by families of types as the case in ELF.The no
A view in object oriented databasescorresponds to virtual schema with restructured generalization anddecomposition hierarchies. Numbers of view creation methodo
目的:探讨护理干预对社区糖尿病患者自我管理能力的影响。方法:选取参与社区糖尿病慢性病管理的糖尿病患者80例,从心理、健康教育、饮食、运动以及服药等方面进行护理干预,比较护
This paper establishes a formal modelfor hybrid diagnosis, novel features including: (1) It provides aunified theoretical framework for utilizing device models
Double-loop is a very popular structure in loop network topology. Areconfigurable bi-directional double-loop structure is recentlydeveloped. It has a new struct
This paper introduces the modifications onactions of a topology on names of actions and the simplest topology onagents induced by a topology on names of actions