第152章 一次一块钱？（1/2）

因为这是数学定理，不是工程技巧，定理一旦被证明，就是永恆真理，任何自动推理系统，想做到高效、长程、无幻觉，最终都必须回到这个新出来的几何结构上。

不用就会落后一代，甚至是几代。

想用，那就必须来找自己。

至於说想偷？

叶清河相信没有那个公司会这么做，这个东西引发的全球诉讼就够他们喝一壶的了。

可以说，解出的不是一道数学题。

而是定义了下一代人工智慧的整个宇宙。

所有想要进入这个宇宙的公司，都要向解出者购买入场券。

只是，这个东西他还需要一些时间，不过他相信凭藉数学达人的能力，他只要补上一些知识，就可能把这个问题解出来，然后拿到全球顶尖期刊上，把它彻底变成自己的东西。

而想要拿出这个，並且让这个东西能够让人相信它是自己解出来的，叶清河要学的东西就太多了。

数理逻辑，证明论，类型论，递归论。

范畴论，高价范畴，抽象代数，代数拓朴。

点集拓朴，微分几何，泛函分析，凸几何，最优传输，度量几何。

可以说，想要解决这个问题，必须同时站在逻辑，代数，几何，计算四大领域的最顶端。

现在他只是有计算这一顶尖能力，他需要补齐其他几个领域的能力。

好在他有过目不忘的能力，还有意识空间可以让他实现外界一秒、內里时间无限长。

补齐也只是个时间问题。

最近这些天，在解决设计院问题的过程中，他在拓扑学方面已经有了非常高的造诣。

不过，在解决这个问题之前，他准备先解决掉物流公司的问题。

这个问题就简单多了，是一个全国性的物流集团的问题，他们有n个仓库分布在全国，有m种车型（载重不同，油耗不同，限行不同），有k个客户点，每个客户有收货时间窗（只能9：00－11：00收，晚了拒收），需要量不是固定值，是隨机变量（服从某种概率分布），每辆车有最大载重，有最大行驶里程，有不同城市限行规则，路网路况实时隨机波动（拥堵，事故，封路，天气）。

问题的目標是，在满足所有约束的前提下，安排所有车辆的出发时间、路线和装载量，使得总成本（油耗＋人工＋超时罚款＋仓储＋空载损失）最小。

这个问题的难点是，这不是一个静態问题，是动態隨机问题，需求、路况、时间、限行全是隨机变量，普通算法一跑就崩，必须用概率规划＋隨机最优控制。

另外，这个问题的约束多到爆炸，时间窗、载重、量程、车型、仓库、限行、客户优先级....

这是np－hard里的顶级难度，理论上没有多项式解法。

还有就是规模，这是百万级变量，全国几万个网点，几千量车，变量维度高达百万甚至千万，超级计算机都跑不动。

最后一点，就是必须实时更新，每5分钟路况一变，路线就要重算，要在线实时最优决策。

这个问题，他最近也在想办法解决，相对於人工智慧的问题，他倒是有了一些想法。

“等这次录製结束就让这个物流公司的人过来一趟吧？”