393章
最终,程诺还是没有拗住江里的苦苦请求,不情愿的答应参加半个月后的那场围棋比赛。
如果程诺能打进决赛的话,那需要耗时三天的时间。
不过幸好不用全天候的呆在那,调整一番的话,倒不会对程诺的安排产生较大的影响。
一想到一个月后举办的国际数学家大会,程诺就浑身激动!
虽说菲涅尔教授给程诺放了三天的假期,但开学报到第二天,程诺就回归办公室。
“怎么,不多休息几天了?”办公室内,菲涅尔教授笑着问程诺道。
程诺摇头,“不用了,我现在干劲十足。教授,有什么我力所能及的任务,请尽情交给我去做吧!”
程诺昂着头,那副模样,完全是一副尽情拿项目任务来蹂躏我的样子。
这次轮到菲涅尔教授不淡定了。
是不是前段时间安排给程诺的任务太多,压力太大,把这个孩子弄得变成抖M了。
菲涅尔教授站起来,脸上露出罕见的和蔼笑容,“程诺同学啊,我们现在这个项目的时间还算是充裕,两个月的期限,现在才过去半个月不到,我们已经完成三分之一的进度。你不用太过劳累自己,两天后,再回来分配给你任务!”
听完这话,程诺更急了。
确实,以目前的进度来说,两个月的期限内完成这个项目由很大的把握。但问题是,一个月后,他和菲涅尔教授都要离开十多天的时间。
赫尔学长,明显又不是那种一个人就能撑起一个大工程的助理。
故此,必须要加快课题的进度啊,否则到那时菲涅尔教授硬叫自己留在实验室怎么办?
无论怎样,程诺都不想缺席这次数学界盛宴。
程诺的神色陡然变得严肃,“教授,你和赫尔学长都奋斗在科研的第一线,为了项目尽早完工可以废寝忘食,而我作为项目组的一员,又怎能独自悠闲。请您允许我,投入到伟大的科研事业的研究中!”
程诺都这么说了,菲涅尔教授还能怎样。只得先分配给程诺一个中等难度的任务。
程诺领了任务,美滋滋的离去。
菲涅尔看着程诺哼着小曲离去的背影,目光中透露出浓浓的担忧。
…………
任务强度比之前增加了不少,但程诺却显得干劲十足。
在前方数学家大会的诱惑下,程诺自然是把百分之一百二的精力,都透露到项目的研究中。
如果能顺利在一个月的时间内搞定该课题,想要向菲涅尔教授申请一个十天的假期,应该不成问题吧!
在说下一下目前这个关于黎曼流形课题的进度。
第一阶段的任务基本完成,关于基础概念,Fritz John必要最优性条件和Lipschitz函数的关系推导,以及Lipschitz函数的性质等问题已全部得出。
现在进行的是第二阶段。
早在赫尔和菲涅尔教授在攻克第一阶段时,程诺由于工作进度太超前,已经完成一部分第二阶段的内容。他今天拿到的新任务,依旧是属于第二阶段的内容。
关于黎曼流形上Lipsehitz函数的广义梯度问题,他需要根据第一阶段的内容,推导出诸多定理。
这是第二阶段最为核心的两个任务之一。
其中那个高难度的菲涅尔教授留给自己做,那次一级难度就落到了程诺头上。
面对这个任务,程诺倒是没有像之前那个任务刚开始时毫无头绪的感觉,但他的心情也称不上有多轻松。
因为这个任务,在复杂度方面,恐怕是他之前做过的三个任务的总和还要多。
他要做好持久作战的准备。
定理的推导当然不是天马行空的公式叠加,首先第一步,是确定需要定理的大概内容,再进行循序渐进的公式推导。
在草稿纸上唰唰唰计算了好一阵,才打开一个文档,在键盘上噼里啪啦的打字。
【定理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:……】
每一个定理后面,都附带一大堆的证明步骤。
这是一个相当庞大的工作量,程诺也还没有狂妄到想一两天的时间就能搞定。
忙碌碌一天一天,每天都面对那枯燥无比的公式字符,程诺却乐此不疲。
十天后,程诺将总共推导出的二十四个定理和其证明步骤,打包发给菲涅尔教授,随后很自觉的,向他要了下一阶段的工作。
又是一个五天后,程诺接到的新任务完成了才一半不到,就被江里紧急召唤到麻省理工学院棋牌社的总部。
“我记得明天是开赛的日子,我会准时去的,这个就不用你再三提醒我了。”程诺坐在椅子上,对如今的棋牌社社长江里说道。
“我这么着急找你来,所说的并不是这个。”江里苦笑道。
“那是什么事?”
“我刚刚从这次比赛组委会那边得到消息,这届围棋大赛,将会有一位特殊的选手参加!”
“特殊的选手?那是谁?”
“阿尔法零!”
“机器人?!这特么简直就是作弊啊!”
江里耸肩,“没办法,阿尔法零刚研发出来不久,虽然击败了阿尔法狗,但研发组的人还想让阿尔法零多参加几场与人类的比赛,来检测它的性能。”
“那岂不是说,这次比赛的冠军已经内定了呗。”程诺呵呵一笑,“不过没多大关系,你让我参加比赛又不是奔着冠军去的,用不到这么伤心。”
“只不过,不知道是哪个倒霉人,第一轮会碰到那个机器人。”
“呃……”江里犹豫一下,“我有一个忧伤的消息,你要不要听。”
“你讲。”程诺道。
“你口中说的那个倒霉人,就是你自己。”江里开口说道,“对阵表已经出来,你第一轮的对手,就是机器人阿尔法零。”
程诺:“……”
这,还真是一个忧伤的故事!
………………
PS:虽然有些老套,但我还是要说,祝各位中秋节牛逼!!