A branch and bound algorithm for numerical Max-CSP

  • Authors:

  • Jean-Marie Normand;Alexandre Goldsztejn;Marc Christie;Frédéric Benhamou

  • Affiliations:

  • LINA, University of Nantes, Nantes, France and EVENT Lab, Universitat de Barcelona, Barcelona, Spain;LINA, University of Nantes, Nantes, France and CNRS, University of Nantes, Nantes, France;LINA, University of Nantes, Nantes, France and INRIA/IRISA, Rennes Cedex, France;LINA, University of Nantes, Nantes, France

  • Venue:
  • Constraints
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem is over-constrained, the answer "no solution" is generally unsatisfactory. A Max-CSP $\mathcal{P}_m = \langle V, \textbf{D}, C \rangle$ is a triple defining a constraint problem whose solutions maximize the number of satisfied constraints. In this paper, we focus on numerical CSPs, which are defined on real variables represented as floating point intervals and which constraints are numerical relations defined in intension. Solving such a problem (i.e., exactly characterizing its solution set) is generally undecidable and thus consists in providing approximations. We propose a Branch and Bound algorithm that provides under and over approximations of a solution set that maximize the maximum number ${m_{\mathcal P}}$ of satisfied constraints. The technique is applied on three numeric applications and provides promising results.