Almost everywhere high nonuniform complexity
Journal of Computer and System Sciences
Measure, Stochasticity, and the Density of Hard Languages
SIAM Journal on Computing
Oracles and queries that are sufficient for exact learning
Journal of Computer and System Sciences
Cook versus Karp-Levin: separating completeness notions if NP is not small
Theoretical Computer Science
P = BPP if E requires exponential circuits: derandomizing the XOR lemma
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
The quantitative structure of exponential time
Complexity theory retrospective II
New Collapse Consequences of NP Having Small Circuits
SIAM Journal on Computing
Separation of NP-Completeness Notions
SIAM Journal on Computing
Graph Nonisomorphism Has Subexponential Size Proofs Unless the Polynomial-Time Hierarchy Collapses
SIAM Journal on Computing
In search of an easy witness: exponential time vs. probabilistic polynomial time
Journal of Computer and System Sciences - Complexity 2001
MAX3SAT is exponentially hard to approximate if NP has positive dimension
Theoretical Computer Science
When Worlds Collide: Derandomization, Lower Bounds, and Kolmogorov Complexity
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Information and Computation
Properties of NP-Complete Sets
CCC '04 Proceedings of the 19th IEEE Annual Conference on Computational Complexity
Scaled dimension and nonuniform complexity
Journal of Computer and System Sciences
Small Spans in Scaled Dimension
SIAM Journal on Computing
Measure on small complexity classes, with applications for BPP
SFCS '94 Proceedings of the 35th Annual Symposium on Foundations of Computer Science
SIGACT news complexity theory column 48
ACM SIGACT News
Comparing reductions to NP-complete sets
Information and Computation
Theoretical Computer Science
Upward separations and weaker hypotheses in resource-bounded measure
Theoretical Computer Science
A zero-one law for RP and derandomization of AM if NP is not small
Information and Computation
Comparing reductions to NP-complete sets
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem
Journal of the ACM (JACM)
Hard instances of algorithms and proof systems
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Hi-index | 0.00 |
We consider three complexity-theoretic hypotheses that have been studied in different contexts and shown to have many plausible consequences. –The Measure Hypothesis: NP does not have p-measure 0. –The pseudo-NP Hypothesis: there is an NP Language L such that any DTIME $2^{{n^\epsilon}}$ Language L’ can be distinguished from L by an NP refuter. –The NP-Machine Hypothesis: there is an NP machine accepting 0* for which no $2^{{n^\epsilon}}$-time machine can find infinitely many accepting computations. We show that the NP-machine hypothesis is implied by each of the first two. Previously, no relationships were known among these three hypotheses. Moreover, we unify previous work by showing that several derandomization and circuit-size lower bounds that are known to follow from the first two hypotheses also follow from the NP-machine hypothesis. We also consider UP versions of the above hypotheses as well as related immunity and scaled dimension hypotheses.