Abstract
For problems SAT and MAX SAT, local search algorithms are widely acknowledged as one of the most effective approaches. Most of the local search algorithms are based on the 1-flip neighborhood, which is the set of solutions obtainable by flipping the truth assignment of one variable. In this paper, we consider r-flip neighborhoods for r ≥ 2, and propose, for r = 2, 3, new implementations that reduce the number of candidates in the neighborhood without sacrificing the solution quality. For 2-flip (resp., 3-flip) neighborhood, we show that its expected size is O(n + m) (resp., O(m + t2n)), which is usually much smaller than the original size O(n2) (resp., O(n3)), where n is the number of variables, m is the number of clauses and t is the maximum number of appearances of one variable. Computational results tell that these estimates by the expectation well represent the real performance.
Similar content being viewed by others
References
B. Cha, K. Iwama, Y. Kambayashi, and S. Miyazaki, "Local search algorithms for partial MAXSAT," in Proc. AAAI, 1997, pp. 263–268.
M.L. Fredman, J. Koml´os, and E. Szemer´edi, "Storing a sparse table with O.1/ worst case access time," J. ACM, vol. 31, pp. 538–544, 1984.
A.S. Fukunaga, "Variable-selection heuristics in local search for SAT," in Proc. AAAI, 1997, pp. 275–280.
M.R. Garey and D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeman, 1979.
I.P. Gent and T. Walsh, "Towards an understanding of hill-climbing procedures for SAT," in Proc. AAAI, 1993, pp. 28–33.
J. Gu, "Efficient local search for very large-scale satisfiability problems," SIGART Bulletin, vol. 3, pp. 8–12, 1992.
P. Hansen and B. Jaumard, "Algorithms for the maximum satisfiability problem," Computing, vol. 44, pp. 279–303, 1990.
J.N. Hooker and C. Fedjki, "Branch-and-cut solution of inference problems in propositional logic," Annals of Mathematics and Artificial Intelligence, vol. 1, pp. 123–139, 1990.
D.E. Knuth, The Art of Computer Programming, vol. 3, Sorting and Searching, Addison-Wesley, 1973.
B. Mazure, L. Saïs, and É E. Gr´egoire, "Tabu search for SAT," in Proc. AAAI, 1997, pp. 281–285.
P.M. Pardalos, L.S. Pitsoulis, and M.G.C. Resende, Aparallel GRASP for MAX-SAT problems," LNCS, vol. 1180, pp. 575–585, 1996.
M.G.C. Resende, L.S. Pitsoulis, and P.M. Pardalos, "Approximate solution of weighted MAX-SAT problems using GRASP," Dimacs Series on Discrete Mathematics and Theoretical Computer Science, vol. 35, pp. 393–405, 1997.
B. Selman and H.A. Kautz, "An empirical study of greedy local search for satisfiability testing," in Proc. AAAI, 1993a, pp. 46–51.
B. Selman and H.A. Kautz, "Domain-independent extensions to GSAT: Solving large structured satisfiability problems," in Proc. IJCAI, 1993b, pp. 290–295.
B. Selman, H.A. Kautz, and B. Cohen, "Noise strategies for improving local search," in Proc. AAAI, 1994.
B. Selman, H.A. Kautz, and B. Cohen, "Local search strategies for satisfiability testing," DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 26, pp. 521–531, 1996.
B. Selman, H. Levesque, and D. Mitchell, "A new method for solving hard satisfiability problems," in Proc. AAAI, 1992, pp. 440–446.
T. Uno, private communication, 1997.
M. Yagiura and T. Ibaraki, "Efficient 2 and 3–flip neighborhood search algorithms for the MAX SAT," LNCS. (Proc. COCOON), vol. 1449, pp. 105–116, 1998.
M. Yagiura and T. Ibaraki, "Efficient 2 and 3–flip neighborhood search algorithms for the MAXSAT: Experimental evaluation," submitted for publication.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Yagiura, M., Ibaraki, T. Analyses on the 2 and 3-Flip Neighborhoods for the MAX SAT. Journal of Combinatorial Optimization 3, 95–114 (1999). https://doi.org/10.1023/A:1009873324187
Issue Date:
DOI: https://doi.org/10.1023/A:1009873324187