“王院士的提议不错！”郭谦马上表示赞同。
“一切以工作为重嘛！我也同意！”李煜甫说道。
夏若飞等人面面相觑，不过夏若飞还是很快就猜到了专家教授们的心思，他微笑着点点头，说道：“那咱们就继续下一个环节！”
接着，他转脸对宋睿说道：“小睿，你通知餐厅那边先备菜，接到通知再下锅！”
他自然是不可能让专家教授们吃盒饭的，而且桃源会所这边都是他们自己做主，什么时候开饭都没问题。
“好的！”宋睿站起身说道，“那你们先交流着，我去餐厅那边看看。”
宋睿离开后，夏若飞就把心思放在了交流上。
他和陈玄交换了一个眼神，然后就先提出了自己的问题：“王院士，我对您刚才发言中应用超级计算机采用穷举法解决实际问题的方案非常感兴趣，有几个不是很明白的地方，还请王院士不吝赐教！”
说完，夏若飞就把他在听了王池那个实际案例之后产生的一些疑问提了出来。
夏若飞的问题也都是很有针对性的，毕竟他的终极目标，是利用超级计算机去破解令牌上浮点图案的秘密。
而按照他们的推测，这些浮点图案每一组很可能代表一个汉字。
汉字大概有三千多个，常用的也有一两千个，那么每一组浮点图案就有一两千乃至两三千种可能性。
所有的浮点图案组合在一起，那么可能性将会是一个天文数字。
靠人力是根本不可能破解的。
这也是夏若飞和陈玄想到用超级计算机来帮助破解的原因。
而这种破解，其实采用的就是穷举法。
人脑不可能完成的工作，超级计算机确实有可能。
超算完全可以将所有的可能性罗列出来，然后一一比对。
当然，前提是时间足够、远算能力足够。
因此，夏若飞对于王池的发言中，那个关于穷举法的例子，特别的感兴趣，听的也是最认真的。
王池脸上挂着礼貌的微笑，因为他预想中的交流，应该是他和郭谦、李煜甫这样的同行之间交流，甚至他的博士生冯晓毅提出一些听讲过程中的疑惑，也是可以的，但他并不认为夏若飞这样的外行能提出什么有深度的问题。
所以，王池把夏若飞的提问理解成了礼貌性的交流，或者说是为了热个场？
说实话他到现在都没搞明白，夏若飞发起这个交流会到底是为了什么，包括郭谦和李煜甫也是一样，都是一头雾水。
不过，当夏若飞继续说出具体的问题的时候，王池脸上的笑容慢慢就收了回去，眼眸中露出了一丝惊异，同时也露出了重视的神情，连坐姿都端正了不少，不由自主地做出了倾听的模样。
因为夏若飞的问题，都提到了点子上。
可以说，仅仅从提问的角度看，水平非常高。
这让王池相当的意外。
当然，并不是说王池被夏若飞的问题给难住了。
实际上，夏若飞提出的三个问题，都是王池带领团队用超级计算机跑穷举法的时候，遇到的几个比较困难的点。
只不过这些问题在实际应用过程中，都是成功解决了的。
今天的发言毕竟只是一个简单的交流，碍于篇幅和时间的限制，王池并没有在这几个问题上展开说，导致夏若飞产生了一些疑惑。
郭谦和李煜甫也非常惊讶，因为夏若飞提出的问题，也是他们心中的一些疑惑。
这几个问题，郭谦和李煜甫在听讲的时候，也产生了疑问，只不过他们的实际经验更加丰富，心中甚至已经开始尝试着构思解决的方案，有了初步的想法，其他他们也非常想跟李煜甫交流这几个方面，想要看看京大计算机研究所的团队在实际应用中，是如何解决这些问题的，是不是和他们心中构思的初步方案一致。
两人都没想到，夏若飞居然先一步一针见血地就找到了关键问题所在，并且准确地提了出来。