停机问题
来源:互联网 发布:王者荣耀破解无需网络 编辑:程序博客网 时间:2024/04/29 17:09
大名鼎鼎的停机问题
通俗的说,停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
简单证明
假设程序p1(prog)能判断任意程序prog是否能在有限时间内停机
再假设另有程序p2如下:
if(p1(p2)){ while(1); }else{ return; }
如果我们说p1能判断p2是否停机,那么p1(p2)为true,则while(1),进入死循环,矛盾;
得证
0 0
- 停机问题
- 停机问题
- 停机问题
- 停机问题
- 停机问题
- 停机问题
- 停机问题
- 停机问题、哥德尔定理
- 图灵停机问题
- 图灵停机问题
- 停机问题的理解
- 图灵停机问题
- Halting problem(停机问题)
- 不可解问题[停机问题]
- 停机问题--The Halting Problem
- 可计算性与停机问题
- 停机问题的定义和证明
- 图灵停机问题及实际应用
- 51nod 1117 聪明的木匠(简单贪心)
- iOS layout
- Java经典代码-冒泡排序
- 12. 冗余
- 第一章 servlet
- 停机问题
- 关于Oracle 11.2 rac中的quorum failure group
- cocos 2dx 3.12 学习笔记(一)
- 碎片的最佳实践——简易版新闻应用
- Linux内核调试环境搭建(基于ubuntu12.04)
- libcurl 笔记
- 初学JAVA整理
- 反意疑问句及其回答用法归纳+习题讲解
- [Unity3D]Shader学习笔记之Shader与DrawCall