资源论文Kernels for Global Constraints? Serge Gaspers and Stefan Szeider

Kernels for Global Constraints? Serge Gaspers and Stefan Szeider

2019-11-12 | |  48 |   45 |   0
Abstract Bessière et al. (AAAI’08) showed that several intractable global constraints can be ef?ciently propagated when certain natural problem parameters are small. In particular, the complete propagation of a global constraint is ?xed-parameter tractable in k – the number of holes in domains – whenever bound consistency can be enforced in polynomial time; this applies to the global constraints AT M OST-NVALUE and E X TENDED G LOBAL C ARDINALITY (EGC). In this paper we extend this line of research and introduce the concept of reduction to a problem kernel, a key concept of parameterized complexity, to the ?eld of global constraints. In particular, we show that the consistency problem for AT M OST-NVALUE constraints admits a linear time reduction to an equivalent instance on O(k 2 ) variables and domain values. This small kernel can be used to speed up the complete propagation of NVALUE constraints. We contrast this result by showing that the consistency problem for EGC constraints does not admit a reduction to a polynomial problem kernel unless the polynomial hierarchy collapses.

上一篇:Using Payoff-Similarity to Speed Up Search Timothy Furtak and Michael Buro

下一篇:A Uniform Approach for Generating Proofs and Strategies for Both True and False QBF Formulas

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...