Abstract
#SAT problem is NP-complete, so the small improvement of #SAT problems at the worst case (such as from O(ck) to O((c-ε)k)) will make the efficiency of the algorithm improved in the level of exponent. In this paper, we present a new #2-SAT algorithm based on DPLL regarding the number of clauses as parameter. In order to improve the upper bound, we propose two new transformation rules and make a more elaborate analysis of the constraint graph for choosing better variables to branch. By analyzing, we obtain the new worst case upper bound O(1.1740m), which is the best result up to now within our knowledge.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Hirsch EA (2000) New worst-case upper bounds for SAT. J Autom Reason 24(4):397–420
Yamamoto M (2005) An improved O(1.234 m)-time deterministic algorithm for SAT. IEIC Tech Rep 105(499):37–42
Monien B, Speckenmeyer E (1985) Solving satisfiability in less than 2n steps. Discret Appl Math 10(3):287–295
Brueggemann T, Kern W (2004) An improved local search algorithm for 3-SAT. Theoret Comput Sci 329(1–3):303–313
Junping Z, Minghao Y, Chunguang Z (2010) New worst-case upper bound for #2-SAT and #3-SAT with the number of clauses as the parameter. Proceedings of the twenty-fourth AAAI conference on artificial intelligence. AAAI Press, pp 217–222
Brueggemann T, Kern W (2004) An improved local search algorithm for 3-SAT. Theoret Comput Sci 329(1–3):303–313
Fürer M, Prasad Kasiviswanathan S (2007) Algorithms for counting 2-SAT solutions and colorings with applications. Proceeding of the 3rd int conference on algorithmic aspects in information and management. Springer, New York, pp 47–57
Kutzkov K (2007) New upper bound for the #3-SAT problem. Inform Proc Leters 105(1):1–5
Dahllöf V, Jonsson P, Wahlström M (2002) Counting satisfying assignments in 2-SAT and 3-SAT. Proceeding 8th international computing and combinatorics conference. Springer, New York, pp 535–543
Acknowledgments
The authors acknowledge the support of the National Natural Science Foundation of China (61070084, 60803102, 60873146) and the Research Fund for the Doctoral Program of Higher (20050183065).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, H., Gu, W. (2013). The Worst Case Minimized Upper Bound in #2-SAT. In: Lu, W., Cai, G., Liu, W., Xing, W. (eds) Proceedings of the 2012 International Conference on Information Technology and Software Engineering. Lecture Notes in Electrical Engineering, vol 211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34522-7_72
Download citation
DOI: https://doi.org/10.1007/978-3-642-34522-7_72
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34521-0
Online ISBN: 978-3-642-34522-7
eBook Packages: EngineeringEngineering (R0)