万能数据-第107部分

快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部! 如果本书没有阅读完，想下次继续接着阅读，可使用上方 "收藏到我的浏览器" 功能 和 "加入书签" 功能！


　　正在低头刷着手机的柳清疑惑的抬头，“你是？”
　　对，邱奇恰巧遇到的不是旁人，就是昨天给他留下深刻印象的“划水二人组”中的其中一人——柳清。
　　当然，邱奇此时并不知道柳清的名字。
　　邱奇知道自己有些唐突了，连连摆手解释道，“我叫邱奇，是计院一名大三的学生。你昨天是不是在11号楼的203机房参加数学建模大赛？”
　　“对啊！”柳清点点头，眼神还是充满疑惑。
　　犹豫了一下，邱奇问出了心中的疑惑，“我今天上午看到你们组一个人都没来，所以想问一下，你们是不是遇到什么麻烦了？”
　　“没有啊？”柳清眨眨美眸。
　　“那怎么……”邱奇更加好奇。
　　柳清随口说道，语气很是理所当然，“因为大神说他昨天晚上就把建模题目搞定了，我们之后就不用再去机房了啊！”
　　昨……昨晚？！！
　　邱奇惊愕的长大了嘴巴，有点深深的怀疑人生。
　　这特么……也太变态了吧！
　　要知道，现在建模比赛才过去不到一半的时间。
　　自己面前这位女生组里那位大腿，真正所用的时间肯定还要比这少。
　　这简直……
　　如果不是发生在自己眼前，邱奇很是难以相信这个事实。
　　他那微微起伏的胸膛，显示着他内心的不平静。
　　“小伙子，到你啦，要啥赶快说！”忽然，卖饭大妈的声音将邱奇拉回现实。
　　点了三份打包带走的黄焖鸡米饭，邱奇深呼一口气，扭头对身后的柳清问道，“同学，能把你队里的那位男同学的名字告诉我吗？”
　　“大神的名字？”柳清歪着头想了一会儿，“大神的名字，如果我没记错的话，叫做……程诺！”
　　…………
　　程诺一觉睡到下午一点多，才迷迷糊糊的醒来。
　　简单的洗漱一下，吃完午饭，程诺便骑着一辆共享单车，来到隔壁的北大。
　　“程诺，怎么是你，这个时间点，你不应该是在参加建模大赛吗？”见到程诺推开办公室的门进来，盛飞的惊呼声恰合时宜的响起。
　　听到声音，办公室内的其他三位组员也是转过身，自然看到了站在办公室门口的那道身影。
　　程诺耸肩笑了笑，“建模比赛我已经提前弄完了，趁着有时间，特地过来看看。”
　　仔细算下来的话，他们这个跨校合作课题的研究时长已经达到整整两个月了。
　　而在程诺之前提出的那套高效率课题框架的路线下，该课题项目如今已经进入最后的收尾阶段。
　　预计还需要10到15天的时间，就能正式上交课题研究论文。
　　这对本来做好要在这个跨校交流课题上耗费半年的几人大为喜悦。毕竟，谁也不会嫌弃自己的时间多不是。
　　对于程诺建模大赛提前离场的事迹，几人只是惊讶一番之后便以一颗平常心去看待。
　　以程诺目前所表现的实力，这个操作，确实是再也正常不过。
　　在办公室待了一会儿，和其他四人讨论了一些关于课题方面的具体内容后，程诺便和几人告别。
　　他在这个课题组负责的人物已经差不多完成，只需要最后几天归纳总结的时候再来一次就好。
　　…………
　　两天后，7月15号八点。
　　为期三天的建模大赛正式宣告结束。
　　一个个熬出熊猫眼的建模队员们脸色疲态的从机房中相继走出。
　　离开机房时，已经二十多个小时的没合眼的邱奇，还不忘把视线落在原本程诺所在的位置，口中自语，“我到底要看看，以你一个人，究竟能走到哪一步！”
　　…………
　　虽然建模大赛开赛时间是在九月，但奖项的评比却是一个相当漫长的过程。
　　正常来讲的话，赛区获奖名单会在十月初公布，但国奖名单的公布时间，却要等到十一月底。
　　程诺没有那个时间专门去等这个。
　　他一边跟着方教授继续猜想的证明工作，一边进行跨校课题的收尾。
　　终于，在九月中旬，跨校合作交流课题正式宣布完美落幕，五位课题组成员各回各家。
　　十月初，京都赛区建模大赛奖项公布。
　　不出意外的，程诺他们小组获得省一奖项。
　　当然，这个消息还是柳清通知给他的。
　　要不是柳清通知，程诺差点都忘了还有这件事呢？
　　就在赛区奖项公布的三天后，程诺接到方教授的电话，让他去办公室一趟。
　　程诺以为是关于猜想证明工作的事情，所以便匆匆赶过去。
　　咚咚咚~~
　　“教授，是我，程诺。”
　　“进来吧！”
　　推门而进，程诺发现，办公室内不仅只有方教授一人。
　　一名西装革履，戴着眼镜的中年人，正坐在一旁的沙发上。
　　见到程诺进来，方教授和那名中年男人同时起身。
　　方教授笑呵呵的开口，“程诺，给你介绍下，这位，是来自华国最高人民法院司法鉴定科的林主任。”


