这是一道经典的 S G SG SG函数题目
存在SG函数的博弈问题都是有向图游戏
首先定义 m e x ( S ) mex(S) mex(S) 表示不属于集合 S S S 的最小非负整数
S G ( x ) SG(x) SG(x) 的定义为 m e x { S G ( y 1 ) , S G ( y 2 ) , S G ( y 3 ) , . . . . S G ( y k ) } mex\{SG(y_1),SG(y_2),SG(y_3),....SG(y_k)\} mex{SG(y1),SG(y2),SG(y3),....SG(yk)},其中 y 1 . . . y k y_1...y_k y1...yk 表示 x x x 能够转移到的状态
有向图游戏的和等于给个游戏函数值的异或和,即
S
G
(
G
)
=
S
G
(
G
1
)
x
o
r
S
G
(
G
2
)
x
o
r
.
.
.
x
o
r
S
G
(
G
k
)
SG(G)=SG(G_1) \ xor \ SG(G_2) \ xor ... \ xor \ SG(G_k)
SG(G)=SG(G1) xor SG(G2) xor... xor SG(Gk)
当起点的
S
G
SG
SG 函数大于0则必胜,否则必败
这个题目就是每次给某张纸剪一下使他分成两块,最终剪出 1 ∗ 1 1*1 1∗1 的玩家获胜
首先 1 ∗ 1 1*1 1∗1 肯定是一个必胜局面
那么显然 2 ∗ 2 , 2 ∗ 3 , 3 ∗ 2 2*2,2*3,3*2 2∗2,2∗3,3∗2 都是必败局面
那么能够通过 S G SG SG 函数解决此题
定义 S G ( i , j ) SG(i,j) SG(i,j) 表示纸张大小为 i ∗ j i*j i∗j 时的 S G SG SG 函数
那么能够轻松地知道
S G ( n , m ) = m e x ( { S G ( i , m ) x o r S G ( n − i , m ) } ∪ { S G ( n , i ) x o r S G ( n , m − i ) } ) SG(n,m)=mex(\{SG(i,m) \ xor \ SG(n-i,m)\} \cup \{SG(n,i) \ xor \ SG(n,m-i)\}) SG(n,m)=mex({SG(i,m) xor SG(n−i,m)}∪{SG(n,i) xor SG(n,m−i)})
通过上述方程转移SG函数,通过记忆化搜索即可解决本问题
#include <map>
#include <set>
#include <ctime>
#include <queue>
#include <stack>
#include <cmath>
#include <vector>
#include <bitset>
#include <cstdio>
#include <cctype>
#include <string>
#include <numeric>
#include <cstring>
#include <cassert>
#include <climits>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std ;
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define loop(s, v, it) for (s::iterator it = v.begin(); it != v.end(); it++)
#define cont(i, x) for (int i = head[x]; i; i = e[i].nxt)
#define clr(a) memset(a, 0, sizeof(a))
#define ass(a, sum) memset(a, sum, sizeof(a))
#define lowbit(x) (x & -x)
#define all(x) x.begin(), x.end()
#define mp make_pair
#define pb push_back
#define fi first
#define se second
#define iv inline void
#define enter cout << endl
#define siz(x) ((int)x.size())
#define file(s) freopen(s".in", "r", stdin), freopen(s."out", "w", stdout)
typedef long long ll ;
typedef unsigned long long ull ;
typedef pair <int, int> pii ;
typedef vector <int> vi ;
typedef vector <pii> vii ;
typedef queue <int> qi ;
typedef set <int> si ;
typedef map <int, int> mii ;
typedef map <string, int> msi ;
const int N = 210 ;
const int INF = 0x3f3f3f3f ;
const int iinf = 1 << 30 ;
const ll linf = 2e18 ;
const int MOD = 1000000007 ;
const double eps = 1e-7 ;
void print(int x) { cout << x << endl ; exit(0) ; }
void PRINT(string x) { cout << x << endl ; exit(0) ; }
void douout(double x){ printf("%lf\n", x + 0.0000000001) ; }
int n, m ;
int dp[N][N] ;
int sg(int n, int m) {
if (dp[n][m] != -1) return dp[n][m] ;
bool g[N] = {0} ;
rep(i, 2, m / 2) g[sg(n, i) ^ sg(n, m - i)] = 1 ;
rep(i, 2, n / 2) g[sg(i, m) ^ sg(n - i, m)] = 1 ;
for (int i = 0;; i++) if (!g[i]) return dp[n][m] = i ;
}
signed main(){
ass(dp, -1) ;
while (scanf("%d%d", &n, &m) != EOF) {
if (sg(n, m) > 0) puts("WIN") ;
else puts("LOSE") ;
}
return 0 ;
}
/*
写代码时请注意:
1.ll?数组大小,边界?数据范围?
2.精度?
3.特判?
4.至少做一些
思考提醒:
1.最大值最小->二分?
2.可以贪心么?不行dp可以么
3.可以优化么
4.维护区间用什么数据结构?
5.统计方案是用dp?模了么?
6.逆向思维?
*/