Abstract
We explore the concept of local transformations of monotone switching circuits, i.e. what kind of local changes in a circuit leave the functions computed by the circuit invariant. We obtain several general theorems in this direction. We apply these results to boolean matrix product and prove that the school-method for matrix multiplication yields the unique monotone circuit.
Preview
Unable to display preview. Download preview PDF.
References
Lamagna & Savage: Combinational Complexity of Some Monotone Functions, 15 th SWAT Conference, 1974
Mehlhorn: On the Complexity of Monotone Realizations of Matrix Multiplication, Univ.d. Saarlandes, TR 74-11, Sept. 1974
Paterson: Complexity of Monotone Network for Boolean Matrix Product, Univ. of Warwick, TR 2, July 1974.
Pratt: The Power of Negative Thinking in Multiplying Boolean Matrices, 6 th SIGACT Conference, 1974.
Schnorr: Lower Bounds on the Complexity of Monotone Networks, unpublished memo.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mehlhorn, K., Galil, Z. (1975). Monotone switching circuits and boolean matrix product. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975. MFCS 1975. Lecture Notes in Computer Science, vol 32. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07389-2_214
Download citation
DOI: https://doi.org/10.1007/3-540-07389-2_214
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07389-5
Online ISBN: 978-3-540-37585-2
eBook Packages: Springer Book Archive