我摸若無其事

說題主「思而不學」的評價我覺得很貼切。既然題主不願意了解「策梅洛定理」之類的術語，那麼我就用題主大概能理解的方式解釋一下。

考慮我們的棋盤只有3*3大小。只要不是笨蛋都知道3路圍棋怎麼下。也就是說，我們和題主所謂的無所不能的計算機在3路圍棋上的表現沒有區別。

假設採用中國規則。

如果貼4子，那麼黑棋只需要第一手占天元，白棋怎麼反抗也是全死的結局。黑棋可勝半子。

如果貼5子，那麼黑棋不管怎麼走，最多也就是9子，貼不出5子，所以黑棋必輸半子。

如果貼4子半，那麼必然會下成和棋。

所以取決於貼子多寡，黑白雙方只有一人能獲勝，另一人則怎麼掙扎也沒有用；要麼就是雙方全部下對，走成和棋。

這個道理同樣適用於19路棋盤。在現行中國規則下，貼3.75子沒有和棋，因此在題主給出的兩台無限算力的計算機之間，要麼是黑棋贏，要麼白棋贏。

這是前面有人說的策梅洛定理，的一個特例。

不知這樣題主能明白嗎？

我可不可以說題主…思而不學……

要想理解得更透，可以去讀策梅洛的論文。

另外，存在是確實存在的，那能不能找到是另一回事了

你這個描述讓我想起了圖靈機。

1、原則上，如果有無限算力的計算機，或者無限時間，我總可以枚舉出所有的圍棋圖樣：考慮最粗糙的場景，是 3^361的情況。這裡面肯定存在在現有的貼目規則下，某一方必勝的策略。

2、如果對弈雙方真有這樣的計算機，而且無禁手的話。出現的場景就是，先手一方下到必勝的位置上，然後後手一方說：「我輸了！」

3、可惜這種計算機並不存在。我們對3^361這個數字有多大，需要多強大的計算機，做個估算。

361個變數，每個變數有三種取值（空，白棋，黑棋），假設我們用一個包含361的整形變數的數組來存放，因為 1byte = 8 bits，我們可以進一步壓縮，用 2 bits在存一個變數。

那麼361個數需要 2*361 = 722 bits = 180 byte。

我們需要存 3^361個這樣的數組，共需

3^361* 180 byte

=3133613711862574702329388285270158623038849049104743741506906136722418930171323697140930272017968688950177457986937740510475897692643916763312664606538903120753584272507568540 byte

=3133613711862574702329388285270158623038849049104743741506906136722418930171323697140930272017968688950177457986937740510475897692643916763312664606538903120753584 TB

=3*10^162 TB

沒錯，需要這麼多內存。這是什麼概念呢？天河二號，世界上第二大的計算機，總內存為：1.408PB = 1441.79 TB。

即使踢出所有的不可能構型（某些必死下法），枚舉出所有情形也是不可能的。

4、現在AlphaGo 的策略是蒙特卡洛樹和機器學習二者的結合。貼7.5目白棋有80%的勝率。這說明還有改進的空間。也許某一天白棋在貼7.5目時有100%勝率的時候，我們就可以說找到了終極取勝策略了。

問題是：假設無限發達的計算機並不存在。如果不是國家需要，100個馬雲都做不出。

然後我想，假設棋神來了，他會有很多種方法使得無論雙方如何下最後都是和棋。

嗯，我覺得這哥們兒想的已經挺深入的了，但無奈他的知識水平太有限，所以越想就越糊塗。

「兩台計算機都在計算最優解，但勝者只有一個，這不就矛盾了嗎？」能想到這一層很不容易。能想到這兒，應該就可以想到之前的假設是反常識的。

你說的完美計算機並不存在，因為「完美」並不存在。完美的規則不存在，到今天大家還在爭論帖目到底是六目半還是七目半。完美的下法不存在，在棋盤上的每一手棋都會伴隨著一好一壞。你可以理解這是棋盤上的「測不準原理」。

不會下圍棋的「棋迷」，要麽把圍棋當成武俠小說，玄乎其玄，要麽把圍棋當成數學難題，僵乎其僵。其實圍棋沒那麽多事兒，無非是往木墩子上面擺石頭。

Just do it. 幹就完了。

要讀些書才好。

推薦閱讀：
相关文章