第42章 暴力,不是数学的终极美学! 国士无双:我用真理为华夏铸剑!
用现代科技的暴力美学,去硬碰硬地对抗这道古典的数学难题。
简瑶满怀期待地看著许燃。
她甚至已经能想像到,当她们拿著超算跑出来的结果拍在刘教练桌上时,他会是何等震惊的表情。
她等待著许燃的赞同和惊嘆。
然而,许燃听完后,只是静静地看著她,然后,缓缓地,摇了摇头。
像一盆冰水,从头到脚浇灭了简瑶所有的热情。
她脸上的兴奋,瞬间凝固了。
“为什么?”
她脱口而出,声音里充满了不解和一丝委屈,“难道这个方法不可行吗?”
“可行。”
许燃的回答,完全出乎她的意料,却让她更加迷惑。
“理论上完全可行。
把问题编码成sat实例,交给超算去求解,是目前计算机科学家攻击拉姆齐数问题的主流方法之一。
如果运气好,超算说不定真的能给你一个答案。”
“那你为什么摇头?”简瑶的眉头紧紧蹙起,她完全无法理解许燃的逻辑。
许燃放下了手里的笔,目光从写满失败的草稿纸,移到了简瑶清澈又迷茫的眼睛上。
“因为,计算机只能告诉你『是什么』,它无法告诉你『为什么』。”
“它就算耗费巨大的能量,给出了一个满足条件的,由42个点和上千条边构成的怪物,那也只是一个特解。
一个冰冷的,由0和1堆砌起来的数据集合。
你得到的是一堆乱麻,而不是一条金线。”
他顿了顿,身体微微前倾,一字一句地,说出了那句在未来很多年里,都深深烙印在简瑶灵魂深处的话。
“暴力,不是数学的终极美学。”
简瑶彻底呆住了。
她大脑一片空白,怔怔地看著眼前的少年。
“数学的美,在於它的简洁,在於它的普適性,在於它能用最优雅的符號,去描述最深刻的宇宙规律。”
许燃的声音平静,却带著一种不容辩驳的力量,仿佛是在阐述一条公理。
“我们寻找的,不应该是一个被暴力破解出来的『答案』,而是一把能够打开所有同类问题的『钥匙』。
一把能让我们理解r(5,5)为什么是43,而不是42的钥匙。
一把能指引我们走向r(6,6),甚至r(n,n)的钥匙。”
轰!
这一刻,简瑶忽然明白了。
她终於明白了自己和许燃之间,那道看似无法逾越的鸿沟,到底是什么。
她追求的,是解决问题,是得出答案,是为了胜利。
而他追求的,是理解本质,是寻找真理,是为了美。
她在山脚下,想尽办法要爬到山顶。
而他,一开始就站在云端之上,思考的是如何將整座山脉都握在手中。
一个在第一层,一个……在第五层。
不,甚至更高。
“那……那你的意思是?”
简瑶的声音,不自觉地带上了她自己都未曾察觉的颤音和敬畏。
许燃看著她被彻底顛覆了认知的样子,终於露出了一丝笑意。
不是嘲讽,也不是炫耀,而是一种……找到同类的欣赏与邀请。
“有没有兴趣,陪我玩一个……更纯粹的游戏?”
他重新拿起笔,没有在那张画满失败图形的草草稿纸上继续。
而是从旁边抽出一张全新的,巨大的,空白的草稿纸,铺在桌子中央。
雪白的纸面,像一个等待被开闢的新世界。
然后,他握著笔,在那张白纸的正中央,写下了一行字。
笔尖划过纸面,发出沙沙的声响。
【有限域与射影平面】
简瑶看著这行字,瞳孔猛地一缩。
这是代数学和几何学里极其抽象和深刻的概念,跟他们现在研究的图论,看似风马牛不相及。
“忘记那些点和线吧。”
许燃抬起头,目光灼灼地看著她,眼神里跳动著前所未有的光芒,是一种即將洞穿真理的兴奋与自信。
“让我们,换一个世界,重新审视这个问题!”