不可解问题(Undecidable Decision Problem)指的是这样一种问题:它无论如何也不可能有一个正确的算法来解决。虽然不可思议,但这种问题被证明确实是存在的。图灵在1936年提出了第一个不可解问题的实例:停机问题(The Halting Problem)。 停机问题(The Halting Problem)是问,输入一段程序代码和一个针对此程序的输入,能...
图灵停机问题的证明逻辑套用在特定步数内停机问题上，是不成立的。要解释这个问题，需要从你提到的那个“...
基于归约法的相关问题不可解性证明既然我们已经证明了停机问题不可解,再加上上面所阐述的不可数性概念,我们可以判定“3x + l 问题”是不可解的,我们同样可以证明其他一些问题也是不可解的,我们所用的策略是使用归约法(reduc- t on),先假设存在某一个计算机程序能解决某个我们正在讨论的不可解问题,然后使用这...
停机问题的不可解性及基于归约法的相关问题不可解性证明 维普资讯 http://www.cqvip.com
【摘要】可计算性理论是当今计算机科学中研究的热点和难点问题之一.本文先介 绍了不可数性和停机问题等重要概念,用反证法证明了停机问题是不可解的,并使用 归约法对计算机中的相关问题的不可解性进行了证明. 【总页数】4 页(P18-20,24) 【作者】周理凤;黄水源;周旻 【作者单位】南昌大学计算中心,江西,南昌,...
可计算性理论是当今计算机科学中研究的热点和难点问题之一.本文先介绍了不可数性和停机问题等重要概念,用反证法证明了停机问题是不可解的,并使用归约法对计算机中的相关问题的不可解性进行了证明. 著录项 来源 《计算机与现代化》 |2006年第5期|18-2024|共4页 作者 周理凤; 黄水源; 周旻; 作者单位 ...
在 n 内步停机 } ，存在常数 c 使得不存在图灵机M 在 n - c 步内判定Ln，证明方法跟原停机问题...
不存在一个算法能够在 n 秒内判断一切程序是否会在 n 秒内停机 让程序动态运行 n 秒当然可以知道任何...
看错问题了，如果只是想判断是否在确定的时间内能够停机应该是可以的。无限时间就会牵扯到一些更复杂的...