Abstract
In this paper, a genetic algorithm and a tabu search are investigated for the maximum satisfiability problem. When the evolutionary algorithm is hybridized with the randomized procedure G-bit [14], better performance is achieved and it even outperforms the well known probabilistic procedure GSAT[25]. On the other hand, when the random noise strategy is introduced in the tabu search, the latter competes with GSAT with walk [27] independently of the length of the tabu list. The basic result we can argue from this study is that the robustness of a method seems to be bound to the degree of ‘randomness’ involved in it, but at the expense of the running time. According to the experiments, GSAT and the genetic algorithm are more powerful than tabu search in its simplest form because they incorporate more ‘randomness’. GSAT with random walk is even more interesting than simple GSAT for the same reason. Also heuristic methods and local search bocome more efficient when a random strategy such as a noise is introduced to deviate the search from its usual rules.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Alimonti, New local search approximation techniques for maximum generalized satisfiability problems’, TR Universita di Roma “La Sapienza”.
R. Battiti and M. Protasi, “solving MAX-SAT with non-oblivious functions and history based heuristics”, Dimacs workshop on satisfiability problem: theory and applications, Rutgers University, March 1996.
R. Battiti and M. Protasi, “Approximate algorithms and heuristics for MAX-SAT”, Handbook of combinatorial optimization, vol1, D.Z. Du and P.M. Pardalos Eds, Kluwer Academic Publishers, (1998), 77–148.
B. Borchers and J. Furman, “A two phase exact algorithm for MAX-SAT and weighted MAX-SAT problems’.
S.A. Cook, ‘An overview of computational complexity’, communications of the ACM, vol 26, 6(1983), 401–408.
P. Crescenzi and V. Kann, ‘A compendium of NP-optimization problems, (1997).
L. Davis, “Handbook of genetic algorithms’, Van Nostrand Reinhold, New York, (1991).
H. Drias, A Monte Carlo algorithm for the satisfiability problem, in Proc of IEA-AIE 98, lectures notes in Artificial Intelligence, Springer Verlag Benicassim, Spain, (June 1998).
H. Drias, F. Miloudi and N. Hakem, ‘Un algorithme base sur la recherche tabou pour le probleme d’emploi du temps’, submitted
G. Gallo, C. Gentile, D. Pretolani and G. Rago, ‘Max Horn SAT and the minimum cut problem in directed hypergraphs’, TR 15/95 Dipartimento di informatica, university of Pisa, (1995).
M.R. Garey and D.S. Johnson, Computers and Intractability (Freeman & C 1979).
F. Glover, J.P. Kelly and M. Laguna, ‘Genetic algorithms and Tabu search: Hybrids for optimization’, Computers op Res, vol 22 1(1995), 111–134.
M.X. Goemans and D.P. Williamson, ‘Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming’, Journal of the ACM, 42(1995), 1115–1145.
D.E. Goldberg, ‘Algorithmes génétiques: exporation, expoitation et apprentissage automatique’, Adison-Wesley France (1994)
J. Gu, ‘Global Optimization for satisfiability (SAT) Problem’, IEEE Transactions on knowledge and data engineering, vol 6, 3(1994), 361–381
P. Hansen and B. Jaumard, ‘Algorithms for the maximum satisfiability problem’, computing, 44(1990), 279–303.
S. Joy, J. Mitchell and B. Borchers, ‘A branch and cut algorithm for MAX-SAT and weighted MAX-SAT’, Dimacs series in discrete Mathematics and Theoretical computer science, (1996).
V. Kann and A. Panconesi, ‘Hardness of approximation’, Annotated bibliographies in combinatorial optimization, John Wiley & sons, ltd (1997).
K.J. Lieberherr and E. Specker, ‘Complexity of partial satisfaction’, Journal of the ACM, vol 28 2(1981), 411–421.
B. Mazure, L. Sais and E. Gregoire, ‘Tabu search for SAT’, American Association for Artificial intelligence.
D. Mitchell, B. Selman and H.J. Levesque, Hard and easy distributions of SAT problems, in proc of the tenth conference on Artificial Intelligence (AAAI-92), San Jose, CA, (July 1992), 440–446.
P. Nobili and A. Sassano, ‘strengthening Lagrangian bounds for the MAX-SAT problem’, TR Universita di Roma, “La Sapienza”.
S. Poljak and D. Turzik, ‘A polynomial algorithm for constructing a large bipartite subgraph with an application to a satisfiability problem’, Can Journ. Math, vol 34, 3 (1982), 519–524.
B. Selman, H. Levesque and D. Mitchell, ‘A New method for solving hard satisfiability problems’, in proc of the Tenth national conference on Artificial Intelligence (AAAI-92), San Jose, CA, (1992), 440–446.
B. Selman, verifier la suite, ‘Local search strategies for satisfiability testing’, Dimacs challenge on cliques, coloring and satisfiability, (oct 1993).
B. Selman, H.A. Kautz and B. Cohen, ‘Noise strategies for improving local search’, in proc of the national conference on Artificial Intelligence (AAAI-94), Seattle, wa, (July 1994).
Editor information
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Drias, H. (1999). Randomness in heuristics: An experimental investigation for the maximum satisfiability problem. In: Mira, J., Sánchez-Andrés, J.V. (eds) Foundations and Tools for Neural Modeling. IWANN 1999. Lecture Notes in Computer Science, vol 1606. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0098228
Download citation
DOI: https://doi.org/10.1007/BFb0098228
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66069-9
Online ISBN: 978-3-540-48771-5
eBook Packages: Springer Book Archive