有你认识的人。
我们得到结论：生成问题的一个解通常比验证一个给定的解时间花费要多得多。例子里，生成一个解，就是在所有人中找到你认识的那个人，这需要很多时间。验证一个解，就是只要看那一个女郎你是否认识。仅需要一秒钟。
这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13717421可以写成两个较小的数的乘积，你可能不知道是否应该相信他。
但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。
不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。
它是斯蒂文·考克（stephencook）于1971年陈述的。
这个，涉及到了计算机的智能程度。
现在的计算机，都是零和一的判断，速度极快。但是这样的判断积累无数次，判断就会变得极其缓慢。而花费大量时间去思考一个结果出来，似乎更是智能。但是，他依然需要“大量的时间”。我们被困扰在这里。不知道该怎么办。
理想中的智能，是既可以有判断的速度，又可以有思考的能力。完美结合！
怎么才能办到？
来自东方华国的宋易先生，给出了完美的解决方案。
他在论文里，通过奇妙的程式，给出了一组奇怪的阵势。就是“阵”，的规律，衍化出数据的思考。这是典型的东方思维。但是却完成了极其复杂的逻辑问题。
宋，他被上帝眷顾，身受神光的笼罩。
我们已经可以预见，因为这个理论的推出，还有他阵势计算法的现实。将给这个世界带来什么样的变化！
天体运动规律的揭秘，量子物理理论的完善！爱因斯坦留下来的，深奥不完善的微观世界将被补足。
基因科学的信息