erdosproblems核心使命：Erdős问题链接OEIS整数序列的完整操作指南-平芜编程栈

【免费下载链接】erdosproblems

A community database for the problems on the erdosproblems.com site

项目地址：https://gitcode.com/gh_mirrors/er/erdosproblems

erdosproblems 是一个社区维护的开源数据库，收录 erdosproblems.com 上的全部 1221 个数学问题，其核心使命就是把每个 Erdős 问题与相关的 OEIS 整数序列链接起来。本文带你走完"找到待补充问题 → 计算序列项 → 核对 OEIS → 提交 Pull Request"的完整流程。

🔍 erdosproblems 是什么：一个 YAML 文件与 1221 个问题

整个仓库的数据"唯一事实来源"是 data/problems.yaml：每个问题一条记录，记录赏金、状态、是否已在 Lean 形式化、关联的 OEIS 序列号、标签等字段。README 中的问题大表由 scripts/generate_readme.py 自动生成，聚合统计则见 STATISTICS.md。

当前 OEIS 链接进度一览（摘自 STATISTICS.md）：

指标	数量
问题总数	1221
已链接到 OEIS 序列的问题	358
覆盖的不同 OEIS 序列	474 条（共 558 个链接）
数据库创建后新增的 OEIS 序列	107 条（A387000 起）
标记为 "possible"（待补充）的问题	310 个（其中 235 个尚未链接任何序列）

可以看到：358 个问题已有链接，但还有 235 个问题"疑似有对应序列却尚未链接"——这正是项目最欢迎的社区贡献方向。

🎯 第一步：找到需要补充 OEIS 链接的问题

打开 README 的问题表（或 data/problems.yaml），在OEIS列寻找标记为possible的问题。
possible的含义是：该问题理论上存在一个可计算、且很可能已在 OEIS 收录但尚未列出的序列，你需要算出足够多的项（通常至少 5~6 项）才能与数据库交叉核对。
oeis字段的几种状态：

状态	含义
`A038133`等序列号	已确认的 OEIS 链接（一个可对应多条序列）
`possible`	可能有未列出的对应序列，待计算核对
`submitted`	序列已算出并提交 OEIS，尚未收录
`in progress`	社区正在计算中（可开 issue 跟进）
`N/A`	目前看不到明显的对应序列（新进展出现时可更新）

🧮 第二步：识别并计算整数序列

问题的数学陈述里往往隐含一个序列（常记作f(n)或g(n)）。CONTRIBUTING.md 总结了五类常见的"隐含序列"：

实数常数→ 其小数展开的数位序列。注意：OEIS 的cons条目存的是截断而非四舍五入的数位，打印工具默认舍入会造成末位假阴性；
双变量函数r_k(N)→ 固定一个参数（如k=1,2,3）后逐条提取序列；
"分数"优化问题→ 对象在"大小 n"的空间上取最大/最小分数，得到关于 n 的序列；
有理数序列→ 把最简分数的分子、分母拆成两条整数序列，或重新归一化为整数；
明确的自然数集合 A→ 按升序枚举元素、计数函数（≤ n 的元素个数）、以及相邻元素间隔等辅助统计。

你可以手写推导、写程序，或借助 AI 工具生成计算代码。如果某个序列太难算：

直接换个问题——不同序列的计算难度差异很大；
或在仓库开一个 issue，标题写成HELP WANTED: Computing sequence for Erdős problem #X，附上你的部分计算结果，通常会有其他贡献者接手。

✅ 第三步：在 OEIS 中核对，避开 4 个假匹配陷阱

逐项吻合不等于匹配成立。项目把 4 类系统性陷阱整理在 issue #356 中，scripts/oeis_false_match_traps.py 用代码重现了这些案例：

定义不同但前段相同：例如问题 449 的r(n)（计数"因子对 d₁<d₂<2d₁"）与 A174903（计数"存在伙伴的因子 d"）直到 n=60 才首次分叉；
只比到"首个可信吻合点"就下结论→ 必须把序列延长到更远处再核对；
把 OEIS 条目上的 erdosproblems.com 反向链接当成确认→ 它只是候选证据；
约定不一致：offset（首项下标）、空对象是否计入、b=c等约定必须显式写明。

两条实用建议：

比对常数的小数展开时，用 scripts/oeis_cons_compare.py，它用精确整数运算做截断比较，并会提示"只是舍入造成的假阴性"；
如果序列恰好匹配到一条"看似无关"的 OEIS 序列，先别急着提交：它可能是小样本巧合，也可能是跨问题的意外联系——先到 erdosproblems.com 对应问题页讨论。

📝 第四步：编辑 problems.yaml 并提交 PR

git clone https://gitcode.com/gh_mirrors/er/erdosproblems

核对成功后，只需修改 data/problems.yaml 中对应条目的oeis字段（字符串列表）：

- number: "17" oeis: ["A038133"]

提交前请遵守三条规则：

number是必填字段，其余字段没有信息就留空；
不要手改派生字段：status由 scripts/derive_status.py 从informal_status和formal_status自动推导；formalized、README 大表、data/statistics_history.csv 也全部自动生成——直接改表会被覆盖，PR 也会被校验拦截；
若你认为未来还有可补充的序列，保留possible字符串，否则删除它。

在本地跑一遍校验（依赖见 requirements.txt）：

pip install -r requirements.txt python scripts/derive_status.py # 刷新派生状态 python scripts/validate.py # 按 schema 校验整个文件 python scripts/generate_readme.py # 重建 README 表格与统计页

scripts/validate.py 会依据 schema/problems.schema.json 检查 YAML 合法性、重复问题号、重复键，以及是否有人直接编辑了派生status字段。全部通过后再开 PR 即可。

🤖 使用 AI 工具：有用，但边界明确

AI 辅助生成计算代码是受鼓励的，尤其当它帮助你找到明确的 OEIS 匹配时；
但 AI 生成的代码若算出的序列与任何已知序列都不匹配，必须独立验证，排除代码 bug 或幻觉；
AI 生成的序列禁止直接提交 OEIS：提交前任何 AI 组件都要替换为人工生成的等价物；
推荐做法：让 AI 先完成简化版任务，读懂代码后再手动改成原始任务；并对输出做"合理性检查"（例如已知单调的序列就检查单调性）；
不要直接让大语言模型"背出"序列——直接生成数值有幻觉风险，只能用于初步探索。

🗂️ 关键文件速查

路径	作用
data/problems.yaml	数据库唯一数据源
CONTRIBUTING.md	完整贡献指南（字段定义 + OEIS 链接流程）
schema/problems.schema.json	数据结构校验 schema
scripts/validate.py	本地校验入口
scripts/derive_status.py	自动推导`status`字段
scripts/generate_readme.py	重生成 README 表格与统计页
scripts/oeis_false_match_traps.py	复现 4 类假匹配案例
scripts/oeis_cons_compare.py	小数展开序列的截断比对
tests/	配套测试用例
CITATIONS.cff	数据库引用信息（Erdős problems database，由 Thomas Bloom 与 Terence Tao 维护）