资源论文Extending Simple Tabular Reduction with Short Supports

Extending Simple Tabular Reduction with Short Supports

2019-11-11 | |  79 |   39 |   0
Abstract Constraint propagation is one of the key techniques in constraint programming, and a large body of work has built up around it. Special-purpose constraint propagation algorithms frequently make implicit use of short supports — by examining a subset of the variables, they can infer support (a justification that a variable-value pair still forms part of a solution to the constraint) for all other variables and values and save substantial work. Recently short supports have been used in general purpose propagators, and (when the constraint is amenable to short supports) speed ups of more than three orders of magnitude have been demonstrated. In this paper we present S HORT STR2, a development of the Simple Tabular Reduction algorithm STR2+. We show that S HORT STR2 is complementary to the existing algorithms S HORT GAC and H AGGIS GAC that exploit short supports, while being much simpler. When a constraint is amenable to short supports, the short support set can be exponentially smaller than the full-length support set. Therefore S HORT STR2 can efficiently propagate many constraints that STR2+ cannot even load into memory. We also show that S HORT STR2 can be combined with a simple algorithm to identify short supports from full-length supports, to provide a superior drop-in replacement for STR2+.

上一篇:DeQED: An Efficient Divide-and-Coordinate Algorithm for DCOP

下一篇:Monte Carlo *-Minimax Search Marc Lanctot Abdallah Saffidine

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...