专栏名称: 知乎日报
提供最好的资讯评论,兼顾专业与趣味。
目录
相关文章推荐
知乎日报  ·  知乎瞎扯|你有哪些压箱底的绝世笑话? ·  9 小时前  
知乎日报  ·  作为系列电影,《误杀 ... ·  昨天  
知乎日报  ·  为什么总觉得网管泡的面更好吃? ·  3 天前  
知乎日报  ·  中国人在长相上有没有地域特点? ·  4 天前  
51好读  ›  专栏  ›  知乎日报

和杨振宁一起成为中国科学院院士的姚期智教授有哪些学术成果?

知乎日报  · 公众号  · 问答  · 2017-02-25 18:08

正文

题图来源:视觉中国


知友 | 雷锋网


「雷锋网」是一个已被知乎认证的「机构帐号」,文末有对这位新朋友的介绍:)


提起姚期智,大部分人的第一反应会想到图灵奖。如今作为国内第一名也是唯一一名图灵奖获得者,姚期智自 2011 年起担任清华交叉信息研究院院长,为培养国内优秀人才做出了巨大贡献。


姚期智这个名字总与「图灵奖」挂钩,而如果你了解他的学术造诣,也会知道这一奖项也是实至名归。


生于上海,迁居香港,又移民台湾,姚期智在台湾大学完成了物理学学士学位后,赴哈佛大学就读物理学硕士及博士,师从 1979 年诺贝尔物理学获得者 Sheldon Glashow。随后,他只花了两年时间就拿下了伊利诺伊大学的计算机科学博士学位,师从刘炯朗。


自 1975 年毕业之后,姚期智分别在 MIT、斯坦福、加州大学伯克利分校等世界顶级名校从事教学及研究。他的主要贡献主要包括了三大领域,也大致可以分为三大阶段:


第一阶段:算法理论创新


早在博士就读期间,姚期智提出了随机化算法复杂度的论证,而如今已经成为研究者无人不知的重要工具。


在 1977 年的论文中,姚期智提出了 Yao's min-max principle,这一原理成为了推理随即算法与复杂度的基本技术,也已经应用于属性测试与学习理论等领域。


在 1978 年,姚期智对数据结构的创新做出了根本性的创新。在《Should tables be sorted?》论文中,他介绍了一种名为 cell-probe model 的数据结构抽象模型,目前已经被广泛应用于创建算法的下限证明。


在这一阶段,姚期智最重要的贡献在于提出了理论计算机科学的重要次领域:通讯复杂性和伪随机数生成计算理论。


第二阶段:奠定密码学基础


1982 年,姚期智从加州大学伯克利分校的计算机科学系重回斯坦福大学任教,研究的重心从原来的算法理论逐渐转移到密码学、计算机安全及随机计算领域。


而其中最为出名的一个问题,当数姚氏百万富翁问题。这到底是何方难题,且听雷锋网 AI 科技评论道来。


话说西晋时期,石崇与王恺争豪。压倒王恺的最后一根稻草,不是「并穷绮丽,以饰舆服」,而是他视若珍宝的二尺珊瑚树却被石崇用铁如意击碎,更碾压的是,石崇还拿出了「条干绝世」的珊瑚树,让王恺惘然自失。


一叶知秋,只从小小的珊瑚树,就可一窥双方家底深浅。然而如果难度再升一级,连珊瑚树也不让比,土豪们要如何炫富才能不着痕迹地一比高下?


而在千年之后的 20 世纪,姚期智也以「比壕」为主题,提出了驰名的「姚氏百万富翁问题」:两个百万富翁如何在不向对方透露任何身家信息的前提下比较各自的财富?


这一问题后来也衍生为安全多方计算问题的起源:如何在一个互不新任的多用户系统中,各用户能通过网络协同完成计算任务,但又能保证各自数据的安全性?


安全多方计算问题一经提出,吸引了不少学者研究,后来也成为了密码学协议研究的基础问题之一,目前已经被广泛应用于解决数据挖掘、数据库查询、科学计算等许多计算领域的问题。而姚期智自然也成为了现代密码学基础的奠基人。


在 1982 年,姚期智给出了一种解决方案:通过生成随机数,加上公开密钥与私有密钥的加密再进行比较,避免了实数域的有序性和加减的可逆性带来多余信息的暴露。


