scholarly journals New Lower Bounds and Hierarchy Results for Restricted Branching Programs

1996 ◽  
Vol 53 (1) ◽  
pp. 79-87 ◽  
Author(s):  
Detlef Sieling
Keyword(s):  
Lower Bounds ◽  
Branching Programs

scholarly journals Lower Bounds for Monotone Span Programs

1994 ◽  
Vol 1 (46) ◽  
Author(s):  
Amos Beimel
Keyword(s):  
Lower Bounds ◽  
Secret Sharing ◽  
Algebraic Model ◽  
New Technique ◽  
Secret Sharing Schemes ◽  
Branching Programs ◽  
Model Of Computation ◽  
Monotone Span Programs ◽  
Span Programs ◽  
A New Technique

The model of span programs is a linear algebraic model of computation. Lower bounds for span programs imply lower bounds for contact schemes, symmetric branching programs and for formula size. Monotone span programs correspond also to linear secret-sharing schemes. We present a new technique for proving lower bounds for monotone span programs. The main result proved here yields quadratic lower bounds for the size of monotone span programs, improving on the largest previously known bounds for explicit functions. The bound is asymptotically tight for the function corresponding to a class of 4-cliques.

Sign in / Sign up

Export Citation Format

Share Document