停机问题

图灵·停机问题的不可判定性

停机问题的不可判定性：不存在一个图灵机可以判定任意图灵机在所有输入上是不是停机。在现代编程语言（这个语言是图灵完备的）的表现就是，没有一个程序可以判断所有程序是否能在有限时间结束。
lifallen·2024-02-20 00:16

kafka连接失败时springboot项目启动停机问题

问题：springboot整合kafka，作为消费端，对端的kafka系统是在生产环境，在本地开发测试时配置了对端的生产环境的kafka地址。因为开发环境和对端生产环境是不通的，所以连接肯定是失败的，kafka的连接失败导致springboot项目启动时停机。思路：将kafka消费端配置自启动关闭。方法1：创建ConcurrentKafkaListenerContainerFactory时配置se
行善积德_Fei·2024-01-11 06:38

SmartLifecycle之RocketMq优雅停机

SmartLifecycle之RocketMq优雅停机前言线上环境发布重启时，经常会导致mq消费失败，不够优雅，之前对RocketMq了解也不太深入，刚好趁这个机会，解决mq的优雅停机问题，顺带着好好撸一撸
白菜404·2024-01-10 07:38

编译原理 - 编译优化

文章目录编译优化基本概念不存在完全优化正确的观点前端优化常量折叠代数化简不可达删除中间表示上的优化常量传播拷贝传播死代码删删除编译优化基本概念代码优化是对被优化的程序进行的一种语义保持的变换语义保持：程序的可观察行为不能改变变换的目的是让程序能够比变换前：更小更快cache行为更好更节能等等不存在完全优化等价于停机问题给定一个程序
turbolove·2024-01-05 18:48

dubbo优雅停机问题修复

