第107章 三十二个证人（6 / 7）
在这个二值序列里，有三个1，两个0。
原本该区分开的绝对名次情形，因为数值维度的坍缩，直接撞成了一团烂泥，根本分不开谁是真正的第三。
零一原理在这里，不直接成立。
或者说，它失效了。
rank5≠排序网络。
验证rank5，必须回到相对大小关係（如置换群）的层面，而非单纯的0-1输入空间。
它的底层结构更接近一张由偏序关係构成的，动態更新的两两比较矩阵。
这又是一个新坑。
江临的目光扫过最后一个问题：top3_of_8。
从八个数里，挑出前三大。
这个问题同样暗藏杀机。
对比较网络形式的top-k选择，类似的零一检验可以使用。
八个位置，就是2^8=256个0-1证人。
但前提是，你必须先和出题人把正確的语义定义好。
什么叫挑出前三？
口径a：只要最大的三个数，落进了输出数组的前三个坑位就行，这三个数內部是乱序也无所谓？
口径b：还是说，不仅最大的三个数要进前三，而且这三个数之间，也必须严格按照从大到小排好？
如果口径没有定死，那么mps框架搜索出来的就是空中楼阁。
標准宽泛一分，搜索空间就呈指数级缩小。
標准严格一分，依赖链就不可避免地加长。
三个题，三套完全不同的脾气，三种不同的验证体系。
江临没有急著去写代码解题。
因为方向比速度重要一万倍。
他打开一个文本编辑器，像一个在雷区插旗的工兵一样，把每一套题目的逻辑边界、验证难点、硬体耦合点，一字一句地记进文档里。
天快亮的时候，江临整理出了一份能交给陈启明的东西。
第一样，是基於零一原理的验证夹具。
这是一个杀器。
它能对陈启明团队里任何人写出的任何一段sort5候选代码，给出一份绝对穷举的，与底层cpu架构毫无关係的，在数学上不可辩驳的正確性证明。
以后，谁要是交上来一段自以为绝妙的位运算代码，不用爭吵，跑一下这个夹具。
三十两个0-1证人当场表態。 ↑返回顶部↑
原本该区分开的绝对名次情形，因为数值维度的坍缩，直接撞成了一团烂泥，根本分不开谁是真正的第三。
零一原理在这里，不直接成立。
或者说，它失效了。
rank5≠排序网络。
验证rank5，必须回到相对大小关係（如置换群）的层面，而非单纯的0-1输入空间。
它的底层结构更接近一张由偏序关係构成的，动態更新的两两比较矩阵。
这又是一个新坑。
江临的目光扫过最后一个问题：top3_of_8。
从八个数里，挑出前三大。
这个问题同样暗藏杀机。
对比较网络形式的top-k选择，类似的零一检验可以使用。
八个位置，就是2^8=256个0-1证人。
但前提是，你必须先和出题人把正確的语义定义好。
什么叫挑出前三？
口径a：只要最大的三个数，落进了输出数组的前三个坑位就行，这三个数內部是乱序也无所谓？
口径b：还是说，不仅最大的三个数要进前三，而且这三个数之间，也必须严格按照从大到小排好？
如果口径没有定死，那么mps框架搜索出来的就是空中楼阁。
標准宽泛一分，搜索空间就呈指数级缩小。
標准严格一分，依赖链就不可避免地加长。
三个题，三套完全不同的脾气，三种不同的验证体系。
江临没有急著去写代码解题。
因为方向比速度重要一万倍。
他打开一个文本编辑器，像一个在雷区插旗的工兵一样，把每一套题目的逻辑边界、验证难点、硬体耦合点，一字一句地记进文档里。
天快亮的时候，江临整理出了一份能交给陈启明的东西。
第一样，是基於零一原理的验证夹具。
这是一个杀器。
它能对陈启明团队里任何人写出的任何一段sort5候选代码，给出一份绝对穷举的，与底层cpu架构毫无关係的，在数学上不可辩驳的正確性证明。
以后，谁要是交上来一段自以为绝妙的位运算代码，不用爭吵，跑一下这个夹具。
三十两个0-1证人当场表態。 ↑返回顶部↑