A hyper-arc consistency algorithm for the soft alldifferent constraint

被引：0

作者：

van Hoeve, WJ ^{[1
]}

机构：

[1] CWI, NL-1090 GB Amsterdam, Netherlands

来源：

PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS | 2004年 / 3258卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper presents an algorithm that achieves hyper-arc consistency for the soft alldifferent constraint. To this end, we prove and exploit the equivalence with a minimum-cost flow problem. Consistency of the constraint can be checked in O(nm) time, and hyper-arc consistency is achieved in O(m) time, where n is the number of variables involved and m is the sum of the cardinalities of the domains. It improves a previous method that did not ensure hyper-arc consistency.

引用

页码：679 / 689

页数：11

共 50 条

[1] A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint
Zhang, Xizhe
Li, Qian
Zhang, Weixiong
PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 1398 - 1403
[2] Generalised arc consistency for the AllDifferent constraint: An empirical survey
Gent, Ian P.
Miguel, Ian
Nightingale, Peter
ARTIFICIAL INTELLIGENCE, 2008, 172 (18) : 1973 - 2000
[3] Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint
Zhen, Luhan
Li, Zhanshan
Li, Yanzhi
Li, Hongbo
PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 2049 - 2057
[4] Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form
Bergenti, Federico
Monica, Stefania
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2017, 80 (02) : 131 - 151
[5] Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form
Federico Bergenti
Stefania Monica
Annals of Mathematics and Artificial Intelligence, 2017, 80 : 131 - 151
[6] A PARAMETERIZED ARC CONSISTENCY BASED CONSTRAINT PROPAGATION ALGORITHM
Zhang, Yong-Gang
Jian-Gao
Li, Zhan-Shan
Liu, Chun-Hui
PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON WAVELET ANALYSIS AND PATTERN RECOGNITION, VOLS 1 AND 2, 2008, : 749 - 752
[7] A Parallel Algorithm for GAC Filtering of the Alldifferent Constraint
Suijlen, Wijnand
de Framond, Felix
Lallouet, Arnaud
Petitet, Antoine
INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2022, 2022, 13292 : 390 - 407
[8] Applying soft arc consistency to distributed constraint optimization problems
Matsui T.
Silaghi M.C.
Hirayama K.
Yokoo M.
Matsuo H.
Transactions of the Japanese Society for Artificial Intelligence, 2010, 25 (03) : 410 - 422
[9] An optimal arc consistency algorithm for a particular case of sequence constraint
Mohamed Siala
Emmanuel Hebrard
Marie-José Huguet
Constraints, 2014, 19 : 30 - 56
[10] An optimal arc consistency algorithm for a particular case of sequence constraint
Siala, Mohamed
Hebrard, Emmanuel
Huguet, Marie-Jose
CONSTRAINTS, 2014, 19 (01) : 30 - 56

← 1 2 3 4 5 →