本報官微截圖
芬蘭數學家設計的題目和網友答案
數獨是一種運用紙、筆進行演算的邏輯遊戲。玩家需要根據9×9盤面上的已知數字,推理出所有剩餘空格的數字,並滿足每一行、每一列、每一個粗線宮內的數字均含1-9,不重複。每一道合格的數獨謎題都有且僅有唯一答案,推理方法也以此為基礎,任何無解或多解的題目都是不合格的。
「芬蘭數學家因卡拉花費3個月設計出了世界上迄今難度最大的數獨遊戲,而且它只有一個答案。因卡拉說只有思考能力最快、頭腦最聰明的人才能破解這個遊戲。」這是英國《每日郵報》6月30日的一篇報導,揚子晚報新浪官方微博隨後發布了這道「最難」的數獨題。7月2日晚,網友@gkzhong在評論中貼出正確答案。記者採訪到這位牛人,他給出的解題秘訣是:會推理數獨,會寫程序,能把推理的邏輯轉換為計算機的實現。
新聞搶眼!
芬蘭數學家3個月設計出「最難數獨」
近日,微博上瘋傳一道數獨題目,揚子晚報官方微博也進行了轉發,微博內容是:「據英國《每日郵報》6月30日報導,芬蘭數學家因卡拉花費3個月設計出了世界上迄今難度最大的數獨遊戲,而且它只有一個答案,因卡拉說只有思考能力最快、頭腦最聰明的人才能破解。
詳細的報導中說,通常這種遊戲的難度被分為1到5級,但因卡拉表示他設計的這個遊戲的難度實際達到了11級,其中最難的部分要求玩家提前想到10個數字的填寫。因卡拉說,自己不敢肯定這是否永遠會是世界最難解的數獨,但他自信這是迄今為止被設計出來的最難的一個。
芬蘭數學家、花費三個月、難度11級……這些關鍵詞一羅列,讓網友頓時對這道數獨題有了很高期待。有人抱怨稱,一眼望去,一個也填不上;也有網友果斷收藏,等空閒了再去研究。網友「我只是徐國彬」竟然還在微博上和朋友打賭:「從現在開始,24小時之內他解不出這個數獨,就要在下學期幫我洗衫一個星期。否則我幫他洗衫一個星期。」
網友給力!
技術男解出題目將答案@本報官微
就在大部分網友還處在「膜拜最難數獨題」的時候,7月2日晚,一位名叫「gkzhong」的網友在揚子晚報新浪官微上貼出了自己的答案:「遞歸(遞歸作為一種算法在程序設計語言中廣泛應用。遞歸的方法是程序設計中有效的方法,採用遞歸編寫程序能使程序變得簡潔和清晰――編者注),300毫秒」,後面附上了數獨數字排列。網友紛紛驚嘆牛人的解題速度,並稱:「芬蘭數學家設計三個月的數獨都被你解決了,了不起!」
記者聯繫到這位智慧網友,名叫鍾廣凱,小鍾是廣東人,在北京已經工作五年了,家裡的寶寶剛剛4個月。小鍾微博上自稱「一個有態度的程式設計師」。據他介紹,自己曾先後就職於網易擔任財經技術Leader,網易微博架構設計,從網易離開後便加入到雪球創業團隊,擔任技術總監,架構師。
說起玩數獨,這位28歲的大男孩告訴記者,「高中時候在報紙或者雜誌上看到會玩玩,以後就幾乎沒再玩過。」關於這次的數獨題目,他覺得沒什麼特別的技巧,只是藉助計算機完成演算而已。
據悉,小鍾在高中時代還沒系統學習過編程,現在自己熟悉了很多程序知識,很容易想到把人推算的過程交由計算機完成,推理的邏輯還是一樣的,只是計算機的速度和人的速度比較起來快了很多。
「而且程序計算好了不會出錯,人推理還容易出錯。我這次推算著填每個格子都是相同的方法。推算用任何種語言都可以實現的,用遞歸循環最基礎的東西。」
這次數獨的程序算法大概是這樣的:比如你看倒數第二個格子,可以放的是2,5,7,然後將2放入,繼續推導其它格子(比如倒數最後一個格子),如此一層一層深入,如果遇到衝突,往上返回一層繼續推導,直到結束,這個邏輯如果用人推理的話會非常麻煩,所以藉助程序來演算,方便很多。據小鍾介紹,昨天看到這題目時先是在紙上進行推導,找出信息最多的單元進行廣度優先,推完幾個小格後,覺得嵌套太深,很難回溯,又不願放棄,就改用程序推算,算法還是剛才的邏輯,用遞歸來實現。
那麼,是不是不懂程序的人就沒有辦法解答了呢?小鍾告訴記者:「不懂程序的人也想得到,可能很多人也是這樣推算的,只是這道題這種方式推算的難度比較大,深入的層次比較多。簡單的題是推算有限個步驟就可以逐漸確定,但這題誘入得太深,回溯就很艱難。」
最後,小鍾還總結了一下解答這到數獨題目需要具備的素質:會推理數獨,會寫程序,能把推理的邏輯轉換為計算機的實現。據了解,C++、c語言、java、vb這些計算機語言都可以進行這個數獨的推演。
真有才啊!
不止一名網友貼出答案
記者調查發現,除了2日晚上小鍾貼出答案,其實早在7月1日中午,果殼網網友「jiangxj」也貼出了自己的答案。答案和小鍾是一樣的。至於推演過程,並沒有太多的透露。
在果殼網,有網友的注意力不在題目本身,而是對於難度等級產生了質疑。記者注意到,新浪帳戶@獨數之道官方微博也對難度等級進行了闢謠:「這兩天微博上轉的很多的一則關於數獨的新聞,稱芬蘭Arto Inkala又出了一道11星的數獨題,聲稱是世界最難數獨。但是他在接受報紙的訪問時,說的是他相信目前沒有找到最難的數獨,數獨難度評價的標準還未建立,即使是目前gsf、hodoku、se等的評級標準下,他認為這些評級標準中最難的題還是沒找到。」