Computational complexity of Boolean functions

作者: Aleksei D Korshunov

DOI: 10.1070/RM2012V067N01ABEH004777

关键词:

摘要: Boolean functions are among the fundamental objects of discrete mathematics, especially in those its subdisciplines which fall under mathematical logic and cybernetics. The language is convenient for describing operation many systems such as contact networks, circuits, branching programs, some others. An important parameter this kind their complexity. This characteristic has been actively investigated starting from Shannon's works. There a large body scientific literature presenting results. purpose survey to give an account main results over last sixty years related complexity computation (realization) by circuits without branching. Bibliography: 165 titles.

参考文章(39)
John E. Savage, The complexity of computing ,(1976)
Emil L. Post, The two-valued iterative systems of mathematical logic Annals of Mathematics Studies. ,(1942) , 10.1515/9781400882366
Edward F. Moore, Minimal Complete Relay Decoding Networks IBM Journal of Research and Development. ,vol. 4, pp. 525- 531 ,(1960) , 10.1147/RD.45.0525
V. M. Khrapchenko, Complexity of the realization of a linear function in the class of II-circuits Mathematical Notes. ,vol. 9, pp. 21- 23 ,(1971) , 10.1007/BF01405045
L. H. Harper, An log lower bound on synchronous combinational complexity Proceedings of the American Mathematical Society. ,vol. 64, pp. 300- 306 ,(1977) , 10.1090/S0002-9939-1977-0456962-7
A. A. Sapozhenko, I. P. Chukhrov, Boolean function minimization in the class of disjunctive normal forms Journal of Mathematical Sciences. ,vol. 46, pp. 2021- 2052 ,(1989) , 10.1007/BF01096022
A. E. Andreev, A method for obtaining efficient lower bounds for monotone complexity Algebra and Logic. ,vol. 26, pp. 1- 18 ,(1987) , 10.1007/BF01978380
D.U. Cherukhin, On an infinite sequence of improving Boolean bases Discrete Applied Mathematics. ,vol. 114, pp. 95- 108 ,(2001) , 10.1016/S0166-218X(00)00362-0
Nicholas Pippenger, Information theory and the complexity of boolean functions Theory of Computing Systems \/ Mathematical Systems Theory. ,vol. 10, pp. 129- 167 ,(1976) , 10.1007/BF01683269