Improved bounds for reduction to depth 4 and depth 3

被引:36
作者
Tavenas, Sebastien [1 ]
机构
[1] Univ Lyon, Ecole Normale Super Lyon, ENS Lyon CNRS UCBL INRIA, LIP,UMR 5668, Lyon, France
关键词
Arithmetic circuit; Parallelization; ARITHMETIC CIRCUITS;
D O I
10.1016/j.ic.2014.09.004
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Koiran showed that if an n-variate polynomial f(n) of degree d (with d = n(O(1))) is computed by a circuit of size s, then it is also computed by a homogeneous circuit of depth four and of size 2(O(root dlog(n) log(s))). Using this result, Gupta, Kamath, Kayal and Saptharishi found an upper bound for the size of a depth three circuit computing f(n). We improve here Koiran's bound. Indeed, we transform an arithmetic circuit into a depth four circuit of size 2((O(root dlog(ds) log(n)))). Then, mimicking the proof in[2], it also implies a 2((O(root dlog(ds) log(n)))) upper bound for depth three circuits. This new bound is almost optimal since a 2(Omega(root d)) lower bound is known for the size of homogeneous depth four circuits such that gates at the bottom have fan-in at most root d. Finally, we show that this last lower bound also holds if the fan-in is at least root d. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码:2 / 11
页数:10
相关论文
共 12 条
[1]   Arithmetic Circuits: A Chasm at Depth Four [J].
Agrawal, Manindra ;
Vinay, V. .
PROCEEDINGS OF THE 49TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, 2008, :67-+
[2]   Non-commutative arithmetic circuits: depth reduction and size lower bounds [J].
Allender, E ;
Jiao, J ;
Mahajan, M ;
Vinay, V .
THEORETICAL COMPUTER SCIENCE, 1998, 209 (1-2) :47-86
[3]  
BURGISSER P, 2000, ALGORITHMS COMPUT MA, V7
[4]  
Chen X., 2011, FDN TRENDS THEOR COM
[5]  
Fournier Herve, 2013, ELECT C COMPUTATIONA, V20, P100
[6]  
Gupta A., ELECT C COMPUT COMPL
[7]  
Gupta A., P C COMP COMPL CCC
[8]   Arithmetic circuits: The chasm at depth four gets wider [J].
Koiran, Pascal .
THEORETICAL COMPUTER SCIENCE, 2012, 448 :56-65
[9]   Characterizing Valiant's algebraic complexity classes [J].
Malod, Guillaume ;
Portier, Natacha .
JOURNAL OF COMPLEXITY, 2008, 24 (01) :16-38
[10]  
Shpilka A., 2009, FDN TRENDS THEOR COM, V5