关于最小充分统计量、最小典型模型与停机序列初始段之间的等价性
计算复杂性
2009-11-25 v1 信息论
math.IT
摘要
研究表明，二进制字符串x的算法最小充分统计量的长度（无论是有限集表示、可计算半测度还是可计算函数）大于x的计算深度，并且可以解决所有长度小于x的m-深度的程序的停机问题。还表明，存在一些字符串，其算法最小充分统计量可以包含大量非停机信息。引入了弱充分统计量，并证明x的最小弱充分统计量等价于x的最小典型模型，也等价于所有长度小于x的BB-深度的字符串的停机问题。
引用
@article{arxiv.0911.4521,
title = {On the equivalence between minimal sufficient statistics, minimal typical models and initial segments of the Halting sequence},
author = {Bruno Bauwens},
journal= {arXiv preprint arXiv:0911.4521},
year = {2009}
}
备注
25 pages