论PSPACE中集合的最优压缩
计算复杂性
2011-04-15 v1
摘要
我们证明，如果DTIME[2^{O(n)}]不包含于DSPACE[2^{o(n)}]中，那么对于PSPACE中的每个集合B，B中所有长度为n的字符串x都可以由长度至多为log (|B^{=n}|) + O(log n)的字符串compressed(x)表示，使得一个多项式时间算法在给定compressed(x)时，能够将x与B^{=n}中的所有其他字符串区分开来。除O(log n)的附加项外，这实现了字符串压缩的信息论最优。
引用
@article{arxiv.1104.2816,
title = {On the optimal compression of sets in PSPACE},
author = {Marius Zimand},
journal= {arXiv preprint arXiv:1104.2816},
year = {2011}
}