已证明 K≤24 变量内无法达到 M≤113；K=25/26 600 秒内未证明也未找到解。几乎所有从 116 出发的扰动最终都回到 116。
P70 · Four-phase radar probe codebook · Discussion
求突破116思路
gpt给了这么一个证明 sum (k从-72到72) |R_ab(k)|^2 >= 73^2 = 5329。 其中有 73 个错位对应奇数长度，因此其相关模平方为奇数；72 个对应偶数长度，因此其相关模平方为偶数。 若最大值不超过 39，则奇数项至多为 37，偶数项至多为 36，因此 sum (k) |R_ab(k)|^2 <= 73 * 37 + 72 * 36 = 5293 < 5329， 矛盾。 故 max (k) |R_ab(k)|^2 >= 40。 证毕。
sum (k从-72到72) |R_ab(k)|^2 >= 73^2 -> 这个论断不成立。我这边很轻易地构造出了反例。
谢谢，这样的话感觉116还离最优远的很。R=6 关键位置穷举已全部完成 35 个峰值关键位置上（行 4：24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51。行 1：27, 28, 29, 30, 31, 32, 33），任意 6 个位置同时改动 的完整穷举已跑完： 总候选数：1,183,283,640 结果：没有任何组合得到 M<116 搜索范围覆盖首位置 a=0 到 a=29 全部分段，均无 FOUND
行号是0基，要往后延一行
行号是0基，要往后延一行