第152章 一次一块钱？(1/2)
因为这是数学定理，不是工程技巧，定理一旦被证明，就是永恒真理，任何自动推理系统，想做到高效、长程、无幻觉，最终都必须回到这个新出来的几何结构上。
不用就会落后一代，甚至是几代。
想用，那就必须来找自己。
至于说想偷？
叶清河相信没有那个公司会这么做，这个东西引发的全球诉讼就够他们喝一壶的了。
可以说，解出的不是一道数学题。
而是定义了下一代人工智能的整个宇宙。
所有想要进入这个宇宙的公司，都要向解出者购买入场券。
只是，这个东西他还需要一些时间，不过他相信凭借数学达人的能力，他只要补上一些知识，就可能把这个问题解出来，然后拿到全球顶尖期刊上，把它彻底变成自己的东西。
而想要拿出这个，并且让这个东西能够让人相信它是自己解出来的，叶清河要学的东西就太多了。
数理逻辑，证明论，类型论，递归论。
范畴论，高价范畴，抽象代数，代数拓朴。
点集拓朴，微分几何，泛函分析，凸几何，最优传输，度量几何。
可以说，想要解决这个问题，必须同时站在逻辑，代数，几何，计算四大领域的最顶端。
现在他只是有计算这一顶尖能力，他需要补齐其他几个领域的能力。
好在他有过目不忘的能力，还有意识空间可以让他实现外界一秒、内里时间无限长。
补齐也只是个时间问题。
最近这些天，在解决设计院问题的过程中，他在拓扑学方面已经有了非常高的造诣。
不过，在解决这个问题之前，他准备先解决掉物流公司的问题。
这个问题就简单多了，是一个全国性的物流集团的问题，他们有N个仓库分布在全国，有m种车型（载重不同，油耗不同，限行不同），有K个客户点，每个客户有收货时间窗（只能9：00－11：00收，晚了拒收），需要量不是固定值，是随机变量（服从某种概率分布），每辆车有最大载重，有最大行驶里程，有不同城市限行规则，路网路况实时随机波动（拥堵，事故，封路，天气）。
问题的目标是，在满足所有约束的前提下，安排所有车辆的出发时间、路线和装载量，使得总成本（油耗＋人工＋超时罚款＋仓储＋空载损失）最小。
这个问题的难点是，这不是一个静态问题，是动态随机问题，需求、路况、时间、限行全是随机变量，普通算法一跑就崩，必须用概率规划＋随机最优控制。
另外，这个问题的约束多到爆炸，时间窗、载重、量程、车型、仓库、限行、客户优先级....
这是NP－hard里的顶级难度，理论上没有多项式解法。
还有就是规模，这是百万级变量，全国几万个网点，几千量车，变量维度高达百万甚至千万，超级计算机都跑不动。
最后一点，就是必须实时更新，每5分钟路况一变，路线就要重算，要在线实时最优决策。
这个问题，他最近也在想办法解决，相对于人工智能的问题，他倒是有了一些想法。
“等这次录制结束就让这个物流公司的人过来一趟吧？”
叶清河想了想，觉得再有几天，他解出这个问题应该不成问题。
不过，对方是要来京城，还是希望他们过去，他并不知道，他想了想，还是发了个消息把叶大力叫了过来。
“爸，这个物流的问题，我觉得差不多了，他们是要求我们过去，还是说他们来找我们？”
“这个得我们过去，他们找的并不只有我们一家公司，这个问题也算是行业难题了，比人工智能那个也不算差，虽然有黄总的面子，但是对方的体量太大了，所以只能是我们过去。”
叶大力回道。
“不过，这个问题，你真的能解决么？”
这个公司是黄总介绍的没错，但是这个问题对方也算是半公开悬赏的问题。
不止一家公司在想办法解决这个问题，一般的公司连接触这个问题的资格都没有，要不是有黄跃辉，他们这种新成立、连五个人都凑不齐的公司，根本不可能接触到这个问题。
叶大力也只是试试，并没有真想过叶清河能真的解决。
“他们给多少钱？”
这个问题可跟之前解决的那些问题不一样，解决了，带来的现实收益那是以亿为单位来计算的。
“1000万现金直接给，还有年度算法分成，也就是每年物流成本节约额的百分之二，另外，还有0.8％的原始股，还有什么集团终身首席科学家，加全球供应链总顾问，据说年薪就得1200万，还愿意成立专属研究院，预算无上限等等。
不过，这个事情可不是开玩笑的，你真的能解决么？”
物流公司给出的报酬是非常丰厚的，丰厚到叶大力说一个声音就低了几分
本章未完，请点击下一页继续阅读》》
不用就会落后一代，甚至是几代。
想用，那就必须来找自己。
至于说想偷？
叶清河相信没有那个公司会这么做，这个东西引发的全球诉讼就够他们喝一壶的了。
可以说，解出的不是一道数学题。
而是定义了下一代人工智能的整个宇宙。
所有想要进入这个宇宙的公司，都要向解出者购买入场券。
只是，这个东西他还需要一些时间，不过他相信凭借数学达人的能力，他只要补上一些知识，就可能把这个问题解出来，然后拿到全球顶尖期刊上，把它彻底变成自己的东西。
而想要拿出这个，并且让这个东西能够让人相信它是自己解出来的，叶清河要学的东西就太多了。
数理逻辑，证明论，类型论，递归论。
范畴论，高价范畴，抽象代数，代数拓朴。
点集拓朴，微分几何，泛函分析，凸几何，最优传输，度量几何。
可以说，想要解决这个问题，必须同时站在逻辑，代数，几何，计算四大领域的最顶端。
现在他只是有计算这一顶尖能力，他需要补齐其他几个领域的能力。
好在他有过目不忘的能力，还有意识空间可以让他实现外界一秒、内里时间无限长。
补齐也只是个时间问题。
最近这些天，在解决设计院问题的过程中，他在拓扑学方面已经有了非常高的造诣。
不过，在解决这个问题之前，他准备先解决掉物流公司的问题。
这个问题就简单多了，是一个全国性的物流集团的问题，他们有N个仓库分布在全国，有m种车型（载重不同，油耗不同，限行不同），有K个客户点，每个客户有收货时间窗（只能9：00－11：00收，晚了拒收），需要量不是固定值，是随机变量（服从某种概率分布），每辆车有最大载重，有最大行驶里程，有不同城市限行规则，路网路况实时随机波动（拥堵，事故，封路，天气）。
问题的目标是，在满足所有约束的前提下，安排所有车辆的出发时间、路线和装载量，使得总成本（油耗＋人工＋超时罚款＋仓储＋空载损失）最小。
这个问题的难点是，这不是一个静态问题，是动态随机问题，需求、路况、时间、限行全是随机变量，普通算法一跑就崩，必须用概率规划＋随机最优控制。
另外，这个问题的约束多到爆炸，时间窗、载重、量程、车型、仓库、限行、客户优先级....
这是NP－hard里的顶级难度，理论上没有多项式解法。
还有就是规模，这是百万级变量，全国几万个网点，几千量车，变量维度高达百万甚至千万，超级计算机都跑不动。
最后一点，就是必须实时更新，每5分钟路况一变，路线就要重算，要在线实时最优决策。
这个问题，他最近也在想办法解决，相对于人工智能的问题，他倒是有了一些想法。
“等这次录制结束就让这个物流公司的人过来一趟吧？”
叶清河想了想，觉得再有几天，他解出这个问题应该不成问题。
不过，对方是要来京城，还是希望他们过去，他并不知道，他想了想，还是发了个消息把叶大力叫了过来。
“爸，这个物流的问题，我觉得差不多了，他们是要求我们过去，还是说他们来找我们？”
“这个得我们过去，他们找的并不只有我们一家公司，这个问题也算是行业难题了，比人工智能那个也不算差，虽然有黄总的面子，但是对方的体量太大了，所以只能是我们过去。”
叶大力回道。
“不过，这个问题，你真的能解决么？”
这个公司是黄总介绍的没错，但是这个问题对方也算是半公开悬赏的问题。
不止一家公司在想办法解决这个问题，一般的公司连接触这个问题的资格都没有，要不是有黄跃辉，他们这种新成立、连五个人都凑不齐的公司，根本不可能接触到这个问题。
叶大力也只是试试，并没有真想过叶清河能真的解决。
“他们给多少钱？”
这个问题可跟之前解决的那些问题不一样，解决了，带来的现实收益那是以亿为单位来计算的。
“1000万现金直接给，还有年度算法分成，也就是每年物流成本节约额的百分之二，另外，还有0.8％的原始股，还有什么集团终身首席科学家，加全球供应链总顾问，据说年薪就得1200万，还愿意成立专属研究院，预算无上限等等。
不过，这个事情可不是开玩笑的，你真的能解决么？”
物流公司给出的报酬是非常丰厚的，丰厚到叶大力说一个声音就低了几分