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