【LOJ#536】「LibreOJ Round #6」花札

题目链接

题目描述

「UniversalNO」的规则如下：每张牌有一种颜色和一个点数。两个人轮流出牌，由 Alice 先手，最开始牌堆为空，出的人可以出任意牌（放到牌堆顶），之后出的牌必须和当时牌堆顶的牌的颜色或点数至少有一个相同。有牌可出者必须出，无牌可出者输。

Alice 和 Shinobu 玩了几局后觉得原来的规则太依靠运气，于是她们加了一个新玩法：Alice 出了第一张之后，两个人立即交换手里的牌，然后从 Alice 开始继续按原来的规则进行游戏。当然，这次 Alice 出的牌必须和她刚开始出的颜色或点数至少有一个相同。

交换之后两人都知道对方的手牌（就是开局时自己的手牌），于是就有必胜策略了。

现在已知 Alice 和 Shinobu 手里一开始的牌，请你求出对于 Alice 第一次出牌的每种情况，谁有必胜策略。

Sol

不难看出出了一张牌后另一个人能够出的牌是可以事先知道的。
那么这就形成一个二分图。
博弈过程相当于是一开始在先手的点上放了一个棋子，然后每次轮流沿着出边走，不能走的人失败。

这是一个经典的二分图博弈模型。
先手必胜当且仅当棋子所在点一定在最大匹配中。

判断方法:
跑网络流，要求源点到这个点有流量且这个点没有被分割在源点集合。

code:

#include<bits/stdc++.h>
using namespace std;
#define Set(a,b) memset(a,b,sizeof(a))
template<class T>inline void init(T&x){
   
	x=0;char ch=getchar();bool t=0;
	for(;ch>'9'||ch<'0';ch=getchar()) if(ch=='-') t=1;
	for(;ch>='0'&&ch<='9';ch=getchar()) x=(x<<1)+(x<<3)+(ch-48);
	if(t) x=-x;return;
}typedef long long ll;
const int N=4e4+10;
const int MAXN=2e5+10;
const int MAXM=2e6+10;
int m,c,n1,n2;
struct edge{
   
	int to,next,cap;
}a[MAXM<<2]