停机问题在渐近概率为1的集合上是可判定的
逻辑
2007-05-23 v1
摘要
图灵机的停机问题在渐近概率为1的集合上是可判定的。具体而言，存在一个图灵机程序集合 B，使得：(i) B 具有渐近概率1，即随着状态数 n 的增加，所有 n 态程序中属于 B 的比例趋于1；(ii) B 是多项式时间可判定的；且 (iii) 停机问题 H 与 B 的交集是多项式时间可判定的。该证明对具体的计算模型是敏感的。
引用
@article{arxiv.math/0504351,
title = {The halting problem is decidable on a set of asymptotic probability one},
author = {Joel David Hamkins and Alexei Miasnikov},
journal= {arXiv preprint arXiv:math/0504351},
year = {2007}
}
备注
10 pages