Showing 1–7 of 7 results for author: van Hoeve, W J

On Global Warming (Softening Global Constraints)

Authors: Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau

Abstract: We describe soft versions of the global cardinality constraint and the regular constraint, with efficient filtering algorithms maintaining domain consistency. For both constraints, the softening is achieved by augmenting the underlying graph. The softened constraints can be used to extend the meta-constraint framework for over-constrained problems proposed by Petit, Regin and Bessiere. We describe soft versions of the global cardinality constraint and the regular constraint, with efficient filtering algorithms maintaining domain consistency. For both constraints, the softening is achieved by augmenting the underlying graph. The softened constraints can be used to extend the meta-constraint framework for over-constrained problems proposed by Petit, Regin and Bessiere. △ Less

Submitted 9 August, 2004; originally announced August 2004.

Comments: 15 pages, 7 figures. Accepted at the 6th International Workshop on Preferences and Soft Constraints

ACM Class: D.3.2; D.3.3; G.2.2

Reduced cost-based ranking for generating promising subproblems

Authors: M. Milano, W. J. van Hoeve

Abstract: In this paper, we propose an effective search procedure that interleaves two steps: subproblem generation and subproblem solution. We mainly focus on the first part. It consists of a variable domain value ranking based on reduced costs. Exploiting the ranking, we generate, in a Limited Discrepancy Search tree, the most promising subproblems first. An interesting result is that reduced costs prov… ▽ More In this paper, we propose an effective search procedure that interleaves two steps: subproblem generation and subproblem solution. We mainly focus on the first part. It consists of a variable domain value ranking based on reduced costs. Exploiting the ranking, we generate, in a Limited Discrepancy Search tree, the most promising subproblems first. An interesting result is that reduced costs provide a very precise ranking that allows to almost always find the optimal solution in the first generated subproblem, even if its dimension is significantly smaller than that of the original problem. Concerning the proof of optimality, we exploit a way to increase the lower bound for subproblems at higher discrepancies. We show experimental results on the TSP and its time constrained variant to show the effectiveness of the proposed approach, but the technique could be generalized for other problems. △ Less

Submitted 16 July, 2004; originally announced July 2004.

Comments: 15 pages, 1 figure. Accepted at CP 2002

ACM Class: I.2.8; G.1.6; D.3.3

A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint

Authors: Willem Jan van Hoeve

Abstract: This paper presents an algorithm that achieves hyper-arc consistency for the soft alldifferent constraint. To this end, we prove and exploit the equivalence with a minimum-cost flow problem. Consistency of the constraint can be checked in O(nm) time, and hyper-arc consistency is achieved in O(m) time, where n is the number of variables involved and m is the sum of the cardinalities of the domain… ▽ More This paper presents an algorithm that achieves hyper-arc consistency for the soft alldifferent constraint. To this end, we prove and exploit the equivalence with a minimum-cost flow problem. Consistency of the constraint can be checked in O(nm) time, and hyper-arc consistency is achieved in O(m) time, where n is the number of variables involved and m is the sum of the cardinalities of the domains. It improves a previous method that did not ensure hyper-arc consistency. △ Less

Submitted 16 July, 2004; originally announced July 2004.

Comments: 11 pages, 1 figure

ACM Class: D.3.2; D.3.3; G.2.2

Postponing Branching Decisions

Authors: Willem Jan van Hoeve, Michela Milano

Abstract: Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. In this paper, we propose and analyse a very simple method to apply in case the value ordering heuristic produces ties: postponing the branching decision. To this end, we group together values in a tie, branch on this sub-domain,… ▽ More Solution techniques for Constraint Satisfaction and Optimisation Problems often make use of backtrack search methods, exploiting variable and value ordering heuristics. In this paper, we propose and analyse a very simple method to apply in case the value ordering heuristic produces ties: postponing the branching decision. To this end, we group together values in a tie, branch on this sub-domain, and defer the decision among them to lower levels of the search tree. We show theoretically and experimentally that this simple modification can dramatically improve the efficiency of the search strategy. Although in practise similar methods may have been applied already, to our knowledge, no empirical or theoretical study has been proposed in the literature to identify when and to what extent this strategy should be used. △ Less

Submitted 16 July, 2004; originally announced July 2004.

Comments: 11 pages, 3 figures

ACM Class: I.2.8; D.3.3

Exploiting Semidefinite Relaxations in Constraint Programming

Authors: Willem Jan van Hoeve

Abstract: Constraint programming uses enumeration and search tree pruning to solve combinatorial optimization problems. In order to speed up this solution process, we investigate the use of semidefinite relaxations within constraint programming. In principle, we use the solution of a semidefinite relaxation to guide the traversal of the search tree, using a limited discrepancy search strategy. Furthermore… ▽ More Constraint programming uses enumeration and search tree pruning to solve combinatorial optimization problems. In order to speed up this solution process, we investigate the use of semidefinite relaxations within constraint programming. In principle, we use the solution of a semidefinite relaxation to guide the traversal of the search tree, using a limited discrepancy search strategy. Furthermore, a semidefinite relaxation produces a bound for the solution value, which is used to prune parts of the search tree. Experimental results on stable set and maximum clique problem instances show that constraint programming can indeed greatly benefit from semidefinite relaxations. △ Less

Submitted 16 July, 2004; originally announced July 2004.

Comments: 18 pages, 4 figures. Submitted preprint

ACM Class: G.1.6; G.2.2; D.3.3

Decomposition Based Search - A theoretical and experimental evaluation

Authors: W. J. van Hoeve, M. Milano

Abstract: In this paper we present and evaluate a search strategy called Decomposition Based Search (DBS) which is based on two steps: subproblem generation and subproblem solution. The generation of subproblems is done through value ranking and domain splitting. Subdomains are explored so as to generate, according to the heuristic chosen, promising subproblems first. We show that two well known search… ▽ More In this paper we present and evaluate a search strategy called Decomposition Based Search (DBS) which is based on two steps: subproblem generation and subproblem solution. The generation of subproblems is done through value ranking and domain splitting. Subdomains are explored so as to generate, according to the heuristic chosen, promising subproblems first. We show that two well known search strategies, Limited Discrepancy Search (LDS) and Iterative Broadening (IB), can be seen as special cases of DBS. First we present a tuning of DBS that visits the same search nodes as IB, but avoids restarts. Then we compare both theoretically and computationally DBS and LDS using the same heuristic. We prove that DBS has a higher probability of being successful than LDS on a comparable number of nodes, under realistic assumptions. Experiments on a constraint satisfaction problem and an optimization problem show that DBS is indeed very effective if compared to LDS. △ Less

Submitted 16 July, 2004; originally announced July 2004.

Comments: 16 pages, 8 figures. LIA Technical Report LIA00203, University of Bologna, 2003

ACM Class: I.2.8; D.3.3

The alldifferent Constraint: A Survey

Authors: W. J. van Hoeve

Abstract: The constraint of difference is known to the constraint programming community since Lauriere introduced Alice in 1978. Since then, several solving strategies have been designed for this constraint. In this paper we give both a practical overview and an abstract comparison of these different strategies. The constraint of difference is known to the constraint programming community since Lauriere introduced Alice in 1978. Since then, several solving strategies have been designed for this constraint. In this paper we give both a practical overview and an abstract comparison of these different strategies. △ Less

Submitted 8 May, 2001; originally announced May 2001.

Comments: 12 pages, 3 figures, paper accepted at the 6th Annual workshop of the ERCIM Working Group on Constraints

ACM Class: D.3.3