5 search results - page 1 / 1 » Time-Space Tradeoffs in the Counting Hierarchy |
COCO
2001
Springer
13 years 8 months ago
2001
Springer
COCO
2007
Springer
13 years 10 months ago
2007
Springer
ECCC
2008
13 years 4 months ago
2008
We obtain the first nontrivial time-space lower bound for quantum algorithms solving problems related to satisfiability. Our bound applies to MajSAT and MajMajSAT, which are compl...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Nepomnjascii's Theorem states that for all 0 < 1 and k > 0 the class of languages recognized in nondeterministic time nk and space n , NTISP[nk , n ], is contained in ...
JCSS
2000
13 years 4 months ago
2000
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...