同时,这个问题作为一个纯粹的组合数学问题,因为其简洁性和优美性也一直吸引着组合数学家们的关注。然而,半个世纪以来并没有人能给出肯定或者否定的答案。
2010年,来自西班牙的santos宣布他发现了一个hirsch猜想的反例。
事实上他,构造了一个43维具有86个面的多面体,然而其直径却超过43!
这个结论证明了什么?
那就是证明了,如果这个范例能够被证实成功,有关于hirsch猜想很有可能就会得到破解的可能!
这一消息一传出数学界,就引起了不少人的震荡。
如果按照时间来算的话,今年的santos距离破解这一猜想已经很近了,按照时间来算,应该就在最近这些天了。
既然这一猜想的结果还没有破解并公布出来,但是叶秋决定自己先借着这么一个机会,先行将hirsch猜想给破解出来!
那他把这一猜想给破解出来,并不是为了公众于世,好抢了santos的功劳。
而是为了更好地理解星星模型,将星星模型的数字理论意义给尽快的破解出来。
不过相对于santos为了破解hirsch猜想所使用的软件polymake,叶秋觉得还是利用自己的九章,破解起来更加方便快捷一些。
首发网址https:.lqzw
polymake它是一个专门针对多面体研制的软件,运用起来的话,也确实还算不错。
虽然在现在这个年代,这个软件用来破解hirsch猜想,真的显得非常的方便和便捷。
但是目前叶秋有了更好的选择,也就是九章这一软件,自然不会再退而求其次,选择这个更加麻烦一些的软件。
早就在2002年的时候,santos的老师专门建议santos:为什么不试图否证hirsch猜想呢?
当然,在此之前,klee也给了自己的学生同样的建议。
但是,santos并没有立刻着手去研究hirsch猜想。
2007年,老数学家klee去世。
同年,santos开始了一年的学术休假,并访问ucdavis,也就是加利福尼亚州大学,戴维斯分校。
在那里,santos遇到了研究多面体的专家deloera和edward。在与他们的交流中,santos开始认真思索hirsch猜想,并最终发现了一个反例。
这一过程显得是非常的艰辛,而且通过这一方面也能够直观的证明出,想要证明hirsch猜想真的非常的困难。
不过只要可以利用现有的一些,已经发布的关于hirsch猜想目前所知的一切线索。
一切都仍然还是有迹可循的。
要知道hirsch猜想作为数学界统计学的重要指标之一,其作为学术界的主要理论和概念的基础,是构建学术界主要学术的重要条件,若hirsch猜想被推翻,当前学术界的众多理论都将错误,很多认知将被推翻。
这是被称之为学术支柱一样的存在。
真的想要通过网络上现有的一些蛛丝马迹,以及之前santos的一些研究结果去进行推论的话,自然是要比想象当中的还要困难许多。
这个猜想的表述非常简单,在1957年猜测有n个面的d维多面体(polytope)最大的diameter不会超过n-d,即任意两个顶点可以用不超过n-d条边(edge)形成一条path连接。
虽然后世这个猜想已经是被破解出来了,但是叶秋当年并没有把所有的关注力放在这上面,以至于对这一点,他还是并不是特别的了解。
至于结果,这方面他自然不知道。
他只知道后来出现的一个新闻,由于santos将hirsch猜想解决,这个结果让santos(独立获奖)得到了2015年的fulkersonprize,也就是普利策奖,这个奖三年一颁,是离散数学界的最高成就。
比如第一届79年的获奖者是弄出一堆npc定理的karp,证明四色定理的appel和haken,还有将max-flowmin-cut定理拓展到matroid上的seymour。