第273章271，华夏科学院数学与系统科学研究院
书房里的时钟安安静静的走着，不知不觉中，时间已经过去了两个小时。
当夏凝带着两个孩子从外面游泳、打球回来，看到苏瑜还是一动不动的坐在书房里，牵着两个孩子，开口道：“别打扰爸爸了，妈妈带你们睡觉。”
“嗯嗯~”
两个孩子乖乖的点点头，游泳、打球外加兴趣班，他们也累坏了，看了爸爸一眼，就跟着妈妈去楼上睡觉了。
而苏瑜并没有注意到老婆孩子的回来，或者说是他已经完全沉浸在一种忘我的状态之中了。
苏瑜已经快十年没有进入到这种状态了，这就足以说明他现在手里上工作的难度之大了。
结合着自己之前对np完全问题研究的草稿，读完了手里的几份论文，苏瑜终于想通了，至于具体是想通了什么，苏瑜也不确定，这还需要他进一步的验算。
拿起了空白的草稿纸，苏瑜开始了认真的验算。
大部分计算机领域的科学家是认为“np完全问题”是不成立的，也就是np≠p，因为这么多年来，没有人能够发现一个np完全问题的多项式时间算法。
在此领域求索了十年多时间的苏瑜也一样，但是在他也逐渐要认同“np≠p”的时候，他突然找到了不一样的结果：
先是高斌在苏瑜的草稿中找到的“不对劲”，这个“不对劲”已经被苏瑜和高斌解决了，他们在此基础上研究了一种算法。
该算法能正确的接受np完全语言，是一个多项式时间演算法当且仅当np=p，但是这一它需要多久执行完毕，苏瑜也不清楚，废土世界的人工智能“苏小智”正在运算着。
而现在，苏瑜又通过1993年的一篇论文，找到了一种新的逻辑表达的灵感，一种可以用新的逻辑命题的特定的可表达性的术语重新表达出来的灵感。
所以，苏瑜现在要做的，就是要把这种灵感推算下去，看看能不能把这种灵感顺利落地。
很难得的有了灵感，这让苏瑜十分兴奋，但是兴奋劲来得快，走得也快。
“哎呀~”
当他开始写第四页草稿时，他的笔尖停下了，扔掉了笔，有些烦躁的抓了抓头发。
卡文了！
就在追爽的那一刻，卡住了！
这感觉，让苏瑜很难受。
“卡住了？”
窗外的天色已经黑了，把两个孩子哄入睡的夏凝走进书房，温柔地帮着苏瑜按摩着脑袋。
感受着老婆温柔的手指，苏瑜舒服的仰头，点点头，算是回答了老婆的询问。
“别着急嘛。”夏凝笑了笑，开始认真地给苏瑜按摩起来。
第二天，睡了一觉的苏瑜穿越到了废土世界，现实世界里，他虽然在找一种np完全问题逻辑表达的时候卡住了，但是在废土世界，还有希望——人工智能苏小智的运算。