2-sat 问题* N个集团，每个集团2个人，现在要想选出尽量多的人，

| 2-sat 问题

* N 个集团，每个集团 2 个人，现在要想选出尽量多的人，

* 且每个集团只能选出一个人。如果两人有矛盾，他们不能同时被选中

* 问最多能选出多少人

\*==================================================*/

const int MAXN=3010;

int n,m;

int g[3010][3010],ct[3010],f[3010];

int x[3010],y[3010];

int prev[MAXN], low[MAXN], stk[MAXN], sc[MAXN];

int cnt[MAXN];

int cnt0, ptr, cnt1;

void dfs(int w){

int min(0);

prev[w] = cnt0++;

low[w] = prev[w];

min = low[w];

stk[ptr++] = w;

for(int i = 0; i < ct[w]; ++i){

int t = g[w][i];

if(prev[t] == -1)

dfs(t);

if(low[t] < min)

min = low[t];

}

if(min < low[w]){

low[w] = min;

return;

}

do{

int v = stk[--ptr];

sc[v] = cnt1;

low[v] = MAXN;

}while(stk[ptr] != w);

++cnt1;

}

void Tarjan(int N){

// 传入 N 为点数，结果保存在 sc 数组中，同一标号的点在同一个强连通

分量内，

// 强连通分量数为 cnt1

cnt0 = cnt1 = ptr = 0;

int i;

for(i = 0; i < N; ++i)

prev[i] = low[i] = -1;

for(i = 0; i < N; ++i)

if(prev[i] == -1)

dfs(i);

}

int solve(){

Tarjan(n);

for (int i=0;i