When Interval Analysis Helps Inter-Block Backtracking

Bertrand Neveu 1, 2 Gilles Chabert 1 Gilles Trombettoni 1
1 COPRIN - Constraints solving, optimization and robust interval analysis
CRISAM - Inria Sophia Antipolis - Méditerranée , ENPC - École des Ponts ParisTech
2 Algorithms, architectures, image analysis and computer graphics
CERTIS - Centre d'Enseignement et de Recherche en Technologies de l'Information et Systèmes
Abstract : Inter-block backtracking (IBB) computes all the solutions of sparse systems of non-linear equations over the reals. This algorithm, introduced in 1998 by Bliek et al., handles a system of equations previously decomposed into a set of (small) k × k sub-systems, called blocks. Partial solutions are computed in the different blocks and combined together to obtain the set of global solutions. When solutions inside blocks are computed with interval-based techniques, IBB can be viewed as a new interval-based algorithm for solving decomposed equation systems. Previous implementations used Ilog Solver and its IlcInterval library. The fact that this interval-based solver was more or less a black box implied several strong limitations. The new results described in this paper come from the integration of IBB with the interval-based library developed by the second author. This new library allows IBB to become reliable (no solution is lost) while still gaining several orders of magnitude w.r.t. solving the whole system. We compare several variants of IBB on a sample of benchmarks, which allows us to better understand the behavior of IBB. The main conclusion is that the use of an interval Newton operator inside blocks has the most positive impact on the robustness and performance of IBB. This modifies the influence of other features, such as intelligent backtracking and filtering strategies.
Type de document :
Communication dans un congrès
Frederic Benhamou. CP 2006, 12th International Conference on Principles and Practice of Constraint Programming, 2006, Nantes, France. Springer, 4204, pp.390-405, 2006, LNCS. <10.1007/11889205_29>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00486724
Contributeur : Gilles Chabert <>
Soumis le : mercredi 26 mai 2010 - 14:29:29
Dernière modification le : mercredi 29 juillet 2015 - 01:23:52
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 15:20:12

Fichier

neveu_et_al_cp06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Bertrand Neveu, Gilles Chabert, Gilles Trombettoni. When Interval Analysis Helps Inter-Block Backtracking. Frederic Benhamou. CP 2006, 12th International Conference on Principles and Practice of Constraint Programming, 2006, Nantes, France. Springer, 4204, pp.390-405, 2006, LNCS. <10.1007/11889205_29>. <hal-00486724>

Partager

Métriques

Consultations de
la notice

262

Téléchargements du document

96