第三百三十四章　乐意之至

　　334章
　　最高人民法院？
　　程诺腿肚子莫名颤了颤，心中在打鼓。
　　我也没做啥违法乱纪的事啊？
　　难道是自己装逼太过了，连国家最高人民法院都惊动了？
　　哎，这年头，装逼犯不好当啊！
　　程诺苦笑一下，勉强牵起嘴角打声招呼，“林主任，您好。”
　　这位来自最高人民法院司法鉴定科的林主任，锐利的眼神上下扫视程诺一遍，笑着开口，“你就是程同学吧，来，请坐，我有要事要和你商议一下。”
　　要事？看来不是给自己下法院传单的啊！
　　程诺心里一突突，探寻似的问道，“不知道是什么事？”
　　林主任微微一笑，“程同学在一个月前，是不是参加了今年的数学建模大赛？”
　　程诺点点头，心中思索。
　　数学建模大赛，司法鉴定科，碎纸片拼接复原……
　　几个关键词串联在一起，程诺大概猜测出今天林主任来这里的目的。
　　咚咚咚~~
　　这时候，敲门声再次响起，方教授说了一声“请进”之后，便见两个女生神色紧张的走进来。
　　其中一个女孩小声问道。
　　“请问，这里是不是方若愚教授的办公室。”
　　话刚说完，另一个女孩的声音也响起，不过话语中，带着丝丝的惊讶，“大神，你也在这！”
　　没错，进来的两人正是柳清和顾菲菲两人。
　　说道为什么会被叫到这，两位妹子也是一脸懵。
　　当时，两位妹子还在课堂上上着课，便见她们的系主任匆匆忙忙的走进教室，打断还在还在教韩语的专业课老师的授课，当着众人的面把两人叫了出去。
　　随后，又让两人赶快赶往数学院一位教授方若愚教授的办公室。
　　于是，迷迷糊糊的两人便来到这了。
　　见到程诺，两女是喜不自禁，在加上联想到三人共同参加建模大赛的事，便基本确定今天的事情和建模大赛有关。
　　只不过，赛区获奖名单三天前就已公布，而国奖名单还要等一个月多。
　　按理说，这个时间点，应该不会有什么事情啊？
　　方教授并不认识柳清和顾菲菲两女，所以介绍的事情就落在了程诺身上。
　　当得知面前那个西装男人是来自最高人民法院时，两人自然是齐齐捂嘴惊呼。
　　人已到齐，接下来，就是谈正事。
　　林主任笑着开口吗，“既然几位都到了，我便说一下我此行的目的吧。”
　　他问，“几位是否在建模大赛上选择的题目是B题，即‘碎纸片拼接复原’一题？”
　　程诺点头。
　　林主任接着说，“其实建模大赛每年的题目，都是华国数学工业与应用协会联合一些政府机构，或者是科研机构，根据一些当下热点或研究难点问题，进行一定程度的简化而来。”
　　“而今年你们本科组的两道题目，一个属于交管部门，一个，便属于司法部门。”
　　“其实，碎纸片的自动拼接技术，对我们做司法鉴定工作的人来说是非常重要的一项技术。听说国外的一些司法机构已经成功研究出来一套专门的处理技术，可是我们国家，却一直处于摸索阶段。”
　　“像是建模题目中那种规律性的横切和纵切的纸片复原，虽然程序简单，却没有任何实际意义。”
　　“但，你们提交那份建模程序，不是这样！”
　　林主任目光灼灼。
　　程诺嘴角带笑。
　　柳清和顾菲菲对视着眨眨眼，一头雾水。
　　刚才林主任说的啥，她俩一句都没听懂。
　　其实，林主任还有几句话没说。
　　作为最高人民法院，自然是对只是一群大学生参加的建模大赛提不起任何关注。更何况，建模大赛给出题目的内容是经过简化再简化过的碎纸片复原工作。
　　简单来说，就是卵用没有！
　　可是，就在三天前，也就是赛区奖项名单公布的当天，他忽然接到一位被受邀参加这次京都赛区B题评委工作的鉴定科同事的电话，说是有一篇建模论文，已经发到他邮箱里了，一定要让他看看。
　　而林主任收到的，便是程诺的那篇论文。
　　在论文中，程诺明确的写道，这套建模程序，并非只适用于横切和纵切的碎纸片，而是适用于以任何形式被切碎纸片的复原。
　　当时他就好奇心大起，叫来一位负责纸张复原工作的科员，按照程诺论文中提供的算法程序，进行测试。
　　一天后，林主任得到测试结果。
　　测试样本总共500份，皆是往年案例中那些鉴定人员人工复原的样本。
　　而测试结果，让林主任大吃一惊。
　　准确率98。57％！
　　这个数字，高出林主任的心理预期太多太多！
　　同时也深刻意识到，这套程序的出现，意味着什么。
　　于是拿到结果第二天，也就是今天，林主任便赶来程诺所在的清华大学。
　　当着几人的面，林主任宣布了一个重磅炸弹，“几位同学，经过我们开会讨论决定，买下你们这套碎纸片复原程序的专利，开放给全国各大司法鉴定机构免费使用。”
　　林主任知道，一旦这套程度得以在全国范围内推广，那无论是对于案件的侦破，还是诉讼的审理，都能节省许多时间。
　　听到这个消息，早有预料的程诺还算神色如常，柳清和顾菲菲一双美眸里则是充满震撼。
　　“不过在这之前，我需要确定一件事情。”林主任缓缓开口，“这套程序，是否只是由你们三位合作研究完成？”
　　柳清和顾菲菲齐齐摇头。
　　这回轮到林主任懵逼了，“难道这套程序还有其他人参与研发？”
　　如果真是这样的话，事情就有些麻烦了啊！
　　“不是，不是。”柳清摆摆手，连忙解释，“我们的意思是，这套程序不是我们三人合作研发的，而是，由程诺大神一个人搞定的！”
　　林主任定了定心神，勉强使自己脸色平静的接受这个让人有些骇然的消息。
　　那既然这样，只需要他面前这个小伙子点头就好了。
　　他对程诺伸出手，微微一笑，“程同学，我们愿意用十五万元买下这套程度的专利，不知你意下如何。”
　　程诺笑着和林主任握手，“能为祖国的事业出一份力，我自然是乐意之至。”
　　嘿！没想到参加了建模大赛还有个十五万的外快可以拿，美滋滋，美滋滋！


