Sciweavers

223 search results - page 3 / 45
» A Note on Graph Pebbling
Sort
View
STOC
2002
ACM
101views Algorithms» more  STOC 2002»
14 years 7 months ago
Size space tradeoffs for resolution
We investigate tradeoffs of various basic complexity measures such as size, space and width. We show examples of formulas that have optimal proofs with respect to any one of these...
Eli Ben-Sasson
STOC
1998
ACM
89views Algorithms» more  STOC 1998»
13 years 11 months ago
The Power of a Pebble: Exploring and Mapping Directed Graphs
Michael A. Bender, Antonio Fernández, Dana ...
JUCS
2007
105views more  JUCS 2007»
13 years 6 months ago
Graded Sparse Graphs and Matroids
: Sparse graphs and their associated matroids play an important role in rigidity theory, where they capture the combinatorics of some families of generic minimally rigid structures...
Audrey Lee, Ileana Streinu, Louis Theran
FSTTCS
2009
Springer
14 years 1 months ago
Fractional Pebbling and Thrifty Branching Programs
We study the branching program complexity of the tree evaluation problem, introduced in [BCM+09a] as a candidate for separating NL from LogCFL. The input to the problem is a roote...
Mark Braverman, Stephen A. Cook, Pierre McKenzie, ...