第45章自然虫(2/2)

每个问题是否能分解成子问题，是否能分解成无法分割的单元子问题，然后改进图，一直改进到能够考虑足够多的问题，然后都分割成子问题即可。还要考虑图与图之间的链接性的权重，还考虑有些因子是否连接。可以把链接去掉，分开因子到单元，再看哪个可以相连。因子的参量就是是与否的二进制变量，就用布尔代数来表示，反因子会对系统也有影响，反因子是非单元的还是单元的，都应该考虑，若单元只要是与否的情况，就去用。做了就会有出路。下来需要做的是，每个单元连好线，或者有的不连线，每一根线有权重，权重是否可以预测其变化和发展。之后就成了一套网络图，神经网络系统，这套神经网络系统是否可以预测出近下来的发展。以此预测房价的变化。有麻烦的地方是，有两个因子直接连接是正向发展，布尔为1，但进行另外的间接的链接就成了总体的反向发展，布尔为0。能保证自己不被这种复杂性搞的混乱，需要从中进行思考，需要总结经验。”

祖文远一边说一边拿着自动证明机2.0开始输入自然虫操作系统，之后再去证明简单操作系统在网络客户端中是否有冗余。

吴俊说：“其实就是进化，虫子进化成了人、猴子、老虎、大象等等这些没用的东西。”

自动证明机在四个人惊讶的目光中开始运算，发现机器已经停不下来了，四个人看着机器快速的跑了很久，不知道何时才会停下。

夏商卜笑着问：“这就能说明确实有冗余吗？”

吴俊说：“不好说，或许他跑这么久能够证明没有冗余。”

夏商卜说：“不会证明几千年才停下来吧，这个也能用我们的大斜边系统去改造快一些。”

吴俊说：“你的大斜边已经出现问题，还要来祸害我的机器？”

夏商卜说：“你的自动证明机的弱点是算的太慢，我们需要给他加快速度了。”