第758章 流形学习

姚梦娜提出的这个问题,对于常浩南来说,不难理解。

只是很难解决。

真要说起来的话,这涉及到文本挖掘、数据可视化、信息检索、数据挖掘、机器学习乃至人工智能等一系列问题。

如果真做到姚梦娜所设想的那样全自动化生产,那就是工业4.0了。

在1999年这个时间点上,显然不大现实。

但不可能完全实现这一整套东西,并不意味着其中没有可以作为突破口的部分。

比如数据挖掘和信息检索,就是千禧年附近很火热的研究方向。

其核心目的是从海量数据库和大量繁杂信息中提取出有价值的知识,并进一步提高信息的利用率。

实际上,在常浩南重生之前,飞机设计和制造领域已经开始应用这方面的技术,他本人也接触过不少。

但当年的他作为一个工科出身的普通技术人员,并没有太多理论功底。

而系统,则首先需要构建出一个完整且可行的思路出来。

这就导致如今他脑子里空有一大堆名词,但却不知道哪個是破局的关键——

实际上,他此时就面临着无法从大量繁杂信息中提取出有价值信息的困境。

“信息……”

常浩南从旁边扯过一张纸,在纸的最中间写下了两个字。

在理想化的模型中,最好是一个数据就可以精确且唯一地描述一个含义。

也就是一维数据。

小学和中学时候做的应用题,大体上就是这样。

实际生活中面临的,其实大多数也是这种问题。

而对于稍复杂一些的情况来说,要完全描述一个含义,往往需要一组数据。

但与此同时,这一组数据又往往不只能描述这一个含义。

要想在数学上描述这种一组(多个)数据对应多个含义的现象,就需要将一组数据在不同的维度上进行展开。

这是由数学理论推向现实的情况。

而反过来,现实中收集到的信息,在多数情况下,本身就是已经展开过的高维数据。

而如果想要让计算机处理这些高维数据……

常浩南思索半晌,又在纸上写下了三个基本条件:

1、对原始高维数据进行压缩,降低原始高维数据的维度,进而节省存储空间,同时也降低高维数据的计算复杂度。

2、消除,或者至少降低隐藏在原始高维数据中的噪声。

3、提取到高质量的数据特征,提升后续的数据表示和分类任务的效果。

他在脑子里把这三条内容过了一下,然后试图让系统给出一个结果。

没有反应。

显然,这并不能被算作是“完整且可行”的思路。

……

不知不觉间,常浩南就在办公桌前枯坐到了快要吃午饭的时候。

仍然没能想出一个很好的思路。

直到一阵来自腹部的叫声把它从深思中吵醒。

确实有点饿了。

姚梦娜看了看纸上的一个名词和三句话,也知道常浩南大概是没什么思路,干脆站起身道:

“要不先去吃个饭?”

“也好。”

常浩南不是那种死钻牛角尖的人。

更何况数学这种东西,光靠俺寻思是寻思不出个一二三的。

没有灵感,说啥都没用。

不如先放松一下,换个思路。

十五分钟后,三人(连同朱雅丹)已经围坐在了食堂二层的一个圆桌旁边。

这里算是个点餐制的小灶,价格比下面的大食堂贵一些,加上还要多上一层楼,因此来这里吃饭的人并不算多。

倒是旁边的小超市,来来往往的人流量不少。

常浩南面前摆着一份热气腾腾的羊汤面,但却并没有急着动筷子,而是出神地看着不远处楼梯口上上下下的人群。

90年代这会,方便面还属于非常流行的即食类食品。

常浩南读本科那阵子,大家的条件普遍比较差,有闲钱吃得起的人不多。

但到了99年这会,大学生在宿舍备上几袋甚至一箱,都不算什么稀罕事了。

“你们说……”

常浩南突然开口道:

“生产方便面的企业,是怎么保证不漏装或者多装调料包的?”

正在低头吃饭的姚梦娜一愣,旋即意识到常浩南这还是在思考刚才她提出来的问题。

给方便面里面塞调料包和给飞机打铆钉,在数学模型上其实是差不多的。

而生产方便面的企业,显然不太可能有多么高大上的设备和技术。

“大概……称重?”

姚梦娜猜测道:

“调料包大概占整包方便面重量的10%左右,如果少放或者多放,那应该很容易检测出来。”

“嗯……但面饼重量本身就有误差,而且调料包有好几种,称重只能证明总量没问题,但不能保证没放错……”

常浩南摇摇头否定道。

旁边的朱雅丹左看看常浩南,右看看姚梦娜,实在是不知道这两个人为什么突然讨论起这个问题了。

“那个……”

虽然她觉得在两位博士面前有点班门弄斧,但最后还是没忍住:

“在封装步骤之前,专门找个人在流水线旁边看着不就行了么?”

姚梦娜单手扶额:

“我们就是在想,如何才能不用这个人,但实现一样的效果。”

“这个么……”

朱雅丹瞬间缩了缩头:

“我只是随便一说……但有些时候人脑的作用或许还是没办法代替的……”

