UVA - 1627
显然本题要先按不认识重新建立边（两者u认识v 但 v不认识u 也算不认识） 然后二分匹配，匹配成功，即可分为两组；
接下来的问题就是背包问题了，选每个连通分量里被1着色的部分，则该连通分量剩下的人只能在另一组，这样可看做 第一组比第二组多增加（num（1） - num(2)） 个人；这样
问题就是对所有连通分量的背包选择；
边界注意
#include <map>
#include <cstdio>
#include <vector>
#include <cstdlib>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const int maxn = 105;
vector<int> son[maxn],bag,st[maxn][2];
bool vis[maxn],G[maxn][maxn];
int color[maxn],n;
bool bipartite(int u,int cnt){
for(int i=1;i<=n;i++)if(G[u][i]){
int v = i;
if(color[v]){
if(color[v] == color[u]) return false;
continue;
}
color[v] = 3 - color[u];
st[cnt][color[v]-1].push_back(v);
if(!bipartite(v,cnt)) return false;
}
return true;
}
const int ADD = 101;
int d[maxn][maxn*2+4][2];
bool VIS[maxn][maxn*2+4][2];
int dp(int i,int j,int k){
if(VIS[i][j][k]) return d[i][j][k];
VIS[i][j][k] = true;
int& ans = d[i][j][k];
if(i==bag.size() - 1) {return d[i][j][k] =0;}
int now = j - ADD;
int ans1 = dp(i+1,ADD+(now-bag[i+1]),0) + bag[i+1];
int ans2 = dp(i+1,ADD+(now+bag[i+1]),1) - bag[i+1];
ans = abs(now - ans1) < abs(now - ans2) ? ans1 : ans2;
return ans;
}
vector<int> ans;
void print_ans(int i,int j,int k){
if(i == bag.size() - 1) return ;
if(d[i][j][k] == dp(i+1,ADD+(j-ADD-bag[i+1]),0) + bag[i+1]){
for(int g=0;g<st[i+1][0].size();g++)
ans.push_back(st[i+1][0][g]);
print_ans(i+1,ADD+(j-ADD-bag[i+1]),0);
}
else {
for(int g=0;g<st[i+1][1].size();g++)
ans.push_back(st[i+1][1][g]);
print_ans(i+1,ADD+(j-ADD+bag[i+1]),1);
}
}
int main(){
//freopen("input.txt","r",stdin);
int T,kase=0;
scanf("%d",&T);
while(T--){
if(kase++) printf("\n");
scanf("%d",&n);
for(int i=1;i<=n;i++) son[i].clear();
for(int i=1;i<=n;i++){
int x;
while(scanf("%d",&x)&&x){
son[i].push_back(x);
}
}
memset(G,false,sizeof(G));
for(int i=1;i<=n;i++){
memset(vis,false,sizeof(vis));
for(int j=0;j<son[i].size();j++) vis[son[i][j]] = true;
for(int j=1;j<=n;j++)if(j!=i){
if(!vis[j]){
G[i][j] = G[j][i] = true;
}
}
}
memset(color,0,sizeof(color));
bool flag=true;
bag.clear(); bag.push_back(0);
for(int i=1;i<=n;i++){
if(!color[i]){
int cnt = bag.size();
st[cnt][0].clear();
st[cnt][1].clear();
color[i] = 1; st[cnt][0].push_back(i);
if(!bipartite(i,cnt)){
flag=false; break;
}
int c1=st[cnt][0].size();
int c2=st[cnt][1].size();
bag.push_back(c1 - c2);
}
}
if(!flag){
printf("No solution\n"); continue;
}
memset(VIS,false,sizeof(VIS));
dp(0,ADD,0);
ans.clear(); print_ans(0,ADD,0);
memset(vis,false,sizeof(vis));
printf("%d",ans.size());
for(int i=0;i<ans.size();i++) {printf(" %d",ans[i]); vis[ans[i]]=1;}
printf("\n");
printf("%d",n-ans.size());
for(int i=1;i<=n;i++) if(!vis[i]) printf(" %d",i);
printf("\n");
}
return 0;
}
/*
2
5
3 4 5 0
1 3 5 0
2 1 4 5 0
2 3 5 0
1 2 3 4 0
5
2 3 5 0
1 4 5 3 0
1 2 5 0
1 2 3 0
4 3 2 1 0
*/