Codeforce 1248 F. Catowice City（思维,dfs）

题目大意：有 n 户人，每户人家里有一个人和一只猫。每个人都认识自己家的猫，除此之外还认识一些别人家的猫，现在要选一些猫和人出来，使得猫的个数 + 人的个数 = n，并且这些选出来的猫不被选出来的人认识。

---

首先每户人家必出一只猫或一个人，否则至少有一户人家既要出人又要出猫，这种答案不合法。

那么枚举第一户人出人还是出猫，根据他们的认识关系，可以用dfs搜索出哪些人因此也必须出人或出猫。

无解的情况：当第一个人无论选人或选猫，都会导致要么没有选到猫要么没有选到人。

这实际上是一个 2-sat 模型。

---

代码：

#include<bits/stdc++.h>
using namespace std;
const int maxn = 1e6 + 10;
int n,m,t;
vector<int> g[maxn],h[maxn];
int vis[maxn];
int cnt;
void dfs1(int u) {
	vis[u] = 1;cnt++;
	for(auto it : g[u]) {
		if(vis[it]) continue;
		dfs1(it);
	}
}
void dfs2(int u) {
	vis[u] = 1;cnt++;
	for(auto it : h[u]) {
		if(vis[it]) continue;
		dfs2(it);
	}
}
int main() {
	scanf("%d",&t);
	while(t--) {
		scanf("%d%d",&n,&m);
		for(int i = 1; i <= n; i++)
			g[i].clear(),h[i].clear(),vis[i] = 0;
		cnt = 0;
		for(int i = 1; i <= m; i++) {
			int u,v;scanf("%d%d",&u,&v);
			g[u].push_back(v);
			h[v].push_back(u);
		}
		dfs1(1);
		if(cnt == n) {
			cnt = 0;
			for(int i = 1; i <= n; i++)
				vis[i] = 0;
			dfs2(1);
			if(cnt == n) {
				puts("No");
				continue;
			}
			cnt = n - cnt;
			for(int i = 1; i <= n; i++)
				vis[i] = vis[i] == 0 ? 1 : 0;
		}	
		puts("Yes");
		printf("%d %d\n",cnt,n - cnt);
		int a1 = cnt,a2 = n - cnt;
		for(int i = 1; i <= n; i++) {
			if(vis[i]) {
				a1--;
				printf("%d%s",i,a1 == 0 ? "\n" : " ");
			}	
		}
		for(int i = 1; i <= n; i++) {
			if(!vis[i]) {
				a2--;
				printf("%d%s",i,a2 == 0 ? "\n" : " ");
			}	
		}
	}
	return 0;
}