计算机理论顶会 FOCS 2021 各项论文奖项已公布，最佳学生论文奖被 MIT 华人学霸毛啸收入囊中。

而姚期智院士和达摩院量子实验室负责人施尧耘则凭借 2001 年发表的论文《Informationl Complexity and the Direct Sum Problem for Simultaneous Message Complexity》，获得时间检验奖。

另外，最佳论文奖由来自印度理工学院、丹麦奥胡斯大学等多家研究机构的国际团队获得。

作为中国计算机学会（CCF）推荐的计算机科学理论方向 A 类会议，FOCS 这样的顶会被公认为是计算机科学领域难度最大、含金量最高的会议。

FOCS 2021 将于 2022 年 2 月 7 日-10 日在美国科罗拉多州丹佛市举办。

论文详情，我们具体来看。

最佳学生论文奖:打破未加权树编辑距离问题三次障碍

n 节点树的（非加权）树编辑距离问题要求计算两个带节点标签的有根树之间的相似度。

目前的最佳算法时间复杂度为 O（n3）。同一篇论文还表明，O（n3）是任何使用了所谓分解策略的算法的最佳运行时间。

根据 APSP 猜想，该问题无法在亚立方时间内解决。

但本文作者用一种时间复杂度为 O（）的算法解决了未加权的树编辑距离问题，打破了三次障碍。

作者考虑了一个等价的最大化问题，并使用了一种设计具有许多特殊属性的矩阵的动态编程方案。通过使用分解方案以及一些组合技术，将树编辑距离减少到有界差分矩阵的最大加乘积，真正在亚立方时间内解决问题。

论文作者毛啸曾就读于长沙雅礼中学，是 2017 年国际奥林匹克信息学竞赛（IOI）银牌得主。

他高中毕业时，在 MIT 全奖和清华保送之间，选择了到 MIT 攻读计算机科学和数学相关专业。

今年，他刚刚本科毕业，现为 MIT 工程学硕士。

此前，他的 MIT 校友、姚班毕业生陈立杰也曾获 FOCS 2019 最佳学生论文奖。

姚期智、施尧耘 2001 年论文获时间检验奖

姚期智院士此番凭借他和 Amit Chakrabarti、施尧耘、Anthony Wirth 合著的《Informational Complexity and the Direct Sum Problem for Simultaneous Message Complexity》获颁 FOCS 2021 时间检验奖。

这篇论文探讨的是同步消息复杂度的直和问题，并引入了新的信息复杂度概念。

给定同一个问题的 m 个副本，是否需要 m 倍的资源才能解决这 m 个问题？这就是直和问题。这篇论文在姚期智提出的同步消息（SM）传播模型中研究了这个问题。

这是 FOCS 第三次颁出时间检验奖。颁奖对象是 1991 年、2001 年和 2011 年在 FOCS 会议上发表过的论文。

本次共有 7 篇论文获得该奖项，其中 1991 年 3 篇，2001 年 3 篇，2011 年 1 篇。

最后，附上论文链接~

最佳论文链接:点此直达

最佳学生论文链接:点此直达