Abstract
Stochastic local search algorithms (SLS) have been increasingly applied to approximate solutions of the weighted maximum satisfiability problem (MAXSAT), a model for solutions of major problems in AI and combinatorial optimization. While MAXSAT instances have generally a strong intrinsic dependency between their variables, most of SLS algorithms start the search process with a random initial solution where the value of each variable is generated independently with the same uniform distribution. In this paper, we propose a new SLS algorithm for MAXSAT based on an unconventional distribution known as the Bose-Einstein distribution in quantum physics. It provides a stochastic initialization scheme to an efficient and very simple heuristic inspired by the co-evolution process of natural species and called Extremal Optimization (EO). This heuristic was introduced for finding high quality solutions to hard optimization problems such as colouring and partitioning. We examine the effectiveness of the resulting algorithm by computational experiments on a large set of test instances and compare it with some of the most powerful existing algorithms. Our results are remarkable and show that this approach is appropriate for this class of problems.
Similar content being viewed by others
References
Arora S, Lund C, Motwani R, Sudan M, Szegedy M (1992) Proof verification and hardness of approximation problems. In: Proceedings of the 33rd IEEE Symposium on Foundations of Computer Science, pp. 14–23
Bak P, Sneppen K (1993) Punctuated equilibrium and criticality in a simple model of evolution. Phys Rev Lett 71:4083–4086
Bak P, Tang C, Wiesenfeld K (1987) Self-organized criticality: An explanation of 1/f-noise. Phys Rev Lett 86:(23) 5211–5214
Battiti R, Protasi M (1997) Reactive Search, a history-sensitive heuristic for MAX-SAT. ACM J Exper Algors 2:2
Boettcher S, Grigni M (2002) Jamming model for the Extremal Optimization heuristic. J Phys A: Math. Gen. 35:1109–1123
Boettcher S, Percus AG (2000) Nature’s way of optimizing Elsevier Science Art Intell 119:275–286
Boettcher S, Percus AG (2001) Optimization with extremal dynamics. Phys Rev Lett, 86(23):5211–5214
Boettcher S, Percus AG (2001) Extremal Optimization for graph partitioning. Phys Rev E 64(026114):1–13
Cha B, Iwama K, Kambayashi Y, Miyazaki S (1997) Local search algorithms for partial MAXSAT. In: Proceedings of the 14th National Conference on Artificial (AAAI-97), Providence, Rhode Island, USA, pp 263–268
Cook SA (1971) The complexity of theorem proving procedures. In: Proceedings of the 3rd Annual ACM Symposium of the Theory of Computation, pp 151–158
Crescenzi P, Kann V (1998) How to find the best approximation results—a follow-up to Garey and Johnson. ACM SIGACT News 29(4):90–97
Davis M, Putnam H (1960) A computing procedure for quantification theory. J Assoc Comp Mach 7:201–215
Dubois O, Boufkhad Y (1997) A general upper bound of the satisfiability thresholds of random r-SAT formulae. J Algor 24:394–420
Franco J (1986) On the probabilistic performance of algorithms for the satisfiability problem. Inform Proc Lett 23:103–106
Gent IP, Walsh T (1993) Towards an understanding of hill-climbing procedures for SAT. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI-93), Washington DC, Washington, USA, pp. 28–33
Glover F (1989) Tabu Search: Part I. ORSA J Comp 1(3):190–206
Glover F (1989) Tabu Search: Part II. ORSA Journal on Computing 2(1):+32
Haken H, Wolf HC (1996) The physics of atoms and quanta, 5th edn. Springer-Verlag
Hansen P, Jaumard B (1990) Algorithms for the maximum satisfiability problems. Computing 44:279–303
Jiang Y, Kautz HA, Selman B (1995) Solving problems with hard and soft constraints using a stochastic algorithm for MAX-SAT. In: Proceedings of the 1st International Joint Workshop on Artificial Intelligence and Operations Research, Oregon, USA, available at http://www.cirl.uoregon.edu/aior/
Johnson D (1974) Approximation algorithms for combinatorial problems. J Comp Sys Sci 9:256–278
Kautz HA, Selman B (1996) Pushing the envelope: Planning, propositional logic, and stochastic search. In: Proceedings of the 13th National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon, USA, MIT Press vol. 2: pp 1194–1201
Kirkpatrick S, Gelatt CD, Vecchi PM (1983) Optimization by Simulated Annealing. Science 220:671–680
Mazure B, Sais L, Gregoire E (1997) Tabu Search for SAT. In: Proceedings of the 14th National Conference on Artificial Intelligence (AAAI-97), Providence, Rhode Island, USA,pp 281–285
Menaí MB, Batouche M (2002) EO for MAXSAT. In: Proceedings of the International Conference on Artificial Intelligence (IC-AI’02) Las Vegas, Nevada, USA, vol. 3: pp 954–958
Metropolis N, Rosenbluth AW, Rosenbluth MN, Teller AH, Teller E (1953) Equation of state calculations by fast computing machines. J Chem Phys 21:1087–1092
Mitchell D, Selman B, Levesque HJ (1992) Hard and easy distributions of SAT problems. In: Proceedings of the 10th National Conference on Artificial Intelligence (AAAI-92), San Jose, CA, USA, pp 459–465
Monasson R, Zecchina R, Kirkpatrick S, Selman B, Troyansky L (1999) Determining computational complexity from characteristic ‘Phase Transition’. Nature 400:133–137
Nonobe K, Ibaraki T (1998) A Tabu Search approach to the CSP (Constraint Satisfaction Problem) as a general problem solver. European J Oper Res 106:599–623
Resende MGC, Pitsoulis LS, Pardalos PM (1997) Approximate solution of weighted MAX-SAT problems using GRASP. In: Satisfiability Problem: Theory and Applications, of DIMACS Series in Discrete Mathematics and Theoretical Computer Science (American Mathematical Society, 1997) 35:393–405
Ross MS (2000) Introduction to Probability Models, 7th edn. Academic Press, New York
Selman B, Kautz HA (1993) An empirical study of greedy local search for satisfiability testing. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI-93), Washington DC, Washington, USA, pp 46–51
Selman B, Kautz HA (1993) Domain independent extensions to GSAT: Solving large structured satisfiability problems. In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Chambery, France,pp. 290–295
Selman B, Kautz HA, Cohen B (1994) Noise strategies for improving local search. In: Proceedings of the 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, Washington, USA, pp 337–343
Spears WM (1996) Simulated Annealing for hard satisfiability problems. In: Johnson DS, Trick MA (eds) Cliques, Coloring and Satisfiability: Second DIMACS Implementation Challenge, vol. 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science (American Mathematical Society), 553–558
Szedmak S (2001) How to find more efficient initial solution for searching, RUTCOR Research Report 49-2001, Rutgers Center for Operations Research, Rutgers University, Piscataway, New Jersey, USA
Yagiura M, Ibaraki T (2001) Efficient 2 and 3-flip neighborhood search algorithms for the MAXSAT: Experimental evaluation. J Heur 7:423–442
Yannakakis M (1994) On the approximation of maximum satisfiability. J Algor 17:475–502
Author information
Authors and Affiliations
Corresponding author
Additional information
Mohamed El Bachir Menaï received his M.S. and Ph.D. degrees in computing systems from the University of Annaba and Mentouri University of Constantine, respectively. He is currently an assistant professor at the Computer Science Department of the University of Tébessa. His main interests are in the areas of problem complexity, heuristic search, evolutionary computation and quantum computing.
Mohamed Batouche received his M.S. and Ph.D. degrees in computer science from the Institut National Polytechnique de Lorraine (INPL), France, in 1989 and 1993, respectively. Currently, he is a professor at the University of Constantine, Algeria. His research areas include artificial intelligence and pattern recognition.
Rights and permissions
About this article
Cite this article
Menaï, M.E.B., Batouche, M. An effective heuristic algorithm for the maximum satisfiability problem. Appl Intell 24, 227–239 (2006). https://doi.org/10.1007/s10489-006-8514-7
Issue Date:
DOI: https://doi.org/10.1007/s10489-006-8514-7