书房里的时钟安安静静的走着,不知不觉中,时间已经过去了两个小时。
当夏凝带着两个孩子从外面游泳、打球回来,看到苏瑜还是一动不动的坐在书房里,牵着两个孩子,开口道:“别打扰爸爸了,妈妈带你们睡觉。”
“嗯嗯~”
两个孩子乖乖的点点头,游泳、打球外加兴趣班,他们也累坏了,看了爸爸一眼,就跟着妈妈去楼上睡觉了。
而苏瑜并没有注意到老婆孩子的回来,或者说是他已经完全沉浸在一种忘我的状态之中了。
苏瑜已经快十年没有进入到这种状态了,这就足以说明他现在手里上工作的难度之大了。
结合着自己之前对np完全问题研究的草稿,读完了手里的几份论文,苏瑜终于想通了,至于具体是想通了什么,苏瑜也不确定,这还需要他进一步的验算。
拿起了空白的草稿纸,苏瑜开始了认真的验算。
大部分计算机领域的科学家是认为“np完全问题”是不成立的,也就是np≠p,因为这么多年来,没有人能够发现一个np完全问题的多项式时间算法。
在此领域求索了十年多时间的苏瑜也一样,但是在他也逐渐要认同“np≠p”的时候,他突然找到了不一样的结果:
先是高斌在苏瑜的草稿中找到的“不对劲”,这个“不对劲”已经被苏瑜和高斌解决了,他们在此基础上研究了一种算法。
该算法能正确的接受np完全语言,是一个多项式时间演算法当且仅当np=p,但是这一它需要多久执行完毕,苏瑜也不清楚,废土世界的人工智能“苏小智”正在运算着。
而现在,苏瑜又通过1993年的一篇论文,找到了一种新的逻辑表达的灵感,一种可以用新的逻辑命题的特定的可表达性的术语重新表达出来的灵感。
所以,苏瑜现在要做的,就是要把这种灵感推算下去,看看能不能把这种灵感顺利落地。
很难得的有了灵感,这让苏瑜十分兴奋,但是兴奋劲来得快,走得也快。
“哎呀~”
当他开始写第四页草稿时,他的笔尖停下了,扔掉了笔,有些烦躁的抓了抓头发。
卡文了!
就在追爽的那一刻,卡住了!
这感觉,让苏瑜很难受。
“卡住了?”
窗外的天色已经黑了,把两个孩子哄入睡的夏凝走进书房,温柔地帮着苏瑜按摩着脑袋。
感受着老婆温柔的手指,苏瑜舒服的仰头,点点头,算是回答了老婆的询问。
“别着急嘛。”夏凝笑了笑,开始认真地给苏瑜按摩起来。
第二天,睡了一觉的苏瑜穿越到了废土世界,现实世界里,他虽然在找一种np完全问题逻辑表达的时候卡住了,但是在废土世界,还有希望——人工智能苏小智的运算。
“运算结果怎么了?”
坐进首领官邸,苏瑜对空气问了一句。
“滴。”电子音响起,苏小智开口道:“主人,这运算结果,可能我这一辈子都完不成运算。”
苏瑜停顿了一下啊,他也根本就没有指望着人工智能能够真的完成,这只不过是一种突破验证罢了。
苏瑜继续开口道:“把你这几天工作验证的图表给我发过来。”
接着,苏瑜的电脑屏幕上,呈现出了几张复杂的图表,这图表里,反应的就是最近几天“苏小智”对苏瑜编写的np完全语言的运行分析。
苏瑜开始认真看了起来,而越看,他的眉头皱得越紧。
他好像抓住了点什么,又好像什么也没有抓住,这感觉让苏瑜觉得很糟糕、很难受。
沉思了一会儿,拿起笔了,苏瑜开始在白纸上进行验算了。
新的周一,苏瑜的车队驶入了科学院数学与系统科学研究院。
科学院数学与系统科学研究院,这是一个综合性的国立学术研究机构,覆盖了数学与系统科学的主要研究方向。
研究院成立于1998年12月,是由数学研究所、应用数学研究所、系统科学研究所及计算数学与科学工程计算研究所等四个研究所整合而成。
研究院下设4个研究所,18个国家重点实验室、科学院重点实验室、研究中心,17个交叉研究中心;拥有职工537人。
随着华夏这几年的经济、政治和文化的发展,这里也已经成为全球最顶级的数学研究中心。
最近几年,包括菲尔兹数学奖在内的国际数学奖项,都会出现它的身影、在各个大型国际科研项目里,它也是不可或缺的,虽然它只有537名在职员工,但是每年有过千名来自世界各地的访问学者在这里工作。
苏瑜今天来这里是做关于np完全问题的学术交流的,虽然苏瑜对np完全问题已经有一定的研究方向了,但是该项目是颠覆性的,也就意味着它的工作量是十分庞大的。
苏瑜需要大家的帮助,大家也需要苏瑜的思路来“孵化”他们