资源论文Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable

Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable

2019-11-12 | |  37 |   34 |   0
Abstract We examine the complexity of constraint satisfaction problems that consist of a set of AllDiff constraints. Such CSPs naturally model a wide range of real-world and combinatorial problems, like scheduling, frequency allocations and graph coloring problems. As this problem is known to be NP-complete, we investigate under which further assumptions it becomes tractable. We observe that a crucial property seems to be the convexity of the variable domains and constraints. Our main contribution is an extensive study of the complexity of Multiple AllDiff CSPs for a set of natural parameters, like maximum domain size and maximum size of the constraint scopes. We show that, depending on the parameter, convexity can make the problem tractable while it is provably intractable in general.

上一篇:Symmetries and Lazy Clause Generation ? Geoffrey Chu and Peter J. Stuckey Maria Garcia de la Banda and Chris Mears

下一篇:Probabilistic Satis?ability: Logic-Based Algorithms and Phase Transition?

用户评价
全部评价

热门资源

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • Rating-Boosted La...

    The performance of a recommendation system reli...

  • Hierarchical Task...

    We extend hierarchical task network planning wi...