她脱口而出,声音里充满了不解和一丝委屈,“难道这个方法不可行吗?”
“可行。”
许燃的回答,完全出乎她的意料,却让她更加迷惑。
“理论上完全可行。
把问题编码成sat实例,交给超算去求解,是目前计算机科学家攻击拉姆齐数问题的主流方法之一。
如果运气好,超算说不定真的能给你一个答案。”
“那你为什么摇头?”简瑶的眉头紧紧蹙起,她完全无法理解许燃的逻辑。
许燃放下了手里的笔,目光从写满失败的草稿纸,移到了简瑶清澈又迷茫的眼睛上。
“因为,计算机只能告诉你‘是什么’,它无法告诉你‘为什么’。”
“它就算耗费巨大的能量,给出了一个满足条件的,由42个点和上千条边构成的怪物,那也只是一个特解。
一个冰冷的,由0和1堆砌起来的数据集合。
你得到的是一堆乱麻,而不是一条金线。”
他顿了顿,身体微微前倾,一字一句地,说出了那句在未来很多年里,都深深烙印在简瑶灵魂深处的话。
“暴力,不是数学的终极美学。”
简瑶彻底呆住了。
她大脑一片空白,怔怔地看着眼前的少年。
“数学的美,在于它的简洁,在于它的普适性,在于它能用最优雅的符号,去描述最深刻的宇宙规律。”
许燃的声音平静,却带着一种不容辩驳的力量,仿佛是在阐述一条公理。
“我们寻找的,不应该是一个被暴力破解出来的‘答案’,而是一把能够打开所有同类问题的‘钥匙’。
一把能让我们理解r(5,5)为什么是43,而不是42的钥匙。
一把能指引我们走向r(6,6),甚至r(n,n)的钥匙。”