第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.dzxsw.cc/book/59215271/25159667.html)


1秒記住大眾小說網：www.dzxsw.cc。手機版閱讀網址：m.dzxsw.cc