Advertisement

Randomness in heuristics: An experimental investigation for the maximum satisfiability problem

  • H. Drias
Plasticity Phenomena (Maturing, Learning & Memory)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1606)

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.

Keywords

genetic algorithm tabu search maximum satisfiability heuristics randomness local search 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    P. Alimonti, New local search approximation techniques for maximum generalized satisfiability problems’, TR Universita di Roma “La Sapienza”.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    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.Google Scholar
  4. [4]
    B. Borchers and J. Furman, “A two phase exact algorithm for MAX-SAT and weighted MAX-SAT problems’.Google Scholar
  5. [5]
    S.A. Cook, ‘An overview of computational complexity’, communications of the ACM, vol 26, 6(1983), 401–408.MathSciNetCrossRefMATHGoogle Scholar
  6. [6]
    P. Crescenzi and V. Kann, ‘A compendium of NP-optimization problems, (1997).Google Scholar
  7. [7]
    L. Davis, “Handbook of genetic algorithms’, Van Nostrand Reinhold, New York, (1991).Google Scholar
  8. [8]
    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).Google Scholar
  9. [9]
    H. Drias, F. Miloudi and N. Hakem, ‘Un algorithme base sur la recherche tabou pour le probleme d’emploi du temps’, submittedGoogle Scholar
  10. [10]
    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).Google Scholar
  11. [11]
    M.R. Garey and D.S. Johnson, Computers and Intractability (Freeman & C 1979).Google Scholar
  12. [12]
    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.CrossRefMATHGoogle Scholar
  13. [13]
    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.MathSciNetCrossRefMATHGoogle Scholar
  14. [14]
    D.E. Goldberg, ‘Algorithmes génétiques: exporation, expoitation et apprentissage automatique’, Adison-Wesley France (1994)Google Scholar
  15. [15]
    J. Gu, ‘Global Optimization for satisfiability (SAT) Problem’, IEEE Transactions on knowledge and data engineering, vol 6, 3(1994), 361–381CrossRefGoogle Scholar
  16. [16]
    P. Hansen and B. Jaumard, ‘Algorithms for the maximum satisfiability problem’, computing, 44(1990), 279–303.MathSciNetCrossRefMATHGoogle Scholar
  17. [17]
    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).Google Scholar
  18. [18]
    V. Kann and A. Panconesi, ‘Hardness of approximation’, Annotated bibliographies in combinatorial optimization, John Wiley & sons, ltd (1997).Google Scholar
  19. [19]
    K.J. Lieberherr and E. Specker, ‘Complexity of partial satisfaction’, Journal of the ACM, vol 28 2(1981), 411–421.MathSciNetCrossRefMATHGoogle Scholar
  20. [20]
    B. Mazure, L. Sais and E. Gregoire, ‘Tabu search for SAT’, American Association for Artificial intelligence.Google Scholar
  21. [21]
    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.Google Scholar
  22. [22]
    P. Nobili and A. Sassano, ‘strengthening Lagrangian bounds for the MAX-SAT problem’, TR Universita di Roma, “La Sapienza”.Google Scholar
  23. [23]
    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.MathSciNetCrossRefMATHGoogle Scholar
  24. [24]
    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.Google Scholar
  25. [25]
    B. Selman, verifier la suite, ‘Local search strategies for satisfiability testing’, Dimacs challenge on cliques, coloring and satisfiability, (oct 1993).Google Scholar
  26. [26]
    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).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • H. Drias

There are no affiliations available

Personalised recommendations