算法与理论计算机2025inria.hal.science
整数线性规划的过去五十年：近期实践进展（2024）
Last fifty years of integer linear programming: Recent practical advances (2024)
进阶 · 约 75 分钟读完前置知识：线性规划基础、分支定界与割平面、算法复杂度
导读
这篇论文是一篇关于整数线性规划（ILP）的综述，回顾过去五十年的发展，并重点梳理近年的实际求解进展。它关注 ILP 在现实应用中的算法与工程化进步，而非单纯理论。
HN 关注点：HN 读者围绕商业求解器（如 Gurobi）为何昂贵且显著优于开源、以及 ILP 在真实决策中是否好用展开讨论。
HN 评论精选
这几条评论里：质疑 1 补充 2
补充询问 Gurobi 等商业 ILP 求解器的价格。
我听说 Gurobi 相当贵。有人愿意分享定价细节吗？
djoldman查看英文原文
I've heard Gurobi is fairly expensive. Anyone willing to share pricing details?
补充探讨商业求解器领先开源的原因：是问题难度还是大量专用启发式。
有人能高层解释一下，为什么商业 ILP 求解器（如 Gurobi）比免费/开源的好那么多吗？是因为 ILP 本身就难解（我知道它是 NP-hard），最好的求解器只是针对非常具体子问题的大量启发式集合，因此没有通用的“好”策略进入公共领域？
aquafox查看英文原文
Could someone maybe give a high-level explanation into why commercial ILP solvers (e.g. Gurobi) are that much better than free/open-source ones? Is it because ILP is inherently that difficult to solve (I know it's NP-hard), that the best solvers are just a large ensemble of heuristics for very specific sub-problems and thus no general "good" strategy has made it's way into the public domain?
质疑质疑数值优化在实践中的落地，认为常受数据质量和决策信任问题拖累。
有人能分享这在实践中怎么用吗？我总觉得实现数值优化常常会失败，原因就是数据驱动方法的老问题（信任、坏数据等），最后往往是有话语权的人凭直觉决定事情怎么做。
tormeh查看英文原文
Can anyone share how this is used in practice? Somehow I imagine implementing numerical optimization often fails due to the usual problems with data-driven approaches (trust, bad data, etc.) and ultimately someone important just decides how things are going to be done based on stomach feel.
历次讨论
- 2025Hacker News 讨论帖216 分 · 83 评
同领域还值得读
哲学家为何应关注计算复杂性
Why Philosophers Should Care About Computational Complexity (2011)
Scott Aaronson 的这篇长文论证计算复杂性理论（如 P vs NP、停机问题的复杂度视角）对哲学问题（如知识的本质、中文房间、水槽论证等）具有实质意义，而不仅是技术细…
算法与理论计算机2015 · 552 分 · 120 评进阶 · 约 90 分钟编辑精选通信的数学理论
A Mathematical Theory of Communication
是香农1948年的《通信的数学理论》，为通信建立数学框架：把信息量定义为不确定性或自由度（信息熵），并讨论信源编码、信道容量与可靠传输。
算法与理论计算机2020 · 495 分 · 91 评进阶 · 约 120 分钟编辑精选物理、拓扑、逻辑与计算：罗塞塔石碑
Physics, Topology, Logic and Computation: A Rosetta Stone (2009)
用范畴论充当“罗塞塔石碑”，试图在量子物理、拓扑、逻辑与计算四个领域之间建立统一的结构性类比：物理中的量子过程、拓扑中的配边、逻辑中的证明和计算中的程序，都可被视为某类范畴中的态…
算法与理论计算机2009 · 390 分 · 55 评 · 引用 13专业 · 约 180 分钟编辑精选一种快速、极小内存的一致性哈希算法
A Fast, Minimal Memory, Consistent Hash Algorithm
论文给出一种快速、省内存的一致哈希方案，目标是在桶数量变化时保持较小的键迁移成本，同时降低计算和内存开销。
算法与理论计算机2014 · 327 分 · 57 评 · 引用 4进阶 · 约 25 分钟编辑精选第五个 Busy Beaver 值的确定
Determination of the fifth Busy Beaver value
宣布确定了第五个 Busy Beaver 值 BB(5)：即 5 状态图灵机中停机前运行步数最多的机器（Champion）在 47,176,870 步后停机。
算法与理论计算机2025 · 288 分 · 116 评 · 引用 1专业 · 约 75 分钟编辑精选