上一版(工单 #2)在这里写「这样"格子数"和"图数量"在结构上永远相等」。 这句话是错的,也正是工单 #3「21 格」的思想源头: keys 按 poster **去重**收集、还卡 20 张上限 list 按 **行** 过滤、无上限,还会再裁偶数 两个集合基数不可能恒等,正确的说法只是「≤,不是 ==」。 把错误的断言留在注释里,下一个人会照着它推理,再踩一次同样的坑。 本次只改注释,无逻辑变更(守卫 1324/0、v97 反证 13/0 均通过)。
上一版(工单 #2)在这里写「这样"格子数"和"图数量"在结构上永远相等」。 这句话是错的,也正是工单 #3「21 格」的思想源头: keys 按 poster **去重**收集、还卡 20 张上限 list 按 **行** 过滤、无上限,还会再裁偶数 两个集合基数不可能恒等,正确的说法只是「≤,不是 ==」。 把错误的断言留在注释里,下一个人会照着它推理,再踩一次同样的坑。 本次只改注释,无逻辑变更(守卫 1324/0、v97 反证 13/0 均通过)。