资源论文Optimizing Constraint Solving via Dynamic Programming

Optimizing Constraint Solving via Dynamic Programming

2019-09-29 | |  74 |   31 |   0
Abstract Constraint optimization problems (COP) on finite domains are typically solved via search. Many problems (e.g., 0-1 knapsack) involve redundant search, making a general constraint solver revisit the same subproblems again and again. Existing approaches use caching, symmetry breaking, subproblem dominance, or search with decomposition to prune the search space of constraint problems. In this paper we present a different approach— DP Solver—which uses dynamic programming (DP) to efficiently solve certain types of constraint optimization problems (COPs). Given a COP modeled with MiniZinc, DP Solver first analyzes the model to decide whether the problem is efficiently solvable with DP. If so, DP Solver refactors the constraints and objective functions to model the problem as a DP problem. Finally, DP Solver feeds the refactored model to Gecode—a widely used constraint solver—for the optimal solution. Our evaluation shows that DP Solver significantly improves the performance of constraint solving.

上一篇:Non-smooth Optimization over Stiefel Manifolds with Applications to Dimensionality Reduction and Graph Clustering

下一篇:Path Planning with CPD Heuristics

用户评价
全部评价

热门资源

  • 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...