Abstract
Given a boolean CNF formula F of length |F| (sum of the number of variables in each clause) with m clauses on n variables, we prove the following results.
-
The MAXSAT problem, which asks for an assignment satisfying the maximum number of clauses of F, can be solved in O(1:341294m|F|) time.
-
The parameterized version of the problem, that is determining whether there exists an assignment satisfying at least k clauses of the formula (for some integer k), can be solved in O(k 21:380278k + |F|) time.
-
MAXSAT can be solved in O(1:105729|F||F|) time.
These bounds improve the recent bounds of respectively O(1:3972m|F|), O(k 21:3995k + |F|) and O(1:1279|F||F|) due to Niedermeier and Rossmanith [11] for these problems. Our last bound comes quite close to the O(1:07578|F||F|) bound of Hirsch[6] for the Satisfiability problem (not MAXSAT).
The work was done while the first author was at IIT Mumbai and visited IMSc Chennai as a summer student.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Balasubramanian, M. R. Fellows and V. Raman, ‘An Improved fixed parameter algorithm for vertex cover’ Information Processing Letters, 65 (3):163–168, 1998.
N. Bansal and V. Raman, ‘Upper Bounds for MaxSat: Further Improved’, Technical Report of the Institute of Mathematical Sciences, IMSc preprint 99/08/30.
R. Beigel and D. Eppstein, ‘3-coloring in time O(1:3446n): A no-MIS Algorithm’, In Proc of IEEE Foundations of Computer Science (1995) 444–452.
E. Dantsin, M. R. Gavrilovich E. A. Hirsch and B. Konev, ‘Approximation algorithms for MAX SAT: a better performance ratio at the cost of a longer running time’, PDMI preprint 14/1998, Stekolov Institute of Mathematics at St. Petersburg, 1998.
R. G. Downey and M. R. Fellows. Parameterized Complexity. Springer-Verlag, November 1998.
E.A. Hirsch, ‘Two new upper bounds for SAT’, Proc. of 9th Symposium on Discrete Algorithms, (1998) 521–530.
O. Kullmann, ‘Worst-case analysis, 3-SAT decision and lower bounds: approaches for improved SAT algorithms`, DIMACS Proc. SAT Workshop 1996, AMS, 1996.
M. Mahajan and V. Raman, ‘Parameterizing above guaranteed values: MaxSat and MaxCut’. Technical Report TR97-033, ECCC Trier, 1997. To appear in Journal of Algorithms.
B. Monien, E. Speckenmeyer, ‘Solving Satisfiability in less than 2n steps’, Discrete Applied Mathematics, 10 (1985) 287–295.
R. Niedermeier and P. Rossmanith, ‘Upper bounds for Vertex Cover: Further Improved’. in Symposum on Thoretical Aspects of Computer Science (STACS), Lecture Notes in Computer Science, Springer Verlag. March (1999).
R. Niedermeier and P. Rossmanith, ‘New Upper Bounds for MAXSAT’, International Colloquium on Automata, Languages and Programming (ICALP), Lecture Notes in Computer Science, Springer Verlag (1999).
R. Paturi, P. Pudlak, M. Saks, and F. Zane. ‘An improved exponential-time algorithm for k-SAT’, In Proc. of 39th IEEE Foundations of Computer Science (1998).
P. Pudlak, ‘Satisfiability-algorithms and logic’, In Proc. of 23rd Conference on Mathematical Foundations of Computer Science, 1450 in Lecture Notes in Computer Science Springer Verlag, August (1998) 129–141.
V. Raman, B. Ravikumar and S. Srinivasa Rao, ‘A Simplified NP-Complete MA-XSAT problem’ Information Processing Letters, 65, (1998) 1–6.
J. M. Robson, ‘Algorithms for the Maximum Independent Sets’. Journal of Algorithms 7, (1986) 425–440.
I. Schiermeyer, ‘Solving 3-Satisfiability in less than 1:579n steps’, Lecture Notes in Computer Science, Springer Verlag 702, (1993) 379–394.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bansal, N., Raman, V. (1999). Upper Bounds for MaxSat: Further Improved. In: Algorithms and Computation. ISAAC 1999. Lecture Notes in Computer Science, vol 1741. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46632-0_26
Download citation
DOI: https://doi.org/10.1007/3-540-46632-0_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66916-6
Online ISBN: 978-3-540-46632-1
eBook Packages: Springer Book Archive