算法随机序列的独立性特性
摘要：有界Kolmogorov-Loveland选择规则是一种递归选择无限二进制序列的自适应策略；这样的子序列可以解释为有时间限制的图灵机的查询序列。在本文中，我们证明了如果A是一个算法随机序列，通过有界Kolmogorov-Loveland选择规则从A选择A_0，并且A_1表示A的非选择位序列，那么A_1与A_0独立；也就是说，相对于A_0而言，A_1是算法随机的。这一结果已被Kautz和Miltersen [1]用来证明相对于随机预言机，NP并非p-测度为零（按照Lutz [2]的定义）。 [1] S. M. Kautz and P. B. Miltersen. Relative to a random oracle, NP is not small. Journal of Computer and System Sciences, 53:235-250, 1996. [2] J. H. Lutz. Almost everywhere high nonuniform complexity. Journal of Computer and System Sciences, 44:220-258, 1992.
作者：S. M. Kautz
论文ID：cs/0301013
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23