而除了姚氏百万富翁问题外,姚期智在加密和安全计算方面也做出了开创性的贡献,「Dolev-Yao 模型」已经成为了大多数符号安全工作的起点,而《陷门函数的理论和应用》(Theory and applications of trapdoor functions)及《安全计算的协议》(Protocols for secure computations)等著作也成为了安全计算领域的重要著作。


此外,还有去随机化领域的基本技术 XOR-lemma 及解决安全多方计算的乱码电路技术,也同样由姚期智提出。


第三阶段:量子计算领域


在 20 世纪 90 年代后,在普林斯顿大学 William and Edna Macaleer 工程与应用科学任教期间,姚期智开始着手开展量子计算、通信及信息理论方面的工作。


在 1993 年的论文《Quantum circuit complexity》中,姚期智就将通信封复杂度扩展到量子计算领域,完成了量子计算机的理论基础。


在线路复杂性、计算几何、数据结构及量子计算领域,姚教授提出了不少开放性问题,并开拓了不少富有建设性的创见。


在 1995 年,姚期智提出了分布式量子计算模式,后来成为了分布式量子算法和量子通讯协议安全性的基础。


凭借姚期智在计算理论的基本贡献,包括基于复杂性的伪随机数生成,密码学和通信复杂性的理论,美国计算机协会 ACM 于 2000 年授予其图灵奖及百万美元奖金,以表彰姚期智在计算机界做出的巨大贡献。


著作等身,名利双收,如果一直在美国高校继续教书育人,完善理论创新,姚期智诚然会是众多华人学者中最为顶尖的一个,这样的人生轨迹也算得上圆满。但他在 57 岁时做出了一个决定:回到中国担任清华教授。


「落叶归根」,助力算法理论及交叉学科发展


在 2004 年,姚期智回国担任清华大学高等研究中心教授,原本计划的是构建培养博士生的机制,并打造一支研究团队。


但随即姚教授意识到,国内传统比较重视计算机工程方面的学习,而为了更好地提升学生的国际视野,姚期智开设了国内首门计算机理论课程,从根本上夯实了计算机本科课程的理论基础。


隔年,姚期智开设了鼎鼎有名的「姚班」,桃李满天下。旷视科技三巨头、中国大学生计算机编程第一人「楼教主」、邹昊等人都是「姚班」的得意门生,具体介绍可查看 AI 科技评论撰写的《中国唯一的图灵奖获得者姚期智,在清华开设的「姚班」有哪些 AI 名徒?》。


据不完全统计,仅截至 2014 年,计算机科学实验班学生本科期间共发表论文 110 篇,其中以学生为论文通讯作者或主要完成人的共 84 篇,有些文章甚至达到了博士毕业的水准。


而截至 2016 年 12 月,姚班学生为论文通讯作者或主要完成人的已发表论文达 121 篇,并有 42 位优秀姚班学生被选派参加国际会议并作论文宣讲。


2010 年 12 月,姚期智牵头成立清华大学交叉信息研究院并担任院长,这是全国首个针对计算机科学与技术和物理学两大学科方向的交叉建设学院,而这两个领域正是姚期智在过去 20 年的科研历程中所潜心钻研的。


如果一定要总结姚教授回国后的最大贡献,非百年树人莫属。不论是丰富了算法理论的研究多样性,或是带动了计算机科学与物理学之间的联系,姚教授对国内顶尖学术人才的培育功不可没。


而近日雷锋网也曾报道姚期智已放弃外国国籍,从中国科学院外籍院士转为中国科学院院士,这一消息也坐实了姚教授将继续留在国内继续科研及教育事业的想法,相信在未来,会有更多的姚班学生在工业界与学术界发光发热。


本文作者:奕欣


欢迎关注微信公众号:leiphone-sz



知友 | Fang


首先一句结论:姚先生的学术贡献毫无疑问是极富开创性且影响深远的, 主要集中在密码学基础,计算复杂性及量子计算方面。下面简要介绍一些代表性工作。本文参考了 ACM 图灵奖的官方介绍。


密码学。虽然数目不多,但这些工作个个举足轻重。直到今天还吸引(养活)着无数顶尖的理论密码学工作者。


  • [DY83] Dolev-Yao 模型,最早的形式化模型之一来讨论分析一套密码协议的安全性。

  • [Y82a] 提出若干现代密码学的核心概念。例如伪随机(Pseudorandomness),计算不可区分(Computational indistinguishability),陷门单向函数 (Trapdoor one-way functions)。全都是现代密码学不可或缺的骨架。如果现代密码学也有奥斯卡或格莱美的榜单,这篇文章绝对是大赢家。

  • [Y82b] 提出了著名的百万富翁问题,从而也引入了安全多方计算这一个大题目。

  • [Y86] 提出了解决两方安全计算的一个优美的技术 Garble circuit。现在每年还有很多工作在扩展改进这一技术,它的应用范围也在不断的扩大。


