甚至是有点自闭,人与人咋就可以差距那么大呢?
随后,陈默更是语出惊人:“那我们就从NP完全问题开始吧!一个个来!”
特别是最后的这一句‘一个个来’,更是让李琛再次自闭了,难道你还想全部都解决不成?
不过,在想了一下之前陈默的战绩之后,李琛也突然间就释然了,或许对别人来说这是完全不可能的事情,但对于陈默来说,那不就是分分钟的事情么?
就差陈默愿不愿意去做了。
见目标已经明确,李琛也再次激动了起来,然后更是主动提出:“那我们从哪里开始?”
“嗯!”
陈默再次陷入了微微的一掉小沉思,然后也立马给李琛来了一句:“就从你去给我倒杯水开始吧!”
“.”
李琛是立马一脸黑线飘过,顿时刚刚的积极性更是立马就消失无踪。
同时也认清了事实:“好吧!还是努力做好我的后勤工作吧!剩下的躺平就行。”
随后,李琛也立马抢过了陈默的杯子,然后去泡茶去了。
而陈默也拿出了一支笔、还有一大叠的草稿纸,开始了思考.人生。
当然不是,而是思考NP完全问题。
NP完全问题可以用简单公式表示 NP=P?,公式看上去简单,但里面蕴含的问题却不简单。
最大的问题就在这个问号上面了,到底是NP等于P,还是NP不等于P?
还是之前那样,陈默一边整理思路,一边把可行性路线一条一条列了出来。
不知道是不是因为前面解决了两个世界性数学难题的原因,陈默感觉自己现在思考一些数学问题的时候,比之前清明了很多。
许多问题,他才刚刚产生一个念想,相关的信息就清晰出现在他的脑海里。
就有点像他的数学思维升级了一样,更加的智能了。
内核升级了,效率自然就高了。
之前用时好几天,一个多星期才可能整理出来的思路,这一次,陈默只花了2天的时间,而且还要除掉陪陈曦,还有上课的时间,他就已经把NP完全问题证明思路给整理了出来。
并且也已经写在了纸上。
概括来说,他的证明思路分为三点。
第一,任意简单无向图的最大团问题等于其对应的任意两个顶点的距离不大于2的图;
第二,任意理想图的图着色问题是多项式时间问题;
第三,任意理想图,其图着色问题可在多项式时间内转换为它的最大团问题。
这一份证明思路,在李琛某一次给陈默送饭的时候被他发现了。
同时,李琛也立马用无比惊恐的眼神看着陈默:“证明思路已经出来了?”
“嗯!”
陈默是一边点了点头,一边打开了盒饭,然后也开始大块朵儿起来了。
脑力活动确实是一个体力活,经过一番高强度的头脑风暴之后,陈默也早就饿得肚皮贴肚皮了。
不过,一旁的李琛却也算是彻底惊掉了。
完全无法接受这个事实:“这才过去多久,思路就已经有了,而且似乎还有已经成熟的思路。”
这一刻,李琛有点惊恐地看着陈默的背影:“这家伙,越来越妖孽了,这特么还是人么?”
也是这时候,李琛还是傻傻的时候,陈默突然晃了晃手中已经空了的杯子:“去给我倒杯水!”
“哦”
李琛的反应还是算迅速,接过水杯就跑到了饮水机那边。
“没水?”
按了两下饮水机都没有水出来之后,李琛也再次拿起水杯跑了出去。
李琛没去其他地方,连招呼都不打就毛毛躁躁地冲进了不远处李教授的办公室。
本来正认真工作的李教授,自然也被李琛这毛毛躁躁的举动吓了一跳的。
顿时也不高兴了:“李琛,进来不知道敲门么?”
“还有,看你就像丢了魂一样。”
“是发生什么事情了么?”
第180章 NP完全问题,已被证明
“发生什么事情?”
李琛刚开始是没有立马反应过来的,只是出于本能就吐出了两个字:“陈默.”
果然,陈默在李教授心目中的地位是无人能比的,才刚听到李琛吐出‘陈默’两个字,他就立马无比紧张地抓住了李琛的手臂:“陈默怎么了?”
然后更是迫不及待地催促起来:“赶紧说啊!到底怎么了?”
“没啥事!”
让李教授这么一抓,一生疼,李琛整个人也立马清醒了不少。
然后也出于本能回了一句:“陈默已经把NP完全问题的思路整理出来了。”
“啊!”
李教授也立马一声低沉的惊呼,随后更是无比惊讶地看着李琛,心里更是忍不住吐槽了起来:“这小子最近是不是有点飘了?”
“那可是世界数学七大难题之一的NP完全问题,这都把思路给整理出来了,这都叫没啥事?”
随后,李教授白了李琛一眼之后,也不管不顾地冲出了办公室,并且一路飞奔,来到了陈默的面前。
气喘吁吁地问道:“你已经有了证明‘NP完全问题’的思路了?”
“嗯!”
陈默轻轻点了一下头,然后继续吃他的饭。
李教授也再次喘着气问道:“思路有写出来么?可以给我看看么?”
“当然没问题!”
陈默继续吃着饭,但同时手也指了指桌面上的一张纸:“这个就是了。”
李教授也不客气,一把就抓了过来,然后犹如珍宝一样看了起来。
“无向图?”
“理想图?”
“最大团?”
李教授数学能力也不是吹的,实力也不是一般人能比的,只是简单地看了一眼纸上的三句话,他就已经秒懂陈默的思路了。
有时候,还多数学家缺乏的不是数学知识的积累,缺乏的是那灵光一闪的思维。
所以,数学家年轻的时候最高产还是有原因的,因为那时候脑子最好使,思维还没完全被固化,正是可以天马行空的时候。
“思路不错!”
“好好努力!”
李教授也没有过多逗留的意思,他是心满意足地离开了。
同时也忍不住念叨了起来:“果然就不能让陈默闲着,这不,成果立马就来了。”
满心欢喜的李教授也没有回他的办公室,而是直奔张院长办公室而去。
这么好的信息,那必须要跟张院长好好分享一下。
同时,李教授还是另外的一个目的,就是跟张院长好好商量一下,怎样才能让陈默以后专心搞数学?怎样才能减少其他东西对陈默的干扰?
而陈默,在吃饱喝足之后,倒也没急着继续干活,而是来到了沙发这里,找了一个最舒服的位置躺平了。
最近他已经有了午睡的习惯,一到点,睡虫就来了,挡都挡不住啊!
同一时间,网上关于陈默的议论似乎还有越演越烈的趋势。
甚至已经慢慢发展成为了数学界和音乐界,两大阵型的对峙了。
数学界阵型这边的人,观点也非常一致和明确:【陈默教授是属于数学界,而且数学才是人类的未来.】
而另一边音乐界那边,观点也是差不多:【陈默教授应该是属于音乐界的,而且人类社会不可能离开音乐的存在.】
李琛也一直关注着这事态的发展,没办法,都是闲害的。
每天除了给陈默打一顿饭,然后每隔一个小时左右给陈默续一杯茶,剩下的时间,他不关注这个,都不知道干点啥?
等陈默午觉结束了之后,他也终于忍不住问道:“现在数学界和音乐界,都快因为你打起来了,你就发点什么劝劝?”
对于这个事情,陈默倒也是知道一点,同时也是超级地无奈,那些人是闲得没事干了么?怎么就专门抓住自己不放呢?
自己爱搞数学就搞数学,爱搞音乐就搞音乐,伱们管的着么?
管得也太宽了吧?
心塞了一小会之后,陈默也无奈地反问了一句:“你说我可以说点什么?怎么劝?”
“懒得管他们!”
陈默也说到做到,出去洗了把脸之后,也再次开始干活了。
既然证明思路有了,那就按照证明思路把证明过程推导出来就行了。
定理1.设G=(V,E)是简单无向图,va、vb是G中距离大于2的两个顶点,E'=E∪{(va,vb)},则G'=(V,E')与G有相同的最大团。
推论:对任意简单无向图G=(V,E),存在简单无向图G'=(V,E')
定理2.设G=(V,E)是n阶简单无向图,n≥3
定理3
整个推导过程,用了陈默整整8个小时,因为太投入的原因,就连和陈曦雷打不动的晚餐,都被他爽约了。
陈曦还为此找了过来,但在看到陈默是在忙碌,并且在李琛的解释之后,也不舍地离开了。
不过,李琛可是不知道陈默已经把整个推导过程都完成了的,还以为时间晚了,陈默累了才暂时结束的。
“时间不早了,明天再继续吧!”
“继续?”
陈默摇了摇头:“不用继续了!”
“不用继续?”
显然,李琛刹那间有点无法理解这句话,然后也立马有点茫然地看着陈默:“啥意思?”
陈默也立马回道:“意思当然就是完成了,没有继续了。”
“啊!”