Abstract
We investigate the question of whether one can characterize complexity classes (such as PSPACE or NEXP) in terms of efficient reducibility to the set of Kolmogorov-random strings
R
C
. This question arises because
PSPACE
⊆
P
R
C
and
NEXP
⊆
NP
R
C
, and no larger complexity classes are known to be reducible to
R
C
in this way. We show that this question cannot be posed without explicitly dealing with issues raised by the choice of universal machine in the definition of Kolmogorov complexity. What follows is a list of some of our main results.
•
Although Kummer showed that, for every universal machine
U
there is a time bound
t
such that the halting problem is disjunctive truth-table reducible to
R
C
U
in time
t
, there is no such time bound
t
that suffices for every universal machine
U
. We also show that, for some machines
U
, the disjunctive reduction can be computed in as little as doubly-exponential time.
•
Although for every universal machine
U
, there are very complex sets that are
≤
dtt
P
-reducible to
R
C
U
, it is nonetheless true that
P
=
REC
∩
⋂
U
{
A
:
A
≤
dtt
P
R
C
U
}
. (A similar statement holds for parity-truth-table reductions.)
•
Any decidable set that is polynomial-time monotone-truth-table reducible to
R
C
is in
P
/
poly
.
•
Any decidable set that is polynomial-time truth-table reducible to
R
C
via a reduction that asks at most
f
(
n
)
queries on inputs of size
n
lies in
P
/
(
f
(
n
)
2
f
(
n
)
3
log
f
(
n
)
)
.