第126章 算我的
第126章 算我的 (第2/3页)
「货源紧缺，市级医院的单子要绝对优先，然後是连锁大药房，最後才是下面县城的小诊所，而且不能把小诊所全断了，得留个百分之十的底仓给他们按比例分。」
陈拙安静地听完，没有插话。
「陆嘉写统筹算法的时候，用的是嵌套循环。」
楚戈揉了揉太阳穴，有点头疼。
「如果来的是医院订单，走路线A，查库存，扣减，如果是药房，走路线B，查库存，按比例扣减，逻辑上没毛病。」楚戈顿了顿，脸色变得很难看。
「但是今天晚上交工，我跟陆嘉倒了三万条模拟数据进去做压力测试，三万个订单带着不同的优先级标签同时挤进来，那些IF和Else的条件判断套了五六层。伺服器要在後把这几万个订单反覆遍历，比对，排序。」
「然後呢？」陈拙问。
「然後CPU占用率直接飙到百分之百，内存吃满，机箱风扇转得快冒烟了，系统死机。」楚戈靠在椅背上。
「这算法的时间复杂度太高了，我和陆嘉在对面调了一下午的参数，怎麽改最後都是死循环，老板说今晚必须看到跑通，要是扛不住这三万条并发，万把块钱的尾款就没了。」
楚戈说完，眼巴巴地看着陈拙。
「拙哥，你脑子好使，数学底子厚，你帮着捋捋，这底层逻辑到底是哪出毛病了？」
陈拙坐在椅子上，目光落在桌面的那本《朗道》上，静静地思考了几秒钟。
他听懂了。
楚戈和陆嘉遇到的问题，在於他们试图用最直接，最笨重的穷举法去走迷宫。
在数据量小的时候，挨个判断身份，排队，分配，计算机算得过来。
但数据量一旦呈指数级爆发，嵌套循环就会变成一个计算黑洞。
这和他之前看普林斯顿团队那篇论文时遇到的死结，在纯逻辑上是同构的。
德里安的团队试图用连续的时空微积分去跨越奇点，结果遇到了发散，楚戈他们试图用线性的条件判断去处理庞大的交叉订单，结果遇到了内存溢出。陈拙点了点头。
「思路从一开始就偏了。」
陈拙语气平稳。
楚戈愣住了，半张着嘴。
「偏了？按条件判断分配，这不是编程书上教的最稳妥的统筹方法吗？」
陈拙没急着解释。
他伸手把刚才那张写满了物理推导公式的草稿纸拿了过来。
他看了一眼纸面上密密麻麻的算式，那是刚刚补全的朗道理论，陈拙很自然地把纸翻了个面，露出印着废弃C语言代码的那一面。这上面的代码行距很宽，中间有很多留白的区域。
在空白处，用钢笔轻轻点了一个黑色的墨点。
「你们把这些订单当成了排队买票的人。」
陈拙一边画，一边说。
「队伍太长，你们就在检票口设了三个不同的通道，每过来一个人，你们都要问一遍：你是哪里的？然後再决定让他走哪个通道，人一多，检票口就彻底堵死楚戈凑近了点，盯着陈拙笔尖下那个黑点。
「那不排队怎麽分？」楚戈问。
陈拙在那个黑点旁边，又画了几个相隔很远的黑点，然後用直线把它们连接起来。
「当成一个个独立的状态节点。」
陈拙手腕微转，在纸上画出了一个二分图的结构，而不是楚戈说的树状分支。
「放弃线性遍历的思维，把医院、药房、诊所，直接抽象成带有不同权重的代数点，把现有的库存物资，也抽象成一个集合。」陈拙在纸上的空白处，快速写下几个离散数学里的基础变量，然後套用了一个极简的矩阵映射公式。「在这个离散矩阵里，不需要去问如果，订单进来，自带权重值，医院是3，药房是2，诊所是1，直接让订单矩阵和库存矩阵做乘法映射，权重高的，自然优先匹配到库存节点。」
陈拙在公式末尾补了一笔。
「如果库存节点归零，它在矩阵里就失效了，後续的映射自动跳过，所有的判断都在一步矩阵运算里完成，而不是去跑几万次的嵌套循环。」写完最後一行，陈拙把草稿纸推到楚戈面前。
楚戈低头盯着纸上那个清晰的矩阵结构，他的大脑在迅速把这些数学符号翻译成自己熟悉的资料库语言。楚戈虽然数学底子没有陈拙他们那麽好，但毕竟还是能混进科大少年班这种地方待着，逻辑理解能力还勉强算是一流的。看了大概半分钟。
「我...」
楚戈猛地擡起头，眼睛里刚才那种颓废感一扫而空，取而代之的是一种豁然开朗的亮光。
「哈希表映射加权重排序....」楚戈看着陈拙。
「把所有的条件判断提前转化为键值权重，然後直接做集合映射，这样一来，伺服器根本不需要去逐条比对，它只做一次整体的代数运算！」「嗯。」
陈拙把钢笔放下。
「运算量起码能降几个数量级，再多的模拟数据冲进来，也就是矩阵的维度变大了一点，CPU不会满载。」楚戈一把抓起桌上那张草稿纸，就像抓着一张救命的支票。
他连看都
（本章未完，请点击下一页继续阅读）