Description
绿色游戏是一种两人游戏,双方分别称Ann和Billy。游戏的内容主要是轮流在棋盘上移动一颗棋子。棋盘上的点一部分是绿色的,其余是白色的;全部从1至a+b编号。编号1至a的点属于Ann,编号(a+1)至(a+b)的点属于Billy。每个点都有一些后继点,均可一步到达。属于Ann的点的后继点一定属于Billy,反之亦然。所有的点都至少有一个后继点,这样总可以往下走一步。游戏开始时把棋子放在任意的一点P上,然后双方轮流移动棋子至当前所在点(属于移动方)的一个后继点上(属于对手)。游戏由点P的拥有者开始,结束时棋子第二次到达了某一点,称点Q。如果在从点Q至点Q的一连串移动中,棋子至少一次被放到绿色点上,则Ann赢。若从点P开始,不管Billy如何移动,Ann总能保证赢得这次游戏,则称Ann对起始点P有必胜的策略。
任务: 算出Ann有必胜策略的起始点;
Input
首行有两个整数a和b,两个整数之间用一个空格分开,分别表示属于Ann和Billy的点数(1小于等于a,b小于等于3000)。
以下a+b行是对各点的描述,先描述Ann的点,再描述Billy的点。
第i+1行(1小于等于i小于等于a+b)以整数z,k开始:z表示点i的颜色(O-白色,I-绿色),k表示后继点的数目。
然后是K个整数(1小于等于k<a+b),写在同一行,代表点i后继点的编号,这些整数均用一个空格分开。
绿点的个数不超过100,所有点的后继点的个数之和不超过30000。
Output
首行仅一个整数L,代表Ann有L个有必胜策略的起始点。以下L行按升序顺序依次给出这些点的编号。
Sample Input
5 3
0 2 6 7
0 3 6 7 8
0 1 8
1 1 7
1 1 8
1 2 1 2
0 2 1 2
0 2 3 4
Sample Output
5
1
2
4
6
7
维护一个保护集合\(S\),表示哪些点\(A\)可能胜利。
首先将所有绿点加入\(S\)。
\(1.\)对于一个不在\(S\)的\(A\)点,若它存在某个后继在\(S\)中,则将其加入\(S\)。
\(2.\)对于一个不在\(S\)的\(B\)点,若它所有后继都在\(S\)中,则将其加入\(S\)。
通过拓扑可以\(O(n+m)\)求出\(S\)集合,那么剩下的点\(A\)必败。
\(1.\)对于一个在\(S\)的\(A\)点,若它所有后继都不在\(S\)中,则将其从\(S\)中移除。
\(2.\)对于一个在\(S\)的\(B\)点,若它存在某个后继不在\(S\)中,则将其从\(S\)中移除。
同样可以通过拓扑\(O(n+m)\)求出最终的\(S\)集合。
这样会导致某些绿点不在\(S\)中,那么它们就失去了作为绿点的价值,将其标记为白点。
重复运行这个算法\(O(n)\)轮直到所有绿点都发挥了价值,此时\(S\)中的点\(A\)必胜。
时间复杂度\(O(n(n+m))\)。
/*program from Wolfycz*/
#include<cmath>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define inf 0x7f7f7f7f
using namespace std;
typedef long long ll;
typedef unsigned int ui;
typedef unsigned long long ull;
inline int read(){
int x=0,f=1;char ch=getchar();
for (;ch<'0'||ch>'9';ch=getchar()) if (ch=='-') f=-1;
for (;ch>='0'&&ch<='9';ch=getchar()) x=(x<<1)+(x<<3)+ch-'0';
return x*f;
}
inline void print(int x){
if (x>=10) print(x/10);
putchar(x%10+'0');
}
const int N=3e3,M=3e4;
int pre[M+10],now[N+10],child[M+10],d[N+10],deg[N+10],h[N+10],Ans[N+10];
bool vis[N+10],c[N+10];
int n,m,tot;
void join(int x,int y){pre[++tot]=now[x],now[x]=tot,d[child[tot]=y]++;}
bool solve(){
int head=1,tail=0;
for (int i=1;i<=n;i++){
vis[i]=c[i],deg[i]=d[i];
vis[i]?h[++tail]=i:0;
}
for (;head<=tail;head++){
int Now=h[head];
for (int p=now[Now],son=child[p];p;p=pre[p],son=child[p]){
if (vis[son]) continue;
son<=m?vis[h[++tail]=son]=1:!--deg[son]?vis[h[++tail]=son]=1:0;
}
}
head=1,tail=0;
for (int i=1;i<=n;i++){
deg[i]=d[i];
!vis[i]?h[++tail]=i:0;
}
for (;head<=tail;head++){
int Now=h[head];
for (int p=now[Now],son=child[p];p;p=pre[p],son=child[p]){
if (!vis[son]) continue;
son>m?vis[h[++tail]=son]=0:!--deg[son]?vis[h[++tail]=son]=0:0;
}
}
bool flag=0;
for (int i=1;i<=n;i++) if (c[i]&&!vis[i]) c[i]=0,flag=1;
return flag;
}
int main(){
m=read(),n=read()+m;
for (int i=1,k;i<=n;i++){
c[i]=read(),k=read();
for (int j=1;j<=k;j++) join(read(),i);
}
while (solve());
int cnt=0;
for (int i=1;i<=n;i++) if (vis[i]) Ans[++cnt]=i;
printf("%d\n",cnt);
for (int i=1;i<=cnt;i++) printf("%d\n",Ans[i]);
return 0;
}