小拓书苑

手机浏览器扫描二维码访问

第42章 暴力，不是数学的终极美学！(2/4)

不出来的曲子，那种无力感……会让人怀疑自己。

” 简瑶第一次，在一个男生面前，流露出如此脆弱的一面。

她一直都是天之骄女，是别人眼中的天才，是难题的终结者。

但今天，在这道拉姆齐数面前，她引以为傲的才华，仿佛被碾得粉碎。

许燃沉默片刻，拿起牛奶喝了一大口。

温热的液体滑入喉咙，带着淡淡的甜味，让他高速运转，甚至有些发烫的大脑，稍微舒缓了一些。

“你想到了什么办法吗？”他主动开口问。

简瑶的眼睛瞬间亮了一下，黯淡的眸子里重新燃起了火花。

像是黑夜里找到了同路的旅人，身体微微前倾，压低了声音。

“我想到了一个办法。

可能……有点笨，但我觉得，这是我们唯一的机会了！” “说来听听。

”许燃来了兴趣。

“计算机！” 简瑶的语气，带着压抑不住的兴奋，她从运动裤的口袋里掏出一个小巧的U盘，“啪”的一声放在桌上。

“我们人类的思维，在处理这种大规模的组合爆炸问题时，有天然的局限性。

我们的脑子会被无数种可能性撑爆！但计算机没有！” 她仿佛化身成一个即将发动总攻的将军，眼睛里闪烁着智慧的光芒，语速飞快。

“我认识一个大学导师，是研究算法的教授。

他曾经给我看过一个叫‘SAT求解器’的东西。

那玩意儿简直就是个怪物，一种专门用来解决布尔可满足性问题的程序！” “我们可以把‘寻找一个42阶的，无K5且无5-独立集的图’这个问题，转化为一个庞大的布尔可满足性问题！ 用成千上万个逻辑变量，去代表这42个点之间到底有没有边！ 再用上百万个子句，去约束这个图里不能出现K5和5-独立集！” 她越说越激动，白皙的脸颊因为兴奋而泛起红晕。

“虽然这个布尔表达式可能会有数百万个变量和上千万个子句，运算量会达到一个天文数字。

但我可以求我导师帮忙，他有权限动用国家超算中心的计算资源！ 让‘天河’来跑！也许……也许真的能跑出一个结果来！”

请关闭浏览器阅读模式后查看本章节，否则将出现无法翻页或章节内容丢失等现象。