李軒第一次直播完後,並不關注網上消息,他參加這次數獨網絡賽純屬意外,當然好處是有的,對數獨有了新的理解。
周末時間還很長,李軒忽然對數獨裏相關問題很有興趣,準備再研究一下數獨。
周日一天,他就拿出一堆草稿紙在自個房間慢慢研究,首先他寫下最後一輪遇到的數獨難題,想尋找其他思路。
看著這道數獨題,李軒思索了一會兒,還是沒有發現更簡便的解法。閑得蛋疼,他想到了數獨裏的三個數學問題。
第一個問題是標準數獨共有多少種?
第二個問題是至少要有多少個已知數才能保證數獨存在唯一解?
最後一個問題是數獨存在唯一解有沒有簡單判斷辦法?
第一問題,共有多少種數獨,這是數學中排列組合的問題,想著這個一個有趣的問題,李軒興致高漲,拿起筆默默算起來。
古希臘畢達哥拉斯的萬物皆數,萬物都可以用數字來衡量。事實上宇宙中包涵數不清的數學問題,最明顯的就是幾何圖形和函數關係,關鍵是能不能從萬事萬物發現提煉出這些問題。
數獨最初來自歐拉研究的幻方,裏頭數學問題很多,李軒發現了這三個問題他覺得數獨問題中最重要的,當然他研究數獨完全是源自好奇心,興趣使然,把問題解決沒有什麼好處和嘉獎。
“究竟有多少種標準數獨?感覺會是天文數字。”
李軒微笑,直覺這個數會很大,畢竟有八十九個空格可以填數。
有這樣一則故事可以證明李軒的直覺。古代國王愛上了象棋,決定嘉獎遊戲發明者,滿足遊戲發明者一個願望。
發明者願望是請國王賞賜他大米,棋盤第一格1粒米,第二格2粒米,第三格4粒米……依次類推,放滿整個棋盤的大米。
國王一開始很高興,覺得很少,結果被打臉了,全世界大米全部拿來也不夠。
道理是類似,數獨的數量會大到難以想象,人類幾百年都做不完。
計算機基礎是二進製0和1,卻組成無比複雜的虛擬世界,這麼一看複雜的宇宙,其實也是由基本原子排列組合而成。
第一個問題看似簡單,小學知識就足夠,但李軒之前就粗略考慮過了,腦袋想破也推算不出來,難度超乎他的想象。
問題越難就越有趣,太簡單李軒反而沒有研究的衝動了。
李軒考慮到了一點,數獨的數量有限,這個問題可以靠編程用窮舉的辦法算出來。
李軒估摸著,要計算機來估計也要算很長時間,而且他不太想靠計算機,人類比計算機強大的地方就在於思維,數學家總有奇思妙想簡單證明複雜問題,這種邏輯推理是計算機所沒有的。
世事並盡如人意,第一個問題就束手無策,李軒決定先將問題簡單化,不去管3x3九階數獨,先算2x2四階數獨的情況。
四階數獨:每個空格填入1到4,每行每列每2x2宮數字不重複,共有多少種可能性?
這個問題就簡單多了。
通過排列組合,李軒很快就算出四階數獨的數量,就幾百種,根據四階數獨計算思路,開始往3x3階數獨上走。
思路很明確,就是情況複雜,需要考慮很多方麵。
推算了半天,還借助了電腦計算,李軒才推算出第一個問題的答案:共有9!x72!x2^7x27704267971=6670903752021072936960種數獨。
看著這個數字,李軒發了好一會呆,想了一下人類要做完這些數獨,需要多少個千年……
2x2數獨才幾百種,3x3數獨就有幾萬億億種……真是打擾了。
如他之前想的一樣,這是一個難以想象的天文數量。
李軒搖了搖頭,仔細看了計算草稿,確定計算過程沒有錯誤。如果忽略旋轉、變形、對稱等操作得出結果視為同一數獨,那麼就共有5472730538數獨。
這個結論要說用途也沒有,但肯定可以當作論文發表。當然李軒覺得這個問題數學家肯定考慮過了,就沒打算寫什麼論文。
實際上這個結論,2005年國外有數學家算出來發表過,國內還沒有人去自己獨立去算過,或者說發表過文章。
李軒不想寫論文的原因很多,主要是覺得麻煩,發表論文要潤色文筆,稿費又沒有多少,這種論文說能得到什麼榮譽也是不可能,寫論文不是浪費時間是什麼?
這樣一想,幹脆開通了一個博客,將他的計算過程簡單記錄在博客上,免費提供給國內的數獨愛好者看。
因為英語的關係,在國外有社區供科學愛好者交流,華夏缺少這種科學社區,普通人想要和人交流學習科學,都找不到合適的地方。