53 search results - page 2 / 11 » On the Size of Monotone Span Programs |
COMBINATORICA
1999
13 years 6 months ago
1999
JCM
2007
13 years 6 months ago
2007
— In this paper we introduce two operations of access structure to build large monotone span programs MSPs from small MSPs. Furthermore, we point out a new method of constructing...
CAV
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
COCO
1993
Springer
13 years 10 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
STACS
2009
Springer
14 years 1 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...