0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

困扰科学界 30 年的难题,华人科学家黄皓用7年时间破解

5RJg_mcuworld 来源:YXQ 2019-07-31 09:48 次阅读

1992年,布尔函数敏感度猜想(Boolean Sensitivity)被提出,这成为了理论计算机科学近三十年来最重要、最令人困惑的开放性问题之一。而近日,来自Emory大学计算机与数学科学系的华人教授黄皓,用两页纸证明了困扰理论计算机领域数十年的问题。

困扰科学界 30 年的难题

多年来,计算机科学家已经开发出许多方法来测量给定布尔函数的复杂性。研究发现,关于布尔函数复杂性的度量措施都适用于一个统一的框架,但有一个复杂性指标似乎并不适用——“灵敏度”。灵敏度(sensitivity conjecture)是一种衡量布尔函数复杂度的方法,它被定义为导致布尔函数翻转的最大比特数,通过捕获输入字符串中的信息来影响输出位的改变。换句话说,布尔函数的“灵敏度”跟踪翻转单个输入位改变输出位的可能性。

1992年,耶路撒冷希伯来大学的Noam Nisan和现在罗格斯大学的Mario Szegedy 推测表示,“灵敏度”同样是适合统一框架的,但没有人能证明这一点,这也成为了布尔函数研究中一个悬而未决的问题。

灵敏度猜想的证明具有很大的实践意义,主要涉及计算机电路的基础构造块结构,包括:医生可以在达到诊断之前尽可能少地为患者发送测试;机器学习专家可以通过算法在分类之前尽可能少地检查对象的特征;银行家可以向老板展示尽量少的答案以证明他们已做出正确的贷款决策;甚至还涉及量子物理学版本的查询复杂性,弄清楚该测量与其他复杂性测量的关系可以帮助研究人员理解量子算法的局限性......

外媒Quantamagazine就此问题举例说:如果你向银行申请贷款,那么就需要填一系列答案为是或否的问题,银行再根据你的答案进行评分做出决定——这个过程就是一个布尔函数,你的答案就是输入比特,银行的决定就是输出比特。如果你改变某个问题的答案会导致结果翻转,这个比特/答案就被定义为敏感了,如果有7个问题任意一个翻转会导致结果翻转,那么其敏感度就是7。

在这二十多年中,该猜想难倒了许多优秀的计算机科学家。而现在,Emory大学的数学家黄皓用一个巧妙但简单的两页论证,证明了灵敏度猜想。

华人科学家黄皓用7年时间破解

本月初,一篇仅有6页的论文悄悄登上了arXiv,引起了学术界的轰动。一位名叫黄皓(Hao Huang)的华人科学家解开了30年来一直困扰计算机科学家的问题,论文长度仅有6页,其核心证明内容只有2页。

黄皓出生于汕头,十四岁时离开家乡奔赴广州华南师范大学附属中学就读,凭借优异的成绩于2003年被保送至北京大学攻读数学专业。2007年北大本科毕业后,黄皓在美国加州大学洛杉矶分校(UCLA)读博,师从国际著名数学家Benny Sudakov教授,并于2012年获得博士学位。2012-2014年受邀访问普林斯顿高等研究院,现担任美国艾默里大学数学系助理教授。其主要研究领域包括极值组合、图论及理论计算机,已经在JCTB、JCTA、Combinatorica、SIAM J. Discrete Math等国际著名期刊上发表及接受发表论文20余篇。

2012年末,在受访美国普林斯顿高等研究院期间,黄皓在与数学家Michael Saks共进午餐时听说了敏感性猜想,他立刻被这个猜想的简洁和优雅所吸引。“每次我发表新论文后,我都会回到这个问题,”他说。“当然,我会在一段时间后放弃,并解决一些更现实的问题。”

