Abstract
Any Boolean function can be defined by a Boolean circuit, provided we may use sufficiently strong functions in its gates. On the other hand, what Boolean functions can be defined depends on these gate functions: Each set B of gate functions defines the class of Boolean functions that can be defined by circuits over B. Although these classes have been known since the 1920s, their computational complexity was never investigated. In this paper we will study how difficult it is to decide for a Boolean function f and a class B, whether f is in B. Moreover, we will provide such a decision algorithm with additional information: How difficult is it to decide whether or not f is in B, provided we already know a circuit for f, but with gates from another class A? Given such a circuit, we know that f is in A. Is the problem harder if we do not have a concrete representation for f, but still know that it is from A? For nearly all possible combinations, we show that this is not the case, and that the problem is either in P or coNP-complete.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles and news from researchers in related subjects, suggested using machine learning.Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Bohler, E., Schnoor, H. The Complexity of the Descriptiveness of Boolean Circuits over Different Sets of Gates. Theory Comput Syst 41, 753–777 (2007). https://doi.org/10.1007/s00224-006-1301-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-006-1301-3