第三百三十五章　遇到麻烦

　　335章
　　商定完专利的事情，林主任便起身告辞。
　　他已经要了程诺的银行卡号，果断时间，十五万的专利费便会打到程诺的账户上。
　　“哇，大神你好厉害！”
　　见林主任离去，柳清如释重负，一双美眸异彩连连的望着程诺，出声赞叹。
　　顾菲菲也差不多，双手抵在下巴上，满眼桃心。
　　大神果然是大神啊，竟然连最高人民法院的人都专门跑到这买专利，她们两姐妹算是跟对人了！
　　面对两姐妹的吹捧，程诺淡淡一笑，“基本操作，基本操作而已。”
　　虽然早就知道当初在建模大赛上研发的那套程序很流弊，直视没想到还能惊动最高人民法院。
　　不过也好，至少证明他十多个小时的修改程序没有白费。
　　…………
　　“那大神，如果没有其他事情的话，我们两个就先走了啊！”
　　在办公室内又聊了一会儿之后，柳清主动提出告辞。
　　期间，程诺倒也提过三人平分那十五万专利费的想法，不过被她们两个果断拒绝了。
　　能被程诺这样的大神带着双飞已经是她们两个莫大的运气了，至于专利费，两人还真没有那么不识抬举的想和程诺平分。
　　毕竟，那套程序的全部心血，都归属于程诺一人。
　　并且，现在看来，既然最高人民法院都派出人来买程诺的建模程序，那岂不是意味着，他们这个建模小组有非常大的几率拿到国一奖项。
　　柳清和顾菲菲已经商量好，要是他们真的能拿到建模大赛国家一等奖的话，那便各自拿出半个月的生活费，请程诺大神吃一顿大餐！
　　送走了柳清和顾菲菲，办公室内只剩下程诺，还一直坐在办公桌上笑着望着这边的方教授。
　　方教授淡淡一笑，语气中带着一丝调侃，“本以为让你参加这次建模大赛，能拿个国一就算可以了，没想到你弄出的阵仗倒挺大！”
　　程诺苦笑一下，“教授，我也不想这样的，可是没办法啊！”
　　说着，程诺哀叹一句，“要怪，就只怪我太优秀！”
　　方教授：“……”
　　说你胖，你还真喘上了。
　　“算了。”方教授摇头一笑，“既然你都来这了，我们就顺便讨论一下BSD猜想的证明工作吧。”
　　程诺面色一肃，搬过一把椅子坐在方教授办公桌对面。“嗯。教授，确实最近我在证明过程中遇到了一些问题，顺便请教您一下。”
　　“说来听听。”
　　“关于阿贝尔簇的有理点，如果形成一个有限生成交换群，我用了局部点集……”
　　……
　　一老一少，渐渐进入忘我的境界。
　　等程诺的心神从数学海洋游回岸边的时候，一抬头，发现窗外已经夕阳西下。
　　匆匆告别了方教授，程诺离开数院大楼。
　　…………
　　之后一个月的时光，程诺除了每天的课程之外，便是把剩余的时间全部倾注在弱BSD猜想的证明工作上。
　　但取得的成果……并不可喜！
　　准确的说，最近一周，研究进程可以用寸步为艰来形容。
　　证明进度一直卡在56％这个坎上迈不过去。
　　以至于拿到建模国一奖的消息，都没有冲淡程诺心头的忧虑。
　　又是过了三天，情况依旧如此。
　　渐渐的，方教授和程诺意识到，两人的研究方向，可能出现了错误。
　　…………
　　地点：数学院方教授办公室。
　　时间：2021年11月27号晚10点。
　　人物：方若愚，程诺。
　　办公桌上，摆着整整三大摞的草纸。这些，便是两人这段时间关于BSD猜想的全部心血。
　　明亮的灯光下，面色有些憔悴的程诺开口，“教授，你说到底是哪个步骤我们出现了问题？”
　　方教授推推老花镜，叹口气，“很难说。数学证明，本就是一步错，步步错。我们很难知道，到底是前面哪个环节出现问题，导致造成如今这个局面。”
　　“因此，想要让证明工作继续进行下去的话，我们只好从尾到头的排查一遍。”
　　方教授说出了一个最麻烦，但对现在的情况最为有效的解决方案。
　　程诺苦笑着点点头，表示知晓。
　　虽然早知道在世界级的猜想证明过程中会遇到这种情况，但当事实真的发生在你面前时，还是有些难以接受。
　　其实，乐观上讲，他们能够及时的发现证明中存在的错误，总归是一件好事。
　　总比那些一错到底，把猜想证明成立最后却发现证明过程存在重大错误的情况要好很多。
　　既然无法反抗，那就乐观面对。
　　不就是爆肝嘛……他程诺不怕！
　　拿起第一摞的几张草稿，程诺低头便认真看起来。
　　【设L（E，s）是椭圆曲线E对应的Hasse…Weil　L…function。事实上BSD　conjecture包含下面两条。函数L（E，s）在处Taylor展开的阶等于椭圆曲线的Mordell…Weil　rank……那么就有L（E，1）=0，~L“（E，1）not=0　Rightarrow　r（E）≥　1】
　　无误！
　　下一部分证明过程。
　　【那么就有L（E，1）=0，~L“（E，1）not=0≥　r（E）=1。由Kolyvagin定理，得……】
　　无误！
　　程诺的大脑宛若一台高速运转的机器。
　　一堆堆的公式，字符，在大脑内结合，运算，并产生逻辑结果。
　　仿佛不知疲倦般，程诺从尾到头的逐页翻看。
　　…………
　　时间，已经来到凌晨三点。
　　程诺放下手中的一页草稿纸，扭了扭脖子，一抬头，发现对面的方教授已经趴在桌子上睡着。
　　程诺淡淡笑了笑，在办公室内一旁的柜子中找了一张毛毯给方教授盖上，然后，便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。
　　时间，一分一秒的流逝。
　　程诺目光一行行扫视。
　　突然，他的目光紧锁在一行算式上。
　　【……在p≥11的条件下，设椭圆曲线是semi…stable的，便有ord（L（E，1）/c）=ord（Sha（E），GL2为……】
　　这里，这里……为什么利用GL2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。
　　不对，不应该是这样！
　　GL2公式的求解完全没必要，如果想要从逻辑上得到Kolyvagin　conjecture的话，应该用……
　　一瞬间，程诺灵光迸裂！
　　………………
　　………………
　　　PS：一个字：热！！！


