What can be efficiently reduced to the Kolmogorov-random strings?

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 Kolniogorov-random strings RC. This question arises because PSPACE subset of P(R)c and NEXP subset of NP(R)c, and no larger complexity classes are known to be reducible to RC 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 RCU 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 <=(P)(dtt) -reducible to RCU it is nonetheless true that P = REC (boolean AND) boolean AND(U) {A : A <=(P)(dtt) RCU}. (A similar statement holds for parity-truth-table reductions.) Any decidable set that is polynomial-time nionotone-truth-table reducible to R-C is in P/poly. Any decidable set that is polynomial-time truth-table reducible to RC via a reduction that asks at most f(n) queries on inputs of size n lies in P/(f(n)2(f(n)3logf(n))). (c) 2005 Elsevier B.V. All rights reserved.