组合优化

2026


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

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

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

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

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

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

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

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