An log lower bound on synchronous combinational complexity
暂无分享,去创建一个
Synchronous combinational machines are combinational ma- chines such that the length of all paths from inputs to a logic element are the same. In this paper is is shown that any Boolean function of n variables satisfying certain subfunction conditions (which are satisfied by "almost all" such functions) must have synchronous combinational complexity at least nlogn. 0. Introduction. In this paper is is shown that if a Boolean function of n variables satisfies certain subfunction conditions (which are satisfied by "almost all" such functions), then its synchronous combinational complexity must be at least n log n.2 This bound appears to be unique at this time in being nonlinear and applying to a large class of single-valued functions. The restriction on the definition of combinational complexity, i.e., that the machines be synchronous, is very natural from an engineering point of view, and seems to change the general theory of combinational complexity very little. For background on combinational complexity the reader is referred to a survey article by the present author and J. E. Savage entitled Complexity made simple. 1. Definitions. A synchronous combinational machine (s.c.m.), 911, is
[1] Claude Berge,et al. The theory of graphs and its applications , 1962 .
[2] John E. Savage,et al. Computational Work and Time on Finite Machines , 1972, JACM.
[3] L. H. Harper,et al. A Class of Boolean Functions with Linear Combinational Complexity , 1975, Theor. Comput. Sci..