This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
33rd Annual Symposium on Foundations of Computer Science (FOCS 1992)
Pittsburgh, PA, USA
October 24-October 27
ISBN: 0-8186-2900-2
D. Coppersmith, IBM Res. Div., Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
B. Schieber, IBM Res. Div., Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
Consider an arithmetic expression of length n involving only the operations (+,*) and non-negative constants. The authors prove lower bounds on the depth of any binary computation tree over the same set of operations and constants that computes such an expression. In their main result they exhibit a family of arithmetic expressions that requires computation trees of depth at least 1.5 log/sub 2/n-O(1). The authors also consider the family of arithmetic expressions defined by alternating 5-3 trees. For this family they show a tight bound of 5/(log/sub 2/15)log/sub 2/n+O(1) on the depth of any computation tree. This is the best known tight bound for any family of arithmetic expressions.
Index Terms:
tight bound, lower bounds, computational complexity, depth, monotone arithmetic computations, arithmetic expression, binary computation tree, alternating 5-3 trees
Citation:
D. Coppersmith, B. Schieber, "Lower bounds on the depth of monotone arithmetic computations," focs, pp.288-295, 33rd Annual Symposium on Foundations of Computer Science (FOCS 1992), 1992
Usage of this product signifies your acceptance of the Terms of Use.