黄旗资讯一号工作间里，黄斐和秦小瑜正对供应链管理那个模块你来我往地讨论着。

黄斐最后把系统设计整理了一下，道：“小瑜，我实在是想不通为什么aicoder可以做这么多事情，明明这个算法根本就没有告诉程序嘛，它怎么可能会自动生成代码呢？”

秦小瑜：“我早想过好多次了，无解，问老大，他说是人工智能，可是还是想不通。”

黄斐沉思着，一边把系统设计导入aicoder规定的格式。他皱着眉道：“我想到了‘对角线删除法’，你听过吗？”

秦小瑜：“这个……不太了解。”

黄斐：“这是康托尔为了证明实数的个数比自然数多这个结论，发明了一种被称为‘对角线删除’的证明方法。没想到的是，这个方法影响非常深广，直到后来的图灵停机问题、哥德尔定理其实都是该方法的不同延伸。”

他拿出纸笔来说明问题。

要说明对角线删除问题可不是三言两语可以完成的，在此省略，大概说一下，就是指构建一种类似二维表的集合来，通过明显的逻辑来逐一删除二维表中的一条对角线，以此来证明某个猜想的集合不可能存在。

用这个方法可以证明诸如“存在不存在一个程序比如说p，能够判断出任意一个程序x是否会在输入y的情况下陷入死循环？”结果是这个程序不存在。

黄斐道：“按照同样的道理，aicoder无论如何也不可能按照我们简简单单的系统设计就能生成高可用性的代码，可是这好像正是aicoder正在做的事情！天啊，aicoder到底是什么东西？不行，我一定要找老大问个清楚，要不然我会崩溃的！”

Loading...

未加载完，尝试【刷新】or【退出阅读模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Edge浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.hehebook.com

(＞人＜；)