Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9657754 | Theoretical Computer Science | 2005 | 20 Pages |
Abstract
We study symmetry of information for some variants of distinguishing complexity CD where CD(x) is the length of a shortest program which accepts x and only x. We show relativized worlds where symmetry of information does not hold in a strong way for deterministic and nondeterministic polynomial time distinguishing complexities CDpoly and CNDpoly. On the other hand, for nondeterministic polynomial time distinguishing complexity with randomness, CAMDpoly, we show that symmetry of information holds for most pairs of strings in any set in NP. Our techniques extend work of Buhrman et al. (Language compression and pseudorandom generators, in: Proc. 19th IEEE Conf. on Computational Complexity, IEEE, New York, 2004, pp. 15-28) on language compression by AM algorithms, and have the following application to the compression of samplable sources, introduced in Trevisan et al. (Compression of sample sources, in: Proc. 19th IEEE Conf. on Computational Complexity, IEEE, New York, 2004, pp. 1-15): any element x in the support of a polynomial time samplable source X can be given a description of size -logPr[X=x]+O(log3n), from which x can be recovered by an AM algorithm.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Troy Lee, Andrei Romashchenko,