“且看相對簡單的河圖洛書，每個格子必屬於九種狀態之一，分別對應於數字1到9。而河圖洛書的規則，實際上就是對有限種狀態的約束。

第一種約束，是任意兩個不同的格子，狀態不同。

第二種約束，是任意三個直線相連的格子，狀態組合必須屬於以下八者其中之一：

(1,5,9),(1,6,8),(2,4,9),(2,5,8),(2,6,7),(3,4,8),(3,5,7),(4,5,6)。”

沈歸塵似懂非懂地點點頭。

“再看相對複雜的圍棋，每個交叉點也只有三種可能的狀態：【黑】、【白】、【空點】。只不過隨著棋局的進展，每個交叉點的狀態會動態地發生變化。

但無論怎樣，圍棋的幾條規則，落子規則，提子規則，禁止自殺與打劫，其實都是關於棋盤總狀態的約束。”

沈歸塵覺得徐林說得對，但又不知道這有什麼意義。

徐林總結道：“只涉及狀態的賦值與狀態間的邏輯約束，這實際上就是布林代數問題。”

天元大陸土著聽不懂思密達。

徐林所聊的，實際上就是圍棋問題的抽象化。也即是拉普拉斯妖，又或者說AI們是如何處理這個問題的。

在簡單的河圖洛書問題中，拉斯會假定9個變數X_i，分別取值於數字1到9。

接下來她只需要找到一組合適的取值，使得以下的邏輯命題全部正確：

】j_X≠i_X，j≠i?於對【

，}}7,5,3{,}9,5,1{,}9,6,3{,}8,5,2{,}7,4,1{,}9,8,7{,}6,5,4{,}3,2,1{{∈}k,j,i{?於對【

】}}6,5,4{,}7,5,3{,}8,4,3{,}7,6,2{,}8,5,2{,}9,4,2{,}8,6,1{,}9,5,1{{∈}k_X,j_X,i_X{

。果結出算計解求TAS用接直以可。題問型典類大一的決解力能有機算計是，)TAS(題問足滿可naelooB是就上際實這

。t數手於賴依樣同，i置位於賴依僅不X數變，故緣的程過態是棋圍為因。}點空，白，黑{是圍範值取，}t,i{_X數變碼編點叉個每將，事的似類做以可全完，棋圍於對

。題問算計的真部全句語輯邏的則規於關得使，值賦}t,i{_X找尋個一化轉樣同活求局殘得使而進，束約輯邏的}t,i{_X於關化轉數全以可則規棋圍，似相法辦理的書圖河與

。似近路網經神用是而，詢查式顯做非並們它過不只。理推輯邏的似類理地含在就尋搜棋圍IA的界世林徐

。足滿被束約則規有所得使，態狀組一”在存“是件條勝獲而故，戲遊的人個一是都實其，獨數是還書圖河論無

。題問TAS是都質本，說是即也

。）束約外額條一的勝獲方黑括包（束約則規有所足滿}t,i{_X有都後最……手四第方白”意任“對，手三第方黑”在存“，手二第方白”意任“對，手一第方黑”在存“須必就勝獲要想，戲遊的弈對家玩方雙是卻棋圍可

。）式公林布化量（FBQ——題問的階高更TAS比是棋圍了定決，式模替詞量的”意任“”在存“種這

。決解底徹題問棋圍將法無全完，力算計的界世個那林徐以至。塹天隔如比相TAS與度雜複的FBQ

。了秒全掛開斯拉用，然當

：為致大分劃界境其，度難的題問算計於關

。斷判素、法算演序排括包，解求間時式項多在可，境P境一第

。TAS如比就，確正否是案答個一證驗間時式項多在以可卻，解求間時式項多在可不，境PN境二第

。FBQ的才方有還，棋種各棋象、棋圍如比，解求間空式項多在可，境ECAPSP境三第

。略策勝必有否是戲遊義廣種各如比，解求間時數指在可，境ITPXE境四第

。道知才神有只怕恐，何為地天知不是已，界境的上往再

。量較臺同法無本下形般一，界境大個一橫，TAS比相FBQ

。死堵能可切一將，略策能可方對舉列是就那，事件一到用就實其候時個這。的做以可是舊依人個一可，ECAPSP到達度雜複的題活死棋圍管儘，知周所眾是但

。在存改部全們他將，”意任“的中句語輯邏掉去舉列過以可全完，此如是也題問FBQ

。小的大極圍範尋搜將，解求FBQ了化簡卻上際實可，度難的局殘棋圍高提似看，勝取手021在將己自告宣先事林徐

。題問TAS的階低化轉題問FBQ將，策對的手06方白舉列過以可就麼那。替互相的手06方白，手06方黑有隻多至