【BZOJ1443】[JSOI2009]游戏Game（二分图+博弈）

BZOJ

题意：
给出一个(n*m)的网格，其中有一些障碍点。
现在两个人玩游戏，首先先手选定一个点，然后从后手开始轮流移动，不能移动者即输掉这次游戏。
规定不能移动到那些之前已经到过的格子上。

思路：

• 网格图可以联想到二分图，我们可以对其进行黑白染色。
• 注意如果先手必赢的话，直到终点只会走偶数步，也就是说起点和终点格子的颜色不变。
• 也就是说，如果从二分图的左边出发的话，也只能到左边。这种情况等价于从二分图最大匹配中的非匹配点出发，也一定最后到达的左边。
• 因为最大匹配的情况可能有多种，所有可能的非匹配点都是答案。模拟一下，发现从左边的一个非匹配点出发，到达的所有的左边的点都是答案。因为如果到达的是非匹配点，那么显然；如果到达的是匹配点，那么可以通过交换边使得这个点变为非匹配点。

在右侧的情况同理。实现的话用网络流会快很多，并且直接从源汇点出发dfs即可。
代码如下：

/*
 * Author:  heyuhhh
 * Created Time:  2019/11/6 21:34:15
 */
#include <bits/stdc++.h>
#define MP make_pair
#define fi first
#define se second
#define sz(x) (int)(x).size()
#define all(x) (x).begin(), (x).end()
#define INF 0x3f3f3f3f
#define Local
#ifdef Local
  #define dbg(args...) do { cout << #args << " -> "; err(args); } while (0)
  void err() { std::cout << '
'; }
  template<typename T, typename...Args>
  void err(T a, Args...args) { std::cout << a << ' '; err(args...); }
#else
  #define dbg(...)
#endif
void pt() {std::cout << '
'; }
template<typename T, typename...Args>
void pt(T a, Args...args) {std::cout << a << ' '; pt(args...); }
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
//head
const int N = 105;

int n, m;
int col[N * N];
char s[N];
int mp[N][N], tot;

#define _S heyuhhh
template <class T>
struct Dinic{
    struct Edge{
        int v, next;
        T flow;
        Edge(){}
        Edge(int v, int next, T flow) : v(v), next(next), flow(flow) {}
    }e[500005];
    int head[N * N], tot;
    int dep[N * N];
    void init() {
        memset(head, -1, sizeof(head)); tot = 0;
    }
    void adde(int u, int v, T w, T rw = 0) {
        e[tot] = Edge(v, head[u], w);
        head[u] = tot++;
        e[tot] = Edge(u, head[v], rw);
        head[v] = tot++;
    }
    bool BFS(int _S, int _T) {
        memset(dep, 0, sizeof(dep));
        queue <int> q; q.push(_S); dep[_S] = 1;
        while(!q.empty()) {
            int u = q.front(); q.pop();
            for(int i = head[u]; ~i; i = e[i].next) {
                int v = e[i].v;
                if(!dep[v] && e[i].flow > 0) {
                    dep[v] = dep[u] + 1;
                    q.push(v);
                }
            }
        }
        return dep[_T] != 0;
    }
    T dfs(int _S, int _T, T a) {
        T flow = 0, f;
        if(_S == _T || a == 0) return a;
        for(int i = head[_S]; ~i; i = e[i].next) {
            int v = e[i].v;
            if(dep[v] != dep[_S] + 1) continue;
            f = dfs(v, _T, min(a, e[i].flow));
            if(f) {
                e[i].flow -= f;
                e[i ^ 1].flow += f;
                flow += f;
                a -= f;
                if(a == 0) break;
            }
        }
        if(!flow) dep[_S] = -1;
        return flow;
    }
    T dinic(int _S, int _T) {
        T max_flow = 0;
        while(BFS(_S, _T)) max_flow += dfs(_S, _T, INF);
        return max_flow;
    }
    bool chk[N * N], vis[N * N];
    int ans;
    void go(int u, int d) {
        vis[u] = 1;
        if(u >= 1 && u <= tot) {
            if(col[u] == d) ++ans, chk[u] = 1;
        }
        for(int i = head[u]; i != -1; i = e[i].next) {
            int v = e[i].v;
            if(!vis[v] && e[i ^ (1 - d)].flow > 0) go(v, d);
        }
    }
    void print() {
        if(ans) cout << "WIN" << '
';
        else cout << "LOSE" << '
';
        for(int i = 1; i <= n; i++) {
            for(int j = 1; j <= m; j++) {
                if(mp[i][j] && chk[mp[i][j]]) cout << i << ' ' << j << '
';  
            }
        }
    }
};

Dinic <int> solver;

const int dx[4] = {-1, 1, 0, 0}, dy[4] = {0, 0, 1, -1};
bool ok(int x, int y) {
    return x >= 1 && y >= 1 && x <= n && y <= m && mp[x][y] && (x + y) % 2 == 0;
}
void run() {
    solver.init();
    cin >> n >> m;
    for(int i = 1; i <= n; i++) {
        cin >> (s + 1);
        for(int j = 1; j <= m; j++) {
            if(s[j] == '.') mp[i][j] = ++tot;
        }
    }
    for(int i = 1; i <= n; i++) {
        for(int j = 1; j <= m; j++) {
            if(i + j & 1 && mp[i][j]) {
                for(int k = 0; k < 4; k++) {
                    int nx = i + dx[k], ny = j + dy[k];
                    if(ok(nx, ny)) solver.adde(mp[i][j], mp[nx][ny], 1);
                }
            }
        }
    }
    int S = 0, T = tot + 1;
    for(int i = 1; i <= n; i++) {
        for(int j = 1; j <= m; j++) if(mp[i][j]) {
            if(i + j & 1) solver.adde(S, mp[i][j], 1), col[mp[i][j]] = 1;
            else solver.adde(mp[i][j], T, 1);
        }
    }
    solver.dinic(S, T);
    solver.go(S, 1); solver.go(T, 0);
    solver.print(); 
}

int main() {
    ios::sync_with_stdio(false);
    cin.tie(0); cout.tie(0);
    cout << fixed << setprecision(20);
    run();
	return 0;
}