Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR05-010 | 8th December 2004 00:00

Almost Completeness in Small Complexity Classes

RSS-Feed

Abstract:

We constructively prove the existence of almost complete problems under logspace manyone reduction for some small complexity classes by exhibiting a parametrizable construction which yields, when appropriately setting the parameters, an almost complete problem for PSPACE, the class of space efficiently decidable problems, and for SUBEXP, the class of problems decidable in subexponential time. Our construction also implies the existence of almost complete problems under logspace manyone reductions for bigger classes, such as E or EXP. We also investigate almost completeness for smaller time complexity classes, such as P and QP, and clearly identify and explain the reasons (which are not the same for P and QP) why our approach fails for these complexity classes.



ISSN 1433-8092 | Imprint