博弈論 (SG函式)

2021-06-28 11:01:51 字數 1838 閱讀 8054

首先定義mex(minimal excludant)運算,這是施加於乙個集合的運算,表示最小的不屬於這個集合的非負整數。例如mex=3、mex=0、mex{}=0。

對於乙個給定的有向無環圖,定義關於圖的每個頂點的sprague-grundy函式g如下:g(x)=mex,這裡的g(x)即sg[x]

例如:取石子問題,有1堆n個的石子,每次只能取個石子,先取完石子者勝利,那麼各個數的sg值為多少?

sg[0]=0,f=,

x=1時,可以取走1-f個石子,剩餘個,mex=,故sg[1]=1;

x=2時,可以取走2-f個石子,剩餘個,mex=,故sg[2]=0;

x=3時,可以取走3-f個石子,剩餘個,mex=,故sg[3]=1;

x=4時,可以取走4-f個石子,剩餘個,mex=,故sg[4]=2;

x=5時,可以取走5-f個石子,剩餘個,mex=,故sg[5]=3;

以此類推.....

x 0 1 2 3 4 5 6 7 8....

sg[x] 0 1 0 1 2 3 2 0 1....

計算從1-n範圍內的sg值。

f(儲存可以走的步數,f[0]表示可以有多少種走法)

f需要從小到大排序,這個模版f是從1開始的。hash陣列大小跟f大小差不多

1.可選步數為1~m的連續整數,直接取模即可,sg(x) = x % (m+1);

2.可選步數為任意步,sg(x) = x;

3.可選步數為一系列不連續的數,用getsg()計算

[cpp]view plain

copy

//f:可以取走的石子個數

//sg:0~n的sg函式值

//hash:mex{}

intf[n],sg[n],hash[n];       

void

getsg(

intn)  

中未出現的最小的非負整數

}  }  }  

**:下邊補充一點東西。

上邊那個模版求hash時候並沒有考慮f[j]有效長度,在某些題目中可以通過,比如這個。因為在求斐波那契數列時候肯定多求了乙個,而就是因為這個會在求hash時候打破迴圈。

其實總的來說還是這個函式並不嚴密。因為有的時候f是有有效長度的,如果多出了這個長度就會出現錯誤,如果你的初值都是0,那麼就會取到0,如果是-1,那麼就會取到-1,肯定不對。比如這個題。

下面這兩個模版應該就比較嚴密了,這個裡邊的f是從零開始的。**:

1、sg打表

[cpp]view plain

copy

//f:可以取走的石子個數  

//sg:0~n的sg函式值  

//hash:mex{}  

intf[k],sg[n],hash[n];    

void

getsg(

intn)    

中未出現的最小的非負整數  

if(hash[j]==0)     

}    

}    

}    

2、dfs

[cpp]view plain

copy

//注意 s陣列要按從小到大排序 sg函式要初始化為-1 對於每個集合只需初始化1遍  

//n是集合s的大小 s[i]是定義的特殊取法規則的陣列  

ints[n],sg[n],n;    

intgetsg(

intx)    

for(i=0;; i++)    

if(!vis[i])     

return

sg[x];    

}   

博弈論SG函式

有n堆石子,每次可以從第1堆石子裡取1顆 2顆或3顆,可以從第2堆石子裡取奇數顆,可以從第3堆及以後石子裡取任意顆 這時看上去問題複雜了很多,但相信你如果掌握了本節的內容,類似的千變萬化的問題都是不成問題的。現在我們來研究乙個看上去似乎更為一般的遊戲 給定乙個有向無環圖和乙個起始頂點上的一枚棋子,兩...

博弈論 SG函式

學習博弈論不得不提一哈sg函式 關於sg函式的一些概念就不多說了 說下我自己的理解sg函式記錄為0的是p狀態 不為0記錄的是n狀態 相當於有個週期再迴圈 p n狀態輪番出現 sg模板 include include include define maxn 1000 using namespace s...

博弈論 sg函式

定義 給定乙個有向無環圖和乙個起始頂點上的一枚棋子,兩名選手交替的將這枚棋子沿有向邊進行移動,無法移 動者判負。事實上,這個遊戲可以認為是所有公平組合遊戲的抽象模型。在有向圖遊戲中,對於每個節點x,設從x出發共有k條有向邊,分別到達節點y1,y2,yk,定義sg x 為x的後繼節點y1,y2,yk的...