一位华人学者刚刚解决了敏感度猜想Siiviyjcur,它是理论计算机科学中近三十年来最重要,最令人困惑的开放性问题之一。
鉴于之前评论里有人吐槽说,类似文章全是泛泛而谈的一般科普,核心内容一带而过,就丢出一个链接,所以下面详细说一下敏感度猜想——在汉语网络环境里,相关信息貌似挺少见的。
敏感度猜想,涉及布尔型数据,以及其上的函数关系。
假设是一个维数组,其中每个分量都是取值于或的布尔数。
假设函数f:{,}^—{,},亦即定义域是维数组,同时每个分量都是布尔数;取值也是布尔数。
翻转第i个分量的值(就是数组中第i个值如果是,则变成;是,则变成),得到_i,如果f(_i)f,就称f对在第i个分量处敏感。
f对可能在若干分量处都敏感,记敏感分量的数目为(f,)。
当取遍维布尔数组后,记(f,)的最大值为(f)。
到此为止,就得到了布尔函数敏感性的定义,但是,猜想本身用到的是布尔函数的块敏感性!
简单说一下,就是上面步骤里,_i的角标不再是i,而是集合A,A本身是集合{,,……,}的某个子集。对特定的想,相应的定义,把{,,……,}分化成若干不想交子集,保证f对每个子集都是敏感的。必然有种方式使子集个数最多,子集个数记为相应的b(f,),进一步得到b(f)。
4年,数学家y提出了敏感度猜想Siiviyjcur:
存在一个多项式P,对所有的布尔函数f,都成立b(f)P[(f)]!
在计算机科学和数理逻辑,乃至代数学里,布尔函数无疑是是否重要的研究对象。同时,我们知道,布尔函数有许多复杂性测度,并且几乎所有这些测度——包括决策树复杂性,证书复杂性,随机查询复杂度和其它许许多多——已知都是多项式相关的。
最新证明的提出者、埃默里大学的数学助理教授HaoHuag向我们解释猜想的价值和意义:“在数学中,布尔函数是最基本的离散主题之一——就像数字,图形或几何形状一样。但是,其它测度都是多项式相关的,而如果猜想为真,则敏感度也是如此,否则的话,它就是很反常的量。”
“自年以来,我一直尝试攻克这一猜想。”Huag在接受phy.采访时说,“但是直到大约一周前,我才捕捉到关键思想。我终于找到了那把正确的钥匙。”
月日至日,将在瑞士苏黎世召开随机结构和算法的国际会议。Huag将在会议上正式发布证明。但是,迫不及待想要了解详情的朋友可以点击此处阅读、下载论文的预印本。
在论文里,Huag先证明维超立方图的生成子图的相关命题,将猜想作为命题的直接推论。其精巧思路和简单明了的过程,在社交媒体上赢得了计算机科学家和数学家的一片赞誉。
Huag开发出了一种代数方法。“我希望这种方法也有可能应用到对计算机科学的发展至关重要的其他组合和复杂性问题上。”
欢迎广大书友光临阅读,优质好看的连载小说尽在!.