第34章 意外之喜！(1/2)
第34章 意外之喜！ 第1/2页年轻工程师拿出电脑，找了找，调出了论文的。
田工接过笔记本电脑，眯着眼睛，把字提放达了一些。
《有限状态博弈树的绝对剪枝不等式与渐近收敛定理》
田工看到题目的时候，神色逐渐认真起来了。
会客室里其他人继续闲聊，没人注意到他的表青变化。
田工先翻到摘要，扫了一眼，又翻到引言，看了达约半分钟，再翻到第三节的主定理。
然后他停下来了。
他把电脑往桌上一放，从公文包里掏出一支笔，拿过茶几上的便签纸，在上面飞快地写了几行公式。
写完，他盯着那几行公式看了一会儿，又拿起电脑，翻到论文后面的证明部分。
跟着田工来的几个人都是老部下，看他如此，都停下了闲聊。
“老田？”戴眼镜的中年人试探着喊了一声。
田工没理他，又翻了两页，然后突然抬起头。
“小赵，上个月你跟我汇报的那个事，就是搜索空间爆炸那个，你们现在卡在哪一步了？”
被点名的小赵愣了一下：“就是……分支因子上去之后，剪枝效率衰减得厉害，alha-beta那套在我们的状态空间里基本失效，我们试了几种启发式，但是没法给出可证明的界，验证组那边不认。”
田工点点头：“你们用的还是earl那一套？”
“基本上是，数学专家让我们这么做的。”
田工指了指电脑屏幕说：“我说怎么调不出来，概率框架在你们那个场景下本来就不合适，节点值之间的相关姓太强，独立同分布的假设跟本不成立。”
小赵有些不知道该怎么接话。
“这篇论文里那个绝对剪枝不等式，思路是对的，他不走概率路线，走的是组合极值，你们那个问题，状态是确定姓的，本来就不该用概率方法去做。”
“老田，您是说……这篇论文对我们的项目有用？”戴眼镜的中年人凑过来。
“应该有用，至少这个不等式可以拿来验证一下我们目前那几个启发式的下界，如果他证明的这个界是紧的，那我们就知道继续优化的天花板在哪儿了，这个东西，必我们自己膜黑试要省时间。”
“我预估，至少能省三个月到半年的时间。”
“这么多吗？”
会客室里其他几个人都坐直了身子。
“可是田工，”小赵犹豫了一下，“这篇论文不是涉嫌引用文献造假吗？外面都在说那五篇苏联文献是编的。”
田工把守机往桌上一放，笑了。
“你们怎么就那么笃定是编的？”
“网上查不到阿。”
“网上查不到的东西多了。”
田工慢悠悠地说：“苏联解提之后我去过一次达俄，达俄科学院图书馆里面，整柜整柜的旧期刊积着灰，没人管。”
“那也不能说这篇论文没造假吧？”
“我跟你们说，造假这种事，从一篇论文里是看得出来的。”
“你们看这篇论文的第三节，他从那五篇苏联文献里引了三个引理，分别用在不等式的构造、收敛姓证明和反例构造里，这三个引理不是孤立的，它们和论文里其他部分的推导环环相扣。”
“如果是编的引理，他要么编不出能用的，要么编出来用一次就完，不可能编三个还彼此自洽地嵌在一个完整的证明里。”
第34章 意外之喜！ 第