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 条
  • [41] A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction
    Lee, J. H. M.
    Leung, K. L.
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 121 - 127
  • [42] An efficient bounds consistency algorithm for the global cardinality constraint
    Quimper, CG
    van Beek, P
    López-Ortiz, A
    Golynski, A
    Sadjad, SB
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 600 - 614
  • [43] An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
    Choueiry, BY
    Xu, L
    AI COMMUNICATIONS, 2004, 17 (04) : 213 - 221
  • [44] An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint
    Claude-Guy Quimper
    Alexander Golynski
    Alejandro López-Ortiz
    Peter Van Beek
    Constraints, 2005, 10 : 115 - 135
  • [45] An efficient bounds consistency algorithm for the global cardinality constraint
    Quimper, CG
    Golynski, A
    López-Ortiz, A
    Van Beek, P
    CONSTRAINTS, 2005, 10 (02) : 115 - 135
  • [46] BnB-ADOPT+ with Several Soft Arc Consistency Levels
    Gutierrez, Patricia
    Meseguer, Pedro
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 67 - 72
  • [47] Efficient arc consistency algorithm for a class of CSP problems
    1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (01):
  • [48] An optimal coarse-grained arc consistency algorithm
    Bessière, C
    Régin, JC
    Yap, RHC
    Zhang, YL
    ARTIFICIAL INTELLIGENCE, 2005, 165 (02) : 165 - 185
  • [49] Improving genetic algorithm using arc consistency technic
    Zouita, Meriem
    Bouamama, Sadok
    Barkaoui, Kamel
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019), 2019, 159 : 1387 - 1396
  • [50] A GENERIC ARC-CONSISTENCY ALGORITHM AND ITS SPECIALIZATIONS
    VANHENTENRYCK, P
    DEVILLE, Y
    TENG, CM
    ARTIFICIAL INTELLIGENCE, 1992, 57 (2-3) : 291 - 321
12345