尤溪元赶紧朝掌声传来地方看去。
原来是孟火生的四色问题解题结束了。
尤溪元赶紧走了过去,两块白板写得满满当当的。
“孟队长,你这是”尤溪元盯着白板,上面的内容他不太能看懂。
“四色问题的推导过程。”孟火生拍了拍手,一脸的风轻云淡。
对于四色问题,尤溪元当然是清楚的。
四色问题是英国数学家格色里在1850年提出的,直到1976年肯尼思阿佩尔和沃卡冈哈肯,在肯普证明的基础上借助计算机证明了四色定理。
而眼前的孟火生,仅仅用了一支笔,就完成了四色问题的证明。
更夸张的是,孟火生看起来云淡风轻,完全不以为意。
要知道,单凭证明四色问题这一项,孟火生这一生都吃喝不愁。
各种荣誉会拿到手软。
可孟火生的表现却显得毫不在意。
就在尤溪元还在感叹的时候,一直看着孟火生解题的钱大豪开口了。
“孟队,一个四色问题你就花了35分钟,不行啊。”
钱大豪的话,让尤溪元恨不得冲上去给这个家伙两个耳光。
什么叫‘花了35分钟?’听听,这是人话吗?
四色问题可是困扰了人类好几百年时间的,钱大豪似乎对于孟火生花了35分钟才做出来显得很不屑。
“钱组长,别光说不练,看你的。”说完孟火生把手中的白板笔扔给了钱大豪。
钱大豪一把将笔接在手上,然后走到另外一块白板前,开始写写画画起来。
“钱组长,你做什么题目?”
“p(多项式时间)问题对np(非确定多项式时间)问题。”钱大豪回答道。
听到题目尤溪元又吃了一惊。
n\/np问题,也就是说在多项式时间内被验证的问题,是否能在多项式时间内被解决。
这道题目可是理论计算机科学的圣杯。
尤溪元从走进会议室的大门开始,到现在已经看到了很多不同的数学类别被使用。
之前钱老在电话中跟他说过,这些人每个人都掌握了数学64个大类