2019 ICPC 上海 K Color Graph（二分图+dfs/二分图+状态压缩）

题目链接

https://ac.nowcoder.com/acm/contest/4370/K

• 参考博客 二分图+dfs
  https://blog.csdn.net/qq_43627087/article/details/104346194

题目大意

给出一个由 n 个点和 m 条边组成的无向图，保证无自环无重边，初始时所有的边都是白色的，现在要求尽可能多的将白边染成红色，不过需要保证不存在红色的奇环，问最多能染多少条边

思路一 二分图+DFS

二分图中不存在奇环，一个无奇环的图必定是一个二分图
所以我们只需要找一个最大边数的二分图就行了。
可以枚举 n个点选与不选，然后如果有边相连的两个点只有一个点被选择，那这个边就可以作为二分图的一条边，从而就可以保证不存在红色的奇环，然后枚举所有情况找到最大边数。
时间复杂度O（2^n）

#include<bits/stdc++.h>
using namespace std;
const int N = 200;
int u[N],v[N];
bool vis[N];
int ans;
int n,m;

void dfs(int x){
	if(x == n){
		int cnt = 0;
		for(int i = 0;i < m;i++){
			cnt += (vis[u[i]] ^ vis[v[i]]);
		}
		ans = max(ans,cnt);
		return ;
	}
	vis[x] = false;
	dfs(x + 1);
	vis[x] = true;
	dfs(x + 1);
}
int main(){
	int _;
	cin >> _;
	int now = 1;
	while(_--){
		cin >> n >> m;
		for(int i = 0;i < m;i++){
			cin >> u[i] >> v[i];
		}
		ans = 0;
		dfs(1);
		printf("Case #%d: %d\n",now++,ans);
	}
	return 0;
}

思路二 二分图+状态压缩

（1）看到不存在奇环，就是二分图的定义
（2）数据给的又非常的小，再往状态压缩上想，用二进制的 0 和 1 表示二分图的两个部分，枚举每个状态，对于每个状态统计答案，因为每个状态已经限制了——只有原边的两个点在两个部分时才可以建边，所以对于每个状态维护最大值就是答案了

#include <bits/stdc++.h>
using namespace std;

#define mp make_pair
#define pb push_back
#define sz(x)   x.size()
typedef long long ll;
const int N = 16 + 7;

vector<pair<int, int> > v;
int edges[N] = {0};

int solve(){
    int n, m, ret = 0;
    cin >> n >> m;
    v.clear();
    for (int i = 1, st, ed; i <= m; i++)    
		cin >> st >> ed, v.pb(mp(st, ed));
	//枚举n个点的 2^n 种状态 
    for (int status = 1,sz = (1 << n); status <= sz; status++){
        memset(edges, 0, sizeof(edges));
        int ans = 0;
        for (int i = 1; i <= n; i++){
        	//cout << " (status >> i) " << (status >> i) << " " << status << " " << i << " "<< endl;
        	if ((status >> i) & 1) {
            	edges[i] = 1; //选择点
			}
		}
		//枚举边，判断其两个点，是否一个被选中，另一个 没有被选中，从而判定是否构成二分图的一条边 
        for (int i = 0, sz = v.size(); i < sz; i++)
            if (edges[v[i].first] != edges[v[i].second]) 
			    ans++;
        ret = max(ret, ans);
    }
    return ret;
}

int main(){
    int t = 1;
    cin >> t;
    for (int i = 1; i <= t; i++)
        cout << "Case #" << i << ": " << solve() << endl;
    return 0;
}