简单组合博弈游戏与实际应用例子.pptVIP

例：S = {2, 4, 8}，如果在遊戲的開始有100枚石子，那麼哪個玩家獲勝？ 使用向後歸納的方法，可以計算出遊戲的P位置和N位置如下： 故先手必勝 例：S = {1,2, 4, 8}，如果在遊戲的開始有100枚石子，那麼哪個玩家獲勝？ 使用向後歸納的方法，可以計算出遊戲的P位置和N位置如下： 故先手必勝 下面應用此獲勝策略來考慮4堆的Nim博弈。其中各堆的大小分別為7，9，12，15枚硬幣。用二進位表示各數分別為：0111，1001，1100和1111。於是可得到如下一表： ? 23= 8 22= 4 21= 2 20= 1 大小為7的堆 0 1 1 1 大小為9的堆 1 0 0 1 大小為12的堆 1 1 0 0 大小為15的堆 1 1 1 1 由Nim博弈的平衡條件可知，此遊戲是一個非平衡狀態的Nim博弈，因此，先手在按獲勝策略一定能夠取得最終的勝利。具體做法有多種，先手可以從大小為12的堆中取走11枚硬幣，使得遊戲達到平衡（如下表）， ? 23= 8 22= 4 21= 2 20= 1 大小為7的堆 0 1 1 1 大小為9的堆 1 0 0 1 大小為12的堆 0 0 0 1 大小為15的堆 1 1 1 1 之後，無論後手如何取子，先手在取子後仍使得遊戲達到平衡。 同樣的道理，先手也可以選擇大小為9的堆並取走5枚硬幣而剩下4枚，或者，先手從大小為15的堆中取走13枚而留下2枚。 歸根結底， Nim博弈的關鍵在於遊戲開始時遊戲處於何種狀態（平衡或非平衡）和先手是否能夠按照取子遊戲的獲勝策略來進行遊戲。 當堆數大於2時，我們看出Bouton定理依舊適用，但還沒給出嚴格的證明，下面用數學歸納法證明。 證明：如果每堆都為0，顯然是P狀態（必敗）。下面驗證P狀態和N狀態的後兩個遞推關係： 一、每個N狀態都可以一步到達P狀態。 證明是構造性的。檢查Nim和X的二進位表示中最左邊一個1，則隨便挑一個該位為1的物品堆Y，根據Nim和進行調整（0變1，1變0）即可。例如Nim和為100101011，而其中有一堆為101110001。為了讓Nim和變為0，只需要讓操作的物品數取操作前的物品數和Nim的異或即可。 顯然操作後物品數變小，因此和合法的。設操作前其他堆的Nim和為Z，則有Y xor Z = X。操作後的Nim和為X xor Y xor Z = X xor X = 0，是一個P狀態。 項目 值 Nim和(X) 100101011 操作前某堆的物品數(Y) 101110001 操作後該堆的物品數(X xor Y) 001011010 二、每個P狀態（必勝態）都不可以一步到達P狀態 由於只能改變一堆的物品，不管修改它的哪一位，Nim的對應位一定不為0，不可能是P狀態。 這樣就證明了Bouton定理。 Nim博弈中如果規定最後取光者輸，情況是怎樣的？初看起來問題要複雜很多（因為不能主動拿了，而要“躲著”拿，以免拿到最後一個物品），事實上確實有很多遊戲規則比普通規則要困難很多，但對於Nim遊戲來說，幾乎是一樣的： 首先按照普通規則一樣的策略進行，直到恰好有一個物品數大於1的堆x。在這樣的情況下，只需要把堆x中的物品拿得只剩1個物品或者拿完，讓對手面臨奇數堆物品，這奇數堆物品每堆恰好1個物品。這樣的狀態顯然是必敗的。由於你每次操作後需要保證Nim和為0，因此不可能在你操作後首次出現“恰好有一個物品數大於1的堆”。新遊戲得到了完美解決。 現在我們來研究一個看上去似乎更為一般的遊戲：給定一個有向無環圖和一個起始頂點上的一枚棋子，兩名選手交替的將這枚棋子沿有向邊進行移動，無法移動者判負。事實上，這個遊戲可以認為是所有Impartial Combinatorial Games的抽象模型。也就是說，任何一個ICG都可以通過把每個局面看成一個頂點，對每個局面和它的子局面連一條有向邊來抽象成這個“有向圖遊戲”。下面我們就在有向無環圖的頂點上定義Sprague-Garundy函數，簡稱SG函數。 首先定義mex(minimal excludant)運算，這是施加于一個集合的運算，表示最小的不屬於這個集合的非負整數。例如集合N={0,1,2,3,4,5,6}，則mex{0,1,2,4}=3、mex{2,3,5}=0、mex{}=0。 Sprague-Grundy 函數是定義在組合遊戲狀態上的函數，用g (X)表示X狀態的g函數值。它的定義如下： g(x)=mex{ g(y) | y是x的後繼 }。 或者表示為： g (X)= min{n| n∈N, n=0,n≠ for y, y是x的後繼} 形象的說就是X的g函數值為X的後繼點的SG值中沒有出現過的最小值。 SG函數的性質： 1、所有的終點（先手必敗態），也就是沒有出邊的頂點，其SG值為0，