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 条
  • [21] Arc consistency for general constraint networks: preliminary results
    Bessiere, C
    Regin, JC
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 398 - 404
  • [22] Using constraint metaknowledge to reduce arc consistency computation
    Bessiére, C
    Freuder, EC
    Régin, JC
    ARTIFICIAL INTELLIGENCE, 1999, 107 (01) : 125 - 148
  • [23] Interleaved Asynchronous Arc Consistency in distributed constraint networks
    Hammoujan, Saida
    Bouyakhf, El Houssine
    Benelallam, Imade
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 178 - 185
  • [24] Soft arc consistency applied to optimal planning
    Cooper, Martin
    Cussat-Blanc, Sylvain
    de Roquemaurel, Marie
    Regnier, Pierre
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 680 - 684
  • [25] A distributed arc-consistency algorithm
    Nguyen, T
    Deville, Y
    SCIENCE OF COMPUTER PROGRAMMING, 1998, 30 (1-2) : 227 - 250
  • [26] A new bidirectional arc consistency algorithm
    Liu, Chun-Hui
    Zhu, Xing-Jun
    Zhang, Yong-Gang
    Sun, Ji-Gui
    PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2008, : 148 - 152
  • [27] An optimal algorithm based on the solution to the coarse-grained arc consistency algorithms of the Constraint satisfaction Problems
    Yang, Gang
    Li, Huifeng
    Cao, Can
    Chen, Siyuan
    Zhao, Yubo
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENT COMMUNICATION, 2015, 16 : 12 - 17
  • [28] A FINE-GRAINED ARC-CONSISTENCY ALGORITHM FOR NON-NORMALIZED CONSTRAINT SATISFACTION PROBLEMS
    Arangu, Marlene
    Salido, Miguel A.
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2011, 21 (04) : 733 - 744
  • [29] Labeling and partial local consistency for soft constraint programming
    Bistarelli, Stefano
    Codognet, Philippe
    Georget, Yan
    Rossi, Francesca
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1753 : 230 - 248
  • [30] Labeling and partial local consistency for soft constraint programming
    Bistarelli, S
    Codognet, P
    Georget, Y
    Rossi, F
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2000, 1753 : 230 - 248
12345