Summary
In this paper we investigate the method of Nechiporuk [3] for deriving lower bounds on the formula size of Boolean functions. At first we prove non-linear lower bounds for functions which are related to the existence of a k-clique or a k-circle in a graph. Furthermore we determine the formula size of the “disjoint disjunction” of the outputs of the Boolean matrix product. Finally we show how useful the method may be in the case of monotone functions if the length of the prime implicants is bounded.
Similar content being viewed by others
References
Harper, L.H., Savage, J.E.: On the complexity of the marriage problem. Adv. Math. 9, 299–312 (1972)
Kloss, B.M.: Estimates of the complexity of solutions of systems of linear equations. Soviet. Math. Dokl. 7, 1537–1540 (1966)
Nechiporuk, E.I.: A Boolean function. Soviet. Math. Dokl. 7, 999–1000 (1966)
Paul, W.: A 2,5n-lower bound on the combinatorial complexity of Boolean functions. SIAM J. Comput. 6, 427–443 (1977)
Savage, J.E.: The complexity of computing. New York: John Wiley and Sons, pp. 91–108, 1976
Schürfeld, U.: The Methoden von Krapschenko und Nechiporuk. Diplomarbeit, Universität Bielefeld, 1982
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schürfeld, U. New lower bounds on the formula size of Boolean functions. Acta Informatica 19, 183–194 (1983). https://doi.org/10.1007/BF00264475
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00264475