还是在解方程。”
汪总嘴角微微上扬，没有接话，只是在旁边观察着漆昊。
几个人重新坐下后，气氛从寒暄转入正题。
蓝总从公文包里抽出一份打印好的论文，纸张上密密麻麻地做满了标注和批注，光是高亮的颜色就至少用了三种。
漆昊仔细一看，正是他写的那篇论文。
蓝总翻到论文的第五页，指着一个定理：“这个渐近收敛定理呢？我们的技术团队在这个地方讨论了很久，你证明了当博弈树的深度趋向无穷时，绝对剪枝的搜索复杂度渐近收敛到一个下界。”
“这个下界恰好是o(b{d/2})，和理想情况下完美排序的alpha-beta剪枝效率一样？”
“准确地说，是在一类满足局部一致性条件的博弈树上，我在论文里给出了局部一致性的严格定义，可以理解为子树的估值函数在局部邻域内满足lipschitz连续性。”
他拿过蓝总递来的笔，在论文空白处写下一行公式……
蓝总盯着那行公式看了一会儿，又翻到后面几页：“那你这个框架，目前是纯粹基于规则的博弈搜索，对吧？”
漆昊点头：“整篇论文讨论的都是确定性完全信息博弈下的搜索优化。”
蓝总看了一眼旁边的技术人员，那人立刻会意，接过话头：“漆昊同学，我是华记研究院搜索优化组的负责人，姓陈，你这篇论文我们组里逐行读过了，数学推导非常漂亮，没有任何疑议，但我们在实际应用中遇到了一个困境。”
“我们在做通信基站选址优化的时候，地形、遮挡、信号衰减、用户分布……这些变量之间的关系非常复杂，我们甚至写不出一个精确的估值函数。”
“没有估值函数，你论文里那套剪枝理论的前提就不成立了，所以我们想问的是，在估值函数本身不可知的情况下，你觉得搜索优化还有出路吗？”
漆昊没出声了。
这个问题正好戳在他理论框架的边界上。
他的一切推导，都建立在估值函数已知的假设之上，如果连估值函数都没有，还做什么？
“那你们现在是怎么做的？”漆昊没有直接回答，而是先反问了对方。
陈工苦笑了一下：“穷举加人工经验，工程师根据过去的项目经验手动设定一些规则，然后在候选方案里暴力搜索，效率很低，而且严重依赖老工程师的个人判断，人一走，经验就断了。”
“如果估