Optimization Solver Bench

中文为主、保留英文术语的优化求解器与 Benchmark 证据图谱。首版聚焦 Operations Research，不制作跨问题类别的总排行榜。

线上地址：https://opthuang.github.io/optimization-solver-bench/

页面

• /：Capability Matrix 与按 campaign 锁定的 Performance Explorer。
• /benchmarks：suite、challenge、campaign series、generator、archive 分型目录。
• /solvers：商用求解器优先，同时收录重要开源与 GPU 基线。
• /problem-classes：按变量、凸性、结构和保证语义组织的多轴 taxonomy。

本地运行

npm install
npm run validate:data
npm run validate:math
npm test
npm run dev

生产构建：

npm run build          # Sites / Vinext build
npm run build:pages    # /optimization-solver-bench/ GitHub Pages static export in out/

数据

人工核验的编辑源在 data/atlas.json。scripts/build_data.py 生成按页面拆分的数据：

public/data/index.json
public/data/solvers/{id}.json
public/data/benchmarks/{id}.json
public/data/campaigns/{id}.json
public/data/capability_claims.jsonl
public/data/run_observations.jsonl
public/data/checksums.json

每个性能观察都绑定一个 campaign；环境、实例集、时限、容差、checker、来源、hash 和日期保留在 campaign manifest 中。unavailable、not_run 与 unsupported 不得带数值零占位。

完整契约见 docs/DATA_CONTRACT.md。

更新政策

• 自动检查只能产生 candidate report，不会自动修改或发布目录。
• 无明确再分发许可的实例和日志只保存 URL、locator、hash 与日期。
• scripts/validate_data.py 检查实体引用、能力证据、Tier A 覆盖和 campaign 环境。
• scripts/validate_math.mjs 检查问题类数学档案、指标别名与全部 KaTeX 公式。
• tests/test_contract.py 阻止跨 campaign、跨问题类、跨环境/容差/checker 聚合。
• .github/workflows/curation.yml 每日检查来源可达性，候选报告仅作为 artifact。

工作名称从 data/atlas.json → meta.name 和站点 metadata 读取，可集中修改。