追问 PPSZ：归结法下界是否覆盖此前最优 SAT 算法
minilek · x · 2026-10-29
续前帖：minilek 问 Ryan Williams，PPSZ 等此前最优 SAT 算法是否满足那条针对归结方法的下界条件。Williams 答复：对已知算法的扩展已知仍遵守 ETH，例如归结类方法（刻画了现代 SAT 求解器的主要行为）不会突破它；他个人不认为这些理由很强，但觉得应先反驳 SETH 再考虑 ETH。
所属事件:Williams 与 minilek 辨析 ETH:已知 SAT 算法与下界的关系(6 条相关)→
「研究」频道最新
- OpenBonsai 开源：9B 模型压到约 2GB 三值 GGUF，RTX 5090 五小时完成 — ButtercupLyn100 · 2026-10-29
- Jeva 论文重思 System 1 模型：单次推理可在 2048 个候选中做类型化决策 — AndLukyane · 2026-10-29
- JSSA 稀疏注意力：128K 上下文解码吞吐最高提升 6.43 倍 — pmttyji · 2026-10-29
- AI 发现快过验证机构：AlphaFold 绘 2 亿蛋白结构背后的科研诚信悖论 — mikeflache · 2026-10-29
- FrontierCS 2 排名洗牌：Claude Opus 5.5 居首，DeepSeek 1017 被指退化 — teortaxesTex · 2026-10-29
- 不到 500 美元给开源模型做「宪法」人格训练:grafting 绕开 44 万美元成本 — voooooogel · 2026-10-29