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