2026-09-12
所报结果:
AI / 模型: 未标明
所述方法
源页面先把概率转成计数，再用源片段容斥避开拓扑序重复计数，只保留上闭集状态，并用连通块大小分组快速求出 Q_S(x)，最后以分层快速子集卷积与多项式插值得到 O(n^3 2^n) 时间、O(n 2^n) 空间。
核验
- 来源
- 来源已查阅
- 理论
- 理论未独立复核
- 实现
- 已有代码
- 前人工作
- 未检索前人工作
The result page was opened and compared with the collection claim. Legacy audit state: audited_public.
源页面自述已通过三个样例与 924 组小规模暂力对拍，但无评测记录；且未重述表中的 O(n × 3^n) 基线。
署名与贡献
- 发布者
- Chris_Shi
独立复现: 尚未进行
前人工作复核: 尚未进行