luogu4055 游戏 (二分图博弈)

考虑对非障碍的点黑白染色然后做二分图最大匹配,那么有结论,先手必胜当且仅当不是完美匹配,而且可以放的点是那些可以不匹配的点

从非匹配点开始走,后手只能走到匹配点,于是先手就可以走匹配边。由于不能走走过的点,所以现在又变成了一个非匹配点;这样下去直到后手无路可走,所以先手必胜

反观完美匹配的情况,先手放在任意一个匹配的位置,后手都可以走匹配边从而变成了上面的情况,就是后手必胜

这类问题大概可以总结为:(一类可以用二分图来描述的博弈问题)

1.博弈者人数为两人,双方轮流进行决策。
2.博弈状态(对应点)可分为两类(状态空间可分为两个集合),对应二分图两边(X集和Y集)。任意合法的决策(对应边)使状态从一类跳转到另一类。(正是由于这个性质使得问题可以用二分图描述)
3.不可以转移至已访问的状态。(不可重复访问点)
4.无法转移者判负。

 1 #include<bits/stdc++.h>
 2 #define pa pair<int,int>
 3 #define CLR(a,x) memset(a,x,sizeof(a))
 4 #define MP make_pair
 5 #define fi first
 6 #define se second
 7 using namespace std;
 8 typedef long long ll;
 9 typedef unsigned long long ull;
10 typedef unsigned int ui;
11 typedef long double ld;
12 const int maxn=105,maxp=1e4+10;
13 
14 inline char gc(){
15     return getchar();
16     static const int maxs=1<<16;static char buf[maxs],*p1=buf,*p2=buf;
17     return p1==p2&&(p2=(p1=buf)+fread(buf,1,maxs,stdin),p1==p2)?EOF:*p1++;
18 }
19 inline ll rd(){
20     ll x=0;char c=gc();bool neg=0;
21     while(c<'0'||c>'9'){if(c=='-') neg=1;c=gc();}
22     while(c>='0'&&c<='9') x=(x<<1)+(x<<3)+c-'0',c=gc();
23     return neg?(~x+1):x;
24 }
25 
26 int N,M,id[maxn][maxn],pct,cnt[2];
27 char mp[maxn][maxn];
28 bool col[maxp],flag[maxp],ans[maxp];
29 int eg[maxp*4][2],egh[maxp],bel[maxp],ect;
30 
31 inline void adeg(int a,int b){
32     eg[++ect][0]=b,eg[ect][1]=egh[a],egh[a]=ect;
33 }
34 
35 bool dfs(int x){
36     for(int i=egh[x];i;i=eg[i][1]){
37         int b=eg[i][0];if(flag[b]) continue;
38         flag[b]=1;
39         if(!bel[b]||dfs(bel[b])){
40             bel[b]=x,bel[x]=b;
41             return 1;
42         }
43     }return 0;
44 }
45 
46 int main(){
47     //freopen("","r",stdin);
48     N=rd(),M=rd();
49     for(int i=1;i<=N;i++) scanf("%s",mp[i]+1);
50     for(int i=1;i<=N;i++){
51         for(int j=1;j<=M;j++){
52             if(mp[i][j]=='.'){
53                 id[i][j]=++pct;
54                 cnt[col[pct]=(i&1)^(j&1)]++;
55                 if(i>1&&mp[i-1][j]=='.')
56                     adeg(id[i-1][j],id[i][j]),adeg(id[i][j],id[i-1][j]);
57                 if(j>1&&mp[i][j-1]=='.')
58                     adeg(id[i][j-1],id[i][j]),adeg(id[i][j],id[i][j-1]);
59             }
60         }
61     }
62     int nn=0;
63     for(int i=1;i<=pct;i++){
64         CLR(flag,0);
65         if(col[i]) nn+=dfs(i);
66     }
67     if(nn==cnt[0]&&nn==cnt[1]) puts("LOSE");
68     else{
69         puts("WIN");
70         for(int i=1;i<=pct;i++){
71             CLR(flag,0);
72             flag[i]=1;
73             if(!bel[i]||dfs(bel[i])) bel[i]=0,ans[i]=1;
74         }
75         for(int i=1;i<=N;i++){
76             for(int j=1;j<=M;j++){
77                 if(ans[id[i][j]]) printf("%d %d\n",i,j);
78             }
79         }
80     }
81     return 0;
82 }

 

posted @ 2019-04-27 15:53  Ressed  阅读(204)  评论(0编辑  收藏  举报