Depth of Boolean functions over an arbitrary infinite basis

被引:0
作者
Kasim-Zade O.M. [1 ]
机构
[1] Department of Mechanics and Mathematics, Moscow State University, Vorob'ovy gory
基金
俄罗斯基础研究基金会;
关键词
Industrial Mathematic; Boolean Function; Symmetric Function; Functional Element; Disjunctive Normal Form;
D O I
10.1134/S1990478908020051
中图分类号
学科分类号
摘要
Realization of Boolean functions by circuits is considered over an arbitrary infinite complete basis. The depth of a circuit is defined as the greatest number of functional elements constituting a directed path from an input of the circuit to its output. The Shannon function of the depth is defined for a positive integer n as the minimal depth DB(n) of the circuits sufficient to realize every Boolean function on n variables over a basis B. It is shown that, for each infinite basis B, either there exists a constant β ≥ 1 such that DB(n) = β for all sufficiently large n or there exist an integer constant γ ≥ 2 and a constant δ such that logγ n ≤ DB(n) ≤logγ n + δ for all n. © MAIK Nauka 2008.
引用
收藏
页码:196 / 210
页数:14
相关论文
共 16 条
[1]  
Birkhoff G., Lattice Theory, (1984)
[2]  
Boppana R.B., Sipser M., The Complexity of Finite Functions, Handbook of Theoretical Computer Science, Vol. A: Algoritms and Complexity, pp. 757-804, (1990)
[3]  
Gashkov S.B., Chubarikov V.N., Arithmetics. Algorithms. The Complexity of Computations, (2000)
[4]  
Hall M., Combinatorial Theory, (1970)
[5]  
Kasim-Zade O.M., General Upper Bound of Circuit Complexity in an Arbitrary Infinite Complete Basis, Vestnik Moskov. Univ. Ser. I Mat. Mekh., 4, pp. 59-61, (1997)
[6]  
Kasim-Zade O.M., On Depth of Boolean Functions for Realization by Circuits Over an Arbitrary Basis, Vestnik Moskov. Univ., Ser. I Mat. Mekh., 1, pp. 18-21, (2007)
[7]  
Knuth D., The Art of Computer Programming, Vol. 1: Fundamental Algorithms, (2000)
[8]  
Lozhkin S.A., Asymptotic Behavior of Shannon Functions for the Delays of Schemes of Functional Elements, Mat. Zametki, 19, pp. 939-951, (1976)
[9]  
Lupanov O.B., The Problem of Realizing Symmetric Functions in the Algebra of Logic by Contact Schemes, Problemy Kibernet., 15, pp. 85-99, (1965)
[10]  
Lupanov O.B., On Circuits of Functional Elements with Delay, Problemy Kibernet., 23, pp. 43-81, (1970)