解法:多项式方法解决帽集问题(克罗特–列夫–帕赫,埃伦伯格–海斯维克,2016年)
第 7/7 步:闭合逻辑:帽集比预想中呈指数级更少 通俗地说把第5步与第6步结合起来,解决了悬而未决数十年的指数增长率问题:F3n 中任何帽集的元素个数都不会超过大约 2.756n 个,明显少于平凡的 3n。同样的多项式方法思想,在几天之内被两个独立团队分别发现,也为每个素数幂 q 情形下 Fqn 上的相关问题给出了远远更好的界。
详细分析把第5步的不等式 ∣A∣≤3m(q−1)n/3 与第6步在 q=3 时对 m(q−1)n/3 的估计 3e−I(2/3)<2.756 结合,就得到最终定理:F3n 中任意帽集 A 都满足 ∣A∣≤3⋅(2.756)n,从而以否定的方式解决了指数增长率问题(该增长率不是 3)。埃伦伯格与海斯维克的这篇短文(2017年)将克罗特、列夫与帕赫(2016年)几周前针对密切相关的群 (Z/4Z)n 提出的突破性多项式方法加以形式化并推广到任意有限域 Fq;论文的注记1指出,两位作者是各自独立、几乎同时提出帽集论证的。