Opportunistic Specialization in Russian Doll Search

  • Pedro Mesegue
  • Martí Sánchez
  • Gérard Verfaillie
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2470)

Abstract

Russian Doll Search (RDS) is a clever procedure to solve overconstrained problems. RDS solves a sequence of nested subproblems, each including one more variable than the previous, until the whole problem is solved. Specialized RDS (SRDS) solves each subproblem for every value of the new variable. SRDS lower bound is better than RDS lower bound, causing a higher efficiency. A natural extension is Full Specialized RDS (FSRDS), which solves each subproblem for every value of every variable. Although FSRDS lower bound is better than the SRDS one, the extra work performed by FSRDS renders it inefficient. However, much of the useless work can be avoided. With this aim, we present Opportunistic Specialization in RDS (OSRDS), an algorithm that lies between SRDS and FSRDS. In addition to specialize the values of one variable, OSRDS specializes some values of other variables that look promising to increase the lower bound in the current distribution of inconsistency counts. Experimental results on random and real problems show the benefits of this approach.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    M. S. Affane and H. Bennaceur. A weighted arc consistency technique for Max-CSP. In Proc. of the 13th ECAI, 209–213, 1998.Google Scholar
  2. [2]
    S. Bistarelli, U. Montanari and F. Rossi. Constraint Solving over Semirings. In Proc. of the 14 th IJCAI, 1995.Google Scholar
  3. [3]
    S. Bistarelli, U. Montanari, F. Rossi, T. Schiex, G. Verfaillie and H. Fargier. Semiring-based CSPs and Valued CSPs: Frameworks, Properties and Comparison. Constraints, 4:199–240, 1999.MathSciNetMATHCrossRefGoogle Scholar
  4. [4]
    B. Cabon, S. De Givry, L. Lobjois, T. Schiex and J.P. Warners. Radio Link Frequency Assignment Constraints, vol. 4, num. 1, 79–89, 1999.MATHCrossRefGoogle Scholar
  5. [5]
    R. Dechter. Mini-buckets: A general scheme for generating approximations in automated reasoning. Artificial Intelligence, 113:41–85, 1999.MathSciNetMATHCrossRefGoogle Scholar
  6. [6]
    R. Dechter. Bucket elimination: A unifying framework for reasoning. Artificial Intelligence, 113:41–85, 1999.MathSciNetMATHCrossRefGoogle Scholar
  7. [7]
    E. C. Freuder and R. J. Wallace. Partial constraint satisfaction. Artificial Intelligence, 58:21–70, 1992.MathSciNetCrossRefGoogle Scholar
  8. [8]
    J. Larrosa. Boosting search with variable elimination. In Proc. of the 6 th CP, 291–305, 2000.Google Scholar
  9. [9]
    J. Larrosa. Node and arc consistency in Weighted CSP. In Proc. of the 18 th AAAI, 2002.Google Scholar
  10. [10]
    J. Larrosa and P. Meseguer. Exploiting the use of DAC in Max-CSP. In Proc. of the 2 th CP, 308–322, 1996.Google Scholar
  11. [11]
    J. Larrosa, P. Meseguer, and T. Schiex. Maintaining reversible DAC for Max-CSP. Artificial Intelligence, 107:149–163, 1999.MathSciNetMATHCrossRefGoogle Scholar
  12. [12]
    P. Meseguer, M. Sanchez. Specializing russian doll search. In Proc. of the 7 th CP, 464–478, 2001.Google Scholar
  13. [13]
    T. Schiex, H. Fargier and G. Verfaillie. Valued Constraint Satisfaction Problems: hard and easy problems. In Proc. of the 14 th IJCAI, 631–637, 1995.Google Scholar
  14. [14]
    T. Schiex. Arc consistency for soft constraints In Proc. of the 6 th CP, 411–424, 2000.Google Scholar
  15. [15]
    G. Verfaillie, M. Lemaître, and T. Schiex. Russian doll search. In Proc. of the 13 th AAAI, 181–187, 1996.Google Scholar
  16. [16]
    R. Wallace. Directed arc consistency preprocessing. In M. Meyer, editor, Selected papers from the ECAI-94 Workshop on Constraint Processing, number 923 in LNCS, 121–137. Springer, Berlin, 1995.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Pedro Mesegue
    • 1
  • Martí Sánchez
    • 1
  • Gérard Verfaillie
    • 2
  1. 1.IIIA-CSICBellaterraSpain
  2. 2.ONERAToulouse CedexFrance

Personalised recommendations