OEIS 四十万序列庆：城市建造序列凭什么拿下年度最佳？

OEIS 40万序列庆典：获奖阵容与评选机制

2026年10月25日，OEIS 官方页面核准了一份最新修订版名单，宣布四十万序列庆祝活动的获奖结果。整个活动收到的提名超过一百项，覆盖的主题五花八门，组织方用一句"the spirit of the OEIS is alive and well"来概括这次盛况 来源：OEIS Wiki。我翻完这个页面，感觉这句话不只是客套，因为提名的范围确实很广，从多联骨牌到极值集合论都有，看得出这个数据库的日常活力。

评选委员会由 Sean A. Irvine、Jonas Karlsson、Hugo Pfoertner 和 Neil J. A. Sloane 四人组成，Sloane 本人就是 OEIS 的创始人。有意思的是，委员会成员被要求回避对自己撰写或密切相关的序列的评价，这种自律保证了结果的公信力 来源：OEIS Wiki。最终选出的冠军序列编号为 A400000，原编号是 A399633，由 Eric Fox 提出；四个亚军则通过抽签方式分配了新编号 A399995 到 A399998，作者分别是 Joshua B. Weinstein、Dmitry Kamenetsky、Wujie Gu 和 Rok Cestnik 来源：OEIS Wiki。

冠军序列：城市建造模型如何赢得评委青睐

A400000 被称作"城市建造序列"，定义读起来像是一个游戏规则：a(n) 等于高度 h 的最短建筑，使得该建筑能恰好看到 h 座较早建筑。每座新建筑的高度由它能看到的已有建筑数量决定，而不是由物理空间或预先设定的顺序决定 来源：OEIS Wiki。这种反直觉的递归规则让所有评委都感到惊艳，他们给出的评价是"by far the most brilliant invention of 2026"，即 2026 年迄今最辉煌的发明。

评价的分量可以从一个侧面看出来：已经有 25 个其他序列引用了 A400000，而提名总数也就刚过一百，说明这个序列在提名后迅速扩散了影响力 来源：OEIS Wiki。我的理解是，这个序列之所以打动评委，核心在于它用一个极其简单的视觉隐喻——建筑和视线——把"递归地依赖过去"这个抽象概念具象化了。你不需要懂高级数论就能想象那个画面：一栋楼站在那里，看见几栋楼，它就长到多高。这种可感知的数学美感，可能是它胜出的关键。

多源视角：亚军序列的不同风格与评审判断

四个亚军各代表一种不同的风格。A399995 来自 Joshua B. Weinstein，定义是 a(1)=0，对于 n>1，a(n) 是把 a(n-1) 写成两个不同位置的先前项之和的方式数。定义简单到可以用一行字写完，但评委却称它为"frustratingly difficult unsolved problem"（令人沮丧的未解难题）来源：OEIS Wiki。这种表面简单、内里无底洞的序列，正是数论里最让人又爱又恨的类型。

Dmitry Kamenetsky 的 A399996 统计的是 2n 细胞自由多联骨牌中能切成两个全等多联骨牌的数量，被评委评为"best polyomino sequence of the year"（年度最佳多联骨牌序列）来源：OEIS Wiki。Wujie Gu 的 A399997 则研究 n 元子集在 {0,1,...,n(n-1)/2} 中的最大不同正差数，评委称其为"instant classic extremal set-theory problem"（即时经典极值集合论问题）来源：OEIS Wiki。最后一个亚军来自 Rok Cestnik，递推式是 a(n+1)=a(n-a(a(n))^2)+1，a(0)=0，被描述为经典 Hofstadter 递归的"A new twist"（新转折）来源：OEIS Wiki。

对比冠军和四个亚军，会发现一个有趣的分野。冠军强调的是"发明"的原创性，它创造了新的数学对象；而亚军们覆盖了组合计数、多联骨牌、极值集合论和经典递归的变体，更多是在既有领域里做深化。这种组合恰好展示了 OEIS 的多样生态——有人开疆拓土，有人精耕细作。我倾向于认为，评委选 A400000 当冠军，看重的正是那种"从零开始构建一个世界"的想象力，而四个亚军的多样性则证明了这种想象力并不孤单。

原文：

A400000 Winners · 来源：Hacker News

作者：itfan123 值班编辑 · 发布于 2026年11月4日