CodeForces 1105E

题目链接

std：meet in the middle

首先把所有的点分成两部分，设\(f_i\)为前半部分在点集\(i\)中选出的最大独立集，\(g\)为在后半部分选。这个可以在\(O(2^{m/2})\)的时间复杂度里得到。

然后考虑把答案合起来。在f中是从i这个集合里面选出最大独立集，那么后半部分选的集合一定不能有与i相连的边，那么就把i集合里的点的所有与后半部分相连的点标记成不能选，然后在后半部分选剩下的就好了，这些都已经预处理出来了。

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
#include<cctype>
#include<map>
#include<string>
#include<iostream>
#define qmin(x,y) (x=min(x,y))
#define qmax(x,y) (x=max(x,y))
using namespace std;

inline char gc() {
//	static char buf[100000],*p1,*p2;
//	return (p1==p2)&&(p2=(p1=buf)+fread(buf,1,100000,stdin),p1==p2)?EOF:*p1++;
	return getchar();
}

template<class T>
int read(T &ans) {
	ans=0;char ch=gc();T f=1;
	while(!isdigit(ch)) {
		if(ch==EOF) return -1;
		if(ch=='-') f=-1;
		ch=gc();
	}
	while(isdigit(ch))
		ans=ans*10+ch-'0',ch=gc();
	ans*=f;return 1;
}

template<class T1,class T2>
int read(T1 &a,T2 &b) {
	return read(a)!=EOF&&read(b)!=EOF?2:EOF;
}

template<class T1,class T2,class T3>
int read(T1 &a,T2 &b,T3 &c) {
	return read(a,b)!=EOF&&read(c)!=EOF?3:EOF;
}

typedef long long ll;
const int Maxn=41;
const int Maxm=1100000;
const int inf=0x3f3f3f3f;

bool mp[Maxn][Maxn],vis[Maxn];
map<string,int> name;
int f[Maxm],g[Maxm],ans,m,x,st[Maxn],top,cnt;
int n;
string s;

signed main() {
//	freopen("test.in","r",stdin);
	read(n,m);memset(mp,1,sizeof(mp));
	for(int i=1;i<=n;i++) {
		read(x);
		if(x==1) {
			for(int j=1;j<=top;j++)
				for(int k=j+1;k<=top;k++)
					mp[st[j]][st[k]]=mp[st[k]][st[j]]=0;
			top=0;memset(vis,0,sizeof(vis));
		}
		else {
			cin>> s;
			if(!name.count(s)) name[s]=cnt++;
			int x=name[s];
			if(!vis[x]) {
				vis[x]=0;
				st[++top]=x;
			}
		}
	}
	for(int j=1;j<=top;j++)
		for(int k=j+1;k<=top;k++)
			mp[st[j]][st[k]]=mp[st[k]][st[j]]=0;
	int s1=m/2,s2=m-s1;
	for(int i=0;i<s1;i++) f[1<<i]=1;
	for(int i=0;i<(1<<s1);i++)
		for(int j=0;j<s1;j++) if(!(i&(1<<j))) {
			int flag=1;
			for(int k=0;k<s1;k++)
				if(i&(1<<k)) flag&=mp[j][k];
			qmax(f[i|(1<<j)],f[i]+flag);
		}
	for(int i=0;i<s2;i++) g[1<<i]=1;
	for(int i=0;i<(1<<s2);i++)
		for(int j=0;j<s2;j++) if(!(i&(1<<j))) {
			int flag=1;
			for(int k=0;k<s2;k++)
				if(i&(1<<k)) flag&=mp[j+s1][k+s1];
			qmax(g[i|(1<<j)],g[i]+flag);
		}
	for(int i=0;i<(1<<s1);i++) {
		int flag=(1<<s2)-1;
		for(int j=0;j<s1;j++) if(i&(1<<j))
			for(int k=0;k<s2;k++) if(flag&(1<<k)&&!mp[j][k+s1])
				flag^=1<<k;
		qmax(ans,f[i]+g[flag]);
	}
	printf("%d\n",ans);
	return 0;
}