级计算机去破解令牌上浮点图案的秘密。
而按照他们的推测，这些浮点图案每一组很可能代表一个汉字。
汉字大概有三千多个，常用的也有一两千个，那么每一组浮点图案就有一两千乃至两三千种可能性。
所有的浮点图案组合在一起，那么可能性将会是一个天文数字。
靠人力是根本不可能破解的。
这也是夏若飞和陈玄想到用超级计算机来帮助破解的原因。
而这种破解，其实采用的就是穷举法。
人脑不可能完成的工作，超级计算机确实有可能。
超算完全可以将所有的可能性罗列出来，然后一一比对。
当然，前提是时间足够、远算能力足够。
因此，夏若飞对于王池的发言中，那个关于穷举法的例子，特别的感兴趣，听的也是最认真的。
王池脸上挂着礼貌的微笑，因为他预想中的交流，应该是他和郭谦、李煜甫这样的同行之间交流，甚至他的博士生冯晓毅提出一些听讲过程中的疑惑，也是可以的，但他并不认为夏若飞这样的外行能提出什么有深度的问题。
所以，王池把夏若飞的提问理解成了礼貌性的交流，或者说是为了热个场？
说实话他到现在都没搞明白，夏若飞发起这个交流会到底是为了什么，包括郭谦和李煜甫也是一样，都是一头雾水。
不过，当夏若飞继续说出具体的问题的时候，王池脸上的笑容慢慢就收了回去，眼眸中露出了一丝惊异，同时也露出了重视的神情，连坐姿都端正了不少，不由自主地做出了倾听的模样。
因为夏若飞的问题，都提到了点子上。
可以说，仅仅从提问的角度看，水平非常高。
这让王池相当的意外。
当然，并不是说王池被夏若飞的问题给难住了。
实际上，夏若飞提出的三个问题，都是王池带领团队用超级计算机跑穷举法的时候，遇到的几个比较困难的点。
只不过这些问题在实际应用过程中，都是成功解决了的。
今天的发言毕竟只是一个简单的交流，碍于篇幅和时间的限制，王池并没有在这几个问题上展开说，导致夏若飞产生了一些疑惑。
郭谦和李煜甫也非常惊讶，因为夏若飞提出的问题，也是他们心中的一些疑惑。
这几个问题，郭谦和李煜甫在听讲的时候，也产生了疑问，只不过他们的实际经验更加丰富，心中甚至已经开始尝试着构思解决的方案，有了初步的想法，其他他们也非常想跟李煜甫交流这几个方面，想要看看京大计算机研究所的团队在实际应用中，是如何解决这些问题的，是不是和他们心中构思的初步方案一致。
两人都没想到，夏若飞居然先一步一针见血地就找到了关键问题所在，并且准确地提了出来。
http://www.123xyq.com/read/2/2444/ )
