算力有尽，数学无穷：从暴力穷举到混合优化的算法史诗

Sat, 30 May 2026 13:30:00 +0800

在英伟达万卡集群轰鸣、大模型参数动辄千亿的今天，“算力即一切"似乎成了科技界的共识。然而，在这场由硅芯片构筑的繁华背后，隐藏着一个冷酷的计算机科学铁律：面对组合爆炸的宇宙级搜索空间，单纯堆砌硬件，不过是用冷兵器去填无底洞。

当问题的规模呈指数级（$O(2^n)$ 或 $O(n!)$）增长时，即便把全宇宙的原子都变成最先进的 GPU，算力也会在瞬间窒息。真正让计算机走出泥潭、将"不可解"变为"秒级求解"的，不是越来越快的时钟频率，而是人类不灭的灵性——数学。

从最初的蛮力碰撞到如今的智力融合，人类对计算空间的征服，经历了三大层层递进的至高境界。

排课问题不是玄学：SAT、0-1规划与 CP-SAT 的建模思路

Fri, 29 May 2026 09:20:00 +0800

每到开学前，排课都是一件让人头疼的事。

表面上看，排课只是把课程填进时间表；但真正做起来会发现，它牵涉到班级、老师、课程、教室、时间等多个因素。一个老师不能同时教两个班，一个班不能同时上两门课，教室不能重复占用，数学课最好排上午，体育课别排太晚……

所以，排课并不是"凭经验填表"，它本质上是一个典型的组合优化问题。