第三百九十三章 項目進度（2/2）

因為這個任務，在複雜度方面，恐怕是他之前做過的三個任務的總和還要多。

他要做好持久作戰的準備。

定理的推導當然不是天馬行空的公式疊加，首先第一步，是確定需要定理的大概內容，再進行循序漸進的公式推導。

在草稿紙上唰唰唰計算了好一陣，才打開一個文檔，在鍵盤上噼里啪啦的打字。

【定理1：設函數．r：m-r在點工∈m附近滿足局部lipschitz條件，（u，φ）是包含點z的坐標卡，在點z處沿方向v∈lm的廣義方向導數定義為：

f（x，v）=lim（y→φ（x））supf*φ^（-1）（y+tφx（v））-f*φ^（-1）（y）/t=（f*φ^（-1））（φ（x）；φ*x（v）.】

【定理2：設映射f：m-r在點z∈m附近滿足局部lipschitz條件．則

（i）映射f*φ^（-1）（y）：m→r是有限的、正齊次、次可加的，並全滿足-f（x，v）≤l-v-

（ii）f（x，v）作為v的函數在txm滿足lipschitz條件

（iii）f（x，-v）=-f（x，v）

（iv）……】

【定理3：……】

每一個定理後面，都附帶一大堆的證明步驟。

這是一個相當龐大的工作量，程諾也還沒有狂妄到想一兩天的時間就能搞定。

忙碌碌一天一天，每天都面對那枯燥無比的公式字符，程諾卻樂此不疲。

十天後，程諾將總共推導出的二十四個定理和其證明步驟，打包發給菲涅爾教授，隨後很自覺的，向他要了下一階段的工作。

又是一個五天後，程諾接到的新任務完成了才一半不到，就被江里緊急召喚到麻省理工學院棋牌社的總部。

「我記得明天是開賽的日子，我會準時去的，這個就不用你再三提醒我了。」程諾坐在椅子上，對如今的棋牌社社長江里說道。

「我這麼著急找你來，所說的並不是這個。」江里苦笑道。

「那是什麼事？」

「我剛剛從這次比賽組委會那邊得到消息，這屆圍棋大賽，將會有一位特殊的選手參加！」

「特殊的選手？那是誰？」

「阿爾法零！」

「機器人？！這特麼簡直就是作弊啊！」

江里聳肩，「沒辦法，阿爾法零剛研發出來不久，雖然擊敗了阿爾法狗，但研發組的人還想讓阿爾法零多參加幾場與人類的比賽，來檢測它的性能。」

「那豈不是說，這次比賽的冠軍已經內定了唄。」程諾呵呵一笑，「不過沒多大關係，你讓我參加比賽又不是奔著冠軍去的，用不到這麼傷心。」

「只不過，不知道是哪個倒霉人，第一輪會碰到那個機器人。」

「呃……」江里猶豫一下，「我有一個憂傷的消息，你要不要聽。」

「你講。」程諾道。

「你口中說的那個倒霉人，就是你自己。」江里開口說道，「對陣表已經出來，你第一輪的對手，就是機器人阿爾法零。」

程諾：「……」

這，還真是一個憂傷的故事！

………………