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