第四百六十六章 P≠NP?国际数学家大会闭幕式上的电话
关于锂硫电池的研究也开始了,而由于主要研究的材料也就只有固态电解质材料,所以相对来说研究任务也变轻松了不少。
锂硫电池作为锂电池中一种十分理想的新电池,在能量密度上相比较普通的电池来说,有着跨越一个数量级的优势。
不过当然的是,锂硫电池仍然是一个实验室中的产物,以当前的技术来说,其只能够放在试管中进行实验。
这便是因为其存在的几个缺点。
首先就是锂硫电池的中间放电产物会溶解到有机电解液中,从而影响到电解液的性能,最终也会影响到电池的整体性能。
其次就是硫单质作为电池正极的时候,会因为在反应发生中产生的一些最终产物影响到电池的性能,严重点的甚至还会直接造成电池的损坏。
最后就是一种名为锂枝晶的问题,负极的金属锂作为一种活性材料,在充放电的过程中会发生形体上的变化,锂离子在背还原为金属锂的时候,一个个锂原子就有可能会在金属锂的表面形成锂枝晶,而这些锂枝晶就有可能会刺穿正负极的隔膜,然后直接和正极接触。
而正负极一旦接触,也就会造成短路问题,短路之后电池温度急剧升高,最后就会导致燃烧,甚至更严重点的还会产生爆炸。
正是因为这些颇有些棘手的问题,就会直接让锂硫电池到现在仍然还只是实验室中的技术,未曾实现。
不过,如果使用上了固体电解质之后,这些问题,大半都能够得到迎刃而解。
就比如第一个问题,固体电解质不是液体,自然也就不存在什么溶解的问题了,所以这个问题也就不成问题了。
再比如锂枝晶的问题,锂枝晶是锂电池中一种不可避免的问题,而在现在的绝大多数锂离子电池中,电池商已经为了解决锂离子电池而做出了诸多的方案,所以现在因为锂枝晶导致的危险事故桉例基本上都是很少的了。
不过虽然很少,但是也还仍然存在,只不过锂枝晶在面对固体电解质的时候,同样也会没辙,毕竟锂枝晶的主要问题就是让正负极相接造成短路,然后温度急剧升高,但是现在都用上了固体电解质,锂枝晶再牛逼,还能够直接刺穿整个固体电解质不成?
所以固体电解质方面存在的问题,也就同样的迎刃而解了。
而剩下的问题相对来说会产生的影响就比较小,虽然也是待解决的问题,但是相比较起固体电解质的作用来说,是可以放到最后来解决的。
所以对于林晓来说,先一步解决固体电解质的问题,才是最重要的。
……
锂硫电池只是一方面,林晓在研究这项技术的同时,也并没有忘记庞伟院士交给他的量子计算机控制模型的问题。
而经过了这么久的研究,最终,他也被困在了一个问题上面。
“该如何判断,在这一瞬间的过程中,它表达的到底是1,亦或者是0?”
林晓皱着眉头,关于这个问题,他已经有整整一个月没有进展了。
当然,只是一个月没有进展而已,对于其他的科研人员来说,对于一个问题一个月没有进展什么的,完全是一件常事。
更多的甚至连一年两年都属于十分常见的事情,就更不用说一些正在研究世界级难题的人了,十年如一日都不是不可能。
不过对于林晓来说,一个月的时间没有一点进展,还是有些让他犯难。
当然,这也说明了这个问题的难度足够高。
而这也能够给他带来更多的挑战感。
“或许,我应该发散一下思维?”
林晓的心中思索起来。
“假如将代表1的量子态表示为一种函数,而代表0的量子态则表示为另外一种函数,然后再利用芯片的识别能力来识别呢?”
忽然间,他的脑海中闪过了一个想法。
“对了……P=NP?!”
就像是他当初利用P=NP问题的原理构建了一个程序,然后再利用这个程序确定了引力子和相对论的关系。
“要是使用相同的方法,或许也就能够解决这个问题了。”
他的目光中陷入了一阵思考。
而后,他的眼中便是一动,随后就拿出了一支笔,开始写了起来。
直觉告诉他,这个方法是可行的,但是该如何解决这个问题,还需要基于数学上的推论。
就这样,一个周后,他十分惊讶地看着自己得到的一个函数。
当然,这个函数和他想要搞出来的东西没有关系,充其量也只能算作一个中间产物罢了,只不过,这个中间产物的意义,却不同寻常。
“这难道是一个单向函数?”
他紧皱着眉头,看着这个函数,心中忍不住思考起来。
如果真的是这样的话,那他可能,就又一个不小心地解决了一个七大千禧年难题了。
当然,这个“解决”,指的不是证明,而是证伪。
他将证伪P不等于NP,也就是说,对于P问题,不能完全等价于NP问题。
P即复杂度类P,即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题;而类NP由所有可以在多项式时间内验证它的解是否正确的决定问题组成。
一旦能够证明P=NP,世间的一切问题都将能够变得简单起来,就像是如果能够将非线性和线性实现统一一样。
不过在过去,大多数的科学家都不相信P能够等于NP,特别是对于一些密码学的专家来说,毕竟一旦P=NP了,那么密码学的大厦就会轰然倒塌,因为P=NP能够让任何密码都变得没有破解的难度,只需要交给计算机来进行计算就好了。
只不过,想要解决这个问题仍然存在着较大的困难,不管是证明还是证伪,然后再由于这个问题的意义比较重大,于是也就被选为了七大千禧难题之一。
而在证伪的方法中,有一个方法就是:找到一个单向函数。
单向函数指的是对于每一个输入,函数值都容易计算;但是对于一个随机的函数值,算出其对应的输入却比较困难。
也就是说在f(x)=y中,给出一个x的值,我们很容易就能够得到y的值,但是如果给出一个y,我们却很难反向算出x的值。
而这就完全不符合p=np时的情况了,自然而地也就将这个问题给证伪了。
也就是说,单向函数就像是一个特殊解,只要找到一个,就能够直接将这个千禧年难题给解决掉。
只不过,此时此刻的林晓,却完全没有想到自己只是为了找出能够控制量子计算机的一个模型,却就在不经意间将这个东西给找了出来。
他一时之间甚至感觉有点不真实。
然而接下来,系统的声音突然响起,告诉他这很真实。
“恭喜宿主,成功找到了一个单向函数,证明了P不等于NP……”
系统的声音让林晓心中就是一愣。
系统,居然认可了?
然而他心中刚这么想,系统接下来的话,就让他心中一跳。
“不过,如果当宿主认为这个问题就此结束了的话,那么请思考一下,真的是你这样认为的吗?”
“奖励:5000点数学经验,3000点信息学经验,50点真理点。”
听到系统的话语,林晓感到了十分的困惑和不解。
现在既然都已经说明了他偶然间找到的这个函数是单向函数,但为什么又要这么说?
“真的是我这么认为的吗?”
“难道系统的意思是说,还能够将这个P=NP给证明了?”
他感到了由衷的不解。
证明一个证伪的问题?
这又要从何解起?
而就在他的心中产生这种困惑的时候,他的手机铃声却忽然响了起来。
暂且回过了神,他拿起手机看了一眼。
“嗯?这是陶哲轩的电话?”
陶哲轩怎么突然想着要给他打电话了?
最近这段时间,应该正在召开国际数学家大会吧,陶哲轩现在应该在国际数学家大会上,怎么还有空来找他?
不过他又想起来,今天好像是今年国际数学家大会的最后一天了,现在这个时间段,似乎正是闭幕式的时候?
这就更让他感到疑惑了。
而后他接通了电话,说道:“喂,陶,怎么突然想着找我了?现在如果我没有记错的话,你应该在参加数学家大会的闭幕式吧?”
随后对面就传来了陶哲轩的声音。
“哈哈!林,没错,现在我正在参加数学家大会的闭幕式,当然,也正是因为此,我才要给你打这个电话啊。”
听到陶哲轩的话,林晓顿时就感到更加的疑惑了。
“什么意思?”
“呵呵,我现在给你发个视频通话邀请吧,到时候,你就会知道了。”
“这……好吧,我倒是要看看你在做什么。”
虽然不知道陶哲轩的用意,不过他既然都这么说了,那就看看吧。
而后很快,陶哲轩便就给他发来了一个视频邀请。
林晓点下了接受邀请,随后便进入到了视频的画面中。
随着视频画面的打开,当林晓看到陶哲轩那边的景象时,顿时就是一愣。
因为视频中,陶哲轩赫然是站在台上的,而他的身后,则是观众席。
只见几千名参加大会的数学家以及数学爱好者或者是从业者们,都坐在自己的座位上,然后朝他挥着手。
同时,还有一道道向他打招呼的声音传来。
“嗨!林教授!”
“林!好久不见!”
“林教授!”
……
虽然声音比较嘈杂,但是林晓却还是能够听出来他们都说的是什么。
他发愣了片刻,说道:“呃……大家好?”
然后他又连忙问陶哲轩:“陶,这是怎么回事儿?”
陶哲轩笑了笑,终于解释道:“今年的数学家大会没有了你,总算是变得稍微平澹了一点,没有再出现一些像你经常给我们带来的那些震撼数学界的报告了。”
“但也正因为如此,我们大家也都很想念你,虽然现在因为一些原因让你不能够在这次大会上出现在这里,和我们一起讨论数学,不过我们都相信,总会有问题解决的那一天的。”
“世界的数学是一家人,我们都很想念你。”
陶哲轩的话说完,观众席上人们也都喊了起来:“林!我们都很想念你。”
见到这,林晓的心中不由生出了感动,万万没想到,陶哲轩突然给他打来电话,却是因为这件事情。
他笑了起来,说道:“谢谢大家,我同样也很想念各位,想念曾经的两次大会上,和许多朋友们的讨论。”
“当然,至少现在,我也还是以这种方式,参加到这场大会了嘛。”
会场上的人数学家们都笑了起来,而这个时候陶哲轩也开玩笑道:“嘿,如果这也算的话,你可还没有给我们带来一些令人惊讶的成果呢!这可就等于打破了你过去的习惯了!”
“哪有那么多令人惊讶的成果啊!”
林晓顿时哭笑不得起来。
但是,就在这个时候,他又迟疑片刻,说了一句:“呃?好像,也不是就没有了?”
96