Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences

  • Conference paper
  • First Online:
Principles and Practice of Constraint Programming – CP 2000 (CP 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1894))

Abstract

The hybridisation of systematic and stochastic search is an active research area with potential benefits for real-world combinatorial problems. This paper shows that randomising the backtracking component of a systematic backtracker can improve its scalability to equal that of stochastic local search. The hybrid may be viewed as stochastic local search in a constrained space, cleanly combining local search with constraint programming techniques. The approach is applied to two very different problems. Firstly a hybrid of local search and constraint propagation is applied to hard random 3-SAT problems, and is the first constructive search algorithm to solve very large instances. Secondly a hybrid of local search and branch-and-bound is applied to low-autocorrelation binary sequences (a notoriously difficult communications engineering problem), and is the first stochastic search algorithm to find optimal solutions. These results show that the approach is a promising one for both constraint satisfaction and optimisation problems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. R. J. BayardoJr, R. Schrag. Using CSP Look-Back Techniques to Solve Real World SAT Instances. Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI Press / The MIT Press 1997, pp. 203–208.

    Google Scholar 

  2. G. Beenker, T. Claasen, P. Hermens. Binary Sequences With a Maximally Flat Amplitude Spectrum. Philips J. Res. vol. 40, pp. 289–304.

    Google Scholar 

  3. J. Bernasconi. Low Autocorrelation Binary Sequences: Statistical Mechanics and Configuration Space Analysis. J. Physique, vol. 48, pp. 559, 1987.

    Article  Google Scholar 

  4. J. M. Crawford. Solving Satisfiability Problems Using a Combination of Systematic and Local Search. Second DIMACS Challenge: Cliques, Coloring, and Satisfiability, October 1993, Rutgers University, NJ, USA. Available on: http://www.cirl.uoregon.edu/crawford/papers/papers.html.

    Google Scholar 

  5. J. M. Crawford, L. D. Auton. Experimental Results on the Crossover Point in Random 3SAT. Artificial Intelligence vol. 81, nos. 1–2, March 1996, pp. 31–57.

    Article  MathSciNet  Google Scholar 

  6. C. de Groot, D. Würtz, K. H. Hoffmann. Low Autocorrelation Binary Sequences: Exact Enumeration and Optimization by Evolutionary Strategies. Optimization vol. 23, Gordon & Breach Science Publishers S. A. 1992, pp. 369–384.

    Article  MATH  MathSciNet  Google Scholar 

  7. E. C. Freuder, R. Dechter, M. L. Ginsberg, B. Selman, E. Tsang. Systematic Versus Stochastic Constraint Satisfaction. Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Morgan Kaufmann 1995, pp. 2027–2032.

    Google Scholar 

  8. I. Gent, T. Walsh. CSPLIB: A Benchmark Library for Constraints. Available on: http://csplib.cs.strath.ac.uk

  9. I. P. Gent, T. Walsh. Towards an Understanding of Hill-Climbing Procedures for SAT. Proceedings of the Eleventh National Conference on Artificial Intelligence, AAAI Press / MIT Press 1993, pp. 28–33.

    Google Scholar 

  10. I. Gent, B. Smith. Symmetry Breaking During Search in Constraint Programming. Research Report 99.02, Department of Computer Science, University of Leeds, 1999.

    Google Scholar 

  11. M. L. Ginsberg. Dynamic Backtracking. Journal of Artificial Intelligence Research vol. 1, AI Access Foundation and Morgan Kaufmann 1993, pp. 25–46.

    MATH  Google Scholar 

  12. M. L. Ginsberg, D. A. McAllester. GSAT and Dynamic Backtracking. Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann 1994, pp. 226–237.

    Google Scholar 

  13. M. Golay. The Merit Factor of Long Low Autocorrelation Binary Sequences. IEEE Transactions on Information Theory IT-23, pp. 43–51.

    Google Scholar 

  14. M. K. Goldberg, R. D. Rivenburgh. Constructing Cliques Using Restricted Backtracking. In [18] pp. 89–102.

    Google Scholar 

  15. C. Gomes, B. Selman, H. Kautz. Boosting Combinatorial Search Through Randomization. Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, AAAI Press / The MIT Press 1998, pp. 431–437.

    Google Scholar 

  16. W. D. Harvey. Nonsystematic Backtracking Search. PhD thesis, Stanford University, 1995.

    Google Scholar 

  17. H. Hoos. SAT-Encodings, Search Space Structure, and Local Search Performance. Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99), Morgan Kaufmann 1999, pp. 296–302.

    Google Scholar 

  18. D. S. Johnson, M. A. Trick (Eds). Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science vol. 26, American Mathematical Society 1996.

    Google Scholar 

  19. D. E. Joslin, D. P. Clements. Squeaky Wheel Optimization. Journal of Artificial Intelligence Research vol. 10, 1999, pp. 353–373.

    MATH  MathSciNet  Google Scholar 

  20. N. Jussien, O. Lhomme. The Path-Repair Algorithm. Proceedings of the Workshop on Large Scale Combinatorial Optimization and Constraints, Electronic Notes in Discrete Mathematics vol. 4, 1999. Available on: http://www.elsevier.nl/locate/disc

  21. H. Kautz, D. McAllester, B. Selman. Exploiting Variable Dependency in Local Search. Poster Sessions of the Fifteenth International Joint Conference on Artificial Intelligence, Morgan Kaufmann 1997.

    Google Scholar 

  22. P. Langley. Systematic and Nonsystematic Search Strategies. Artificial Intelligence Planning Systems: Proceedings of the First International Conference, Morgan Kaufmann 1992, pp. 145–152.

    Google Scholar 

  23. S. Mertens. Exhaustive Search for Low-Autocorrelation Binary Sequences. J. Phys. A: Math. Gen. vol. 29 L473–L481, 1996.

    Article  MathSciNet  Google Scholar 

  24. S. Mertens, C. Bessenrodt. On the Ground States of the Bernasconi Model. J. Phys. A: Math. Gen. vol. 31, 1998, pp. 3731–3749.

    Article  MATH  Google Scholar 

  25. P. Morris. The Breakout Method for Escaping Local Minima. Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI’93), AAAI Press / MIT Press 1993, pp. 40–45.

    Google Scholar 

  26. A. J. Parkes, J. P. Walser. Tuning Local Search for Satisfiability Testing. Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, (AAAI’96, IAAI’96), vol. 1, AAAI Press / The MIT Press 1996, pp. 356–362.

    Google Scholar 

  27. G. Pesant, M. Gendreau. A View of Local Search in Constraint Programming. Principles and Practice of Constraint Programming, Proceedings of the Second International Conference, Lecture Notes in Computer Science vol. 1118, Springer-Verlag 1996, pp. 353–366.

    Google Scholar 

  28. S. D. Prestwich. A Hybrid Local Search Algorithm for Low-Autocorrelation Binary Sequences. Technical Report TR-00-01, Department of Computer Science, University College, Cork, Ireland 2000. Available on: http://csplib.cs.strath.ac.uk

    Google Scholar 

  29. S. D. Prestwich. Using an Incomplete Version of Dynamic Backtracking for Graph Colouring. Workshop on Large Scale Combinatorial Optimization, Electronic Notes in Discrete Mathematics vol. 1, 1998. Available on: http://www.elsevier.nl/locate/disc

  30. S. D. Prestwich. Stochastic Local Search In Constrained Spaces. Proceedings of Practical Applications of Constraint Technology and Logic Programming, PACLP-2000, Practical Application Company Ltd 2000, pp. 27–39.

    Google Scholar 

  31. S. D. Prestwich. A Generic Approach to Combining Stochastic Algorithms With Systematic Constraint Solvers. Proceedings of Frontiers of Combining Systems 2 (FroCos’98), D. M. Gabbay and M. de Rijke (eds.), Research Studies Press/Wiley 1999, pp. 275–294.

    Google Scholar 

  32. E. T. Richards, B. Richards. Non-Systematic Search and Learning: an Empirical Study. Principles and Practice of Constraint Programming, Proceedings of the Fourth International Conference, Lecture Notes in Computer Science vol. 1520, Springer-Verlag 1998, pp. 370–384.

    Google Scholar 

  33. A. Schaerf. Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems. Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Morgan Kaufmann 1997, pp. 1254–1259.

    Google Scholar 

  34. B. Selman, H. Kautz, B. Cohen. Noise Strategies for Improving Local Search. Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI Press 1994, pp. 337–343.

    Google Scholar 

  35. Y. Shang, B. W. Wah. A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems. Journal of Global Optimization vol. 10, Kluwer 1997, pp. 1–40.

    Article  Google Scholar 

  36. P. Shaw. Using Constraint Programming and Local Search to Solve Vehicle Routing Problems. Proceedings of the Fourth International Conference on Principles and Practice of Constraint Programming (CP’98), Lecture Notes in Computer Scienece vol. 1520, Springer-Verlag 1998, pp. 417–431.

    Google Scholar 

  37. G. Verfaillie, T. Schiex. Solution Reuse in Dynamic Constraint Satisfaction Problems. Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI Press 1994, pp. 307–312.

    Google Scholar 

  38. Q. Wang. Optimization by Simulating Molecular Evolution. Biol. Cybern. vol. 57, pp. 95–101, 1987.

    Article  Google Scholar 

  39. M. Yokoo. Weak-Commitment Search for Solving Constraint Satisfaction Problems. Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI Press 1994, pp. 313–318.

    Google Scholar 

  40. M. Yokoo. Why Adding More Constraints Makes a Problem Easier for Hill-Climbing Algorithms: Analyzing Landscape of CSPs. Proceedings of the Third International Conference on Principles and Practice of Constraint Programming (CP’97), Lecture Notes in Computer Science vol. 1330, Springer-Verlag 1997, pp. 357–370.

    Chapter  Google Scholar 

  41. J. Zhang, H. Zhang. Combining Local Search and Backtracking Techniques for Constraint Satisfaction. Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Conference on Innovative Applications of Artificial Intelligence, AAAI Press / The MIT Press 1996, pp. 369–374.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, National University of Ireland at Cork, Ireland

    Steven Prestwich

Authors
  1. Steven Prestwich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of California at Irvine, Irvine, CA, 92697, USA

    Rina Dechter

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Prestwich, S. (2000). A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. In: Dechter, R. (eds) Principles and Practice of Constraint Programming – CP 2000. CP 2000. Lecture Notes in Computer Science, vol 1894. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45349-0_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-45349-0_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41053-9

  • Online ISBN: 978-3-540-45349-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation