尔和菲涅尔教授在攻克第一阶段时,程诺由于工作进度太超前,已经完成一部分第二阶段的内容。他今天拿到的新任务,依旧是属于第二阶段的内容。
&esp;&esp;关于黎曼流形上lipsehitz函数的广义梯度问题,他需要根据第一阶段的内容,推导出诸多定理。
&esp;&esp;这是第二阶段最为核心的两个任务之一。
&esp;&esp;其中那个高难度的菲涅尔教授留给自己做,那次一级难度就落到了程诺头上。
&esp;&esp;面对这个任务,程诺倒是没有像之前那个任务刚开始时毫无头绪的感觉,但他的心情也称不上有多轻松。
&esp;&esp;因为这个任务,在复杂度方面,恐怕是他之前做过的三个任务的总和还要多。
&esp;&esp;他要做好持久作战的准备。
&esp;&esp;定理的推导当然不是天马行空的公式叠加,首先第一步,是确定需要定理的大概内容,再进行循序渐进的公式推导。
&esp;&esp;在草稿纸上唰唰唰计算了好一阵,才打开一个文档,在键盘上噼里啪啦的打字。
&esp;&esp;【定理1:设函数r:-r在点工∈附近满足局部lipschitz条件,(u,φ)是包含点z的坐标卡,在点z处沿方向v∈l的广义方向导数定义为:
&esp;&esp;f(x,v)=li(y→φ(x))supfφ(-1)(y+tφx(v))-fφ(-1)(y)/t=(fφ(-1))(φ(x);φx(v)】
&esp;&esp;【定理2:设映射f:-r在点z∈附近满足局部lipschitz条件则
&esp;&esp;(i)映射fφ(-1)(y):→r是有限的、正齐次、次可加的,并全满足|f(x,v)≤l|v|
&esp;&esp;(ii)f(x,v)作为v的函数在tx满足lipschitz条件
&esp;&esp;(iii)f(x,-v)=-f(x,v)
&esp;&esp;(iv)……】
&esp;&esp;【定理3:……】
&esp;&esp;每一个定理后面,都附带一大堆的证明步骤。
&esp;&esp;这是一个相当庞大的工作量,程诺也还没有狂妄到想一两天的时间就能搞定。
&esp;&esp;忙碌碌一天一天,每天都面对那枯燥无比的公式字符,程诺却乐此不疲。
&esp;&esp;十天后,程诺将总共推导出的二十四个定理和其证明步骤,打包发给菲涅尔教授,随后很自觉的,向他要了下一阶段的工作。
&esp;&esp;又是一个五天后,程诺接到的新任务完成了才一半不到,就被江里紧急召唤到麻省理工学院棋牌社的总部。
&esp;&esp;“我记得明天是开赛的日子,我会准时去的,这个就不用你再三提醒我了。”程诺坐在椅子上,对如今的棋牌社社长江里说道。
&esp;&esp;“我这么着急找你来,所说的并不是这个。”江里苦笑道。
&esp;&esp;“那是什么事?”
&esp;&esp;“我刚刚从这次比赛组委会那边得到消息,这届围棋大赛,将会有一位特殊的选手参加!”
&esp;&esp;“特殊的选手?那是谁?”
&esp;&esp;“阿尔法零!”
&esp;&esp;“机器人?!这特么简直就是作弊啊!”
&es