毛啸:IOI国家队长,放弃清华去了MIT,突破40年Dijkstra算法瓶颈
这些热爱思考的孩子,将为世界做出怎样的贡献
打信息学竞赛的孩子,几乎都写过Dijkstra算法:给一张地图,从一个点出发,算出到其他每个点的最短路。手机导航帮你找最近的路,背后就是这一类算法。
这个算法1959年由荷兰人Edsger Dijkstra提出,写进了全世界的教科书。到1984年,它的速度做到了一个公认的极限:在点多路少的稀疏地图上,再也快不动了。从那以后,没人能让它更快。
直到2025年6月。那一届STOC(理论计算机科学最顶尖的会议之一)评出的最佳论文,做出了一个比它更快的算法。这个保持了四十年的纪录,被打破了。
五个作者里,有一个长沙人,叫毛啸。很多年前,他就是教室里那个,把Dijkstra一遍遍敲进电脑的孩子。
雅礼中学,四次NOI金牌
毛啸来自长沙雅礼中学。初二那年他第一次拿到NOI金牌。NOI是全国青少年信息学奥林匹克竞赛,这门学科的全国决赛,每年能拿金牌的全国就几十个。
他一年没落:2013到2016年连拿四次NOI金牌,2016年全国第一。以第一名进国家队,2017年他作为中国队队长出战IOI(国际信息学奥林匹克竞赛),拿了银牌,世界第33名。
后来,他成了出题人
毛啸也出过题。大学期间,他是NOI 2019、CSP 2019、NOIP 2020、IOI 2020的命题人。今天的孩子刷这几年的真题,里面就有他出的。
四次NOI金牌、IOI银牌的人,给现在的选手出题,他说:
现役选手太厉害了,自愧不如。
从MIT到斯坦福
高二他拿到清华的保送资格,后来又被MIT(麻省理工学院)录取,那年MIT在中国内地只招了5个人。他放弃保送,去MIT读计算机和数学。
本科到硕士在MIT五年,他还跟MIT队拿过一次ICPC世界总决赛冠军,大学算法竞赛的最高荣誉。2022年他去斯坦福读博,研究理论计算机科学,也就是研究一道题,计算机最快能多快算出来。
本科,他一个人拿下FOCS最佳学生论文
读本科时,毛啸一个人写了一篇论文《打破树编辑距离的立方壁垒》,没有合作者,拿下2021年FOCS最佳学生论文奖。FOCS和STOC是理论计算机科学的两座高峰,分量约等于这个领域的Nature和Science,最佳学生论文一年只评一篇。一个本科生单独拿下,极少见。