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.
CITATION STYLE
Mehlhorn, K., & Galil, Z. (1975). Monotone switching circuits and boolean matrix product: Extended Abstract. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 32 LNCS, pp. 315–319). Springer Verlag. https://doi.org/10.1007/3-540-07389-2_214
Mendeley helps you to discover research relevant for your work.