停机问题

19【通俗易懂区块链】Gas——图灵停机问题的克星

文章摘要：Gas就是程序执行的燃料，燃料用光了程序就无法执行了，图灵停机问题就不是问题了。原创声明本文作者：MinluKuo已用Press.one进行数字签名，如需转载请联系作者授权。
区块链战争·2019-12-18 00:58

停机问题与Y Combinator（三）

在上一篇文章中，提了三个问题，这篇文章就围绕上篇文章的三个问题来讨论。Y组合子究竟干了什么？所以Y组合子究竟干了点啥？为什么就可以递归了？我们人肉单步一下看一看，调用一下(Yf1)看究竟发生了什么？(Yf1);;;用实参f1替换掉形参f((lambda(g)(gg))(lambda(h)(lambda(x)((f1(hh))x))));;;用实参;;(lambda(h);;(lambda(x);;
崔瀚泽·2019-12-17 18:58

关于可计算、图灵机及CPU性能

文章目录引言无尽的“贪婪”可计算问题的解决更快、更多的计算更快的CPU抽象模型与实际图灵机停机问题图灵机与冯诺伊曼机再谈冯诺伊曼计算机CPU性能量化心跳与晶振指令处理时长量化性能量化最终公式后记推荐与引申引言在上篇博文从超时处理说起
oatlmy·2019-10-17 22:18

《信息安全专业导论》第二周学习总结

第十八章明白了计算机中存在的误差和误差的检查方法，了解了大O分析，软件工程和图灵机及停机问题。二.教材学习中的问题及解决过程1.阶乘时间为什么比指数时间更耗时？
191307·2019-10-13 10:00

java学习之数据结构与算法

从这个问题出发，竟然能追溯到算法的定义，计算机的本质，图灵机，丘奇-图灵论，停机问题，计算的本质等等。首先从计算机的角度看，答案是肯定的。
奔跑的小鱼儿·2019-09-05 21:37

关于停机问题的一点思考

从最大公约数讲起如果要计算90和21的最大公约数，根据欧几里德的定理，等同于求21和6的最大公约数，进一步等同于求6和3的最大公约数，经过几步转化，最终我们得到了结果：3。这样一系列“有限”的步骤的集合，我们称之为算法。假设我们把求最大公约数算法的名字就叫做GCD，当我们说GCD作用于90和21可以停机的时候，转成大白话就是：GCD(90,21)不会陷入死循环，并且返回值是3。事实上，GCD对于“
姜哲·2019-09-01 00:00

极进（Extreme）X770交换机如何配置光模块？

ExtremeX770交换机是解决上述停机问题的理想解决方案之一，它能很好地满足数据中心的扩展性和灵活性等需求。
易天光通信·2019-08-12 18:54

极进（Extreme）X770交换机如何配置光模块？

ExtremeX770交换机是解决上述停机问题的理想解决方案之一，它能很好地满足数据中心的扩展性和灵活性等需求。
wb5d44081aa7c37·2019-08-12 18:11

《类型和程序设计语言》

目录《类型和程序设计语言》百科λ演算归约策略并行与并发图灵机停机问题非确定图灵机新浪博客：LambdaCalculus——叙述通俗朴素我的最爱Lambda演算——开篇Alpha转换Beta规约GoodMath
chenxuanhanhao·2019-07-28 19:29

第 15、16、17 集：阿兰·图灵；软件工程；集成电路与摩尔定律

第15集：阿兰·图灵00:33介绍图灵00:52可判定性问题01:14阿隆佐·丘奇，Lambda算子01:38图灵机04:54停机问题08:09破解德军英格玛加密机10:40图灵测试11:18图灵的个人生活
djch0319·2019-05-19 14:09

人工智能通识-编程-图灵机之停机问题

欢迎关注我的专栏(つ•̀ω•́)つ【人工智能通识】之前的文章人工智能通识-科普-图灵机之繁忙的海狸Busybeaver主要涉及了三个问题：可计算性问题、停机问题和计算的复杂度问题。
zhyuzh3d·2019-02-24 23:31

人工智能通识-科普-图灵机之繁忙的海狸Busy beaver

停机问题HaltingProblem之前我们介绍过基本的图灵机，读写头Head可以不停地对纸带上的数字（0或1）进行读取，然后再跟进自身状态State和读取到的数字来决定下一步动作，以及下一步状态切换。
zhyuzh3d·2019-02-21 23:28

图灵完备

停机问题和元胞自动机在可计算性理论里，如果一系列操作数据的规则（如指令集、编程语言、细胞自动机）可以用来模拟单带图灵机，那么它是图灵完备的。这个词源于引入图灵机概念的数学家艾伦·图灵。
lisoleg·2018-10-05 11:47

图灵的停机问题背后令人着迷的数学（哲学）原理

那么图灵的停机问题（TheHaltingProblem）、YCombinator、著名的哥德尔不完备定理、罗素悖论，究
跑者小越·2018-04-01 21:21

图灵停机问题(halting problem)

问题描述是否存在一个过程能做这件事：该过程以一个计算机程序以及该程序的一个输入作为输入，并判断该过程在给定输入运行时是否最终能停止。问题解答1936年图灵证明这样的过程是不存在的。证明（反证法）假设：存在一个这样的过程H（P,I），P为计算机程序，I为该程序的一个输入,H可以根据P和I返回true（该过程在给定输入运行时能停止)或者false（该过程在给定输入运行时不能停止）。推出矛盾：再构造一个
MyLinChi·2018-01-12 00:00

计算机科学与Python编程导论_MIT 学习笔记（一）

图灵停机问题（类似理发师悖论），说
chucksonwheel·2017-12-08 22:46

NP-完全性介绍

旨在理解“NP-完全性”的idea；【1】难与易1.1）不可判定问题：正如实数不足以表示x^2<0的解那样，可以证明，计算机不可能解决碰巧发生的每一个问题，这些不可能解出的问题叫做不可判定问题；1.2）停机问题
PacosonSWJTU·2015-11-24 16:00

可计算性与停机问题

可计算性 可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”，是因为某些可计算函数在实际计算中可能会耗费相当长的计算时间，可能在我们宇宙现存时间内都无法完成其计算。   直观地说，如果存在一段程序来计算一个函数，那么这个函数就是可计算的。更明确地说，如果对于函数f: A -> B存在
·2015-11-13 15:16

停机问题

过程使用伪码证明   停机问题 不存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入下是否会结束（停机）。
·2015-11-13 09:54

哥德尔，图灵和康托尔 part 2 停机问题

图灵著名的停机问题对于软件开发者而已是非常熟悉的。下面简单描述停机问题： 假设给你一个计算机程序的源代码，也给你所有程序要用的数据，文件，硬盘，DVD等等，所有它需要处理的东西。
·2015-11-12 21:59

云计算的思想领袖:访谈Orbit One Internet Solutions总经理Olivier Mangelschots

在这次采访中，我们介绍： 混合环境中的身份管理 在提供自定义的云解决方案中合作伙伴的作用 SLA 和云停机问题 迁移到云与基于云计算架构的对比 云中的事物更好地一起工作 Robert
·2015-11-12 16:52

对于停机问题的理解

偶尔看到知乎的一个答案中提到了“停机问题”的概念，觉得挺有趣。
·2015-11-07 10:50

关于TCS中的图灵机模型和神谕机

http://songshuhui.net/archives/92392#comment-6458031对于普通的图灵机而言，停机问题是不可判定的，这早已被证明。
志_祥·2015-05-19 16:52

关于TCS中的图灵机模型和神谕机

http://songshuhui.net/archives/92392#comment-6458031对于普通的图灵机而言，停机问题是不可判定的，这早已被证明。
cteng·2015-05-19 16:00

图灵停机问题

那么，如何来证明这个停机问题呢？反证!
听那水·2015-03-30 14:00

计算复杂性读书笔记（三）： 同构，自指，停机问题

 很久以前，举国兴盛各种仙术邪道，每个派别的高德大师会给弟子们传授独门心法，通俗地来讲就是“怎么快速地获得幸福”，每次传授完了之后，他们会例行地来一句：“千万别跟别人说是我说的，不然就不灵了！”嗯，这种才叫无私奉献嘛，而现在，大家拼命维护自己的各种版权，真是世风日下，啧啧… 3.1．如是我闻 “是闻”的意思是“听说是酱紫的”，“如是我闻”的意思就是“就像我听说的那样”。大部分佛经都是以“如是我闻”
Airship·2015-02-15 17:00

能否判断一个程序是否是所有实现同样目标的最快程序

因为实际上，这等价于一个图灵机停机问题。假设这个程序能够断定一切程序，那么他也能够判定自己。如果是最快的，返回1，否则返回0。
thursdayhawk·2014-02-01 09:26

停机问题 （halting problem）

这哥们一生太牛逼了，这里回顾下被他证明的停机问题，也就是说，图灵机有做不到的东西，碰到客户提出一些可笑需求的时候我都会摆这个问题给他们讲，一讲客户就蒙，蒙了就不敢再问为什么做不到，自然在提新需求之前就不会拍脑袋就提了
TOTOTO_TOTO·2013-12-14 22:00

6.NP问题

6.(2分)以下经典的问题哪些属于NP问题()A、图灵停机问题B、排序C、0，1背包问题D、枚举有限集合的所有子集答：P问题可以找到在多项式时间内解决它的算法的问题。
bluetears1988·2013-10-09 15:00

scheme下的停机问题和Y组合子

scheme下的停机问题和Y组合子       看过的计算机书中，scheme相关的那几本，好比SICP，theessenceofprogram都很让我爱不释手。
huaxiazhihuo·2013-07-11 14:00

盗梦空间科普札记之一：梦里乾坤嵌套深，醒来可知在哪层?

（唐常杰）(这是发在科学博客上一个系列博文的1/4，涉及到递归算法，第四篇涉及到图灵机停机问题，稍难一些）上周五晚上，和几位中学生忘年交客人一起看了电影《盗梦空间》。
tangchangjie·2013-06-27 11:31

盗梦空间科普札记之一：梦里乾坤嵌套深，醒来可知在哪层?

（唐常杰）   (这是发在科学博客上一个系列博文的1/4，涉及到递归算法，第四篇涉及到图灵机停机问题，稍难一些）  上周五晚上，和几位中学生忘年交客人一起看了电影《盗梦空间》。
tangchangjie·2013-06-27 11:31

对角线删除法

今日在家看到一篇讲图灵机停机问题的文章，在如何证明停机问题是个悖论命题的时候，用到了对角线删除法，看这种方法的时候感觉似曾相识，终于想起来大学的时候讲实数不可列性的时候，也用过这样的方法。
jianfeihit·2013-03-10 19:00

可计算性与停机问题

 原文链接：http://www.cnblogs.com/lienhua34/archive/2012/03/05/2381296.html可计算性可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”，是因为某些可计算函数在实际计算中可能会耗费相当长的计算时间，可能在我们宇宙现存时间内都无法完成其计算。直观
027小白菜·2013-01-17 12:43

图灵停机问题

     图灵停机问题：输入一段程序代码以及提供此段代码的输入，能否通过程序来判定运行这个程序后程序是否中止。（好拗口！）     
dqjyong·2012-07-19 21:00

云计算的思想领袖:访谈Orbit One Internet Solutions总经理Olivier Mangelschots

在这次采访中，我们介绍：混合环境中的身份管理在提供自定义的云解决方案中合作伙伴的作用SLA和云停机问题迁移到云与基于云计算架构的对比云中的事物更好地一起工作RobertDuffner:您能花一点时间来介绍一下自己和
晨曦之光·2012-03-09 16:00

可计算性与停机问题

可计算性可计算性理论明确了在理论上可计算的函数应具有的特征。那些定义在自然数集上的、理论上可计算的函数通常被称为部分递归函数。概念中强调“理论上可计算”，是因为某些可计算函数在实际计算中可能会耗费相当长的计算时间，可能在我们宇宙现存时间内都无法完成其计算。直观地说，如果存在一段程序来计算一个函数，那么这个函数就是可计算的。更明确地说，如果对于函数f:A->B存在一个算法，以任意x∈A作为输入，都可
lienhua34·2012-03-05 22:32

图灵停机问题（The Halting Problem）

那么，如何来证明这个停机问题呢？反证!
niushuai666·2012-02-15 13:00

云计算的思想领袖:访谈Orbit One Internet Solutions总经理Olivier Mangelschots

在这次采访中，我们介绍：混合环境中的身份管理在提供自定义的云解决方案中合作伙伴的作用SLA和云停机问题迁移到云与基于云计算架构的对比云中的事物更好地一起工作RobertDuffner:您能花一点时间来介绍一下自己和
azurechina·2011-06-08 14:00

停机问题--The Halting Problem

http://www.juniata.edu/faculty/rhodes/intro/theory2.htm看停机问题时，觉得它跟我国的“以子之矛攻子之盾”的想法很相似也跟C语言的struct内不能包含自身很相似停机问题描述
adream307·2011-05-29 15:00

现代软件工程系列 学生读后感 梦断代码 SpringGreen

其实整本书就是讲图灵机的不可判定性————软件开发过程中，很多过程都不知道什么时候能不能结束，甚至说能不能做出来，这导致整个软件工程不能够停止，这不是暗合了“停机问题”？
SoftwareTeacher·2010-11-22 19:00

停机问题

停机问题-所有存储量为N的机器上的程序最多运行多久？
QIBAOYUAN·2010-10-31 22:00

停机问题、哥德尔定理

今天读《哥德尔、艾舍尔、巴赫——GEB 集异璧之大成》，看到“自指”的论述，突然想起以前学自动机理论时的“停机问题”。
saybody·2010-10-03 23:00

停机问题

停机问题停机问题（haltingproblem）是目前逻辑数学的焦点，和第三次数学危机的解决方案。其本质问题是:给定一个图灵机T，和一个任意语言集合S,是否T会最终停机于每一个s/inS。
xiucaijiang·2010-07-02 10:00

Whatsup-gold简介

WhatsUpGold能主动监控所有关键网络设备与应用服务，因而减少影响业务运作的停机问题避免严重损失。WhatsUpGold使用全新
ieihihc·2010-05-26 17:18

Whatsup-gold简介

WhatsUpGold能主动监控所有关键网络设备与应用服务，因而减少影响业务运作的停机问题避免严重损失。WhatsUpGold使用全新
ieihihc·2010-05-26 17:18

迭代 自指

自然数和有理数一一对应，无理数比自然数“多”3.停机问题。4.几乎所有东西都可以用数字编码。包括研究数字的数论定理。5.用数学来研究数学，用语言来描述语言的语法。6.写个C程序打印出这个C程序本身。
complex_ok·2009-11-05 23:00

理论计算机的一些有启发的想法

2 可计算性   可计算，停机问题，超级停机。   有没有一种可计算性是不依赖于计算模型的？ 3 智
zhang_xzhi_xjtu·2009-09-16 17:00

对角线的延伸

    开始先介绍了图灵停机问题和Y Combinator，这两段都总结的很好，深入浅出，比我在别的地方看到的要清楚很多。后面介绍了哥德尔不完备性定理，图
rink1969·2009-04-24 00:00

Alonzo Church的λ演算（摘自彭罗斯《皇帝新脑》）

该观念的威力有一部分来自于这一个事实，即数学中一些定义得很好的运算实际上不是可计算的（例如图灵机的停机问题；第四章还可以看到其他例子）。因为如果不存在这种不可计算的事体，则
Utensil·2007-08-28 12:00
上一页 1 2 3 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他