Journal of Combinatorial Optimization

, Volume 35, Issue 4, pp 1286–1299 | Cite as

On the lower bounds of random Max 3 and 4-SAT

Article
  • 13 Downloads

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.

Keywords

Maximum satisfiability The second moment method Weighting scheme 

References

  1. Achlioptas D, Moore C (2002) The asymptotic order of the random \(k\)-SAT threshold. In: Proceedings of 43rd annual symposium on foundations of computer science, pp 126–127Google Scholar
  2. Achlioptas D, Peres Y (2004) The threshold for random \(k\)-SAT is \(2^k\log 2-O(k)\). J Am Math Soc 17(4):947–973CrossRefMATHGoogle Scholar
  3. Achlioptas D, Naor A, Peres Y (2007) On the maximum satisfiability of random formulas. J Assoc Comput Mach 54(2):10MathSciNetCrossRefMATHGoogle Scholar
  4. Borchers B, Furman J (1998) A two-phase exact algorithm for MAX-SAT and weighted MAX-SAT problems. J Comb Optim 2(4):299–306MathSciNetCrossRefMATHGoogle Scholar
  5. Broder AZ, Frieze AM, Upfal E (1993) On the satisfiability and maximum satisfiability of random 3-CNF formulas. In: Proceedings of 4th annual ACM-SIAM symposium on discrete algorithms, pp 322–330Google Scholar
  6. Coppersmith D, Gamarnik D, Hajiaghayi MT, Sorkin GB (2003) Random MAX 2-SAT and MAX CUT. In: 14th annual ACM-SIAM symposium on discrete algorithms (Baltimore, MD, 2003). ACM, New YorkGoogle Scholar
  7. de Bruijn NG (1981) Asymptotic methods in analysis, 3rd edn. Dover Publications Inc., New YorkMATHGoogle Scholar
  8. de la Vega WF, Karpinski M (2002) 9/8-approximation algorithm for random MAX 3-SAT. Technical Report TR02-070. Electronic Colloquium on Computational ComplexityGoogle Scholar
  9. Goemans M, Williamson D (1994) New 3/4-approximation algorithms for the maximum satisfiability problem. SIAM J Discrete Math 7:656–666MathSciNetCrossRefMATHGoogle Scholar
  10. Håstad J (2001) Some optimal inapproximability results. J ACM 48(4):798–859MathSciNetCrossRefMATHGoogle Scholar
  11. Hirsch EA (2000) A new algorithm for MAX 2-SAT, STACS 2000, LNCS 1770, pp 65–73Google Scholar
  12. Kaporis AC, Kirousis LM, Lalas EG (2006) The probabilistic analysis of a greedy satisfiability algorithm. Random Struct Algorithms 28:444–480MathSciNetCrossRefMATHGoogle Scholar
  13. Liu J, Xu K (2016) A novel weighting scheme for random \(k\)-SAT. Sci China Inf Sci 59(9):092101.  https://doi.org/10.1007/s11432-016-5526-8 MathSciNetCrossRefGoogle Scholar
  14. Vorob’ev FYu (2007) A lower bound for the 4-satisfiability threshold. Discrete Math Appl 17(3):287–294MathSciNetMATHGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Department of MathematicsBeijing Technology and Business UniversityBeijingChina
  2. 2.School of Mathematics and Systems ScienceBeihang UniversityBeijingChina

Personalised recommendations