国内最专业的IT技术学习网

UI设计

当前位置:主页 > UI设计 >

华人学者解开计算机领域30年难题:布尔函数敏感

发布时间:2019/07/29标签:   敏感度    点击量:

原标题:华人学者解开计算机领域30年难题:布尔函数敏感
克日,美国艾默里大学盘算机与数学迷信系教学黄皓(Hao Huang)用一篇短短 6 页的论文「轻松」证实了搅扰实践盘算机范畴数十年的布尔函数敏感度料想,激发了盘算机和数学范畴社区的普遍存眷。布尔函数敏感度料想是实践盘算机迷信中近三十年来最主要,最使人迷惑的凋谢性成绩之一。论文长度唯一 6 页,其中心证实内容只要两页,不外黄皓为懂得决这个成绩破费了 7 年时光的考虑。本月初,一篇唯一 6 页的论文静静登上了 arXiv,随之而来的是学界的惊动。这篇由华人学者黄皓所着的研讨处理了搅扰盘算机迷信范畴的困难:布尔函数的敏感度料想(sensitivity conjecture),而这篇论文中现实的证实局部只要两页纸。实现这一豪举的数学家黄皓来自广东汕头,他 2007 年本科结业于北京大学,博士就读于加州大学洛杉矶分校(UCLA),师从闻名数学家 Benny Sudakov 教学。黄皓于 2012 年取得博士学位,2012-2014 年受邀拜访普林斯顿高级研讨院,现担负美国艾默里大学数学系助理教学。其重要研讨范畴包含极值组合、图论及实践盘算机。曾经在 JCTB、JCTA、Combinatorica、SIAM J. Discrete Math 等国内闻名期刊上宣布及接收宣布论文 20 余篇。布尔函数的敏感度料想重要波及盘算电机路的基本结构块构造,迄今已快 30 年。在这二十余年中,该料想难倒了很多优良的盘算机迷信家,而黄皓提出的证实方式简略到能够用一篇推文总结:七年思考,两页证明,华人学者解开计算机领域30年难题:布尔函数敏感度猜想CMU 盘算机迷信系教学 Ryan O'Donnell 发推概括了这篇证实。(图源:https://twitter.com/BooleanAnalysis/status/1145837576487612416)应用有 200 年汗青的方式处理了 30 年汗青的分量级料想,无关布尔函数敏感度的证实让咱们感触到了数学之美。人们关于黄皓的论证纷纭表现感慨:「这是咱们看到过最漂亮的两页证实。」七年思考,两页证明,华人学者解开计算机领域30年难题:布尔函数敏感度猜想敏感度料想波及布尔函数,布尔函数描写怎样基于对布尔输出的某种逻辑盘算断定布尔值输入,在庞杂性实践的成绩和数字盘算机的芯片计划中表演基本脚色。

版权信息Copyright ? IT技术教程 版权所有??? ICP备案编号:鲁ICP备09013610号