Decomposition and Good Recording for Solving Max-CSPs
نویسندگان
چکیده
[22] presents a new method called BTD for solving Valued CSPs and so Max-CSPs. This method based both on enumerative techniques and the tree-decomposition notion provides better theoretical time complexity bounds than classical enumerative methods and aims to benefit of the practical efficiency of enumerative methods thanks to the structural goods which are recorded and exploited during the search. However, [22] does not provide any experimental result and it does not discuss the way of finding an optimal solution from the optimal cost (because BTD only computes the cost of the best assignment). Providing an optimal solution is an important task for a solver, especially when we consider real-world instances. So, in this paper, we first raise these two questions. Then we explain how a solution can be efficiently computed and we provide experimental results which emphasize the practical interest of BTD.
منابع مشابه
Tree-Decompositions with Connected Clusters for Solving Constraint Networks
From a theoretical viewpoint, the (tree-)decomposition methods offer a good approach for solving Constraint Satisfaction Problems (CSPs) when their (tree)-width is small. In this case, they have often shown their practical interest. So, the literature (coming from Mathematics or AI) has concentrated its efforts on the minimization of a single parameter, the tree-width. Nevertheless, experimenta...
متن کاملReducing Redundancy in the Hypertree Decomposition Scheme
Hypertree decomposition is a powerful technique for transforming near-acyclic CSPs into acyclic CSPs. Acyclic CSPs have efficient, polynomial time solving techniques, and so these conversions are of interest to the constraints community. We present here an improvement on the opt-k-decomp algorithm for finding an optimal hypertree decomposition. Abstract Hypertree decomposition is a powerful tec...
متن کاملComputing and exploiting tree-decompositions for (Max-)CSP
Methods exploiting the tree-decomposition notion seem to provide the best approach for solving constraint networks w.r.t. the theoretical time complexity. Nevertheless, they have not shown a real practical interest yet. So, in this paper, we first study several methods for computing an approximate optimal tree-decomposition before assessing their relevance for solving CSPs. Then, we propose and...
متن کاملCombining Restarts, Nogoods and Decompositions for Solving CSPs
From a theoretical viewpoint, the (tree-)decomposition methods offer a good approach when the (tree)-width of constraint networks (CSPs) is small. In this case, they have often shown their practical interest. However, sometimes, a bad choice for the root cluster (a tree-decomposition is a tree of clusters) may drastically degrade the performance of the solving. In this paper, we highlight an ex...
متن کاملA generic bounded backtracking framework for solving CSPs
This paper introduces a new generic backtracking framework for solving CSPs. This scheme exploits semantic and topological properties of the constraint network to produce goods and nogoods. It is based on a set of separators of the constraint graph and several procedures adjustable to exploit heuristics, filtering, backjumping techniques, classical nogood recording, topological (no)good recordi...
متن کامل