听说夏若飞和陈玄已经完成了算法的编写，沐声等人也都围了过来。

但是包括宋薇凌清雪在内，大家其实根本看不懂屏幕上密密麻麻的代码。

沐声有些迟疑地问道：“夏小兄弟，靠这个，就能破解令牌的秘密了？”

夏若飞微笑着说道：“当然没有这么简单，首先这个算法我和陈兄还需要进一步的检查，至少要确保没有什么大问题才行；另外，就是需要在超级计算机上运行它，由超算来完成破解。”

“说到这个……”陈玄说道，“夏兄弟，现在应该可以联系一下超级计算机的机时了吧？”

夏若飞点点头，说道：“嗯！提前确定下来也好，咱们再反复核查一遍算法，估计也就一两天时间的事儿了。”

如果是普通程序员，面对如此复杂的算法，一两天是无论如何都不可能检查完的——普通程序员也不可能在这么短时间内编写出这套算法来。

但夏若飞和陈玄自然是不一样的，一到两天时间，对他们而言已经足够了。

夏若飞说完之后，就拿出手机来，找到王池的号码拨了出去。

电话振铃了几声之后，王池就接听了起来，他爽朗地笑着说道：“夏总！找我是为了探讨问题还是超算机时的事情啊？”

夏若飞也不禁笑了起来，这位王院士性格倒是爽快，说话也是开门见山的。

他说道：“王院士，的确是想要麻烦您联系一下，能不能帮忙找一些超算的机时……”

王池笑呵呵地说道：“你的事情，我可一直都很上心的，这几天我一直都在帮你们联系。说起来你们运气还不错，本来我想如果能协调到天河一号或者天河二号的机时就不错了，没想到结果比我预计的要好……”

“哦？”夏若飞不禁眼睛一亮，问道，“莫非是神威-太湖之光？”

“哈哈！夏总果然聪明！一猜就中！”王池笑着说道，“就是使用神威-太湖之光需要到新吴市去，不知道夏总方不方便？”

“方便！当然方便了！”夏若飞连忙说道。

神威-太湖之光是华夏最顶尖的超级计算机了，在全球都是排名前三的，这台超级计算机是由国家并行计算机工程技术研究中心研制，安装在国家超级计算新吴中心的，所以王池说使用神威太湖之光需要到新吴市去。

从夏若飞的角度，自然是希望能够使用到性能最好的超算了。

而神威-太湖之光，显然就是最佳选择。

要知道，这台超算在超级计算机基准程序测试中，仅仅用了四个小时，就完成了“天河二号”二十多个小时才能完成的运算任务。

这就意味着运算速度是完胜此前的“天河二号”超级计算机的。

夏若飞连忙又问道：“王院士，神威-太湖之光的机时应该很紧张吗？真的能腾出来给我们使用？”

王池没有直接回答夏若飞的话，而是反问道：“你们预计需要使用多长时间？”

夏若飞略一沉吟，在心中默默计算了一下——他之前没想到有机会使用神威-太湖之光，所以根本没有预估过时间。

片刻之后，夏若飞说道：“最好是能有十个小时，如果实在不行，八个小时也可以！”

“嚯！”王池叫道，“你们的东西……运算量这么大吗？”

“是不是不好协调？”夏若飞问道，“实在不行，咱们就退而求其次吧？”

“应该没什么问题！”王池说道，“不过需要等到三天后，具体的使用时间我确定之后再通知你。另外……到时候我陪你们去一趟新吴，如果机时真的不够，我现场再帮你们协调！”

夏若飞闻言也不禁有些感动，王池这人情送得可有些大。

如果到时候机时不够用，他们编写的算法才运行了一半怎么办？王池陪着一起去的话，这个问题就好解决了，以他的面子，往后顺延一些时间还是能做到的。

“那可真是太谢谢您了！”夏若飞诚挚地说道，“王院士，交通、食宿的问题我们都会解决好，您只要通知我具体时间就行了！”

“好的！”王池笑呵呵地说道，“夏总也不必太放在心上，我本来就有事情要到新吴超算中心办，也算是顺带帮你们协调一下机时的事情吧！”

夏若飞微笑着说道：“不管怎么说，您这可是帮了我们的大忙啊！真是非常感谢您！”

王池如此不遗余力地帮助夏若飞，自然不仅仅是因为那三万元的桃源会所储值卡，他堂堂一个院士，还不至于因为三万元就这么卖力帮忙，主要是王池从一些细节上看出了夏若飞的与众不同，这些细节包括前些天请他参加交流会的那位领导，也包括赵勇军、宋睿等人对夏若飞的态度，等等等等。

王池觉得夏若飞值得他花精力去交好，才会有这样的举动。否则别说是一张储值卡了，就算是正式的桃源会所会员卡又如何，这也不是人家的刚需品，根本没有必要如此热心啊！

“不客气！不客气！”王池笑呵呵地说道，“那有什么消息我再通知你吧！你们做好准备就行了。”

“好的好的！”夏若飞说道。

王池挂了电话之后，夏若飞把情况跟陈玄等人一说，大家也都非常高兴。

还有三天时间，夏若飞和陈玄自然也就不必那么迫切了。

他们可以很从容地对算法程序进行检查，甚至在家用计算机环境下用小样本试着运行一下，检查一下算法是否有明显的逻辑错误。

同时，夏若飞还打电话让桃源号公务机的机组准备一下三天后飞来京城，同时提前申请从京城前往新吴市的航线。

王池陪同一起前往新吴的超算中心，那夏若飞一行人自然就不可能乘坐飞舟去了。

而且王池年纪也大了，出行当然要尽可能舒适一些。

这种时候，豪华的私人飞机作用就很大了。

夏若飞和陈玄的效率太高了，即便是悠着来，也仅仅花了一天半时间，就把算法重新捋了一遍，还真让他们发现了几个小问题。

虽然不是明显的错误，而且影响也不是很大，不过夏若飞和陈玄还商量之后认真地进行了优化。

在模拟环境中运行了几次，效果都还不错。

当然，夏若飞搭建的模拟环境，自然是不会用原版的浮点图案去测试的，否则再好的电脑也得直接死机了，绝对不会有任何悬念。