，花那么大力量研究理论，最多，也就等价于提升一倍的计算能力。”王一男否决了李文静提出的改进方向。
“理论组近期的工作任务，应该还是进一步完善现实系统形式化的理论工具，只有这样，才能更快的将现实系统映射到虚拟空间中，更快的提升哥德尔系统解决现实问题的能力”
王一男说。
“嗯，这是一个非常好的思路，之前我们花了三天时间来形式化孙伟的论文，这方面如果能有突破的话，三个小时就可以搞定了”，李文静同意王一男的说法。
“我来介绍一下软件部的方案”，王一男说。
“经过我和李飞，赵天成的讨论，也运用哥德尔系统对自身的运行环节进行了分析。我们发现目前在哥德尔系统运行过程中，主要的瓶颈还是在多维空间的搜索和匹配，这方面占了整个系统运行时间的90%以上，甚至对于一些复杂的系统，所占运行时间达到了惊人的99%。”
“针对这种情况，我们对多维空间的搜索和匹配进行了仔细的分析，理论上，这是一个NP完全问题，也就是很可能在多项式时间无法解决的问题，这种问题特别适用于大规模并行处理，传统的CPU体系，在这上面的效率是很差的。”
“事实上，我们目前的哥德尔系统已经是第二代了，第一代主要运算是通过CPU进行的，效率很差，我们做过一次升级，使用GPU也就是显卡作为主要的计算单元，第二代系统比第一代系统计算能力提升了数十倍。”
“但是要想进一步提升，GPU的并行单元，还是太少”
“而且哥德尔系统有些特有的，复杂的算
第十四章 进化 哥德尔系统(2/6)