Derandomization and Distinguishing Complexity

We continue an investigation of resource-bounded Kolmogorov complexity and derandomization techniques begun in [2, 3]. We introduce nondeterministic time-bounded Kolmogorov complexity measures (KNt and KNT) and examine the properties of these measures using constructions of hitting set generators for nondeterministic circuits [22, 26]. We observe that KNt bears many similarities to the nondeterministic distinguishing complexity Æ of [8]. This motivates the definition of a new notion of time-bounded distinguishing complexity KDt, as an intermediate notion with connections to the class FewEXP. The set of KDtrandom strings is complete for EXP under P/poly reductions. Most of the notions of resource-bounded Kolmogorov complexity discussed here and in the earlier papers [2, 3] have close connections to circuit size (on different types of circuits). We extend this framework to define notions of Kolmogorov complexity KB and KF that are related to branching program size and formula size, r...

• Type: Conference
• Year: 2003
• Where: COCO
• Authors: Eric Allender, Michal Koucký, Detlef Ronneburger, Sambuddha Roy
• Keywords: COCO 2003, Distinguishing Complexity, Kolmogorov Complexity, Resource-bounded Kolmogorov Complexity