計算機對19路盤圍棋進行窮舉法無法算出最優選擇，退幾步，9路盤計算機能算出嗎？

01-14

再不行，7路盤？反正我知道，2路盤是無勝負的循環棋，3路盤呢？3路盤肯定黑勝

7路有最優解了，9路還沒有。

--------------以上為原答---------------

2015年李喆六段完成了 7路盤最優解的證明。

第一，最優解貼9目(4子半)；第二，最優解不是唯一的，前3手唯一，前7手導致5個最核心的最優解下法，可參見《圍棋天地》；第三，存在許多不影響最終結果的下法。

更多詳情http://blog.sina.cn/dpool/blog/s/blog_53a2e03d0102vyt5.html

九路圍棋決策樹的大小相仿於中象和國象。目前人類的計算能力暫時還不能窮舉。不要小看了這小小的一塊棋盤。計算機國象勝過了人類，不等於它窮舉了所有變化。勝過了頂尖高手和數學上解決整個問題是不可同年而語的難度。

如果純靠窮舉，即使7路圍棋，其實也是不可能的。計算量非常大。如果要實現字面意義上的窮舉變化，能做剪枝的量是很有限的。而你們要知道，49！~ 49^49/e^49 ~ 10 ^ 60。這是個非常非常巨大的數字。只是給個數量級概念勿吐槽。

所以所謂計算機窮舉，其實多少也要結合人類的思維。這種結合人類思考的剪枝，目前並不是計算機技術的專長，而需要領域專家的協助。而李喆給的證明是純基於人類思考的。這體現了人類思考在解決數學問題中勝過計算機的地方。

對數學問題的探索，目前應該還是人類的天下。

不知道為啥會邀請我，那我就 @姚蒜蓉

那是退了好多好多好多好多好多好多好多步。

9路應該可以窮盡

七路盤如前面一位所說，已被李喆同學證明過最優解，李喆還試圖由此推論出19路盤的最優貼目（會不會也是九目，不過目前看來似乎要被阿法狗否定呀）

九路盤目前也沒做到窮舉，換句話說九路盤的阿法狗不一定下得過人類。

這是個和「國際象棋們根本沒有被窮盡」一樣反「常識」的結論。

老實說去年自從知道這事兒後，我對阿法狗背後的深度學習，究竟有多大意義蠻呵呵的。

一個離題的回答，為幾位朋友提到的「七路圍棋最優解」補圖。供參考。原圖20M，慎點。

七路已經有最優解，如上面回答。

7*7=49，也就是說如果要窮舉，也就是49^49量級的問題，計算機是可以暴力窮舉的。

而如果考慮19路，19*19=361。考慮361^361實際已經比銀河系的原子數還要多了。。。絕不可能暴力破解。

所以圍棋19路棋，必須使用人工智慧進行剪枝和回溯。

而人工智慧不等於真理，而是近似的真理。

我估摸著應該可以吧。。。不過到底可不可以，還是要買塊電池去問狗狗本人

我認為九路一定可以得到最優解，只不過沒有被證明而已。你問我理由也只能說李喆證明七路和一點兒推論，感覺而已

既然人類己經可以證明七路盤，那九路即使暫時不能窮舉，得出最優解總還是沒問題的。

謝邀...寫得有點沖，匿名了。

離題說一句。棋類的拆解，把一個發散性的問題簡單化，是無聊至極的舉動。

窮舉到極致的5路圍棋比賽的勝利者，最精確地把圓周率背上10000位的高手，有什麼本質不同？的確，他們都有長處，稱之為某種角度的智慧也不為過。

但這絕對不是棋類運動的魅力所在。當計算能力不足以支撐全局，使用所謂的棋理作為探索的依託，這是棋的一大樂趣。

9路圍棋之神何時見有人膜拜？當一種棋被窮舉，被轉化成了心算題目，等於宣告了它的死亡。殺死一種棋類，而從中作樂，是一種惡趣味。最可笑的是，在這種趣味中，明明無腦粗暴的計算占多數，卻要認為自己做了一番事業，而不去感謝真正作出貢獻的軟體硬體設計師。