阿维·维格森
对计算复杂性理论与随机性角色的深刻贡献,发展去随机化、扩张图与zig-zag积,深化 P vs NP 研究
获奖原因
阿维·维格森是理论计算机科学与计算复杂性理论的领袖。他系统研究了”随机性在计算中的角色”:何时随机算法可被确定性算法替代(去随机化),并给出扩张图(expander)与伪随机性的深层联系。他与 Reingold、Vadhan 提出的 zig-zag 积构造,使对数空间内的连通性判定突破成为可能。2021 年他与洛瓦兹共享阿贝尔奖。
维格森的工作处在数学与计算机的交界:扩张图(稀疏却高度连通、具备强混合性的图)是去随机化与网络设计的基石;他与合作者证明” hardness 放大”——若某问题难以近似,则更难的变体亦难——为 P vs NP 及其近似版本提供结构理解。他还推动”抽象复杂性”框架,把电路下界、通信复杂度与证明复杂度统一研究,是计算理论走向严格数学化的关键人物。关于其核心未解问题,见 p-vs-np。