在2013年,黄皓开始认为理解这个问题的最佳途径可能是通过标准网络来表示网络,该矩阵跟踪哪些点连接,然后检查一组称为矩阵特征值的数字。五年来,他一直在重新审视这个想法,但一直没有成功。2018年,黄皓发现了使用一个有200年历史的称为Cauchy交错定理的数学,它将矩阵的特征值与子矩阵的特征值联系起来,使其成为研究立方体与立方体之间关系的完美工具。

上个月,他突然意识到他可以通过改变他的矩阵中某些数字的符号来推动这种方法的完成。通过这种方式,他能够证明在n维立方体中超过一半点的任何集合中,将存在某些与其他点相关的点,灵敏度猜想也从这个结果中被证明。

图源:Quantamagazine

这个存在了30年的难题,最终证明是如此简洁甚至可以用一条推文概况。

图源Twitter:CMU计算机科学系教授Ryan O'Donnell

而为了解决这个问题,黄皓花费了7年时间来思考。

Quantamagazine最后写到,“黄皓的研究结果超过了证明灵敏度猜想所必需的结果,这种发现应该会产生关于复杂性度量的新见解。”哥伦比亚大学计算机科学教授Rocco Servedio也表示,“它充实了我们的工具库,让我们可以试图回答布尔函数分析中的其他问题”,“我认为在这一证明推出以后,很多人终于能睡得着觉了。”

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 计算机
    +关注

    关注

    19

    文章

    7378

    浏览量

    87640
  • 机器学习
    +关注

    关注

    66

    文章

    8353

    浏览量

    132324

原文标题:华人学者解开计算机领域 30 年难题:布尔函数敏感度猜想

