寻找一个 [72,36,16] 极值码

- 这篇博客记录了一个对特定「极值自对偶码」的计算机搜索过程，目标参数为 [72,36,16]——这是一个编码理论中著名的未解决问题，已悬而未决超过50年。自对偶码是一类在数字通信、纠错编码和数学（尤其是格论、模形式）中至关重要的线性码。 - 寻找 [72,36,16] 极值码被视作编码理论中的“圣杯”，因为其存在性不仅关乎编码本身，还与某些著名数学对象（如一维无扭幺模格、马蒂厄群等）存在深刻联系。如果找到，将填补一个60多年来在已知极值自对偶码参数表中的空白。 - 作者 Valerie Bertaccini 和几位合作者使用现代计算代数工具（如 Oscar、Magma）进行了系统搜索，并详细记录了搜索策略、遇到的困难（如计算量爆炸、组合对称性限制）和部分未成功的中间结果。文章对了解当前编码理论计算前沿、以及如何用计算机探索数学开放问题，提供了一个具体且有启发性的案例。