[POI2001]Gra绿色游戏

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;
}