文章出处:【微信号:mcuworld,微信公众号:嵌入式资讯精选】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    2024诺贝尔物理学奖为何要颁给机器学习?

    (Geoffrey Hinton),表彰他们在使用人工神经网络的机器学习方面的基础性发现和发明。   作为在科学界具有举足轻重的地位和深远影响的诺贝尔奖,它不仅是对科学家个人成就的最高肯定,更是对整个科学事业的推动和激励。而此次
    的头像 发表于 10-10 00:11 3520次阅读

    AI for Science:人工智能驱动科学创新》第4章-AI与生命科学读后感

    研究的进程。从蛋白质结构预测到基因测序与编辑,再到药物研发,人工智能技术在生命科学的各个层面都发挥着重要作用。特别是像AlphaFold这样的工具,成功解决了困扰生物学界半个多世纪的蛋白质折叠问题,将
    发表于 10-14 09:21

    《AI for Science:人工智能驱动科学创新》第一章人工智能驱动的科学创新学习心得

    的效率,还为科学研究提供了前所未有的洞察力和精确度。例如,在生物学领域,AI能够帮助科学家快速识别基因序列中的关键变异,加速新药研发进程。 2. 跨学科融合的新范式 书中强调,人工智能的应用促进了多个
    发表于 10-14 09:12

    名单公布!【书籍评测活动NO.44】AI for Science:人工智能驱动科学创新

    ! 《AI for Science:人工智能驱动科学创新》 这本书便将为读者徐徐展开AI for Science的美丽图景,与大家一起去了解: 人工智能究竟帮科学家做了什么? 人工智能将如何改变我们所生
    发表于 09-09 13:54

    中国科学家发现新型高温超导体

    据新华社报道,我国科学家再立新功,又一新型高温超导体被发现。 复旦大学物理学系赵俊团队利用高压光学浮区技术成功生长了三层镍氧化物,成功证实在镍氧化物中具有压力诱导的体超导电性,而且超导体积分数达到
    的头像 发表于 07-19 15:14 604次阅读

    天津大学科学家突破人类大脑器官成功驱动机器人

    在科技探索的征途上,天津大学的科研团队再次迈出了令人瞩目的步伐。7月5日,该校宣布了一项革命性的成果——科学家们利用前沿的干细胞技术,成功培育出了高度模拟人类大脑的类脑器官,并创新性地将其与机器人系统通过先进的片上脑机接口技术紧密相连,开启了人脑与机器深度融合的新纪元。
    的头像 发表于 07-08 16:00 546次阅读

    新华社:突破性成果!祝贺我国科学家成功研发这一传感器!

    6月25日,新华社以《突破性成果!祝贺我国科学家》为标题,报道了由我国科学家研发的传感器成果。 我国科学家研发高通道神经探针实现猕猴全脑尺度神经活动监测 神经探针是一种用来记录神经活动的针状电传
    的头像 发表于 06-27 18:03 411次阅读
    新华社:突破性成果!祝贺我国<b class='flag-5'>科学家</b>成功研发这一传感器!

    前OpenAI首席科学家创办新的AI公司

    消息在业界引起了广泛关注,因为苏茨克维曾是OpenAI的联合创始人及首席科学家,并在去年在OpenAI董事会上扮演了重要角色。
    的头像 发表于 06-21 10:42 485次阅读

    本源量子参与的国家重点研发计划青年科学家项目启动会顺利召开

    20244月23日,国家重点研发计划“先进计算与新兴软件”重点专项“面向复杂物理系统求解的量子科学计算算法、软件、应用与验证”青年科学家项目启动会暨实施方案论证会在合肥顺利召开。该项目由合肥综合性国家
    的头像 发表于 05-11 08:22 520次阅读
    本源量子参与的国家重点研发计划青年<b class='flag-5'>科学家</b>项目启动会顺利召开

    量子梦

    计算机无法解决或需要花费巨大时间和资源才能解决的问题,从而推动科学技术的发展,改变我们的生活方式。虽然目前仍面临诸多挑战,但科学家们正在努力克服这些障碍,相信量子计算机的实现将会给我们带来深远的影响。
    发表于 03-13 18:18

    NVIDIA首席科学家Bill Dally:深度学习硬件趋势

    Bill Dally于20091月加入NVIDIA担任首席科学家,此前在斯坦福大学任职12,担任计算机科学系主任。Dally及其斯坦福团队开发了系统架构、网络架构、信号传输、路由和
    的头像 发表于 02-25 16:16 1030次阅读
    NVIDIA首席<b class='flag-5'>科学家</b>Bill Dally:深度学习硬件趋势

    AI for Science,开启智能科学时代

    当人工智能遇上科研,让历史上的科学家都闻之落泪……
    的头像 发表于 02-02 09:36 2489次阅读
    AI for Science,开启智能<b class='flag-5'>科学</b>时代

    康奈尔大学科学家研制出5分钟快速充电锂电池

    锂离子电池如今广泛应用于电动汽车及智能手机领域。其优点包括轻巧、抗震、环保,但充电时间较长及承受大功率电涌的能力不足。随着最新研究成果发布,科学家找到了一种独特的铟阳极材料,与锂离子电池内的阴极材料实现良好配合。
    的头像 发表于 01-26 09:57 618次阅读
    康奈尔大学<b class='flag-5'>科学家</b>研制出5分钟快速充电锂电池

    谷歌DeepMind科学家欲建AI初创公司

    据知情人士透露,谷歌人工智能部门DeepMind的两名杰出科学家Laurent Sifre和Karl Tuyls正在与投资者商讨在巴黎成立一家新的人工智能初创公司的事宜。
    的头像 发表于 01-22 14:41 443次阅读

    飞腾首席科学家窦强荣获 “国家卓越工程师” 称号

         飞腾首席科学家窦强荣获 “国家卓越工程师” 称号 1月19日上午,首届 “国家工程师奖” 表彰大会在北京人民大会堂隆重举行。81 名个人被授予 “国家卓越工程师” 称号,50 个团队被授予
    的头像 发表于 01-19 19:22 1602次阅读
    飞腾首席<b class='flag-5'>科学家</b>窦强荣获 “国家卓越工程师” 称号