第三百三十六章　你怎么知道的？

　　336章
　　如果CL2公式的求解并非必要条件的话，那么，后续的推导过程，未尝不能做进一步的优化……
　　灵感这玩意儿，就像爱情一样，说来就来！
　　无数的想法在程诺的脑海里碰撞，闪现。
　　而他竭力想做的，就是努力抓住那一闪而逝的灵光。
　　Eisenstein　series理论？对，就是这个东西！
　　程诺脑海里突然冒出这个词汇，然后他整个人便因为激动而身躯有些微微颤抖。
　　什么是全纯维数1中的Eisenstein级数关于非全纯情况？简单来讲，它其实是一个特别的模形带着无穷级数可以直接写入的扩展，最初的定义是一个模群。
　　一般来讲，放任τ做一个复数严格肯定虚部。定义全纯Eisenstein级数　G2k（τ）重量2k，在哪里k≥2是一个整数，是由以下系列组成：
　　G2k（？）=∑1/（m＋n？）^2k
　　本系列绝对收敛的全纯函数τ在。。上半平面下面给出的Fourier展开式表明，它扩展到了一个全纯函数，？=i∞。
　　听起来挺复杂的，事实是……这个东西确实异常晦涩难懂。
　　程诺也是在一本讨论“全纯维数1中的Eisenstein级数关于非全纯情况”中书籍中，才系统而又全面的了解到关于这方面的知识。
　　当时恰巧这个Eisenstein　series理论和弱BSD猜想的证明工作看似存在一些擦边的关系，不过在前人数学家关于BSD猜想的研究中，并未有人提过这两者到底存在何种关系。
　　不过本着有备无患的心态，程诺还是把这个知识点记到了脑子里。
　　没想到，竟然还真有能用到的时候。
　　有了灵感，程诺的思维立刻发散开来。
　　“模群的任意全纯模形式都可以写成多项式。G4和G6。特别是高阶G2k可以用G4和G6通过递归关系。放任dk　=（2k　＋　3）k！　G2k　＋　4例如，d0　=　3G4和d1　=　5G6。然后dk满足关系∑（n，k）=2n＋9/3n＋6……”
　　“定义q　=　e2πIτ，G2k（？）=2λ（2k）（1＋……”
　　“……Bn是Bernoulli数，ζ（z）是黎曼Zeta函数和σp（n）是除数和函数的总和p，然后，然后……”
　　脑子运算速度快不够用了。
　　程诺随手拿起一张空白的草稿纸，一个个公式跃然于纸上。
　　处于极度兴奋状态他，已经忘记了时间，忘记了疲惫，满眼中，只剩下那逐渐推向真相的数学公式。
　　今晚，对程诺来说，绝对是一个不眠夜。
　　同时，在BSD猜想研究的漫长历史长河中，这也是足以被记录在史册的一夜！
　　…………
　　清晨六点四十五分。
　　窗外远处的天空中渐渐升起一抹鱼肚白。
　　彻夜未眠的程诺在草稿纸上，写下最后一行公式。
　　【……N（q）=…1…504∑n^5q^n/1…q^n】
　　终于搞定了啊！
　　程诺伸了伸懒腰，揉了揉有些发胀的眼睛，起身挪开凳子，给自己倒杯水。
　　而睡眠较浅的方教授也被程诺的发出声的声音惊醒。
　　方教授抬头，感觉披在自己背上的毛毯，望着程诺。
　　“昨晚一晚没睡？”方教授望着程诺憔悴的脸色，担忧问道。
　　程诺点点头。
　　方教授轻轻皱眉，“一晚没睡，虽然你还年轻，也不是这样的拼法！到老了，你就应该给你的身体还债了！”
　　“教授，我又不是经常通宵，偶尔一两次还是没关系的。”程诺嘻嘻笑道。