Kolmogorov Complexity, Complexity Cores, and the Distribution of Hardness [chapter]

David W. Juedes, Jack H. Lutz
1992 Kolmogorov Complexity and Computational Complexity  
Problems that are complete for exponential space are provably intractable and known to be exceedingly complex in several technical respects. However, every problem decidable in exponential space is e ciently reducible to every complete problem, so each complete problem must have a highly organized structure. The authors have recently exploited this fact to prove that complete problems are, in two respects, unusually simple for problems in expontential space. Speci cally, e v ery complete
more » ... must have ususually small complexity cores and unusually low space-bounded Kolmogorov complexity. It follows that the complete problems form a negligibly small subclass of the problems decidable in exponential space. This paper explains the main ideas of this work.
doi:10.1007/978-3-642-77735-6_4 fatcat:xd3j2fefj5c23emuokmbn6u2oq