Abstract
It is shown that Lozhkin’s method (1981) for minimization of the depth of formulas with a bounded number of changing types of elements in paths from input to output and Hoover-Klawe-Pippenger’s method (technical report in 1981, journal publication in 1984) for minimization of the depth of circuits with unbounded branching by insertion of trees from buffers with bounded branching of outputs for each buffer are dual to each other and can be proved by one and the same method.
Similar content being viewed by others
References
H. J. Hoover, M. M. Klawe, and N. J. Pippenger, “Bounding Fan-Out in Logical Networks,” J. Assoc. Comp. Mach., 31,(4), 13 (1984).
S. A. Lozhkin, “A Connection Between Depth and Complexity of Equivalent Formulas, and Depth of Monotone Functions of the Algebra of Logic,” in Problemy Kibernetiki (Nauka, Moscow, 1981), Vol. 38, pp. 269–271.
O. B. Lupanov, “On Realization of Functions of the Algebra of Logic by Formulas from Finite Classes (Formulas of Bounded Depth) in the Basis &, ⋁, ⌝,” in Problemy Kibernetiki (Fizmatgiz, Moscow, 1961), Vol. 6, pp. 5–14.
S. B. Gashkov, “On Depth of Boolean Functions,” in Problemy Kibernetiki (Nauka, Moscow, 1978), Vol. 34, pp. 265–268.
O. B. Lupanov, Asymptotic Bounds for Complexity of Control Systems (Izd-vo MGU, Moscow, 1984) [in Russian].
S. V. Yablonskii, Introduction to Discrete Mathematics (Vysshaya Shkola, Moscow, 2001) [in Russian].
O. B. Lupanov, “A Class of Circuits of Functional Elements (Formulas with Partial Memory),” in Problemy Kibernetiki (Fizmatgiz, Moscow, 1962), Vol. 7, pp. 61–114.
Author information
Authors and Affiliations
Additional information
Original Russian Text © S.B. Gashkov, 2007, published in Vestnik Moskovskogo Universiteta, Matematika, Mekhanika, 2007, Vol. 62, No. 3, pp. 7–9.
About this article
Cite this article
Gashkov, S.B. Remark on minimization of depth of Boolean circuits. Moscow Univ. Math. Bull. 62, 87–89 (2007). https://doi.org/10.3103/S0027132207030011
Received:
Issue Date:
DOI: https://doi.org/10.3103/S0027132207030011