Associated Constraint Based Non-binary Arc Consistency for Non-binary CSP
Arc consistency has been successfully applied to binary constraint satisfaction problem but cannot be generalized to effectively preprocess non-binary constraint satisfaction problem (NCSP). Associated constraint based non-binary arc consistency (nACBA) for preprocessing NCSP was proposed in this paper. Some NCSP instances generated by random NCSP generator were first preprocessed by nACBA and non-binary arc- consistency (nAC) respectively, and then solved by backtracking algorithm. Performances of backtracking, nACBA based backtracking and nAC based backtracking were evaluated and compared. The experimental results indicate that nACBA based backtracking is even more robust than the other two algorithms, which means associated constraint based non-binary arc- consistency can more effectively eliminate inconsistent values from the domains of variables or redundant constraint tuples from constraints than non-binary arc consistency.
non-binary constraint satisfaction problem backtracking associated constraint based non-binary arc consistency random NCSP generator
Wang kexi Yuan Jijun Shan Miyuan
Management School Hunan University Changsha, China
国际会议
上海
英文
2007-09-21(万方平台首次上网日期,不代表论文的发表时间)