第四百六十六章 P≠NP?国际数学家大会闭幕式上的电话(1 / 2)

关于锂硫电池的研究也开始了,而由于主要研究的材料也就只有固态电解质材料,所以相对来说研究任务也变轻松了不少。

锂硫电池作为锂电池中一种十分理想的新电池,在能量密度上相比较普通的电池来说,有着跨越一个数量级的优势。

不过当然的是,锂硫电池仍然是一个实验室中的产物,以当前的技术来说,其只能够放在试管中进行实验。

这便是因为其存在的几个缺点。

首先就是锂硫电池的中间放电产物会溶解到有机电解液中,从而影响到电解液的性能,最终也会影响到电池的整体性能。

其次就是硫单质作为电池正极的时候,会因为在反应发生中产生的一些最终产物影响到电池的性能,严重点的甚至还会直接造成电池的损坏。

最后就是一种名为锂枝晶的问题,负极的金属锂作为一种活性材料,在充放电的过程中会发生形体上的变化,锂离子在背还原为金属锂的时候,一个个锂原子就有可能会在金属锂的表面形成锂枝晶,而这些锂枝晶就有可能会刺穿正负极的隔膜,然后直接和正极接触。

而正负极一旦接触,也就会造成短路问题,短路之后电池温度急剧升高,最后就会导致燃烧,甚至更严重点的还会产生爆炸。

正是因为这些颇有些棘手的问题,就会直接让锂硫电池到现在仍然还只是实验室中的技术,未曾实现。

不过,如果使用上了固体电解质之后,这些问题,大半都能够得到迎刃而解。

就比如第一个问题,固体电解质不是液体,自然也就不存在什么溶解的问题了,所以这个问题也就不成问题了。

再比如锂枝晶的问题,锂枝晶是锂电池中一种不可避免的问题,而在现在的绝大多数锂离子电池中,电池商已经为了解决锂离子电池而做出了诸多的方案,所以现在因为锂枝晶导致的危险事故桉例基本上都是很少的了。

不过虽然很少,但是也还仍然存在,只不过锂枝晶在面对固体电解质的时候,同样也会没辙,毕竟锂枝晶的主要问题就是让正负极相接造成短路,然后温度急剧升高,但是现在都用上了固体电解质,锂枝晶再牛逼,还能够直接刺穿整个固体电解质不成?

所以固体电解质方面存在的问题,也就同样的迎刃而解了。

而剩下的问题相对来说会产生的影响就比较小,虽然也是待解决的问题,但是相比较起固体电解质的作用来说,是可以放到最后来解决的。

所以对于林晓来说,先一步解决固体电解质的问题,才是最重要的。

……

锂硫电池只是一方面,林晓在研究这项技术的同时,也并没有忘记庞伟院士交给他的量子计算机控制模型的问题。

而经过了这么久的研究,最终,他也被困在了一个问题上面。

“该如何判断,在这一瞬间的过程中,它表达的到底是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时的情况了,自然而地也就将这个问题给证伪了。

也就是说,单向函数就像是一个特殊解,只要找到一个,就能够直接将这个千禧年难题给解决掉。

只不过,此时此刻的林晓,却完全没有想到自己只是为了找出能够控制量子计算机的一个模型,却就在不经意间将这个东西给找了出来。

他一时之间甚至感觉有点不真实。