【定理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:虽然有些老套,但我还是要说,祝各位中秋节牛逼!!
第三百九十四章 决战到天亮
394章
程诺看了一下明天比赛的对阵表。他第一轮的对手,还真是机器人阿尔法零。
而且这届比赛的赛制淘汰赛。也就是说,只要输掉一轮,就要马上走人。
程诺心里苦啊!
他就是被赶鸭子上架参加一次围棋比赛,不求冠军,只要拿到个不算差的名次就好了。
可结果呢?第一轮就遇上阿尔法零这个变态到极致的选手。
那可是碾压过阿尔法狗的家伙!而阿尔法狗又曾经吊打过世界排名第一的围棋高手。
即便程诺再怎么自信,还没狂妄到碾压世界高手的程度。
好吧,这次本来打算拿出三天的时间参与这场围棋比赛。但现在看来,一天的时间就足够了。
一轮游,恐怕就是程诺注定的命运。
他扭头,默默的和江里的目光对视。程诺苦笑一下。
江里站起身,重重的拍拍程诺的肩膀,“明天,尽力而为吧!”
沉默几秒,程诺缓缓开口,“对战阿尔法零,赢我不敢保证,但我不会输的太惨!至于你的计划,只能等下次了。”
“没关系。”江里脸上倒没有太多难过的表情,“这么多年都过来了,不在乎这一两个月了。”
“明天,加油!”
“一定!”
…………
赛前准备对程诺没太多的必要。
程诺并没有太多围棋比赛的经验,和阿尔法零内部储存的几百万场对局数据相比更是小巫见大巫。
计算速度方面,程诺也说不准现在的他,和阿尔法零比起来,究竟孰强孰弱。
除了没有独立的思考能力之外,在围棋项目上机器比人类的优势简直不要太高。
况且,任何机器人还不是由人类制造的。
所以说,和机器人比较围棋的输赢,完全是一件没有意义的事情。
可这是大赛组委会安排的,程诺还能怎样,只能上去干了。
不要怂,就是干!
机器人又怎样,谁说机器人不能干的?!
秉持着如此信条的程诺,次日现在办公室忙碌了一上午后,向菲涅尔教授请了一下午的假,赶去了比赛现场。
比赛场地就在剑桥市最大的围棋馆内,程诺和阿尔法零的比赛被安排在下午的第一场。
作为阿尔法狗的新一代产品——阿尔法零的首战,吸引过来观战的职业围棋手和媒体记者自然不在少数。
而作为阿尔法零首战的对手,一个毫无名气的业余围棋手,只是被众人当做一个炮灰的存在。
或许只会在报道里,提上一两句这位业余围棋手被阿尔法零血虐的惨状。
比赛开始时间下午两点。
程诺提前半小时到场,经过一番检查之后,拿着自己的选手证被带到一堆长枪短炮摄像机包围的小隔间中。
他的对手,机器人阿尔法零同志,正在被几位深蓝公司的科研人员认真调试着数据。
程诺瞅了几眼阿尔法零,发现和他的前辈阿尔法狗没什么两样,都是看不出有任何机器人的形态。
摆在那里,就像是一个超大号的主机加大脑袋显示屏。
见阿尔法零还在调试设备,有位记者举起话筒,摄像机对准程诺问道,“您好,程诺选手,作为阿尔法零首战的对手,你的心情是怎样的?”
程诺沉默几秒,悠悠回答,“我的内心毫无波动,甚至还想泡个泡面。”
记者:“???”
中午饭没来及吃,饿啊!
记者:“那你觉得,对战阿尔法零,你有几成把握?”
程诺淡淡道,“芦本苇吧!”
记者:“呃,不好意思,我没听懂你的意思。”
程诺:“哦。就是五五开!”
记者:“那你是认为你有五成的机会打败阿尔法零喽?”
程诺:“不是。我是说,我五成会被阿尔法零吊起来锤,另外五成会被阿尔法零按在地上锤!”
记者:“……”
记者识趣的退下。
程诺望着那忙前忙后的几个科研人员,托着下巴发呆。
不就是调试几个数值,有这么麻烦吗?况且,阿尔法零内部嵌套的又不是什么太过深奥的程序。
这类学习类围棋机器人的核心代码,虽然在外界看来是机密的存在,但在内行人眼里,只不过是几个自学程序的优化叠加罢了。
“比赛开始!”
终于,阿尔法零被调教好了,程诺正襟危坐在棋桌上,而对面坐着的是阿尔法零的一位开发者,由他来代替阿尔法零和程诺在棋牌上下棋。
程诺先手。
不用犹豫,程诺率先占据棋盘最中央。
阿尔法零紧随其后,白棋落在程诺黑子左侧位置。
啪嗒~!啪嗒~!
前十几手,程诺不急不慢的落子。
而阿尔法零由于运算速度比程诺要快,每次落子,只需要一到两秒的时间。
半个小时后……
棋盘上的战争开始变得白热化。
每次落子的时间,不只是程诺,连阿尔法零都变得久了起来。
阿尔法零的算法,并不是通过预测对手后几手,或者后几十手的落子,来进行计算最佳策略,而是通过一个叫做“局面评估器”的东西,构建价值网络。
辅之以落子选择器,经过复杂的计算后,得出获胜概率最大的落子选择。
也就是说,阿尔法零想着是怎么去赢,而并非对手怎么去下!
程诺现在的情况也异常难受。
在阿尔法零的步步紧逼之下,场上的局面对程诺已经非常不利。
无论他用小迷你华国流,宇宙流,都被阿尔法零以凌厉的姿态化解。
一个小时后,程诺在整体局面上已经完全陷入劣势。
“看来只能用出那一招了!”
出来吧,奥义…双四劫循环!
程诺默念一句,啪啪啪的落子。
赢已经没多大可能,如此,那只能尽量把这盘棋变成
小说推荐
- 数据眼
- 作者:战袍染血第一章爱丽丝“这个职位看上去不错”看着面前的屏幕,孙道仔细阅读着每一个要求,心中权衡“前三个月月薪三千,过了试用期提高到五千,后续视业绩,还可以加薪升职,调入总部”孙道微微头“家里现在的情况,我不能离开虚城,但这调入总部应该是画饼,不如试试,早听科技巨头墨坊牵头研发了虚城的交通整合系统
- 最新章:第619章
- 数据法则
- 《数据法则》作者:终级BOSS飞作品相关序(可看可不看)泰达斯大陆纪元3597年十月22日,苏尔达公国,国都竞技场内。能坐三万七千余人的竞技场内,现在已经坐满了来观看的群众,甚至有一些没有买到票的,托关系走后门,站在旁边的通道看着场内的竞技,当然场内的竞技并不是什么足球,篮球,这个高度野蛮的世界里面
- 最新章:第129章
- 数据巅峰
- 简介:黑客他们只是执着的追求着技术的巅峰但生活却将他们推向了另一条不归路在网络的世界里他们无所不能在生活中他们也想要爱情和平淡的日子不要对我只唱赞歌我只是喜欢做我所做不要说我没有道德你也不会比我好太多不要说我太执着白天的你我擦肩而过89214第1章 入侵进行时)卓晓飞,今年十七岁,这个年龄本该上学的
- 最新章:第82章
- 数据江湖
- 《数据江湖》御公子ii 著第一章,老来得子,退隐江湖一道急促的流星划过天空,分开了武朝漆黑如墨的夜空,稍纵即逝,但是武朝人们却不知道,这意味着什么。一个月后,关中奇侠孟非,任青青夫妇宣布从此退隐江湖不问世事,邪魔外道纷纷弹冠相庆,共同前去青楼妓寨买醉为贺。正道人士也感叹,从此正道又将损失一对绝顶高手
- 最新章:第381章
- 数据附身
- 《数据附身》作者 LM良民1 被电了宁采臣一丝不挂从浴室里面走出,身上的水珠还未擦干净,贴着皮肤顺溜而下,走到床边,在衣服堆里随手拿起一条球裤穿上后,懒洋洋的躺在了椅子上。宁采臣甩了甩头,雨滴不断的落下,一转头,手一伸,又从旁边抽出一条已经变了颜色的毛巾裹在了头上,试图阻止头发上的水滴往下掉。宁采臣
- 最新章:第354章
- 数据封神
- 《数据封神》作者:过桥看水第一章 重生还是预知“张潇,你最近怎么神神秘秘的,怎么了是”夏程拍着自己的肩膀问道。看着夏程那张憨厚的大脸。张潇心里也不知道该怎么去解释,夏程是我小学时的玩伴,自从自己家人开车出车祸后,唯一一个肯和自己玩的朋友。可自己能告诉他什么呢,或者说自己能告诉他么,说,还有三个月的时
- 最新章:第598章
- 数据三国
- -用户上传之内容开始《数据三国》作者:三卷天书救苍生南华归天 降天书南烨离世幽州治所蓟县以南,刘备老家涿县以北有一山,名为上方山,又名上房山。此山有峰12座,最高峰中天之柱,亦称“摘星坨。由名可知,此山险、秀、奇、雄皆佳,白云在山巅缭绕,云铺成路,人行在天,如入仙境。山民皆不知,此山之中有九仙洞,乃
- 最新章:第795章
- 数据游戏
- 作者:羽莛矽第一卷:青之涟 第1章:5块钱和一场游戏“哈哈,没想到真是踏遍铁鞋无觅处,得来全不费工夫”呃?为啥我觉得这个貌似是一般土匪出现之前的台词‘嗖~嗖’还没等我想反应过来,在我面前飘过了3个人影…呃…不对应该说是飞过~也不对应该应该说是‘砸下’3个黑衣人,而且很outfashion的土匪老祖宗
- 最新章:第26章
- 数据武神
- 简介:数据武神19169第1章 自杀)身处一间接近一百平米的巨大卧室,上披一件朗顿公国出品的极品蚕丝睡袍,脚踩一块北方蛮族视若珍宝的双翅虎皮制成的地毯,面对着一面帝国顶尖大师jing心打造而成,镶嵌华丽金边的水晶方镜,洛辰的心情却一点儿也不好。皱眉看着镜子里那个身材瘦削,面相清秀,体格柔弱,脸se苍
- 最新章:第570章