多校六第九题,当时玩了一下午的2-sat,一直玩到自闭.....赛后看了题解后,发现分析的就不对,首先可以假设所有人都是狼,显然没什么毛病,所以确定为村民的人肯定就是0,怎么找到铁狼的数量呢,首先从说话的人连接一条有向边到被说的人,假设存在以下的环,D说A是狼,其他边都是村民边,假设A是村民,得出D也是村民,然后根据D得出A是狼,自相矛盾,所以A必狼。且说铁狼是村民的也是铁狼。
那么再看看下面的环,D到A和B到C都是狼边,假设A是村民,B也是村民,C铁狼,D可为村民可为狼,D为狼时A可以为村民,那么这种情况下显然没有铁狼,那么得出一个结论,在一个由村民边组成的有向图,如果加一条狼边产生环,那么狼边指向的人必铁狼,且所有指向狼的的村民边也是铁狼,可以反向建村民边的图,根据并查集找到铁狼后,再根据有向图找到所有的铁狼。
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
#include<vector>
using namespace std;
const int maxn=1e5+10;
vector<int>G[maxn];
int par[maxn],vis[maxn];
vector<pair<int,int> >V;
int n,ans;
void init()
{
ans=0;
V.clear();
for(int i=1;i<=n;i++)
G[i].clear(),par[i]=i;
memset(vis,0,sizeof(vis));
}
int find(int x)
{
if(par[x]!=x)
par[x]=find(par[x]);
return par[x];
}
void dfs(int x)
{
if(vis[x])return;
vis[x]=1;
ans++;
for(int i=0;i<G[x].size();i++)
dfs(G[x][i]);
}
int main()
{
int T,x;
char op[10];
scanf("%d",&T);
while(T--)
{
scanf("%d",&n);
init();
for(int i=1;i<=n;i++)
{
scanf("%d%s",&x,op);
if(op[0]=='v')
G[x].push_back(i);
else
V.push_back(make_pair(i,x));
}
for(int i=1;i<=n;i++)
for(int j=0;j<G[i].size();j++)
{
int u=i,v=G[i][j];
u=find(u),v=find(v);
if(u!=v)
par[u]=v;
}
for(int i=0;i<V.size();i++)
{
int u=V[i].first;
int v=V[i].second;
if(find(u)==find(v))
dfs(v);
}
printf("0 %d\n",ans);
}
}