明敏 晓查 发自 凹非寺
量子位 报道 | 公众号 QbitAI
程序 bug 也能负负得正吗？
还真可以。
比如程序员们再熟悉不过的排序算法，通过两个“bug”居然能歪打正着，实在令人匪夷所思。
请看这位程序员写的数组升序排序代码：
for i = 1 to n do
for j = 1 to n do
if A[i] < A[j] then
swap A[i] and A[j]
最近这串代码在 Hacker News 论坛上突然火了起来，引来大批程序员围观。
乍一看这段代码，你的反应会是什么？会不会觉得这个程序员水平太差了，连基本的冒泡算法都写不好：
不等号方向错了，第二层循环指数 j 的范围也弄错了。
总之，这段代码“绝对不可能正确”。
冒泡算法
但如果你真的运行一下会发现，结果还真的是按照升序排列的。
我们再来看一下正确的冒泡算法代码是怎样的：
for i = 1 to n do
for j = i + 1 to n do
if A[i] > A[j] then
swap A[i] and A[j]
后者不同之处是 j = i + 1 且 A[i] > A[j]，两段程序大相径庭。
然而我要告诉你一个不可思议的事实，其实第一串代码是对的，而且可以严格证明。
那么它是如何实现正确排序的？
仔细一想，其实很容易理解。因为该算法比冒泡排序多一半交换操作，正好可以将降序编程升序。
不过，作者还是给出了严格的证明。
我们定义 Pᵢ 是经过 i 次（1 ≤ i ≤ n）外循环后得到的数组。
如果算法正确，那么前 i 项已经是升序排列，即 A[1] ≤ A[2] ≤ . . . ≤ A[i]。
证明该算法正确，实际上就是证明 Pₙ 对于任何 n 都成立。
根据数学归纳法，我们只要证明 P₁ 成立，假设 Pᵢ 成立，接着再证明 Pi+1 也成立，命题即可得证。
P₁ 显然是正确的，而且这一步和普通的冒泡算法降序没有区别，经过第 1 次外循环，A[1] 就是整个数组的最大元素。
接着我们假设 Pᵢ 成立，然后证明 Pi+1 成立。
我们先定义一个序数 k：
首先假设 A[k](k 介于 1~i 之间）满足 A[k]>A[i+1] 最小的一个数，那么 A[k−1]≤A[i+1]（k≠1)。
如果 A[i+1]≥A[i]，那么这样的 k 不存在，我们就令 k=i+1。
考虑以下三种情况：
1、1 ≤ j ≤ k−1
由于 A[i+1]＞A[j]，没有任何元素交换发生。
2、 k ≤ j ≤ i （如果 k=i+1，则不存在此步骤）
由于 A[j]>A[i+1]，所以每次比较后都会有元素交换发生。
我们使用 A[ ] 和 A′[ ] 来表示交换前和交换后的元素，所以
A′[i+1] = A[k]，A′[k]=A[i+1]
经过一系列交换，最大元素最终被放到了 A[i+1] 位置上，原来的 A[i+1] 变成了最大元素，A[k] 被插入了大小介于原来 A[k] 和 A[k-1] 之间的元素。
3、i+1 ≤ j ≤ n
由于最大元素已经交换到前 i+1 个元素中，此过程也没有任何元素交换。
最后，Pₙ 就是升序排序算法执行完以后的结果。
由于内外两组循环没有任何范围差别，因此这可以说是“最简单”的排序算法了。
从代码上来看，它很像冒泡算法，但从证明过程中可以看出，这实际上是一种插入算法。
插入算法
显然，该算法总会进行 n² 次比较，接下来计算算法的交换次数。
可以证明交换其次最多为 I+2(n-1)，最少为 n-1。
其中 I 为初始数字的逆序数，最大为 n(n-1)/2
因此整个算法的复杂度为 O(n²)。
从证明过程中可以看出，除了 i=1 的循环以外，其余循环里 j=i-1 之后的部分完全无效，因此可以将这部分省略，得到简化后的算法。
for i = 2 to n do
for j = 1 to i − 1 do
if A[i] < A[j] then
swap A[i] and A[j]
该算法减少了比较和交换次数，不过算法复杂度依然是 O(n²)。
比最容易理解的冒泡算法还要简单，这个排序算法在 Hacker News 上很快引起了网友的围观。
不少人觉得它“很眼熟”。
有位网友表示，自己曾在奥林匹克数学竞赛中看到一个同学用了一种非常奇怪的排序算法，它可以运行但是效率很低，更像是一种插入排序。
如果我没记错的话，他用的就是这种算法。
事实上，关于这种算法的讨论已久，从 2014 年开始就不断有人发帖，这次作者将论文上传到 arXiv 后又引起了广泛热议。
甚至还有乌龙事件发生。
有位网友扫了一眼论文就以为这个算法和自己 10 年前提出的一样。
留言网友的算法：
乍一看两种算法的代码确实很像，原理上的确有些相似。
都是看起来像冒泡排序，但其实更贴近选择排序。
不过很快有人指出真相：这种算法中 j=i+1 to n，并且是当 A[i] > A[j] 时交换。
而作者提出的算法中 j=1 to n，A[i] < A[j] 时交换。
两种算法相比，网友此前提出的更容易被理解为什么可以运行。
当然也有歪楼的，有人就调侃自己刚学编程时写过这个算法。
我百分百确定，在我刚开始学编程、并想要找到最短的排序方法时就写过它。
不过说到实际应用上，这种算法需要的计算时间太长了。
有人就认为，这种算法此前被发现过很多次，但是那些人根本没打算用它。
也有人提出：这种排序没有睡眠排序简单。
睡眠排序就是构造 n 个线程，让线程和排序的 n 个数对应。
例如对于 [4,2,3,5,9] 这样一组数字，就创建 5 个线程，每个线程睡眠 4s，2s，3s，5s，9s。这些线程睡醒之后，就把自己对应的数报出来即可。这样等所有线程都醒来，排序就结束了。
但和作者提出的算法一样，睡眠排序由于多线程的问题，在真正实现上也有困难。
此外，这位网友也表示自己看到过这种算法：
我确定我此前看到过这种算法，它没有名字吗？
很快就有人提议说——
如果它没有名字的话，我建议称之为“面试排序”。
近期热文推荐：
1.1,000+ 道 Java面试题及答案整理(2022最新版)
4.别再写满屏的爆爆爆炸类了，试试装饰器模式，这才是优雅的方式！！
觉得不错，别忘了随手点赞+转发哦！
有没有办法在这个简单的get方法中添加超时选项？我正在使用法拉第3.3。Faraday.get(url)四处寻找，我只能先发起连接后应用超时选项，然后应用超时选项。或者有什么简单的方法？这就是我现在正在做的:conn=Faraday.newresponse=conn.getdo|req|req.urlurlreq.options.timeout=2#2secondsend 最佳答案 试试这个:conn=Faraday.newdo|conn|conn.options.timeout=20endresponse=conn.get(url
我想在Ruby中创建一个用于开发目的的极其简单的Web服务器(不，不想使用现成的解决方案)。代码如下:#!/usr/bin/rubyrequire'socket'server=TCPServer.new('127.0.0.1',8080)whileconnection=server.acceptheaders=[]length=0whileline=connection.getsheaders想法是从命令行运行这个脚本，提供另一个脚本，它将在其标准输入上获取请求，并在其标准输出上返回完整的响应。到目前为止一切顺利，但事实证明这真的很脆弱，因为它在第二个请求上中断并出现错误:/usr/b
我意识到这可能是一个非常基本的问题，但我现在已经花了几天时间回过头来解决这个问题，但出于某种原因，Google就是没有帮助我。(我认为部分问题在于我是一个初学者，我不知道该问什么......)我也看过O'Reilly的RubyCookbook和RailsAPI，但我仍然停留在这个问题上.我找到了一些关于多态关系的信息，但它似乎不是我需要的(尽管如果我错了请告诉我)。我正在尝试调整MichaelHartl'stutorial创建一个包含用户、文章和评论的博客应用程序(不使用脚手架)。我希望评论既属于用户又属于文章。我的主要问题是:我不知道如何将当前文章的ID放入评论Controller。
我的工作要求我为某些测试自动生成电子邮件。我一直在四处寻找，但未能找到可以快速实现的合理解决方案。它需要在outlook而不是其他邮件服务器中，因为我们有一些奇怪的身份验证规则，我们需要保存草稿而不是仅仅发送邮件的选项。显然win32ole可以做到这一点，但我找不到任何相当简单的例子。 最佳答案 假设存储了Outlook凭据并且您设置为自动登录到Outlook，WIN32OLE可以很好地完成此操作:require'win32ole'outlook=WIN32OLE.new('Outlook.Application')message=
目录一.加解密算法数字签名对称加密DES(DataEncryptionStandard)3DES(TripleDES)AES(AdvancedEncryptionStandard)RSA加密法DSA(DigitalSignatureAlgorithm)ECC(EllipticCurvesCryptography)非对称加密签名与加密过程非对称加密的应用对称加密与非对称加密的结合二.数字证书图解一.加解密算法加密简单而言就是通过一种算法将明文信息转换成密文信息，信息的的接收方能够通过密钥对密文信息进行解密获得明文信息的过程。根据加解密的密钥是否相同，算法可以分为对称加密、非对称加密、对称加密和非
//1.验证返回状态码是否是200pm.test("Statuscodeis200",function(){pm.response.to.have.status(200);});//2.验证返回body内是否含有某个值pm.test("Bodymatchesstring",function(){pm.expect(pm.response.text()).to.include("string_you_want_to_search");});//3.验证某个返回值是否是100pm.test("Yourtestname",function(){varjsonData=pm.response.json
在前面两节的例子中，主界面窗口的尺寸和标签控件显示的矩形区域等，都是用C++代码编写的。窗口和控件的尺寸都是预估的，控件如果多起来，那就不好估计每个控件合适的位置和大小了。用C++代码编写图形界面的问题就是不直观，因此Qt项目开发了专门的可视化图形界面编辑器——QtDesigner（Qt设计师）。通过QtDesigner就可以很方便地创建图形界面文件*.ui，然后将ui文件应用到源代码里面，做到“所见即所得”，大大方便了图形界面的设计。本节就演示一下QtDesigner的简单使用，学习拖拽控件和设置控件属性，并将ui文件应用到Qt程序代码里。使用QtDesigner设计界面在开始菜单中找到「Q
给定一个nxmbool数组:[[true,true,false],[false,true,true],[false,true,true]]有什么简单的方法可以返回“该列中有多少个true？”结果应该是[1,3,2] 最佳答案 使用转置得到一个数组，其中每个子数组代表一列，然后将每一列映射到其中的true数:arr.transpose.map{|subarr|subarr.count(true)}这是一个带有inject的版本，应该在1.8.6上运行，没有任何依赖:arr.transpose.map{|subarr|subarr.in
我需要用任何语言编写一个算法，根据3个因素对数组进行排序。我以度假村为例(如Hipmunk)。假设我想去度假。我想要最便宜的地方、最好的评论和最多的景点。但是，显然我找不到在所有3个中都排名第一的方法。Example(assumingthereare20importantattractions):ResortA:$150/night...98/100infavorablereviews...18of20attractionsResortB:$99/night...85/100infavorablereviews...12of20attractionsResortC:$120/night
我正在尝试按Rails相关模型中的字段进行排序。我研究的所有解决方案都没有解决如果相关模型被另一个参数过滤？元素模型classItem相关模型:classPriority我正在使用where子句检索项目:@items=Item.where('company_id=?andapproved=?',@company.id,true).all我需要按相关表格中的“位置”列进行排序。问题在于，在优先级模型中，一个项目可能会被多家公司列出。因此，这些职位取决于他们拥有的company_id。当我显示项目时，它是针对一个公司的，按公司内的职位排序。完成此任务的正确方法是什么？感谢您的帮助。PS-我