Abstract
A k-CNF formula is said to be p-satisfiable if there exists a truth assignment satisfying a fraction of \(1-2^{-k}+p2^{-k}\) of its clauses. We obtain better lower bounds for random 3 and 4-SAT to be p-satisfiable. The technique we use is a delicate weighting scheme of the second moment method, where for every clause we give appropriate weight to truth assignments according to their number of satisfied literal occurrences.
Partially supported by NSFC 11301091.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Achlioptas, D., Moore, C.: The asymptotic order of the random k-SAT threshold. In: Proceedings of 43rd Annual Symposium on Foundations of Computer Science, pp. 126–127 (2002)
Achlioptas, D., Naor, A., Peres, Y.: On the maximum satisfiability of random formulas. J. Assoc. Comput. Machinary 54(2) (2007)
Achlioptas, D., Peres, Y.: The threshold for random \(k\)-SAT is \(2^k\log 2-O(k)\). J. Am. Math. Soc. 17(4), 947–973 (2004)
Borchers, B., Furman, J.: A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems. J. Comb. Optim. 2(4), 299–306 (1998)
Broder, A.Z., Frieze, A.M., Upfal, E.: On the satisfiability and maximum satisfiability of random 3-CNF formulas. In: Proceedings of 4th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 322–330 (1993)
Coppersmith, D., Gamarnik, D., Hajiaghayi, M.T., Sorkin, G.B.: Random MAX 2-SAT and MAX CUT. In: 14th Annual ACM-SIAM Symposium on Discrete Algorithms (Baltimore, MD). ACM, New York (2003)
de Bruijn, N.G.: Asymptotic Methods in Analysis, 3rd edn. Dover Publications Inc., New York (1981)
Fernandez de la Vega, W., Karpinski, M.: \(9/8\)-approximation algorithm for random max 3-sat. Technical Report TR02-070, Electronic Colloquium on Computational Complexity (2002)
Gao, Z., Liu, J., Xu, K.: A novel weighting scheme for random \(k\)-SAT. arXiv:1310.4303
Goemans, M., Williamson, D.: New \(3/4\)-approximation algorithms for the maximum satisfiability problem. SIAM J. Discrete Math. 7, 656–666 (1994)
Håstad, J.: Some optimal inapproximability results. J. ACM 48(4), 798–859 (2001)
Hirsch, E.A.: A new algorithm for MAX-2-SAT. In: Reichel, H., Tison, S. (eds.) STACS 2000. LNCS, vol. 1770, p. 65. Springer, Heidelberg (2000)
Vorob’ev, F.Y.: A lower bound for the 4-satisfiability threshold. Discrete Math. Appl. 17(3), 287–294 (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Zhou, G. (2016). On the Lower Bounds of Random Max 3 and 4-SAT. In: Zhu, D., Bereg, S. (eds) Frontiers in Algorithmics. FAW 2016. Lecture Notes in Computer Science(), vol 9711. Springer, Cham. https://doi.org/10.1007/978-3-319-39817-4_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-39817-4_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39816-7
Online ISBN: 978-3-319-39817-4
eBook Packages: Computer ScienceComputer Science (R0)