渐近概率一组上的停机问题是可判定的

摘要：针对图灵机的停机问题在一个渐近概率为一的集合上是可判定的。具体而言，存在一组图灵机程序集合B，满足以下条件：（i）B的渐近概率为一，即随着状态数n的增加，属于B的n状态程序占所有n状态程序的比例趋近于一；（ii）B是多项式时间可判定的；（iii）停机问题H与B的交集是多项式时间可判定的。证明对于特定的计算模型是敏感的。

作者：Joel David Hamkins (The City University of New York) and Alexei Miasnikov (The City University of New York)

论文ID：math/0504351

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中