洛谷题解P1971 [NOI2011] 兔兔与蛋蛋游戏

原题索引：洛谷-P1971

# [NOI2011] 兔兔与蛋蛋游戏

## 题目描述

这些天，兔兔和蛋蛋喜欢上了一种新的棋类游戏。

这个游戏是在一个 $n$ 行 $m$ 列的棋盘上进行的。游戏开始之前，棋盘上有一个格子是空的，其它的格子中都放置了一枚棋子，棋子或者是黑色，或者是白色。

每一局游戏总是兔兔先操作，之后双方轮流操作，具体操作为：

* 兔兔每次操作时，选择一枚与空格相邻的白色棋子，将它移进空格。
* 蛋蛋每次操作时，选择一枚与空格相邻的黑色棋子，将它移进空格。

第一个不能按照规则操作的人输掉游戏。为了描述方便，下面将操作“将第x行第y列中的棋子移进空格中”记为 $M(x,y)$。

例如下面是三个游戏的例子。

最近兔兔总是输掉游戏，而且蛋蛋格外嚣张，于是兔兔想请她的好朋友——你——来帮助她。她带来了一局输给蛋蛋的游戏的实录，请你指出这一局游戏中所有她“犯错误”的地方。

注意：

* 两个格子相邻当且仅当它们有一条公共边。
* 兔兔的操作是“犯错误”的，当且仅当，在这次操作前兔兔有必胜策略，而这次操作后蛋蛋有必胜策略。

## 输入格式

输入的第一行包含两个正整数 $n,m$。

接下来 $n$ 行描述初始棋盘。其中第 $i$ 行包含 $m$ 个字符，每个字符都是大写英文字母 `X`、大写英文字母 `O` 或点号 `.` 之一，分别表示对应的棋盘格中有黑色棋子、有白色棋子和没有棋子。其中点号 `.` 恰好出现一次。

接下来一行包含一个整数 $k$（$1\leq k\leq 1000$） ，表示兔兔和蛋蛋各进行了 $k$ 次操作。

接下来 $2k$ 行描述一局游戏的过程。其中第 $2i - 1$ 行是兔兔的第 $i$ 次操作（编号为 $i$ 的操作） ，第 $2i$ 行是蛋蛋的第 $i$ 次操作。每个操作使用两个整数 $x,y$ 来描述，表示将第 $x$ 行第 $y$ 列中的棋子移进空格中。

输入保证整个棋盘中只有一个格子没有棋子， 游戏过程中兔兔和蛋蛋的每个操作都是合法的，且最后蛋蛋获胜。

## 输出格式

输出文件的第一行包含一个整数 $r$，表示兔兔犯错误的总次数。

接下来 $r$ 行按递增的顺序给出兔兔“犯错误”的操作编号。其中第 $i$ 行包含一个整数 $a_i$ 表示兔兔第 $i$ 个犯错误的操作是他在游戏中的第 $a_i$ 次操作。

## 样例 #1

### 样例输入 #1

```
1 6 
XO.OXO 
1 
1 2 
1 1
```

### 样例输出 #1

```
1
1
```

## 样例 #2

### 样例输入 #2

```
3 3 
XOX 
O.O 
XOX 
4 
2 3 
1 3 
1 2 
1 1 
2 1 
3 1 
3 2 
3 3
```

### 样例输出 #2

```
0
```

## 样例 #3

### 样例输入 #3

```
4 4 
OOXX 
OXXO 
OO.O 
XXXO 
2 
3 2 
2 2 
1 2 
1 3
```

### 样例输出 #3

```
2
1
2
```

## 提示

对于 $100\%$ 的数据，$1\leq n\leq 40$，$1 \leq m\leq 40$，$1\leq k\leq 1000$。

|测试点编号|$n$|$m$|
|:-:|:-:|:-:|
|$1,2$|$n=1$|$1\leq m\leq 20$|
|$3$|$n=3$|$m=4$|
|$4,5$|$n=4$|$m=4$|
|$6,7$|$n=4$|$m=5$|
|$8$|$n=3$|$m=7$|
|$9\sim 14$|$n=2$|$1\leq m\leq 40$|
|$15,16$|$1\leq n\leq 16$|$1\leq m\leq 16$|
|$17\sim 20$|$1\leq n\leq 40$|$1\leq m\leq 40$|

## 题解 

先审清楚题意。A 一步走错的判定：A 走这步之前，A先手采用最优策略必胜；A 走这步之后，B先手采用最优策略必胜。

