第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.173xsv.cc/5166_5166963/22127030.html)
1秒记住一起上看小说：www.173xsv.cc。手机版阅读网址：m.173xsv.cc