393章
最終,程諾還是沒有拗住江里的苦苦請求,不情願的答應參加半個月後的那場圍棋比賽。
如果程諾能打進決賽的話,那需要耗時三天的時間。
不過幸好不用全天候的呆在那,調整一番的話,倒不會對程諾的安排產生較大的影響。
一想到一個月後舉辦的國際數學家大會,程諾就渾身激動!
雖說菲涅爾教授給程諾放了三天的假期,但開學報到第二天,程諾就回歸辦公室。
「怎麼,不多休息幾天了?」辦公室內,菲涅爾教授笑著問程諾道。
程諾搖頭,「不用了,我現在幹勁十足。教授,有什麼我力所能及的任務,請盡情交給我去做吧!」
程諾昂著頭,那副模樣,完全是一副盡情拿項目任務來蹂躪我的樣子。
這次輪到菲涅爾教授不淡定了。
是不是前段時間安排給程諾的任務太多,壓力太大,把這個孩子弄得變成抖m了。
菲涅爾教授站起來,臉上露出罕見的和藹笑容,「程諾同學啊,我們現在這個項目的時間還算是充裕,兩個月的期限,現在才過去半個月不到,我們已經完成三分之一的進度。你不用太過勞累自己,兩天後,再回來分配給你任務!」
聽完這話,程諾更急了。
確實,以目前的進度來說,兩個月的期限內完成這個項目由很大的把握。但問題是,一個月後,他和菲涅爾教授都要離開十多天的時間。
赫爾學長,明顯又不是那種一個人就能撐起一個大工程的助理。
故此,必須要加快課題的進度啊,否則到那時菲涅爾教授硬叫自己留在實驗室怎麼辦?
無論怎樣,程諾都不想缺席這次數學界盛宴。
程諾的神色陡然變得嚴肅,「教授,你和赫爾學長都奮鬥在科研的第一線,為了項目儘早完工可以廢寢忘食,而我作為項目組的一員,又怎能獨自悠閒。請您允許我,投入到偉大的科研事業的研究中!」
程諾都這麼說了,菲涅爾教授還能怎樣。只得先分配給程諾一個中等難度的任務。
程諾領了任務,美滋滋的離去。
菲涅爾看著程諾哼著小曲離去的背影,目光中透露出濃濃的擔憂。
…………
任務強度比之前增加了不少,但程諾卻顯得幹勁十足。
在前方數學家大會的誘惑下,程諾自然是把百分之一百二的精力,都透露到項目的研究中。
如果能順利在一個月的時間內搞定該課題,想要向菲涅爾教授申請一個十天的假期,應該不成問題吧!
在說下一下目前這個關於黎曼流形課題的進度。
第一階段的任務基本完成,關於基礎概念,fritzjohn必要最優性條件和lipshitz函數的關係推導,以及lipshitz函數的性質等問題已全部得出。
現在進行的是第二階段。
早在赫爾和菲涅爾教授在攻克第一階段時,程諾由於工作進度太超前,已經完成一部分第二階段的內容。他今天拿到的新任務,依舊是屬於第二階段的內容。
關於黎曼流形上lipsehitz函數的廣義梯度問題,他需要根據第一階段的內容,推導出諸多定理。
這是第二階段最為核心的兩個任務之一。
其中那個高難度的菲涅爾教授留給自己做,那次一級難度就落到了程諾頭上。
面對這個任務,程諾倒是沒有像之前那個任務剛開始時毫無頭緒的感覺,但他的心情也稱不上有多輕鬆。
因為這個任務,在複雜度方面,恐怕是他之前做過的三個任務的總和還要多。
他要做好持久作戰的準備。
定理的推導當然不是天馬行空的公式疊加,首先第一步,是確定需要定理的大概內容,再進行循序漸進的公式推導。
在草稿紙上唰唰唰計算了好一陣,才打開一個文檔,在鍵盤上噼里啪啦的打字。
【定理1::m-r在點工∈m附近滿足局部lipshitz條件,(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附近滿足局部lipshitz條件.則
(i)映射f*φ^(-1)(y):m→r是有限的、正齊次、次可加的,並全滿足f(x,v)≤lv
(ii)f(x,v)作為v的函數在txm滿足lipshitz條件
(iii)f(x,-v)=-f(x,v)
(iv)……】
【定理3:……】
每一個定理後面,都附帶一大堆的證明步驟。
這是一個相當龐大的工作量,程諾也還沒有狂妄到想一兩天的時間就能搞定。
忙碌碌一天一天,每天都面對那枯燥無比的公式字符,程諾卻樂此不疲。
十天後,程諾將總共推導出的二十四個定理和其證明步驟,打包發給菲涅爾教授,隨後很自覺的,向他要了下一階段的工作。
又是一個五天後,程諾接到的新任務完成了才一半不到,就被江里緊急召喚到麻省理工學院棋牌社的總部。
「我記得明天是開賽的日子,我會準時去的,這個就不用你再三提醒我了。」程諾坐在椅子上,對如今的棋牌社社長江里說道。
「我這麼著急找你來,所說的並不是這個。」江里苦笑道。
「那是什麼事?」
「我剛剛從這次比賽組委會那邊得到消息,這屆圍棋大賽,將會有一位特殊的選手參加!」
「特殊的選手?那是誰?」
「阿爾法零!」
「機器人?!這特麼簡直就是作弊啊!」
江里聳肩,「沒辦法,阿爾法零剛研發出來不久,雖然擊敗了阿爾法狗,但研發組的人還想讓阿爾法零多參加幾場與人類的比賽,來檢測它的性能。」
「那豈不是說,這次比賽的冠軍已經內定了唄。」程諾呵呵一笑,「不過沒多大關係,你讓我參加比賽又不是奔著冠軍去的,用不到這麼傷心。」
「只不過,不知道是哪個倒霉人,第一輪會碰到那個機器人。」
「呃……」江里猶豫一下,「我有一個憂傷的消息,你要不要聽。」
「你講。」程諾道。
「你口中說的那個倒霉人,就是你自己。」江里開口說道,「對陣表已經出來,你第一輪的對手,就是機器人阿爾法零。」
程諾:「……」
這,還真是一個憂傷的故事!
………………
ps:雖然有些老套,但我還是要說,祝各位中秋節牛逼!!