停机问题--The Halting Problem

http://www.juniata.edu/faculty/rhodes/intro/theory2.htm

看停机问题时，觉得它跟我国的“以子之矛攻子之盾”的想法很相似
也跟C语言的struct内不能包含自身很相似
停机问题描述：是否存在这样的一段代码H，这段代码H以任意的代码P作为输入，它判断代码P在执行的过程中是否会停止。如果代码P在执行的过程中会一直执行下去，不会停止，则程序H输出“loop”；反之，如果代码P在执行的过程中会停止，即代码P执行一段时间之后，代码P执行结束了，那么程序H输出“halt”
例如：
//不会停止，一直执行的程序
#include<stdio.h>
int main()
{
    int x0,x1,x2;
    x0=x1=1;
    do{
        x2=x0+x1;
        x0=x1;
        x1=x2;
        printf("x0=%d,x1=%d/n",x0,x1);
    }while(x0!=x1);
    return 0;
}
//执行一段时间之后会停止的程序
#include<stdio.h>
int main()
{
    int x0,x1,x2;
    x0=x1=1;
    do{
        x2=x0+x1;
        x0=x1;
        x1=x2;
        printf("x0=%d,x1=%d/n",x0,x1);
    }while(x0<x1);
    return 0;
}
停机问题说明不存在具有上述功能的代码H，证明如下：
假设存在具有这样功能的代码H，我构建一段如下所示的代码K，代码K也以任意代码作为输入
function K( code P)
   if ( H(P) == ‘loop’)
        return;
   else
        while(1);
代码K具有这样的功能，如果输入的代码P不会停止（ if ( H(P) == ‘loop’ )），那么代码K直接返回，反之代码K一直执行
那么我现在让代码K自己作为代码K的输入，即 K( K )，矛盾就出现了
为了方便叙述，将 K( K ) 写成 K1( K2 )
如果K1( K2 )一直在执行，那么说明K2会返回，而K2本身就是K1。K1一直执行，K2会返回，而K1就是K2，矛盾；反之亦然

停机问题的出发点是为了提出一种万能算法。
X+1 和 X-1 均为质数的称为孪生质数，例如 3 和 5
现在我写一个程序，它一直对外输出孪生质数。现在用H来判断这个程序是”loop” 还是”halt”，如果为”loop”，则说明不存在最大孪生质数，反之则说明存在最大孪生质数

上面的说法有个矛盾的地方，就是这个一直对外输出孪生质数的程序应该怎么写？
程序的大体结构似乎是这样的：
while(true){
if ( 最大孪生质数) break
else 继续找下一个孪生质数
}
关键是这个“最大孪生质数”如何判断？
不解？

停机问题--The Halting Problem相关推荐

图灵停机问题（The Halting Problem）
不存在这样一个程序(算法),它能够计算任何程序(算法)在给定输入上是否会结束(停机). 那么,如何来证明这个停机问题呢? 反证!假设我们某一天真做出了这么一个极度聪明的万能算法(就叫God_algo吧 ...
ZOJ - 4049 Halting Problem 题解【c++】
题目如下: In computability theory, the halting problem is the problem of determining, from a description ...
halting problem 详解
在讲解halting problem 问题之前,我们先来看一张图和一个小故事图片: 图片来自网络,如有侵权请联系删除故事: 理发师悖论: 在一个村子里只有有一个理发师,他说他只给不给自己理发的 ...
C Halting Problem
题目链接 C Halting Problem In computability theory, the halting problem is the problem of determining, f ...
Halting Problem的讨论
有关于Halting Problem的一点点讨论 Halting Problem with no input: Halting Problem with no input: Show that giv ...
The halting problem
转自: http://www.matrix67.com/blog/article.asp?id=62 不可解问题(Undecidable Decision Problem)指的是这样一种问题:他无论如 ...
计算机无法解决停机问题,不可解问题之停机问题（Undecidable Problem Halting Problem）...
计算机技术已运用到人类生活的方方面面,帮助人类解决各种问题.可你是否有想过,计算机是否能为人类解决所有问题呢? 假如你是一个程序猿,你已编写过很多程序.有些程序一下子就能出结果,有些程序则好久都没有显 ...
图灵停机问题(halting problem)
问题描述是否存在一个过程能做这件事:该过程以一个计算机程序以及该程序的一个输入作为输入,并判断该过程在给定输入运行时是否最终能停止. 问题解答 1936年图灵证明这样的过程是不存在的. 证明 (反证 ...
图灵停机问题（The Halting Problem）------巧妙的证明
转自: https://blog.csdn.net/niushuai666/article/details/7260957 不存在这样一个程序(算法),它能够计算任何程序(算法)在给定输入上是否会结 ...

停机问题--The Halting Problem

停机问题--The Halting Problem相关推荐

最新文章

热门文章