Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > KEYWORD > FORMULAE:
Reports tagged with formulae:
TR01-079 | 6th September 2001
Michele Zito

#### An Upper Bound on the Space Complexity of Random Formulae in Resolution

We prove that, with high probability, the space complexity of refuting
a random unsatisfiable boolean formula in $k$-CNF on $n$
variables and $m = \Delta n$ clauses is
$O(n \cdot \Delta^{-\frac{1}{k-2}})$.

more >>>

TR12-057 | 7th May 2012
Russell Impagliazzo, Raghu Meka, David Zuckerman

#### Pseudorandomness from Shrinkage

Revisions: 2

One powerful theme in complexity theory and pseudorandomness in the past few decades has been the use of lower bounds to give pseudorandom generators (PRGs). However, the general results using this hardness vs. randomness paradigm suffer a quantitative loss in parameters, and hence do not give nontrivial implications for models ... more >>>

ISSN 1433-8092 | Imprint