万能数据-第240部分
按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
关于黎曼流形上lipsehitz函数的广义梯度问题，他需要根据第一阶段的内容，推导出诸多定理。
这是第二阶段最为核心的两个任务之一。
其中那个高难度的菲涅尔教授留给自己做，那次一级难度就落到了程诺头上。
面对这个任务，程诺倒是没有像之前那个任务刚开始时毫无头绪的感觉，但他的心情也称不上有多轻松。
因为这个任务，在复杂度方面，恐怕是他之前做过的三个任务的总和还要多。
他要做好持久作战的准备。
定理的推导当然不是天马行空的公式叠加，首先第一步，是确定需要定理的大概内容，再进行循序渐进的公式推导。
在草稿纸上唰唰唰计算了好一阵，才打开一个文档，在键盘上噼里啪啦的打字。
【定理1设函数．r…r在点工∈附近满足局部lipschitz条件，u，φ是包含点z的坐标卡，在点z处沿方向v∈l的广义方向导数定义为
fx，v=liy→φxsupfφ…1y＋tφxv…fφ…1y/t=fφ…1φx；φxv】
【定理2设映射f…r在点z∈附近满足局部lipschitz条件．则
i映射fφ…1y→r是有限的、正齐次、次可加的，并全满足｜fx，v≤l｜v｜
iifx，v作为v的函数在tx满足lipschitz条件
iiifx，…v=…fx，v
iv……】
【定理3……】
每一个定理后面，都附带一大堆的证明步骤。
这是一个相当庞大的工作量，程诺也还没有狂妄到想一两天的时间就能搞定。
忙碌碌一天一天，每天都面对那枯燥无比的公式字符，程诺却乐此不疲。
十天后，程诺将总共推导出的二十四个定理和其证明步骤，打包发给菲涅尔教授，随后很自觉的，向他要了下一阶段的工作。
又是一个五天后，程诺接到的新任务完成了才一半不到，就被江里紧急召唤到麻省理工学院棋牌社的总部。
“我记得明天是开赛的日子，我会准时去的，这个就不用你再三提醒我了。”程诺坐在椅子上，对如今的棋牌社社长江里说道。
“我这么着急找你来，所说的并不是这个。”江里苦笑道。
“那是什么事？”
“我刚刚从这次比赛组委会那边得到消息，这届围棋大赛，将会有一位特殊的选手参加！”
“特殊的选手？那是谁？”
“阿尔法零！”
“机器人？！这特么简直就是作弊啊！”
江里耸肩，“没办法，阿尔法零刚研发出来不久，虽然击败了阿尔法狗，但研发组的人还想让阿尔法零多参加几场与人类的比赛，来检测它的性能。”
“那岂不是说，这次比赛的冠军已经内定了呗。”程诺呵呵一笑，“不过没多大关系，你让我参加比赛又不是奔着冠军去的，用不到这么伤心。”
“只不过，不知道是哪个倒霉人，第一轮会碰到那个机器人。”
“呃……”江里犹豫一下，“我有一个忧伤的消息，你要不要听。”
“你讲。”程诺道。
“你口中说的那个倒霉人，就是你自己。”江里开口说道，“对阵表已经出来，你第一轮的对手，就是机器人阿尔法零。”
程诺“……”
这，还真是一个忧伤的故事！
………………
ps虽然有些老套，但我还是要说，祝各位中秋节牛逼！！
。
第三百九十四章 决战到天亮（）
394章
程诺看了一下明天比赛的对阵表。他第一轮的对手，还真是机器人阿尔法零。
而且这届比赛的赛制淘汰赛。也就是说，只要输掉一轮，就要马上走人。
程诺心里苦啊！
他就是被赶鸭子上架参加一次围棋比赛，不求冠军，只要拿到个不算差的名次就好了。
可结果呢？第一轮就遇上阿尔法零这个变态到极致的选手。
那可是碾压过阿尔法狗的家伙！而阿尔法狗又曾经吊打过世界排名第一的围棋高手。
即便程诺再怎么自信，还没狂妄到碾压世界高手的程度。
好吧，这次本来打算拿出三天的时间参与这场围棋比赛。但现在看来，一天的时间就足够了。
一轮游，恐怕就是程诺注定的命运。
他扭头，默默的和江里的目光对视。程诺苦笑一下。
江里站起身，重重的拍拍程诺的肩膀，“明天，尽力而为吧！”
沉默几秒，程诺缓缓开口，“对战阿尔法零，赢我不敢保证，但我不会输的太惨！至于你的计划，只能等下次了。”
“没关系。”江里脸上倒没有太多难过的表情，“这么多年都过来了，不在乎这一两个月了。”
“明天，加油！”
“一定！”
…………
赛前准备对程诺没太多的必要。
程诺并没有太多围棋比赛的经验，和阿尔法零内部储存的几百万场对局数据相比更是小巫见大巫。
计算速度方面，程诺也说不准现在的他，和阿尔法零比起来，究竟孰强孰弱。
除了没有独立的思考能力之外，在围棋项目上机器比人类的优势简直不要太高。
况且，任何机器人还不是由人类制造的。
所以说，和机器人比较围棋的输赢，完全是一件没有意义的事情。
可这是大赛组委会安排的，程诺还能怎样，只能上去干了。
不要怂，就是干！
机器人又怎样，谁说机器人不能干的？！
秉持着如此信条的程诺，次日现在办公室忙碌了一上午后，向菲涅尔教授请了一下午的假，赶去了比赛现场。
比赛场地就在剑桥市最大的围棋馆内，程诺和阿尔法零的比赛被安排在下午的第一场。
作为阿尔法狗的新一代产品阿尔法零的首战，吸引过来观战的职业围棋手和媒体记者自然不在少数。
而作为阿尔法零首战的对手，一个毫无名气的业余围棋手，只是被众人当做一个炮灰的存在。
或许只会在报道里，提上一两句这位业余围棋手被阿尔法零血虐的惨状。
比赛开始时间下午两点。
程诺提前半小时到场，经过一番检查之后，拿着自己的选手证被带到一堆长枪短炮摄像机包围的小隔间中。
他的对手，机器人阿尔法零同志，正在被几位深蓝公司的科研人员认真调试着数据。
程诺瞅了几眼阿尔法零，发现和他的前辈阿尔法狗没什么两样，都是看不出有任何机器人的形态。
摆在那里，就像是一个超大号的主机加大脑袋显示屏。
见阿尔法零还在调试设备，有位记者举起话筒，摄像机对准程诺问道，“您好，程诺选手，作为阿尔法零首战的对手，你的心情是怎样的？”
程诺沉默几秒，悠悠回答，“我的内心毫无波动，甚至还想泡个泡面。”
记者：“？？？”
中午饭没来及吃，饿啊！
记者：“那你觉得，对战阿尔法零，你有几成把握？”
程诺淡淡道，“芦本苇吧！”
记者：“呃，不好意思，我没听懂你的意思。”
程诺：“哦。就是五五开！”
记者：“那你是认为你有五成的机会打败阿尔法零喽？”
程诺：“不是。我是说，我五成会被阿尔法零吊起来锤，另外五成会被阿尔法零按在地上锤！”
记者：“……”
记者识趣的退下。
程诺望着那忙前忙后的几个科研人员，托着下巴发呆。
不就是调试几个数值，有这么麻烦吗？况且，阿尔法零内部嵌套的又不是什么太过深奥的程序。
这类学习类围棋机器人的核心代码，虽然在外界看来是机密的存在，但在内行人眼里，只不过是几个自学程序的优化叠加罢了。
“比赛开始！”
终于，阿尔法零被调教好了，程诺正襟危坐在棋桌上，而对面坐着的是阿尔法零的一位开发者，由他来代替阿尔法零和程诺在棋牌上下棋。
程诺先手。
不用犹豫，程诺率先占据棋盘最中央。
阿尔法零紧随其后，白棋落在程诺黑子左侧位置。
啪嗒~！啪嗒~！
前十几手，程诺不急不慢的落子。
而阿尔法零由于运算速度比程诺要快，每次落子，只需要一到两秒的时间。
半个小时后……
棋盘上的战争开始变得白热化。
每次落子的时间，不只是程诺，连阿尔法零都变得久了起来。
阿尔法零的算法，并不是通过预测对手后几手，或者后几十手的落子，来进行计算最佳策略，而是通过一个叫做“局面评估器”的东西，构建价值网络。
辅之以落子选择器，经过复杂的计算后，得出获胜概率最大的落子选择。
也就是说，阿尔法零想着是怎么去赢，而并非对手怎么去下！
程诺现在的情况也异常难受。
在阿尔法零的步步紧逼之下，场上的局面对程诺已经非常不利。
无论他用小迷你华国流，宇宙流，都被阿尔法零以凌厉的姿态化解。
一个小时后，程诺在整体局面上已经完全陷入劣势。
“看来只能用出那一招了！”
出来吧，奥义…双四劫循环！
程诺默念一句，啪啪啪的落子。
赢已经没多大可能，如此，那只能尽量把这盘棋变成和棋。那还有的打。
十手之后，程诺进双四劫循环构造完毕。
一个四劫循环的话，阿尔法零或许还能稍微让一下，但一下子就是两个，程诺肯定，以阿尔法零内部的算法，这次绝对会和程诺继续纠缠下去。
“和棋！”
见程诺和阿尔法零在这两个四劫循环上纠缠了一个多小时还没有结果，裁判果断叫了声和棋。
按照比赛规则，由于是淘汰赛，和棋之后，还需要再赛，直至分出胜负。
程诺vs阿尔法零第二局：和棋！
第三局：和棋！
第四局：和棋！
第五局：
…………
两人直接从下午五点，打到晚上十点。胜负依旧没有决出。
在旁录像的记者已经由乍开始的吃惊，变得现在的麻木无比。
他们现在一个个萎靡这精神，想的只是这场比赛究竟特么的什么时候结束，他们很想要回家睡觉啊！
这边，程诺通红着双眼，低吼一声，“再来！决战到天亮！”
第三百九十五章 收尾（）
395章
说是决战到天亮，但事实是，程诺还真的和阿尔法零对弈到第二天的凌晨六点。
程诺顶着一双黑眼圈，对视着对面目光通红的那位阿尔法零研发员，有气无力的摆摆手，“算了，算了，不来了，我认输！‘
他实在熬不下去了。
与其这样毫无希望的期待阿尔法零内部的运算程序出现错误，还不如回去美美的睡上一觉。
“你们赢了，各位再见，我要回去补觉了！”程诺站起来，对那位研发者摆摆手，然后在一堆记者因为熬夜神思恍惚之际，摇摇晃晃的走出房间。
待众人反应过来时，早已看不到程诺的背影。
“结束了，终于结束了！要是再这样下去，我担心我都要猝死在这了�
