得出l1±M3是比M3饱和G中更多的顶点的匹配……”(1)
宋问声拿着铅笔一步一步的看下去,格林戈那看见他工作,喝了一口水,也拿出了自己的电脑,将宋问声审视过的没有问题的部分输入电脑。
经宋问声修正整理之后,整整有一百多页的证伪过程,两个人弄了非常长的一段时间才输入电脑,然后宋问声丢在了arXiv上,这好像是他第一次弄预印本。
之前的文章他都是直接投递到顶刊上,然后还运气不错的很快就可以发表了。
但是关于n-p问题,现在国际上有不少人在争这块肥肉,他们也要动作快一点,先放出预印本,不让他们争顶。
要不然不仅是白费他的心血,也是格林戈那的心血!
完事了之后,格林戈那还关注了他一下,并且给他推了一波。
因为知名数学家格林戈那的推荐,再加上又是和后期之秀宋问声的合作,吸引来不少人的眼光。
泰特也是其中的一个。
自从上一回宋问声从中破坏了他们的争端,两边没伤没赢,都各自有了一个台阶下,泰特还大方的祝贺宋问声。
但是心里还是因为没有压过另一方而有些失望。
又看见宋问声接连不断的发表顶刊,他心里还有了一种感慨的心思。
外国没有既生瑜何生亮这句话,泰特的心境大概就是这样了。
现在看着格林戈那和宋问声还合作了一篇文章,他倒是要看看这两个人到底搞出了什么东西。
他粗略的浏览了题目,有了些许惊讶,这篇文章竟然是有关于千禧七大难题之一的n-p问题!他迅速翻到结尾,证伪了……
证伪,大家都知道这是要证伪,要不然现在计算机方面的很多逻辑方面的问题是不能成立的,但是要怎么证伪,一直都很难。
泰特看到结尾也没有很出奇,值得他重视的是过程,过程合不合理,有没有疏漏,条理是否清晰,这些都是放出来给同行审视的。
本身敢踏出这一步,就很勇敢了。
他抽出草稿纸,皱着眉头,严阵以待。
从他自己的理智上看,他很愿意这个问题被证明,因为这代表这人类对数学和计算机之间的认知个理论构建更加推进了一步。
但是从情感上,他又不愿意他们能够证出,毕竟他和格林戈那因为上一回的事情有了一些不可避免的摩擦。
两相折磨之下,使得泰特将整篇文章阅读得十分仔细,已经到了锱铢必较、死扣字眼的地步。
可也就是这样,才让他不得不再次感慨,这篇文章的作者真是一丝不苟,每一个细节都照顾到了,而且十分详尽。
详尽到只要花点时间,就能很好的理解他们要表达的意思,完全不像其他证明文章那样晦涩。
泰特整整花了一个星期的时间,他认为他们确实将n-p问题证伪了!
他放弃了自己跳出来做反派的想法,毕竟数学这种东西,对就是对错就是错,上一回自己被反驳,也是自己技不如人的表现,才让格林戈那找到了不对之处。
作者有话说:
(1)来自于《四着色新算法及其应用》,陶然;
搜索的提交是按输入法界面上的确定/提交/前进键的