玩意儿简直就是个怪物，一种专门用来解决布尔可满足性问题的程序！”
“我们可以把‘寻找一个42阶的，无K5且无5-独立集的图’这个问题，转化为一个庞大的布尔可满足性问题！
用成千上万个逻辑变量，去代表这42个点之间到底有没有边！
再用上百万个子句，去约束这个图里不能出现K5和5-独立集！”
她越说越激动，白皙的脸颊因为兴奋而泛起红晕。
“虽然这个布尔表达式可能会有数百万个变量和上千万个子句，运算量会达到一个天文数字。
但我可以求我导师帮忙，他有权限动用国家超算中心的计算资源！
让‘天河’来跑！也许……也许真的能跑出一个结果来！”
“只要能跑出来，我们就成功了！”
一个聪明的想法。
将一个纯粹的，考验人类灵感极限的数学构造问题，转化为一个工程学的，考验算力极限的计算问题。
用现代科技的暴力美学，去硬碰硬地对抗这道古典的数学难题。
简瑶满怀期待地看着许燃。
她甚至已经能想象到，当她们拿着超算跑出来的结果拍在刘教练桌上时，他会是何等震惊的表情。
她等待着许燃的赞同和惊叹。
然而，许燃听完后，只是静静地看着她，然后，缓缓地，摇了摇头。
像一盆冰水，从头到脚浇灭了简瑶所有的热情。
她脸上的兴奋，瞬间凝固了。
“为什么？”
她脱口而出，声音里充满了不解和一丝委屈，“难道这个方法不可行吗？”
“可行。”
许燃的回答，完全出乎她的意料，却让她更加迷惑。
“理论上完全可行。
把问题编码成SAt实例，交给超算去求解，是目前计算机科学家攻击拉姆齐数问题的主流方法之一。
如果运气好，超算说不定真的能给你一个答案。”
“那你为什么摇头？”简瑶的眉头紧紧蹙起，她完全无法理解许燃的逻辑。
许燃放下了手里的笔，目光从写满失败的草稿纸，移到了简瑶清澈又迷茫的眼睛上。
“因为，计算机只能告诉你‘是什么’，它无法告诉你‘为什么’。”
“它就算耗费巨大的能量，给出了一个满足条件的，由42个点和上千条边构成的怪物，那也只是一个特解。
一个冰冷的，由0和1堆砌起来的数据集合。
你得到的是一堆乱麻，而不是一条金线。”
他顿了顿，身体微微前倾，一字一句地，说出了那句在未来很多年里，都深深烙印在简瑶灵魂深处的话。
“暴力，不是数学的终极美学。”
简瑶彻底呆住了。
她大脑一片空白，怔怔地看着眼前的少年。
“数学的美，在于它的简洁，在于它的普适性，在于它能用最优雅的符号，去描述最深刻的宇宙规律。”
许燃的声音平静，却带着一种不容辩驳的力量，仿佛是在阐述一条公理。
“我们寻找的，不应该是一个被暴力破解出来的‘答案’，而是一把能够打开所有同类问题的‘钥匙’。
一把能让我们理解R(5，5)为什么是43，而不是42的钥匙。
一把能指引我们走向R(6，6)，甚至R(n，n)的钥匙。”
轰！
这一刻，简瑶忽然明白了。
她终于明白了自己和许燃之间，那道看似无法逾越的鸿沟，到底是什么。
她追求的，是解决问题，是得出答案，是为了胜利。
而他追求的，是理解本质，是寻找真理，是为了美。
她在山脚下，想尽办法要爬
