ECCC-Report TR04-044https://eccc.weizmann.ac.il/report/2004/044Comments and Revisions published for TR04-044en-usWed, 02 Jun 2004 08:57:25 +0300
Paper TR04-044
| What Can be Efficiently Reduced to the Kolmogorov-Random Strings? |
Eric Allender,
Harry Buhrman,
Michal Koucky
https://eccc.weizmann.ac.il/report/2004/044We 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.
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. Among other results,
we show that although for every universal machine U, there are very
complex sets that are poly-time dtt-reducible to R_{C_U}, it is nonetheless true that
P = the set of all decidable sets in the intersection, over all
universal machines U, of the sets that are poly-time dtt-reducible to
R_{C_U}.
We also show for a
broad class of reductions that the sets reducible to R_C have small
circuit complexity.
Wed, 02 Jun 2004 08:57:25 +0300https://eccc.weizmann.ac.il/report/2004/044