循环不变式是什么
循环不变式指的是【0】。
阅读更多 →
⚠️ 同一个算法，换个测试范围结论就翻了
测过的都对，剩下的没测 测过 全部 同一个 fast_prime、同一种验收办法（对拍），只把范围从 2..120 换成 2..200，两次的结论分别是什么？
阅读更多 →
🔴 把第一个反例找出来
测过的都对，剩下的没测 测过 全部 接着往上找：从 2 一直试到 1000，**第一个让两个版本给出不同结论的数**是几？
阅读更多 →
在前一百多个数上对拍，一致几次
测过的都对，剩下的没测 测过 全部 下面 fast_prime 只拿 2、3、5、7 去试除。把它和正确版在 2~120 上对拍一遍： def ok_prime(n): if n < 2
阅读更多 →
什么叫「貌似正确」
测过的都对，剩下的没测 测过 全部 有一类算法特别危险，它【0】。
阅读更多 →
⚠️ 一个反例能说明什么
测过的都对，剩下的没测 测过 全部 找到一组输入让算法给错了答案。这一组输入【0】。
阅读更多 →
对拍能给出什么样的结论
测过的都对，剩下的没测 测过 全部 拿另一条算法对拍，两边结果一样。这说明【0】。
阅读更多 →
「测过了」和「证明了」差在哪
一个算法在一万组数据上都跑对了。这件事和"它是对的"之间的差距是【0】。
阅读更多 →