[论文解读] A meet-in-the-middle algorithm for finding extremal restricted additive 2-bases

Jukka Kohonen|arXiv (Cornell University)|Mar 24, 2014

Coding theory and cryptography被引用 10

一句话总结

本文提出了一种折半查找算法，用于计算极值受限加法2-基——即生成区间[0,n]内所有整数的整数集合，其两两和构成该区间，且最大元素恰好为n/2。该方法通过组合前缀及其镜像后缀来构建此类基，实现高效穷举搜索；作者计算了所有长度k ≤ 41的极值受限基，发现当k = 30时，存在两个非对称基可达到最大范围316，挑战了关于对称性与受限性的既有假设。

ABSTRACT

An additive 2-basis with range n is restricted if its largest element is n/2. Among the restricted 2-bases of given length k, the ones that have the greatest range are extremal restricted. We describe an algorithm that finds the extremal restricted 2-bases of a given length, and we list them for lengths up to k = 41.

研究动机与目标

• 开发一种高效算法，用于寻找极值受限加法2-基，其定义为最大元素恰好为范围n的一半。
• 解决关于对称性、受限性与极值性之间关系的开放问题，适用于k ≥ 15的情况。
• 计算并编目所有长度不超过k = 41的极值受限基，将已知结果扩展至k = 30以上。

提出的方法

• 该算法采用折半查找策略，将基划分为长度为⌊k/2⌋的前缀和其镜像后缀，利用受限基必须满足n₂(Aₖ) = 2aₖ的约束条件。
• 生成长度为i = ⌊k/2⌋的候选前缀，其最小范围为n/2 − n₂(i−1) − 2，该范围由部分基范围的理论下界推导得出。
• 通过Challis提出的“间隙检测”方法对搜索过程进行剪枝，剔除无法达到目标范围的部分基，显著减少搜索空间。
• 对每个有效的前缀，构建其镜像后缀，并检查完整集合是否能通过两两和生成[0,n]内的所有整数。
• 算法在C++中实现前缀枚举，在Matlab中实现拼接与验证阶段，确保效率与正确性。
• 通过固定枢纽点为i = ⌊k/2⌋进行优化，尽管论文指出最优枢纽选择可能进一步提升性能。

实验结果

研究问题

• RQ1 所有受限的极值基是否必然对称？（RQ1）
• RQ2 所有对称的极值基是否必然受限？（RQ2）
• RQ3 是否对每个k ≥ 15都至少存在一个对称的极值基？（RQ3）
• RQ4 k ≤ 41时，极值受限范围n₂*(k)的确切值是多少？对应的基是什么？
• RQ5 是否存在受限但非对称的极值基？若存在，其出现频率如何？

主要发现

• 当k = 30时，存在六个极值受限基，其范围为316，其中包括四个对称基和两个非对称基，表明受限基不一定是轴对称的。
• 对所有k ≤ 41，极值受限范围n₂*(k)被精确计算，最大范围在k = 41时达到562。
• 在k = 41时，发现两个不同的极值受限基，二者均为对称基，且均达到最大范围562。
• 该算法成功计算了所有长度至k = 41的极值受限基，其中k = 41的前缀枚举耗时120个CPU小时，运行于并行2.6 GHz Xeon处理器上。
• 在k = 30时存在非对称极值受限基，意味着对RQ1（受限是否蕴含对称）的回答为否定。
• 当k = 10时，非受限极值基的范围为46，超过受限极值基的范围44，表明受限基并不总能实现全局最大范围。