计算复杂性:


  • [Y77] Min-Max Principle 一个简单而又重要的结论,给了随机算法一个巧妙的刻画。可应用于分析随机算法的期望复杂度及博弈论 game theory。

  • [Y82a] XOR-Lemma 一个简单的方法去放大问题的复杂度,广泛用于 Derandomization。

  • [Y79] communication complexity 首次提出「通信复杂度」这个概念,现在依然是热门研究课题。多少人的生计全靠它了。


量子计算:


  • [Y93] 首次证明了量子图灵机模型与量子电路模型的等价性。

  • 量子密码学。例如证明量子密钥分配协议在更强攻击模型下的安全性[Y95]以及提出其他若干量子密码的基础工具[Y00]。


欢迎大家讨论补充。


  1. [DY83] Dolev, Danny and Andrew Chi-Chih Yao, “On the security of public key protocols,” IEEE Transactions on Information Theory, Vol. 29, Num. 2, 1983, pp. 198-207.

  2. [Y77] Yao, Andrew Chi-Chih, “Probabilistic Computations: Toward a Unified Measure of Complexity” (Extended Abstract), 18thAnnual Symposium on Foundations of Computer Science (FOCS ’77), IEEE Computer Society, 1977, pp. 222-227. doi:10.1109/SFCS.1977.24

  3. [Y79] Yao, Andrew Chi-Chih, “Some Complexity Questions Related to Distributive Computing” (Preliminary Report), Proceedings of the 11thAnnual ACM Symposium on Theory of Computing (STOC ’79), ACM Press, 1979, pp. 209-213.

  4. [Y82a] Yao, Andrew Chi-Chih, “Theory and Applications of Trapdoor Functions” (Extended Abstract), 23rd Annual Symposium on Foundations of Computer Science (FOCS ’82), IEEE Computer Society, 1982, pp. 80-91.

  5. [Y82b] Yao, Andrew Chi-Chih, “Protocols for Secure Computations” (Extended Abstract), 23rdAnnual Symposium on Foundations of Computer Science (FOCS ’82), IEEE Computer Society, 1982, pp. 160-164.

  6. [Y86] Yao, Andrew Chi-Chih, “How to Generate and Exchange Secrets” (Extended Abstract), 27thAnnual Symposium on Foundations of Computer Science (FOCS ’87), IEEE Computer Society, 1986, pp. 162-167. The first of these two papers introduces secure function evaluation, and gives a protocol for the famous Millionaires’ Problem. In talks related to these papers Yao introduced a technique for secure computation known as garbled circuits.

  7. [Y93] Yao, Andrew Chi-Chih, “Quantum Circuit Complexity,” 34thAnnual Symposium on Foundations of Computer Science (FOCS ’93), IEEE Computer Society, 1993, pp. 352-361.

  8. [Y95] Yao, Andrew Chi-Chih, "Security of Quantum Protocols Against Coherent Measurements", Proceedings of Twenty-seventh ACM Symposium on Theory of Computing (STOC1995), Las Vegas, Nevada, May 1995, 67-75.

  9. [Y00] Yao, Andrew Chi-Chih, "Quantum Bit Escrow", (with A. Aharonov, A. Ta-Shma and U. Vazirani), Proceedings of Thirty-second ACM Symposium on Theory of Computing (STOC2000), May 2000, 715-724.


什么是知乎机构帐号?

「知乎机构帐号」是机构用户专用的知乎帐号,与知乎社区内原有的个人帐号独立并行,其使用者为有正规资质的组织机构,包括但不限于科研院所、公益组织、政府机关、媒体、企业等。


如何申请知乎机构帐号?

机构帐号采用邀请制,我们会邀请各行业和领域优秀的组织机构进驻,与大家分享专业、优质的内容。


非受邀机构如希望申请开通机构帐号,请回复「机构帐号开通申请」获取链接,按要求填写申请表,提交后工作人员将在 10 个工作日内对申请结果进行反馈。


点击「阅读原文」下载知乎日报 App