Abstract
Since it is unlikely that any NP-complete problem will ever be efficiently solvable, one is interested in identifying those special cases that can be solved in polynomial time. We deal with the special case of Boolean formulas where the logical implication → is the only operator and any variable (except one) occurs at most twice. For these formulas we show that an infinite hierarchy \(S_1 \subseteq S_2\)... exists such that we can test any formula from S i for falsifiability in time O(n Sl), where n is the number of variables in the formula. We describe an algorithm that finds a falsifying assignment, if one exists. Furthermore we show that the falsifiability problem for ⋃Si is NP-complete by reducing the SAT-Problem. In contrast to the hierarchy described by Gallo and Scutella for Boolean formulas in CNF, where the test for membership in the k-th level of the hierarchy needs time O(n k), our hierarchy permits a linear time membership test. Finally we show that S 1 is neither a sub-nor a superset of some commonly known classes of Boolean formulas, for which the SAT-Problem has linear time complexity (Horn formulas, 2-SAT, nested satisfiability).
Preview
Unable to display preview. Download preview PDF.
References
S. Cook. The Complexity of Theorem Proving Procedures. Proc. 3rd Ann. ACM Symp. on Theory of Computing, pages 151–158, 1971.
G. Gallo and M.G. Scutella. Polynomially Solvable Satisfiability Problems. Information Processing Letters, 29(5):221–227, 1988.
H. Kleine Büning and T. Lettman. Aussagenlogik: Deduktion und Algorithmen. B. G. Teubner, Stuttgart, 1994.
D. E. Knuth. Nested satisfiability. Acta Informatics, 28:1–6, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heusch, P. (1995). The complexity of the falsifiability problem for pure implicational formulas. In: Wiedermann, J., Hájek, P. (eds) Mathematical Foundations of Computer Science 1995. MFCS 1995. Lecture Notes in Computer Science, vol 969. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60246-1_128
Download citation
DOI: https://doi.org/10.1007/3-540-60246-1_128
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60246-0
Online ISBN: 978-3-540-44768-9
eBook Packages: Springer Book Archive