Abstract
Neciporuk, Lamagna/Savage and Tarjan determined the monotone network complexity of a set of Boolean sums if any two sums have at most one variable in common. Wegener then solved the case that any two sums have at most k variables in common. We extend his methods and results and consider the case that any set of h+1 distinct sums have at most k variables in common. We use our general results to explicitly construct a set of n Boolean sums over n variables whose monotone complexity is of order n5/3. The best previously known bound was of order n3/2. Related results were obtained independently by Pippenger.
Preview
Unable to display preview. Download preview PDF.
Bibliography
Brown, W.G.: On graphs that do not contain a Thompson graph. Can. Math. Bull, 9 (1966), pp. 281–285.
Lamagna, E.A. / Savage, J.E.: Combinatorial complexity of some monotone functions, 15th SWAT Conference, New Orleans, 140–144, 1974.
Mehlhorn, K. / Galil, Z.: Monotone switching circuits and Boolean matrix product, Computing 16, 99–111, 1976.
Neciporuk, E.I.: On a Boolean matrix, Systems Research Theory, 21, 236–239, 1971.
Pippenger, N.: On another boolean matrix, IBM Research Report 69/4, Dec. 1977.
Wegener, I.: A new lower bound on the monotone network complexity of boolean sums, Preprint, Dept. of Mathematics, University of Bielefeld, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mehlhorn, K. (1979). Some remarks on Boolean sums. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1979. MFCS 1979. Lecture Notes in Computer Science, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09526-8_36
Download citation
DOI: https://doi.org/10.1007/3-540-09526-8_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09526-2
Online ISBN: 978-3-540-35088-0
eBook Packages: Springer Book Archive