餐桌周围又恢复了平静,只剩下偶尔发出的微弱咀嚼声。

但常浩南仍然没有动筷子。

“你说得对。”

几分钟之后,当朱雅丹都快要吃完面前盘子里的炒面时,常浩南突然开口道:

“人类的大脑能够通过某种办法解析高维数据,从而获取对外部世界的感知。”

“?”

朱雅丹满脑袋问号地抬起头,但看着常浩南思考的样子,很有自知之明地没有打扰。

“换句话说,具有高维数的外部信息必定潜在于一个低维空间中的非线性流形结构上……”

在近70年前,美国统计学家哈罗德·霍特林就已经提出过将高维数据进行降维的主成分分析法。

他认为方差越大提供的信息越多反之提供的信息越少,于是通过原分量的线性组合构造方差大、含信息量多的若干主分量,再进行矩阵奇异值分解,实现数据维数的降低。

但主成分分析法只相当于找到投影距离最小的意义下的最佳线性映射,而现实中却没有那么多简单的线性问题。

不过,这个思路却是可以被借鉴的。

常浩南放下只吃了一口的羊汤面,蹭地站起身,快步离开食堂。

身负安保职责的朱雅丹赶紧跟上。

姚梦娜的反应稍微慢了一点,刚想起身,又意识到还没结账,只好掏出钱包,无奈地走向收银台。

回到办公室的常浩南重新找到了刚才那张纸。

在三个基本条件下方又写下了几行字。

给定一组高维数据X={x1,x2,…,xn}RD,n为数据样本个数,D为高维数据的维数。

再假设X中的数据样本来自于或近似来自于低维嵌入空间中的数据Y={y1,y2,…,yn}Rd。

寻找一个从高维观测空间到低维嵌入空间的映射关系,使得yi=(xi),以及一个一对一的重构映射关系^-1,使得xi=^-1(yi)。

写到这里,常浩南的脸上露出了一个满意的微笑。

尽管仍然没有给出完整的思路,但是,他至少已经把三个抽象的基本条件解析成为了一个具体的数学问题。

而对于理论研究来说,明确地提出问题,几乎也就相当于走完了成功之路的一半。

想到这里,他回到这张纸的最上面,重新写下六个字。

流形学习方法。

(本章完)

第759章 进入理论数学界?

接下来,几乎大半个九月份的时间,常浩南除了每天回复一些必要的文件和电话以外,就是把自己关在办公室里面,解决自己归纳出来的那个数学问题。

应该说,在有系统帮忙的情况下,这件事情进行的非常顺利。

但顺利的方向跟他的预期有些不太一样。

因为在花费几天时间构思出一个完整的解题思路之后,系统直接给出的项目,竟然是一道证明题。

简单来说就是“对于任意一组高维数据X,一定存在一个映射关系,使X映射成为一组局部简单的欧氏空间中的数据Y。”

当然,实际内容要复杂亿些。

因为其中还涉及到流形的微分拓扑几何定义,需要首先解决一系列基础概念性的问题,才能真正开始进入正题。

这也是理论数学论文普遍篇幅极长且难以理解的原因之一。

总之,常浩南用了大概三周,才把整個证明过程完全整理到纸上。

在系统等级升级到LV3以后,能力确实比过去又强了一个档次——

在给出“解题步骤”的时候,还会顺便强化常浩南本人在相关领域的理解能力。

以至于最开始按照系统给出的逻辑顺序,把跳跃性极强的分析过程写在纸上之后,他丝毫不怀疑,那上面的内容根本没有第二个人能够看懂。

后面的大半时间,常浩南都是在尽可能解决这个问题。

有点类似于一个大学毕业的老师在教小学生做题之前,需要先把自己的思维方式调整到跟后者大概对等的水平。

而这件事情的难度,很多时候并不比解题本身要小。

毕竟,系统是管杀不管埋的……

只能靠自己。

转眼间,就到了九月末。

当常浩南把已经整理成影印稿的一摞证明过程交给姚梦娜让她看看的时候,后者的表情大概是诧异中带着惊喜,还混杂着一点少许的不满。

“您已经把问题给解决了?”

“这么快?”

“但是说好的我们一起参与呢?”

直接就是个夺命三连。

“那倒没有。”

常浩南赶紧摆了摆手:

“现在距离解决实际问题还有很长一段距离,我只是取得了一些阶段性的成果。”

“阶段性成果……”

姚梦娜一脸狐疑地低下头。

根据她的经验,常浩南口中的“阶段性成果”往往并不阶段。

比如之前搞涡喷14的时候,常浩南也说他对于压气机原理只进行了初步研究。

但实际上却把原本拼凑痕迹严重的涡喷14直接抬到了准三代中推的性能水平,部分指标更是直逼F404。

不过,看着看着,她的表情就逐渐凝固起来了。

似乎……有点难懂。

从内容上看,这似乎是一个纯数学的过程。

好在,除了一些新颖的定义之外,常浩南并没有用到什么特别出格的理论。

其中有关拓扑学的部分,确实用到了一些比较前沿的成果,但总体框架仍然没有脱离传统,只是在前人的基础上进行了一些有限扩充。

