圍棋下法是否存在這樣的方案?

我摸若無其事


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

考慮我們的棋盤只有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. 幹就完了。

要讀些書才好。


推薦閱讀:

TAG:圍棋 | 棋類運動 | 圍棋學習 | 圍棋軟體 | 人工智慧圍棋 |