2023年图灵奖揭晓!
获得这届「计算机界诺贝尔奖」——ACM A.M.图灵奖的,是普林斯顿高等研究院数学学院的教授Avi Wigderson。
表彰的是Wigderson在计算理论领域的开创性贡献,特别是他对计算中随机性角色的重新定义,以及他在理论计算机科学领域数十年的引领。
最终,他将获得高达100万美元的奖金。
不仅如此,这一荣誉也使Avi Wigderson成为了,历史上第一位同时获得图灵奖和阿贝尔奖的人。
阿贝尔奖被视为数学领域的最高荣誉
Wigderson是普林斯顿高级研究院数学学院的Herbert H. Maass教授。
他在计算复杂性理论、算法与优化、随机性与密码学、并行与分布式计算、组合学和图论等领域均有突出贡献,并且在理论计算机科学与数学及科学的交叉领域中,也具有重要影响。
在此之前,Wigerson于2009年获得了哥德尔奖;2018年,因对计算机科学和数学理论的贡献(Institute for Advanced Study)当选ACM Fellow;并于2019年获得了高德纳奖。
他们成功地证明了,在一些广泛,一般来说,计算机是确定性系统——算法的指令集对任何特定输入都有唯一确定的计算过程和输出结果。
也就是说,确定性算法遵循一个可预测的模式。
然而,随机性则不同,它没有明确的模式,也无法预测事件或结果的发生。
鉴于我们所处的世界似乎充斥着随机事件(如天气系统、生物和量子现象等),计算机科学家们通过让算法在计算过程中进行随机选择,以期提高算法的效率。
事实上,许多以前没有有效的确定性算法解决方案的问题,现在通过概率算法得到了有效的解决,虽然这些算法可能会有小概率的错误(但这种错误可以有效地减少)。
但是,随机性是否是必要的,还是可以去除它?成功的概率算法需要什么样的随机性?
这些问题以及其他许多基本问题构成了理解计算中随机性和伪随机性的核心。
更深入地理解计算中随机性的动态可以帮助我们开发更优秀的算法,并深化我们对计算本质的理解。
认可的计算假设下,所有的概率多项式时间算法,都可以被有效转化为确定性算法。