题目链接:https://ac.nowcoder.com/acm/contest/885/F
题目大意:
n个数 ,求一个最大的集合使得两两二进制至少有两位不同,输出集合。
题目思路:
题的题目已经做了一点提示,最大团,考虑建图,如果两个数值有两位以上不同就建边,那么也就是求一个最大团就好了。但是一般图的最大团是NP完全问题。
此时应该考虑补图是不是二分图。
对于补图的每条边的意义是,两者只有小于等于一位不同,题目又说所有数字都是不同的,所以就是两者只有一位不同。那么是不是只有两类数字了,一类是二进制组成是奇数位的,一类是二进制组成是偶数位的,两者集合内部没有边,否则就存在偶数位不同了。所以判定是二分图。
题目转化成求二分图的最大独立集。
定理:二分图的最大独立集大小 等于 n - 最大匹配数。
证明:要找最大独立集就要尽可能少的去掉点,使得点之间没有边。
最小点覆盖定义:用最少的点覆盖所有的边。
得:二分图得最大独立集 = 二分图 - 最小点覆盖
定理:最小点覆盖数目等于最大匹配数
得证。
所以标记最小点覆盖,未被标记得点就是最大独立集。
求最小点覆盖三步骤:
1. 求最大匹配
2. 左侧未匹配点开始dfs
3. 左侧未标记 + 右侧标记 = 最小点覆盖
#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int MAXN = 5005;
vector<int>v[MAXN],ans;
int vis[MAXN],a[MAXN],vis2[MAXN];
int L[MAXN],R[MAXN],match[MAXN],no[MAXN];
bool dfs(int x)
{
int len=v[x].size();
for(int i=0;i<len;i++){
int y=v[x][i];
if(!vis[y]){
vis[y]=1;
if(!match[y]||dfs(match[y])){
match[y]=x;return 1;
}
}
}
return 0;
}
int tot1=0,tot2=0;
void dfs2(int x)
{
vis2[x]=1;
int len=v[x].size();
for(int i=0;i<len;i++){
int y=v[x][i];
if(!vis2[y]){
vis2[y]=1;
dfs2(match[y]);
}
}
}
int Count(int x)
{
int ret=0;
while(x){
if(x&1)ret++;
x>>=1;
}
return ret;
}
int main()
{
int n;
scanf("%d",&n);
for(int i=1;i<=n;i++){
scanf("%d",&a[i]);
}
for(int i=1;i<=n;i++){
if(Count(a[i])%2==1){
L[++tot1]=i;
}
else R[++tot2]=i;
}
for(int i=1;i<=tot1;i++){
for(int j=1;j<=tot2;j++){
if(Count(a[L[i]]^a[R[j]])==1)v[L[i]].push_back(R[j]),v[R[j]].push_back(L[i]);
}
}
int num=0;
for(int i=1;i<=tot1;i++){
memset(vis,0,sizeof(vis));
if(dfs(L[i]))num++,no[L[i]]++;
}
for(int i=1;i<=tot1;i++){
if(!no[L[i]])dfs2(L[i]);
}
printf("%d\n",n-num);
for(int i=1;i<=tot1;i++){ ///最大独立集
if(vis2[L[i]])ans.push_back(L[i]);
}
for(int i=1;i<=tot2;i++){ ///取反之后是最小点覆盖
if(!vis2[R[i]])ans.push_back(R[i]);
}
for(int i=0;i<ans.size();i++){
printf("%d%c",a[ans[i]],(i==ans.size())?'\n':' ');
}
}