问题总结1.服务端问题出线程池是否为空的判断环节，需要获取线程池对象，检查其中是否有未完成的任务，并等待任务全部完成后关闭线程池，但原生代码存在BUG，获取到的线程池对象为null。修改方法改为使用静态缓存存取线程池对象，保证停机时能正常获取线程池对象。相关源码com.alibaba.dubbo.remoting.transport.AbstractServer.AbstractServer(UR
站在海边看远方·2023-12-15 05:02

稳定脱单问题（延迟接受算法）

1.停机问题(TheHaltingProblem)停机问题是“证明存在不可解问题”的一个例子问题描述：是否存在这样一个过程，该过程能以一个计算机程序以及该程序的一个输入作为输入，并判断在给定输入运行时是否最终停止
赫尔特·2023-11-26 07:30

python编程导论 week 1

陈述性知识和程序性知识（描述的是信息演绎的过程，如何做）算法：指令（instructions）的集合顺序指令测试指令计算机发展：fixedprogrammingcomputer-->storedcomputer图灵停机问题
猪蹄炖粥·2023-11-21 17:07

量子计算 12 量子计算机到底是啥？

2.1能不能算停机问题？2.2能不能实现指数加速？3量子计算机咋实现的？3.1量子图灵机QuantumTuringmachines3.2量子电路Quantumc
xiwang_chn·2023-11-14 05:29

《重新了解计算机基础》- Crash Course Computer Science（计算机科学速成课）笔记15-21

读写头、状态变量、一组规则一个强大的计算模型图灵证明了图灵机可以完成任何计算图灵完备：图灵完备是指在可计算性理论里，如果一系列操作数据的规则（如指令集、编程语言、细胞自动机）可以用来模拟单带图灵机图灵机的停机问题如何证明无法实现
季禹！·2023-11-09 08:03

【C语言程序设计】一、算法基础（思考题）

例如著名的理发师悖论、停机问题、判断一台计算机是否有病毒的程序.3、如何衡
明金同学·2023-08-17 01:35

Gas 机制是如何运作的

在计算机系统中，停机问题（https://zh.wikipedia.org/wik
rayjun·2023-06-11 03:26

关于停机问题的一点思考

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

浅谈人工智能：现状、任务、构架与统一

第六节学科二：认知推理—走进内心世界第七节学科三：语言通讯—沟通的认知基础第八节学科四：博弈伦理—获取、共享人类的价值观第九节学科五：机器人学—构建大任务平台第十节学科六：机器学习—学习的终极极限与“停机问题
山月剧·2022-11-29 07:06

区块链概念整理之图灵停机问题

陷入死循环，就像一直衔住自己尾巴的蛇永远打转但是，图灵停机问题并不是这么简单，它指的是个证明：“不存在这样一个程序或算法，它能够计算任何程序或算法在给定输入后是否会结
Hellc·2022-02-22 05:23

Conflux 中的代付机制详解

代付简介绝大部分的公有链中都存在着名为gas的机制（或称之为“燃气费”），该机制有着丰富的作用，如对抗拒绝服务攻击、回避智能合约的停机问题、激励矿工等。
·2022-01-18 10:14

图灵停机问题

阅读《哥德尔艾舍尔巴赫集异璧之大成》这本书中，有涉及到图灵停机问题，在知乎上各大神都做了详细的解释（还说是最通俗易懂的）。
Subber_Ji·2021-05-04 07:42

听课笔记-《计算机科学速成课》15-17计算机发展

文章目录视频链接视频目录笔记第15集·阿兰·图灵-AlanTuring图灵机停机问题第16集·软件工程-SoftwareEngineering对象化第17集·集成电路、摩尔定律-IntegratedCircuits
彩色墨水·2021-04-12 10:57

如何定量地证伪图灵测试？（上）

历史上，阿兰·图灵在发现了停机问题的不可解性后，很快就想到了谕示（Oracle）的概念：停机问题的解本身
十酒三·2021-03-11 13:29

P问题、NP问题、NP完全问题和NP难问题概念梳理

非"正规"问题不可解问题：不存在解决算法的问题例子：停机问题不可能有复杂度O(多项式)问题例子：输出从1到n这n个数的全排列（因为把结果打印出来也是O(n!)
jason_cuijiahui·2020-09-14 00:02

20170222听课笔记（CPU，内存，硬盘，指令之间的关系）

1.图灵机根据我自己的理解，制造图灵机只需两点：a.在一条无限的纸带上有无限的格子b.每个格子上的内容可以任意修改，这样理论上就可以进行任何的计算过程（描述中没有提到停机问题，详情请参见维基百科）。
mpw小白·2020-09-13 07:39

《离散数学及其应用》学习(上)

一.逻辑和证明，集合，函数1.逻辑难题http://www.2144.cn/html/88/6426/二.算法，整数和矩阵三．数学推理，归纳与递归停机问题现在描述计算机科学里的一个最著名定理的证明，证明存在不能用任何过程来解决的问题
shiyuankongbu·2020-09-11 16:23

P、NP、NP完全问题、NP难问题

例如：Haltingproblem(停机问题)：给定一段计算机程序和他的一个输入，判断该程序对于该输入是会中止还
月本_诚·2020-09-10 12:04

对角化原理和停机问题

O__O"…说对角化原理的三个问题：罗素悖论、[0,1)集合不可数和停机问题。罗素悖论:S={s|s∉s}，试问S∈S还是S∉S?[0,1)
zdarks·2020-08-24 18:53

康托尔、哥德尔、图灵——永恒的金色对角线

图灵为了解决希尔伯特著名的第十问题而提出有效计算模型，进而作出了可计算理论和现代计算机的奠基性工作，著名的停机问题给出了机械计算模型的能力极限，其深
周银辉·2020-08-22 02:23

关于停机问题的一点思考

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

关于停机问题的一点思考

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

可做题1（Code+第二次网络赛）

能来解决停机问题吗？”qmqmqm这样问sublinekelzrip。
Coco_T_·2020-08-20 02:26

《暗时间》读书感想（一）

最近在读刘未鹏的《暗时间》，读到P180，第三篇跟波利亚学解题，第六章康托尔、哥德尔、图灵——永恒的金色对角线，第二小节“停机问题”。在这里我发现了一些我自己像不太清楚，疑惑不解的地方。
weixin_30732825·2020-08-11 04:10

关于scheme的一些书籍的推荐

TheLittleSchemer  就是这本：  这本是shemer的入门书籍，非常简单，恩，那是说前面的几章，到了后面的图灵停机问题以及yCombinator，你估计就要好好理解啦，后面的两个问题我花了几天才弄懂
lishuhuakai·2020-07-28 02:26

【软件分析学习笔记】2：数据流分析及示例,半格和偏序

例如，对于上一节的停机问题的反例程序：voidEvil(){if(Halt(Evil)==False)return;elsewhile(True);}其中的if-else就是控制条件，将它忽略掉，抽象成一对非确定选择
LauZyHou·2020-07-27 17:05

停机问题的定义和证明

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

2018～2019初赛复习整理

文章目录讲义排序算法讲解讲义贺来的图和tips基于比较的排序算法最小时间复杂度Hash处理冲突平均查找长度基础数据结构堆关于O(n)建堆树哈夫曼树膜拜CCF计算机基础知识原码反码和补码停机问题信息论之父摩尔定律冯诺依曼理论
xyyxyyx·2020-07-10 13:09

从五个数据看出边缘计算的巨大潜力

这会带来潜在的延迟问题，并产生安全和停机问题。边缘计算将关键数据处理功能放在更靠近网络边缘的位置，这为解决该问题提供了一个可行的解决方案。通过让数据更接近最终用户
边缘计算社区·2020-07-10 09:29

算法！司南。

《目录》难题的定义NP困难猜想NP完全问题旅行商问题的外卖解法最近邻居法小谈·图灵停机问题基础算法模版迭代加深搜索(可代替BFS)DFS(一条路走到黑)BFS(一石激起千层浪)随机数据生成器高精度竞赛测试提交模板程序计时
Debroon·2020-07-08 01:33

图灵机停机问题的不可判定性

TuringMachineHaltingProblem停机问题：指判断任意一个程序是否能在有限的时间之内结束运行的问题。
Zyj061·2020-07-04 09:01

MIT计算机科学集编程导论（一）

存储排除时间和空间因素，计算机也是有限制的，比如计算太复杂（如预测天气）或者基本不可能被计算出的问题（如图灵停机问题）有关计算思维Focusonconceptsandtoolsof
hiwalkerz·2020-07-02 02:30

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

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

数理逻辑5 -- 计算理论1

现在第五章，终于见到了自己的老本行，往好奇心方面说是为了弄懂停机问题，往夯实基础方面说是为了后续的复杂度理论和算法设计做准备，至少也要彻底弄懂P=NP究竟是什么问题。伟大的
SecPractitioner·2020-06-27 11:25

2018年5月15日

停机问题大约能够理解了，但是如何与理发师悖论联结、和图灵机的一些概念又如
真昼之月·2020-06-26 23:56

服务器运行状态监控工具

WhatsUpGold能主动监控所有关键网络设备与应用服务，因而减少影响业务运作的停机问题避免严重损失。
caomiao2006·2020-06-22 20:46

康托尔、哥德尔、图灵——永恒的金色对角线

图灵为了解决希尔伯特著名的第十问题而提出有效计算模型，进而作出了可计算理论和现代计算机的奠基性工作，著名的停机问题给出了机械计算模型的能力
SzMing·2020-06-22 06:02

了解 Azure VM 的系统重启

配置VM以实现高可用性若要防止Azure上运行的应用程序出现任何类型的VM重启和停机问题，最佳方式是配置VM以实现高可用性。若要为应用程序提供此级别的冗余，建议两个或更多VM组合到一个可用性集中。
ITknight·2020-06-21 22:10

停机问题与Y Combinator（一）

前言上个月月末的时候，看了《TheLittleSchemer》的第九章，第九章就是在讲停机问题和Y组合子。感觉很有意思，Y组合子真的是一个很神奇又有趣的东西，以至于MIT数学系的系徽就用的是Y组合子。
崔瀚泽·2020-04-04 16:18

为何停机定理和强AI只有半毛钱关系

或：为什么停机问题比看上去要难很多？强人工智能，通俗来讲就是“有自主意识的电脑”/“有灵魂的机器”，简称强AI。
十酒三·2020-03-26 08:53

6.00xMIT计算机导论

计算机的局限1.太复杂的问题例如，精确的天气预报和现代密码学本身就不可能被解决的问题例如：图灵停机问题（haltingproblem）算法是一
戴理扉·2020-03-18 20:16

什么是图灵停机问题？

正式开始本篇的文章之前，回顾一下我们为什么会思考题目列出的这个问题？其实，所有的开始都源自于我们对区块链的学习和研究。我们研究过比特币，对最近比较热门的以太坊平台也饶有兴趣，但是还不得法门。如果我们还记得以太坊的一些历史就知道，当时Vitalik在提出建立以太坊的想法的时候，提出的最重要的就是一点：一个具备图灵完备的智能合约的区块链开发平台。什么是图灵完备的智能合约请回顾前期文章。在文章里我们提到
higer·2020-03-16 04:42

人工智能通识DBD-2019年2月汇总

人工智能通识-科普-土耳其人下棋傀儡-20227人工智能通识-科普-土耳其人下棋傀儡-10226人工智能通识-科普-哥德尔的不完备定理0225电影观点-阿丽塔·战斗天使0224人工智能通识-编程-图灵机之停机问题
zhyuzh3d·2020-02-20 12:18

我为什么开始写博客

比如学到停机问题的时候，只是知道了这个定理，却没有自然意识到它和哥德尔不完全性定理的内在联系，正因为思考不深，疲于应付。我觉得写博客至少有三个方面的作用。首先是记录。它忠实地记录了你自己
gaussfan·2020-02-16 06:56

停机问题与Y Combinator（二）

YCombinator停机问题在上一篇文章已经了解过了，这篇文章让我们来了解一下Y组合子。其实说了解也并不恰当，只能说是我们用Scheme语言一步一步的推导出了Y组合子，至于了解，留给下一篇文章。
崔瀚泽·2020-02-11 19:33

停机问题学习笔记

几天前晚上散步的时候，聊天儿时提起了罗素悖论，让我联想到图灵对停机问题精妙的解法。想拿这个试试费曼技巧，讲到一半发现卡壳了，自己把自己绕了进去。
MForever78·2019-12-23 20:34
上一页 1 2 3 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他