OEIS元序列与地铁站

# OEIS元序列与地铁站 Source: https://www.jeremykun.com/shortform/2026-04-09-0556/ A051070 (https://oeis.org/A051070) 是一个关于OEIS序列的序列。a(n) 是序列 A_n 的第 n 项（如果 A_n 没有足够的项，则为-1）。 因此，A051070 的第一项是 1，因为 A000001 是 n 阶群的数量，该序列在索引 1 处的值为 1。A000002 是 Kolakoski 序列（什么？改天再说），在条目 2 处值为 2。该序列继续：1, 2, 1, 0, 2, 3, 0, 7, 8, 4, 63, 1, 316, ... 起初你可能会想，“这是搞什么名堂？”如果OEIS的任意索引随时间变化怎么办？这些序列难道不应该由数学规则定义吗？显然，有趣的序列不一定受此限制。在评论中，Pontus von Brömssen 指出 a(58) 有 58669977298272603 位数字，太大而无法包含在 A051070 的数据库条目中。a(66) 是第一个未知值，因为 A000066（围长（最短环）为 n 的三次图中顶点的最小数量）仅知道到 12 个顶点。然后我们进入这个序列中我最喜欢的两个奇特之处。 第一个奇特之处在于，a(n) = -1 首次出现在 n = 53 和 54 时，引用OEIS的话，“两种情况都是因为相关的纽约地铁线路没有足够的站点。” 什么？为什么会牵扯到纽约地铁线路？原来，OEIS 中有大约十几个关于列车线路编号站点的序列。A000053 是“纽约市 1 号线（百老汇-第七大道慢车）地铁的本地站点。” A001049 是“曼哈顿列克星敦大道地铁上的编号站点。” 当然，这进一步削弱了 OEIS 序列需要具有脱离世俗混乱的数学定义的想法。我深入挖掘了一下，只在这个 Numberphile 视频 (https://www.youtube.com/watch?v=ydn7s9-3GRc) 里找到一段简短说明，其中 Neil Sloane（他创建了 OEIS 并添加了这些条目）提到这些序列常用于数学测验和考试。如果你认识有人在测验中使用过列车线路，并且还不知道这些 OEIS 条目，请告诉我。我需要这成为一种常见的自然体验。 第二个奇特之处是，A051070 留下了 a(51070) 的值未解之谜。而 A102288 (https://oeis.org/A102288) 则更糟，它被定义为 1 加上序列 A_n 的第 n 项。（这里关于偏移有一些细微差别，但我使用 A102288 是因为它的评论更有趣）即使这个序列的第 102288 项存在默认值，那也会与其自身定义相矛盾。 评论中存在一场争论，开头是一句未署名的“a(102288) 是什么？” M. F. Hasler 在 2017 年抱怨道：“根据当前定义，项 a(102288) 没有可能的值，因此这个项的定义应该改变。” Neil Sloane 当天回复：“我不同意上一条评论！我更喜欢当前这种故意自相矛盾的定义。” 在异想天开与定义明确之间的古老斗争中，异想天开再次获胜。 ---