On the Mystery of Negations in Circuits: Structure vs Power

Exploring further the power of negations in Boolean circuits, in this paper we study the effect of interdependency of negation gates in circuits in terms of computational power. As a starting point, we study the power of independent negations (where no negation feeds into another, even via other gates) in circuits and show the following results. The minimum number of independent negations required to compute a Boolean function is exactly characterized by the decrease of the function. We also provide an additional characterization by a generalization of orientation[9], which we call the monotone orientation.We define a new measure called the thickness of a Boolean function, and show that if f has thickness at most t and has a circuit of depth d, then f can be computed using (independent) negations in depth. When the function is monotone, we also show a parameterized version of this result, where the depth is expressed in terms of thickness and d. Our techniques include a natural generalization of the Karchmer-Widgerson games to include a switch step.For functions with thickness t, we show that the monotone and non-monotone circuit depths are related by the factor of thickness and an extra additive factor. This generalizes the fact[16] that for slice functions, the monotone and non-monotone circuit depth complexities are related by an additive factor of. To go further, we study the dependency between negations in the circuit by modeling the same using a negation graph with negation gates (and root) as vertices and directed edges representing pair of negation gates which feed into each other through a path which does not have negations. We associate a measure of decrease capacity with the negation graph, denoted. We show the following results:For a negation graph N, is the maximum decrease of any circuit which has this negation graph. Using this as a tool, we derive necessary conditions on the structure of negation graphs when the circuit is negation optimal.We show how to construct circuits for a function f, given a negation tree with decrease capacity at least. En route this result, we show that if f and g are two Boolean functions on n variables with and, then any circuit for g can be used (with substitution of variables with monotone functions) to compute f without using any extra negation. This may be of independent interest.