这点很重要。

姚梦娜并非专门研究数学,对于新数学理论的合理性基本不会有判断能力,但她的数学成绩和应用水平都不错。

这意味着她尽管会面临一些阻碍,但最终仍然能够理解常浩南到底在纸上写了什么。

并不是完全在看天书。

正当常浩南准备让姚梦娜回去慢慢看的时候,后者却突然抬起头来:

“能不能给我几张纸?”

显然,她是有进展的。

常浩南飞速抽出几张打印纸和一支圆珠笔递了过去。

姚梦娜旋即低下头,开始在上面写写画画起来。

……

最后姚梦娜还是把东西带回去了。

常浩南用三个星期整理出来的东西,哪怕是对着答案,也不是她几个小时内就能完全理解的。

不过,仅仅几天以后,姚梦娜就重新找到了常浩南。

“我看懂了。”

简短的四个字,让后者的表情瞬间带上了欣喜。

“太好了!”

常浩南双手一拍:

“这样一来,就可以继续研究具体的流形学习算法了!”

“呃……常教授。”

姚梦娜眉头一皱,露出有些不解的神情:

“如果我没理解错的话,这应该是对一项对于目前已经投入应用的猜想进行证明,似乎……跟具体的流形学习算法没有直接关系?”

“确实没有。”

常浩南点点头:

“但既然连你都可以看懂我的证明过程,那说明整个理论中所应用的拓扑学知识并没有脱离时代,接下来开发出的新算法,也应该是多数人都可以理解和应用的。”

“?”

姚梦娜觉得这句话怎么听怎么不太对,但又找不到任何角度进行反驳,于是连续张了几次嘴,把脸都给憋红了。

最后只好转移话题:

“要不……我们聊一下流形学习算法的事情?”

常浩南此时仍然处在兴奋当中:

“关于具体的算法,我目前有两个思路,一是把样本点xi和它的邻域点之间的测地距离用它们之间的欧氏距离来代替;和它邻域外的点用流形上它们之间的最短路径来代替,这样如果高维数据所在的低维流形与欧氏空间的一个子集是整体等距的那么就可以得到很理想的嵌入结果。”

“二是在样本点和它的邻域点之间构造一个重构权向量并在低维空间中保持每个邻域中的权值不变,对于每个样本点和它的邻域集分别计算重构权,这样只需要O((m+k)k^2*N)的计算复杂度就能完成嵌入过程……”

“……”

“这两个思路,我们各自负责一个,这样就算有一个走不通,也还有第二条路,你可以先选。”

常浩南之所以做出这样的安排,倒也不完全是为了练兵。

而是如陈省身所说——

真正好的工作,第一流的工作,是一个人做出来的。

这句话放在数学,包括应用数学界,还是很有地位的。

两个人一起,反而有可能产生1+1小于1的效果。

“我选第一个。”

姚梦娜几乎完全没有犹豫就做出了选择。

因为当常浩南讲到第二个的时候,她已经有点头昏脑涨了,所以没怎么听懂。

“那好。”

常浩南点了点头:

“暂时就这么定了。”

……

送走姚梦娜之后,他并没有马上投入到对第二个思路的研究当中。

一方面是马上就要国庆,这段时间他肯定不可能跟之前一样全身心投入进去,还不如等到忙完了再说。

另一方面,之前挂在系统上的那个证明项目,并没有被判定为完成。

尽管3级系统可以同时开展3个项目,意味着他此时还有一个空位。

但对于一个强迫症来说,这就好比玩游戏的时候有问号不清,根本受不了。

因此,常浩南重新把视线投向了电脑屏幕上面,自己整理好的证明过程。

实际上,流形学习哪怕在1999年这会,也不是个新名词。

早在几年前,图像识别和语音识别领域,就已经有人提出了这个概念,并提出了一个假设,即“高维数据可以被通过其内在的低维流形结构被处理”。

尽管这一假设始终没有被证明,但却并不影响研究人员暂且假定它是成立的,然后开始应用。

只不过这个年头的计算机性能实在比较抱歉,因此到现在为止,还没应用出个一二三来。

而常浩南的这个证明本身,对于工程界来说,大概只能起到一个稳定人心的效果。

心态大概相当于用了这么多年的经验公式,最后果然是对的。

连惊喜都未必能算上。

但对于理论数学界来说,应该还是有些价值的。

尽管他并没有直接证明上面的那个假设,但至少已经证明了低维流形结构的普适性存在。

相当于往这个方向迈出了一大步。

另外,这个证明对于人类研究多维空间,比如庞加莱猜想之类的课题也可能产生一些启发。

但系统判断项目完成的标准,是这个项目对现实世界产生影响力。

一个纯理论的证明过程要怎么产生影响力?

似乎最好的办法就是发表出去……

而且是找个理论数学的期刊发表。

(本章完)

重新连接服务器...

连接失败... 将在 秒后重新尝试连接.

连接失败.
请刷新此页面.

此会话被服务器暂停.

恢复会话失败.
请重试或者刷新此页面.