最新要闻
- 查肝功能多少钱?_查肝功能大概多少钱
- 热门看点:写出氯气与水反应的离子方程式_氯气与水反应的离子方程式为________________ 新制的氯水
- 天天观点:怎么更新word目录页码_word怎么更新目录的两种方法
- 厦钨新能06月09日被沪股通减持142.85万股 环球焦点
- 【全球快播报】孙燕姿发文纪念出道23周年:创作新作品与AI拼了!
- 口碑糟糕!美国超级大片《变形金刚7》国内上映1天 票房破亿了
- 北尘电池厂什么时候出 公测上线时间预告 环球观点
- 冯小刚有几个孩子啊_冯小刚有几个孩子
- 什么的小河蚌(什么的小河)
- 琴葛蕾怎么复活的_琴格雷_全球资讯
- 宁王登陆LPL六周年,BLG送上“大礼”!小破站零封Up,斩获四连胜 前沿资讯
- 三星打印机卡纸怎么办视频_三星打印机卡纸怎么办-世界时讯
- 今年前5月中国水利建设完成投资较去年同期增长32.1%
- 《暗黑破坏神4》M站玩家评分:全平台都遭大量差评! 环球新视野
- 头皮发麻!男子塑料杯捉一只蟑螂 结果睡一晚变一窝
- 云南大象破门闯入居民家吃饭菜:不是第一次、无人机监控
广告
手机
iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?
警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案
- iphone11大小尺寸是多少?苹果iPhone11和iPhone13的区别是什么?
- 警方通报辅警执法直播中被撞飞:犯罪嫌疑人已投案
- 男子被关545天申国赔:获赔18万多 驳回精神抚慰金
- 3天内26名本土感染者,辽宁确诊人数已超安徽
- 广西柳州一男子因纠纷杀害三人后自首
- 洱海坠机4名机组人员被批准为烈士 数千干部群众悼念
家电
读改变未来的九大算法笔记08_并非万能的算法-最资讯
(资料图)
1.有些问题根本不可能通过计算机解决,不管计算机有多强大或人类程序员有多聪明
2.不可计算问题
2.1.20世纪30年代末
2.1.1.美国人阿隆佐·邱奇
2.1.1.1.Alonzo Church
2.1.1.2.在计算理论上的突破性工作至今仍是计算机科学许多方面的基础
2.1.1.3.单独发现了不可判定问题的存在
2.1.1.3.1.比图灵早几个月发表了自己的成果
2.1.1.3.2.邱奇的公式更为抽象,且并未详尽地提及由机器执行的计算
2.1.2.英国人阿兰·图灵
3.计算机软件的可靠性
3.1.通常的情况
3.1.1.即便高质量、编写良好的软件都会做些偏离其原有目的的事
3.2.糟糕的情况
3.2.1.软件崩溃,你丢失了正在处理的数据或文件
4.可以证明不可能
4.1.可以证明不可能存在一个能侦测所有计算机程序中所有潜在崩溃的自动化软件检查器
4.2.反证法(Proof by Contradiction)
4.2.1.假设怀疑某个声明S为假,但你想确信无疑地证明其为假。你先假设S为真
4.2.2.你先假设S为真
4.2.3.通过进行一些推理,你得出某个声明T也必须为真
4.2.4.如果已知T为假,就出现了矛盾
4.2.5.这能证明你的原始假设(S)也必为假
4.2.6.S导出T,但T为假,因此S为假
4.3.实验前提
4.3.1.任何程序可以将任何文件作为输入运行,但输出结果通常为乱码,除非输入文件本该配合由你选择运行的程序
4.3.2.计算机程序作为文件被存储在计算机磁盘上,因此一个程序可以用另一个程序作为其输入文件运行
4.3.3.计算机程序能将其自身文件作为输入运行
5.发现崩溃的不可能性
5.1.图
5.2.假设名为CanCrash.exe的程序能分析其他程序并判定它们是否会崩溃
5.2.1.作为输入的程序会在某种情况下崩溃,CanCrash.exe就会输出“yes”并结束
5.2.2.如果输入程序永不会崩溃,CanCrash.exe就会输出“no”并结束
5.3.让CanCrash.exe崩溃
5.3.1.改变后的程序为CanCrashWeird.exe
5.3.1.1.如果输入会崩溃,那么CanCrashWeird.exe这个程序也会故意崩溃
5.3.1.2.如果输入永不会崩溃,则CanCrashWeird.exe会输出“no”
5.4.转换成一个更模糊的程序称为CrashOnSelf.exe
5.4.1.只关注程序在将自身作为输入时运行的表现
5.4.1.1.会检测其输入程序,如果输入程序能在自身上运行,则CrashOnSelf.exe会故意崩溃
5.4.1.2.反之,CrashOnSelf.exe会输出“no”
5.5.转换成AntiCrashOnSelf.exe
5.5.1.如果其输入在自身上运行时崩溃,AntiCrashOnSelf.exe就会输出“yes”
5.5.2.如果输入在自身上运行时不崩溃,AntiCrashOnSelf.exe就会故意崩溃
5.6.矛盾
5.6.1.AntiCrashOnSelf.exe将自己作为输入运行时会输出什么?
5.6.1.1.如果输入崩溃,AntiCrashOnSelf.exe就会输出“yes”
5.6.1.2.因为如果AntiCrashOnSelf.exe已经崩溃,它就不能成功地输出“yes”并结束
5.6.1.3.如果输入不崩溃,则AntiCrashOnSelf.exe应崩溃
5.6.1.4.排除了AntiCrashOnSelf.exe两种可能的行为,这也意味着AntiCrashOnSelf.exe一开始就不可能存在
5.6.2.假设CanCrash.exe存在必为假
6.停机问题和不可判定性
6.1.停机问题(The Halting Problem)
6.1.1.已有计算机程序最终是否会结束或“停止”的问题
6.2.不可判定问题
6.2.1.不能通过编写计算机程序解决的问题
6.2.2.你不能编写一个名为AlwaysHalts.exe,输入永远停止时输出“yes”,反之输出“no”的计算机程序
6.3.不可判定性对计算机使用的实际影响
6.3.1.不可判定性只关注计算机程序能否生成答案,并不考虑我们需要等答案多久
6.3.2.许多可判定任务还没有高效算法
6.3.2.1.著名的要数旅行商问题(Traveling Salesman Problem),简称为TSP
6.3.2.1.1.假设你必须飞往很多城市,你应该采用哪种顺序访问城市才能让飞行费用最少
6.3.2.2.问题可判定这一事实并不意味着我们可以在实践中解决它
6.3.3.大部分时间里都能很好地解决不可判定问题
6.3.3.1.通常能为不可判定问题找到非常有用的部分解决方案
6.3.3.2.软件可靠性提升部分得益于崩溃发现程序的进步
7.人脑
7.1.如果你相信人脑在原则上能被计算机模拟,那么人脑就会和计算机受相同的限制
7.1.1.会存在人脑无法解决的问题——不管这个人脑有多聪明或经过多么良好的训练
7.2.从科学观点来看,人脑和计算机之间似乎没有什么基本壁垒,因为化学和电子信号在人脑中传输的低级细节很好理解
7.3.多种哲学论据暗示,人脑创造“理智”的物理过程在性质上与计算机能模拟的任何物理系统有所不同
关键词:
读改变未来的九大算法笔记08_并非万能的算法-最资讯
查肝功能多少钱?_查肝功能大概多少钱
热门看点:写出氯气与水反应的离子方程式_氯气与水反应的离子方程式为________________ 新制的氯水
天天观点:怎么更新word目录页码_word怎么更新目录的两种方法
厦钨新能06月09日被沪股通减持142.85万股 环球焦点
【全球快播报】孙燕姿发文纪念出道23周年:创作新作品与AI拼了!
口碑糟糕!美国超级大片《变形金刚7》国内上映1天 票房破亿了
北尘电池厂什么时候出 公测上线时间预告 环球观点
冯小刚有几个孩子啊_冯小刚有几个孩子
什么的小河蚌(什么的小河)
环球新消息丨ASP.NET Core MVC 从入门到精通之Html辅助标签补充及模型校验基础
琴葛蕾怎么复活的_琴格雷_全球资讯
宁王登陆LPL六周年,BLG送上“大礼”!小破站零封Up,斩获四连胜 前沿资讯
三星打印机卡纸怎么办视频_三星打印机卡纸怎么办-世界时讯
今年前5月中国水利建设完成投资较去年同期增长32.1%
《暗黑破坏神4》M站玩家评分:全平台都遭大量差评! 环球新视野
头皮发麻!男子塑料杯捉一只蟑螂 结果睡一晚变一窝
云南大象破门闯入居民家吃饭菜:不是第一次、无人机监控
AMD Zen4撕裂者露出獠牙:96核心寂寞无敌
首发价39999元 三星发布98英寸Q80Z巨幕电视:送电视、手机
常压锅炉压力表多少(常压锅炉压力是多少)
能量洪流幻象哪里出 能量洪流
今日最新!我的朋友死了
环球报道:奥特曼格斗进化3mac全灭s级通关打法(奥特曼格斗进化3全关卡S级通关攻略及注意事项)
惨不忍睹的意思 关于惨不忍睹的意思的介绍-天天通讯
德天空:多家沙特俱乐部正在关注马内|全球热头条
安徽工贸职业技术学院青年志愿者协会
焦点速读:股票行情快报:华大九天(301269)6月9日主力资金净买入8327.52万元
全球微动态丨今日hdmi可以输出5.1声道_4K家庭影院5.1声道输入输出怎么设置的方法教程
顾晴菲现在的照片_顾晴菲
动态:带着智能手机闯荡异世界 第二季 第十一集 异世界的姐姐,还有闪闪发光的初恋。 预告
Rust - 接口设计建议之灵活(flexible)
今日播报!数据库事务隔离级别
总台专访丨新任突尼斯驻叙大使:阿盟国家反对外部干涉 赞赏中国促和努力
2022单身戒指十大品牌排行榜_单身戒指哪个牌子好-全球关注
【天天聚看点】【国际漫评】戏精
每日动态!别人都考完了 为啥浙江高考考四天?看这表就知道了
亚洲最大地下综合交通枢纽建设取得新进展 最深处可达43米
首批国产榴莲预计将在本月上市 “水果之王”或迎来大降价
河南郑州发现3岁男孩患全球仅34例象鼻病 严重需借助于呼吸机才能维持生命
安徽一男子因酒驾被暂扣驾驶证 考四次科目一后拿驾照当天再次酒驾
*ST京蓝:公司股票交易被叠加实施其他风险警示
美国发布厄尔尼诺警报 专家认为明年全球平均气温或创新高
垃圾桶分类有哪几种?垃圾桶尺寸规格是多少?
栉怎么读?栉风沐雨是什么意思?
文博日历丨看一部跨越千年的“巨幕电影”
锦旗多少钱一副?锦旗尺寸大小多少合适?
十一法定节假日是几天?十一法定节假日高速是否免费?
文心一言 VS 讯飞星火 VS chatgpt (36)-- 算法导论5.3 6题 环球聚看点
门框的拼音怎么读?门框的尺寸一般是多少?
世界快报:“世界认可日”江苏主题活动启动——看江苏如何借认证检测之力,赋能产业升级?
遥感监测显示:九寨沟震后全域植被逐渐恢复 环球微头条
中金湖北科投光谷REIT正式成立|全球观点
百度:第三代昆仑芯明年初规模上市 大模型算力不成问题|环球热点评
第四大运营商发力:中国广电5G全面铺开
世界微头条丨3岁男孩患象鼻病全球仅34例:医生科普“象鼻宝宝”有多可怕
能实现“榴莲自由”吗?首批国产榴莲预计本月上市 世界快播
株洲石峰区:展示巾帼风采 秋瑾女子民兵排开展集训
当前观察:Web安全-渗透测试-基础知识06
油石比怎么算沥青含量_油石比计算沥青用量|天天要闻
每日焦点!湖北6月25日左右发布高考成绩 广大考生请认准权威渠道
中国巨石(600176.SH):拟参与中复连众与中材叶片整合|世界今热点
全球热消息:木瓜鉴赏:投我以木瓜,报之以琼琚
Uzi就差官宣了?EDG海报空个位置引热议 网友:无字暗示乌兹 世界热资讯
全球短讯!这外观如何?新款宝马X5L来了!动力更强 预计9月正式投产
摩尔线程国产游戏显卡正式支持OpenGL 4.0!曲面细分 效果惊艳
全球新消息丨环卫母亲与高考儿子相拥而泣:画面朴素到网友动容!
环球快看点丨美国一客机紧急疏散乘客 原因大跌眼镜:客舱内有飞蛾
全省用户都打不出电话?广东电信紧急回应_今日要闻
上海数据交易所数商服务平台上线
国网长春供电公司开展老旧表箱电源安全隐患排查整治工作
债市日报:6月9日 全球要闻
环球资讯:哈尔斯:人民币贬值有利于出口,会为公司经营带来积极影响
今日热搜:米哈游《原神》后又一力作!《崩坏:星穹铁道》官宣登陆PS5
天天信息:华为中原区域总部落户郑州:十四层高楼
哥哥穿旗袍接妹妹发现跑错考点:女孩被成功逗笑 天天短讯
不预售、不等待 天天都是618价格!拼多多百亿补贴推“数码家电消费季”|焦点速递
AI大模型用鲁迅风写高考作文 大家来品品能打多少分
洛阳钼业:拟向参股公司CBC INVESTMENT增资不超3399.66万美元-全球热推荐
Vscode控制台乱码的最终解决方案
杭州一消防站门口出现千元外卖,这位“张女士”,消防员有话对您说
即时:NBA国际球员最强阵容:姚明恩比德难进首发,东契奇只能打第六人
深交所制定服务国有、民营上市公司两个专项工作方案 前沿热点
天天播报:win7桌面壁纸怎么设置自定义图片_win7桌面壁纸怎么设置
1999元 AOC推出新款27寸显示器:2K分辨率、四面微边设计
6岁女孩误吞口香糖后灵魂发问 不用担心:少量不会黏住肠道_天天热门
通吃G-Sync/FreeSync!LG发布新款4K 144Hz电竞显示器:IPS硬屏
知道为啥你的二手闲置卖不出去么?我教你
今日关注:DDR5内存超到11254MHz 居然不用液氮!但超高延迟没法看
天天快资讯:湖北今日这一地创今年气温新高!明后天晴热持续
Java对象中转换空值的字段 今日观点
世界报道:Web安全-渗透测试-基础知识05
当前观察:这就是信心|优化营商环境 各地硬招、实招频出
漫评美国通货膨胀:“陷入困境”
快看:女孩出考场接受采访:与母亲同框被路人误认为姐妹
近视用户不得不戴!Vision Pro配套镜片售价或超2000元
每日观察!性能媲美同档台式机!小米迷你主机限时打折:高考生到手2849元起
精彩看点:曾以“上四休三”上热搜:长沙一公司取消了所有的调休
高考结束后亲友团横幅有点大胆:可以谈恋爱啦 环球快播
别着急摆烂,看看你到底值多少钱? 全球热资讯