第566章 相关推论
第566章 相关推论
同时,这个问题作为一个纯粹的组合数学问题,因为其简洁性和优美性也一直吸引着组合数学家们的关注。然而,半个世纪以来并没有人能给出肯定或者否定的答案。
2010年,来自西班牙的Santos宣布他发现了一个 Hirsch猜想的反例。
事实上他,构造了一个43维具有86个面的多面体,然而其直径却超过43!
这个结论证明了什么?
那就是证明了,如果这个返利能够被证实成功,有关于Hirsch猜想很有可能就会得到破解的可能!
这一消息一传出数学界,就引起了不少人的震荡。
如果按照时间来算的话,今年的Santos距离破解这一猜想已经很近了,按照时间来算,应该就在最近这些天了。
既然这一猜想的结果还没有破解并公布出来,但是叶秋决定自己先借着这么一个机会,先行将Hirsch猜想给破解出来!
那他把这一猜想给破解出来,并不是为了公众于世,好抢了Santos的功劳。
而是为了更好地理解星星模型,将星星模型的数字理论意义给尽快的破解出来。
不过相对于Santos为了破解Hirsch猜想所使用的软件polymake,叶秋觉得还是利用自己的九章,破解起来更加方便快捷一些。
polymake它是一个专门针对多面体研制的软件,运用起来的话,也确实还算不错。虽然在现在这个年代,这个软件用来破解Hirsch猜想,真的显得非常的方便和便捷。
但是目前叶秋有了更好的选择,也就是九章这一软件,自然不会再退而求其次,选择这个更加麻烦一些的软件。
早就在2002年的时候,Santos的老师V.Klee专门建议Santos:为什么不试图否证Hirsch猜想呢?
当然,在此之前,Klee也给了自己的学生同样的建议。
但是,Santos并没有立刻着手去研究Hirsch猜想。
2007年,老数学家Klee去世。
同年,Santos开始了一年的学术休假,并访问UC Davis,也就是加利福尼亚州大学,戴维斯分校。
在那里,Santos遇到了研究多面体的专家De Loera和Edward D.Kim。在与他们的交流中,Santos开始认真思索Hirsch猜想,并最终发现了一个反例。
这一过程显得是非常的艰辛,而且通过这一方面也能够直观的证明出,想要证明Hirsch猜想真的非常的困难。
不过只要可以利用现有的一些,已经发布的关于Hirsch猜想目前所知的一切线索。
一切都仍然还是有迹可循的。
要知道Hirsch猜想作为数学界统计学的重要指标之一,其作为学术界的主要理论和概念的基础,是构建学术界主要学术的重要条件,若Hirsch猜想被推翻,当前学术界的众多理论都将错误,很多认知将被推翻。
这是被称之为学术支柱一样的存在。
真的想要通过网络上现有的一些蛛丝马迹,以及之前Santos的一些研究结果去进行推论的话,自然是要比想象当中的还要困难许多。
这个猜想的表述非常简单,M.Hirsch在1957年猜测有n个面的d维多面体(polytope)最大的diameter不会超过n-d,即任意两个顶点可以用不超过n-d条边(edge)形成一条path连接。
虽然后世这个猜想已经是被破解出来了,但是叶秋当年并没有把所有的关注力放在这上面,以至于对这一点,他还是并不是特别的了解。
至于结果,这方面他自然不知道。
他只知道后来出现的一个新闻,由于Santos将Hirsch猜想解决,这个结果让Santos(独立获奖)得到了2015年的Fulkerson Prize,也就是普利策奖,这个奖三年一颁,是离散数学界的最高成就。
比如第一届79年的获奖者是弄出一堆NPC定理的Karp,证明四色定理的Appel和Haken,还有将max-flow min-cut定理拓展到matroid上的Seymour。
那么这个paper最核心的部分就是构造出那第一个反例。Santos做的这个反例,当初叶秋似乎是有些许的印象,不过现在早就已经忘记了。
而且他也只是有那么一定点的印象而已,至于究竟是什么样的内容,他根本也就不知道。
这也就导致了,现在要么他亲自将这一猜想给破解出来,要么就等待着Santos破解出来,并将结果公之于众。
因为只有这样,他才能利用这一猜想将星型模型给破解出来。
否则的话,那他就只能是自己想办法了。
左右纠结之下,叶秋想着,距离破解Hirsch猜想出来至少还有半个月的时间,而这半个月,也足以让他认真的思索相关内容。
虽然坐享其成也很容易,但是叶秋还是决定自己亲自加入并且进行破解Hirsch猜想。
因为只有这样,才能让自己理解星型模型,并且破解星型模型的时候,印象越发深刻,解决起来也会更加得心应手。
所以叶秋决定还是继续研究下去,以自己的能力去破解Hirsch猜想。
不过,反例总归也就那么几个,一个一个的进行反推也就是了,总有一个会被推出来。
就是时间上比较麻烦,要用每一个反推进行反复的论证,时间上会耽搁不少。
叶秋认真的想了想,开始从第一个想到的反推进行论证。
他低下了头,开始认真的钻研了起来。
时间在叶秋这边过的越来越快,一个又一个的反推在他的笔下进行反复论证。
大概过了三四个小时,叶秋才只是反推出来一个论证,结果还是错误的。
无奈摇头,叶秋伸了个懒腰。
真要照这么个笨方法推论的话,估计时间上都要花费两三个月。
如果是换做平常的话,叶秋很有可能就放弃了。
不过好在他手里面有一个利器,那就是时间胶囊。
只要有了时间胶囊,哪怕是研究半年,那也不在话下。
不过现在看来的话,再继续研究下去的话,恐怕今天晚上也没有办法更进一步,叶秋只好是先暂停了对星星模型这方面的研究。
马上要回国了,现在叶修只想着在回国之前跟乔强亮研究一下有关于快速新算法,也就是那个所谓的迷宫算法的未来走向。
其余的,倒是暂时还不在他的目标范围之内。
这么一想,叶秋也决定先简单的再休息一会儿时间,等到第二天一大早再去想。
反正时间还早,他索性在休闲两天的时间,等到回国之后再好好研究星星模型,和与之相关的Hirsch猜想。
伸了个懒腰,叶秋从时间胶囊当中出来,才发现这个时候,他在时间胶囊当中待了五个多小时,现实生活当中也只是过了几分钟而已。
现在才只是晚上的八点多钟,叶秋有些睡不着。
也不知道国内陆晚晚她们现在都怎么样了。
许久没有跟她们见面,只是通过电话聊了聊天,叶秋的心里面还真的有些想她们。
正这么想着,叶秋的手机就在这个时候响了起来。
一看打来电话的人是陆晚晚,也就便忍不住微微一笑。
还真是说曹操曹操就到,他就这么随意臆想的功夫,陆晚晚就给他真的打来了电话。
(https://www.reed81.com/chapter/3859/3859089/22127090.html)
1秒记住读吧无错小说:www.reed81.com。手机版阅读网址:m.reed81.com