可以直接用最基础的博弈论展开爆搜，判断是否必胜。本题非常良心，这就有75分。

先随便模拟几局游戏，可以发现，游戏的过程中不可能出现环，即空格的移动一定是不重复地经过一些位置，而这些位置原本的颜色依次白黑相间。

这让我们很容易联想到二分图的增广路：设起点和黑子为左边，白子为右边，那么 A 的移动可以看作是左边连向右边的一条边，而 B 的移动可以看作是从 A 刚刚到达的点连回左边的的一条边，且每条边的目标点都不能是已经到达过的点。这显然就是二分图增广路的样子。

如果 A 当前的局面必胜，说明这条增广路是增广成功的，即有奇数条边。因此判断局面是否必胜转化为判断当前点是否一定在二分图的最大匹配中。

判断的过程：强制当前点不选，如果它的匹配点仍然能找到新的匹配点，说明有一种最大匹配不包含它，自然它就不是 一定 在最大匹配中。

#include <bits/stdc++.h>
#define mset(a, b) memset(a, b, sizeof(a))
using namespace std;
typedef long long LL;
const int N = 50;
const int MAXN = N*N;
const int M = 1005;

template <typename T> inline void read(T &AKNOI)
{
	T x=0, flag=1;
	char ch = getchar();
	while(!isdigit(ch)){
		if(ch == '-') flag = -1;
		ch = getchar();
	}
	while(isdigit(ch)){
		x = (x<<1) + (x<<3) + ch - '0';
		ch = getchar();
	}
	AKNOI = flag * x;
}

int nx[4] = {0, 1, 0, -1};
int ny[4] = {1, 0, -1, 0};

struct Edge
{
	int v, nxt;
}e[MAXN*8];
int first[MAXN], eCnt;

inline void AddEdge(int u, int v)
{
	e[++eCnt].v = v;
	e[eCnt].nxt = first[u];
	first[u] = eCnt;
}

char s[N];
int n, m, q, mp[N][N], bx, by, id[N][N], ID;
int match[MAXN], ban[MAXN], vis[MAXN], tim, win[MAXN];
int ans[M], top;

int Match(int u)
{
	if(ban[u]) return 0;
	for(int i=first[u];i;i=e[i].nxt){
		int v = e[i].v;
		if(vis[v] == tim || ban[v]) continue;
		vis[v] = tim;
		if(!match[v] || Match(match[v])){
			match[u] = v;
			match[v] = u;
			return 1;
		}
	}
	return 0;
}

void init()
{
	read(n); read(m);
	for(int i=1;i<=n;++i){
		scanf("%s", s + 1);
		for(int j=1;j<=m;++j){
			if(s[j] == 'O') mp[i][j] = 0;
			else if(s[j] == 'X') mp[i][j] = 1;
			else{
				mp[i][j] = 1;
				bx = i, by = j;
			} 
		}
	}
}

void build()
{
	for(int i=1;i<=n;++i){
		for(int j=1;j<=m;++j){
			id[i][j] = ++ID;
		}
	}
	for(int i=1;i<=n;++i){
		for(int j=1;j<=m;++j){
			if(!mp[i][j]) continue;
			for(int k=0;k<4;++k){
				int x = i + nx[k], y = j + ny[k];
				if(x < 1 || x > n || y < 1 || y > m) continue;
				if(mp[x][y] == 1) continue;
				AddEdge(id[i][j], id[x][y]);
				AddEdge(id[x][y], id[i][j]);
			}
		}
	}
}

void solve()
{
	for(int i=1;i<=n;++i){
		for(int j=1;j<=m;++j){
			if(mp[i][j]){
				++tim;
				Match(id[i][j]);
			}
		}
	}
	read(q);
	for(int i=1;i<=(q<<1);++i){
		int x = id[bx][by];
		ban[x] = 1;
		if(match[x]){
			int y = match[x];
			match[x] = match[y] = 0;
			++tim;
			win[i] = !Match(y);
		}
		read(bx); read(by);
	}
	for(int i=1;i<=q;++i){
		if(win[(i<<1)-1] && win[i<<1]){
			ans[++top] = i;
		}
	}
	printf("%d\n", top);
	for(int i=1;i<=top;++i){
		printf("%d\n", ans[i]);
	}
}

int main()
{
	init();
	build();
	solve();	
	return 0;
}

 OK，完美结束