Graph Isomorphism and Circuit Size

We show that the Graph Automorphism problem is ZPP-reducible to MKTP, the problem of minimizing time-bounded Kolmogorov complexity. MKTP has previously been studied in connection with the Minimum Circuit Size Problem (MCSP) and is often viewed as essentially a different encoding of MCSP. All prior reductions to MCSP have applied equally well to MKTP, and vice-versa, and all such reductions have relied on the fact that functions computable in polynomial time can be inverted with high probability relative to MCSP and MKTP. Our reduction uses a different approach, and consequently yields the first example of a problem -- other than MKTP itself -- that is in ZPP^MKTP but that is not known to lie in NP intersect coNP. We also show that this approach can be used to provide a reduction of the Graph Isomorphism problem to MKTP.