一开始以为是 传递闭包。因为太像了,但那个是二者之间的关系,没有传递这一说,这个更像是染色。。但是手头没有那本书。
然后就暴力写了一遍bfs,没有考虑已经确定的点对结果的影响。
一个点的影响忽略不计,可以通过反转。
但是两个点可能就无法反转了。wa了两次才想到了。。。
又以为是二分图匹配。感觉一个好人一个坏人是对应的。后来写了一会,感觉不对。
看了题解,是先把那些有确定关系的点给入队列,进行多源bfs。
然后再对那些其他的点进行判断,而其他的点已经不受影响了,因为这一联通块中一定没有确定的点了。直接bfs就行。。
看来 搜索还是需要练习
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <queue>
#include <cstring>
using namespace std;
vector<int>G[1005];
bool vis[1005];
int vis1[1005];
int main()
{ int m,n;
int a,b,s,t;
while(cin>>m>>n>>s>>t)
{ for(int i=0;i<1004;i++)
G[i].clear();
memset(vis,false,sizeof(vis));
memset(vis1,0,sizeof(vis1));
for(int i=1;i<=n;i++)
{cin>>a>>b;
G[a].push_back(b);
}
queue<int>q;
memset(vis1,-1,sizeof(vis1));
if(s!=0)
{ for(int i=1;i<=s;i++)
{cin>>a;
vis1[a]=1;
q.push(a);
}
}
if(t!=0)
{ for(int i=1;i<=t;i++)
{ cin>>a;
vis1[a]=0;
q.push(a);
}
}
bool flag=false;
while(!q.empty())
{ int u=q.front();q.pop();
for(int i=0;i<G[u].size();i++)
{ if(vis1[G[u][i]]==-1)
{ vis1[G[u][i]]=!vis1[u];
q.push(G[u][i]);
}
if(vis1[G[u][i]]==vis1[u])
{ flag=true;
break;
}
}
}
if(!flag)
{for(int i=1;i<=m;i++)
{ if(flag) break;
if(vis1[i]==-1)
{ if(G[i].size()==0) {flag=true;break;}
//if(flag==true) break;
vis1[i]=1;
q.push(i);
while(!q.empty())
{ int u=q.front();q.pop();
for(int x=0;x<G[u].size();x++)
{ if(vis1[G[u][x]]==vis1[u])
{ flag=true;
break;
}
if(vis1[G[u][x]]==-1)
{ vis1[G[u][x]]=!vis1[u];
q.push(G[u][x]);
}
}
}
}
}
}
if(flag)
puts("NO");
else
puts("YES");
}
return 0;
}