第38章 喧囂过后
读一本书,过一段人生。
  他再次將目光,投向了“许康樺竞赛优学”公眾號上那两道高额悬赏题。
  【悬赏500元:求解一道涉及“拉姆齐数r(5,5)”下界估计的组合极值问题。】
  【悬赏600元:证明一个关於“分圆多项式”在有限域上的不可约性问题。】
  这一次,他没有再像之前那样灵光一闪。
  这两道题,就像两座真正的险峰,横亘在他的面前。它们的难度,不在於计算的繁琐,而在于思路的“路径依赖”。
  “拉姆齐数”的估计,是组合数学中的经典难题,其常规解法——概率方法,几乎是所有教科书上的標准答案。想要绕开它,给出一个全新的、具有构造性的证明,其难度不亚於在悬崖峭壁上开凿出一条新路。
  而“分圆多项式”在有限域上的性质,则更是触及了抽象代数的核心。这个问题,常规思路需要用到大量关於“域扩张”和“伽罗瓦群”的预备知识,逻辑链条极长,环环相扣。想用更初等的方法来证明,几乎是不可能的。
  这正是它们的挑战所在。
  挑战的不仅是解题能力,还是挑战整个数学体系的思维定式。
  面对第一座险峰,徐辰没有急於进攻。
  他花了整整三天时间,將自己完全浸泡在拉姆齐理论的海洋里。他系统地学习了相关的知识,从最基础的“鸽巢原理”推广,到范德瓦尔登定理,再到各种复杂的图论著色问题。他不仅仅是学习结论,更是反覆推敲每一个经典证明的细节,试图理解其背后的数学思想。
  第四天的下午,他铺开了草稿纸。
  他没有选择常规的概率方法,而是另闢蹊径,尝试用一种基於“有限几何”的构造性思路。这个想法极其大胆,需要將离散的点和边,映射到一个几何结构中去。
  整个下午,他的笔几乎没有停过。草稿纸用了一张又一张,废弃的思路堆成了小山。
  终於,在太阳落山的那一刻,他成功地构造出了一个特殊的图,並用这个图的性质,给出了r(5,5)下界的一个强有力的证明!