她仿佛化身成一个即将发动总攻的将军，眼睛里闪烁着智慧的光芒，语速飞快。
“我认识一个大学导师，是研究算法的教授。他曾经给我看过一个叫‘sat求解器’的东西。
那玩意儿简直就是个怪物，一种专门用来解决布尔可满足性问题的程序！”
“我们可以把‘寻找一个42阶的，无k5且无5-独立集的图’这个问题，转化为一个庞大的布尔可满足性问题！
用成千上万个逻辑变量，去代表这42个点之间到底有没有边！
再用上百万个子句，去约束这个图里不能出现k5和5-独立集！”
她越说越激动，白皙的脸颊因为兴奋而泛起红晕。
“虽然这个布尔表达式可能会有数百万个变量和上千万个子句，运算量会达到一个天文数字。
但我可以求我导师帮忙，他有权限动用国家超算中心的计算资源！
让‘天河’来跑！也许……也许真的能跑出一个结果来！”
“只要能跑出来，我们就成功了！”
一个聪明的想法。
将一个纯粹的，考验人类灵感极限的数学构造问题，转化为一个工程学的，考验算力极限的计算问题。
用现代科技的暴力美学，去硬碰硬地对抗这道古典的数学难题。
简瑶满怀期待地看着许燃。
她甚至已经能想象到，当她们拿着超算跑出来的结果拍在刘教练桌上时，他会是何等震惊的表情。
她等待着许燃的赞同和惊叹。
然而，许燃听完后，只是静静地看着她，然后，缓缓地，摇了摇头。
像一盆冰水，从头到脚浇灭了简瑶所有的热情。
她脸上的兴奋，瞬间凝固了。
“为什么？”