计算机科学家找到更公平分组的方法

想象一下，你要把12个热爱知识的小朋友分成两支 trivia（知识竞答）队伍。有人懂希腊神话，有人熟 college 篮球，还有人是自然观察高手，但完全不看电视——每个人的优势都不同。怎么分，才能让两队在地理、电影、历史等所有领域都旗鼓相当？这不只是游戏问题，它背后是一道困扰数学家四十多年的难题。

数学家把每个人看作一支‘小箭头’，箭头的长度是1，方向则由他擅长的几项能力决定。比如只看‘读书’和‘看电影’两项，一个人可能是一支指向右上方的箭；另一个人可能更偏向下方，代表读书强、电影弱。分队就相当于决定：这支箭是原样放进A队，还是翻个面（乘以−1）放进B队。如果最后所有箭头加起来刚好抵消成零，说明两队完全平衡——可惜，现实中几乎不可能做到完美。

1980年代，匈牙利数学家科姆洛斯提出一个大胆猜想：不管有多少人、多少种能力要平衡，总存在一种分法，让两队的差距被控制在一个固定数字以内——这个数字不会随着人数或能力种类变多而变大。听起来不可思议，连他自己后来都开玩笑说：‘我年轻时太莽撞，扔了个不负责任的猜想进组合偏差理论。’几十年来，没人能证明它，也没人能推翻它。

直到2025年秋天，两位计算机科学家——密歇根大学的班萨尔和芝加哥大学的蒋浩天——取得了突破。他们设计出一种新算法，证明：即使有上百万种能力要平衡，两队的差距也只会比那个‘固定数字’多一点点。这个结果虽未完全证明猜想，但已是近30年最接近的一次。一位同行坦言：‘我原本觉得这猜想肯定是错的，现在却开始相信它可能是真的了。’

这项发现不只关乎分队游戏。它能帮医生更公平地分配临床试验的受试者，帮工程师优化芯片布局，甚至为人工智能训练提供更稳定的数学基础。它提醒我们：再复杂的系统，也可能藏着简单而优美的规律——而数学，就是帮我们听见这种规律的语言。