年輕工程師拿出電腦,找了找,調出了論文的PDF。
田工接過筆記型電腦,眯著眼睛,把字型放大了一些。
《有限狀態博弈樹的絕對剪枝不等式與漸近收斂定理》
田工看到題目的時候,神色逐漸認真起來了。
會客室裡其他人繼續閒聊,沒人注意到他的表情變化。
田工先翻到摘要,掃了一眼,又翻到引言,看了大約半分鐘,再翻到第三節的主定理。
然後他停下來了。
他把電腦往桌上一放,從公文包裡掏出一支筆,拿過茶几上的便籤紙,在上面飛快地寫了幾行公式。
寫完,他盯著那幾行公式看了一會兒,又拿起電腦,翻到論文後面的證明部分。
跟著田工來的幾個人都是老部下,看他如此,都停下了閒聊。
「老田?」戴眼鏡的中年人試探著喊了一聲。
田工沒理他,又翻了兩頁,然後突然抬起頭。
「小趙,上個月你跟我彙報的那個事,就是搜尋空間爆炸那個,你們現在卡在哪一步了?」
被點名的小趙愣了一下:「就是……分支因子上去之後,剪枝效率衰減得厲害,alpha-beta那套在我們的狀態空間裡基本失效,我們試了幾種啟發式,但是沒法給出可證明的界,驗證組那邊不認。」
田工點點頭:「你們用的還是Pearl那一套?」
「基本上是,數學專家讓我們這麼做的。」
田工指了指電腦螢幕說:「我說怎麼調不出來,機率框架在你們那個場景下本來就不合適,節點值之間的相關性太強,獨立同分布的假設根本不成立。」
小趙有些不知道該怎麼接話。
「這篇論文裡那個絕對剪枝不等式,思路是對的,他不走機率路線,走的是組合極值,你們那個問題,狀態是確定性的,本來就不該用機率方法去做。」
「老田,您是說……這篇論文對我們的專案有用?」戴眼鏡的中年人湊過來。
「應該有用,至少這個不等式可以拿來驗證一下我們目前那幾個啟發式的下界,如果他證明的這個界是緊的,那我們就知道繼續最佳化的天花板在哪兒了,這個東西,比我們自己摸黑試要省時間。」
「我預估,至少能省三個月到半年的時間。」
「這麼多嗎?」
會客室裡其他幾個人都坐直了身子。
「可是田工,」小趙猶豫了一下,「這篇論文不是涉嫌引用文獻造假嗎?外面都在說那五篇蘇聯文獻是編的。」
田工把手機往桌上一放,笑了。
「你們怎麼就那麼篤定是編的?」
「網上查不到啊。」
」。了多西東的到不查上網「
」。管人沒,灰著積刊期舊的櫃整櫃整,面裡館書圖院學科俄大,俄大次一過去我後之解聯蘇「:說地悠悠慢工田
」?吧假造沒文論篇這說能不也那「
」。的來出得看是裡文論篇一從,事種這假造,說們你跟我「
」。扣相環環導推的分部他其裡文論和們它,的立孤是不理引個三這,裡造構例反和明證斂收。造構的式等不在用別分,理引個三了引裡獻文聯蘇篇五那從他,節三第的文論篇這看們你「
」。裡明證的整完個一在嵌地洽自此彼還個三編能可不,完就次一用來出編麼要,的用能出不編麼要他,理引的編是果如「
」。系譜個一麼這來出不編人的話瞎編,的流源派學有是,起一在串字名些這,析分值極的論弈博攻主,人撥一那學大立國科斯莫代年十七是個三後,的構結合組做,徒師對那的樹LVA搞是個兩前,字名個五那的用引他說再「
」?了圓造給都景背作工的代年十六斯迪蘭把到造能他,假造真是要,生學一大個一,尋搜鄰近,域領的關相不全完個一另在用人聯蘇被來后西東個那,象印有我,的來出推作工斯迪蘭從是,2。3理引個那頁七第裡文論他「








