poj1419 Graph Coloring（dfs/一般图的最大点独立集）

题意

求n(n<=100)个点的一般图的最大点独立集

等于求补图的最大团，暴搜

思路来源

https://blog.csdn.net/Icefox_zhx/article/details/79593200

题解

暴搜，注意调整搜索顺序，枚举取还是不取，

取当且仅当和之前的团都有边，不取当且仅当剩下的还能比res大

代码

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int N=105;
int t,n,m,u,v,res;
bool mp[N][N],in[N],ans[N];
void dfs(int x,int cnt)
{
	if(x>n)
	{
		res=cnt;
		memcpy(ans,in,sizeof in);
		return;
	}
	bool ok=1;
	for(int i=1;i<x;++i)
	{
		if(in[i]&&!mp[i][x])
		{
			ok=0;
			break;
		}
	}
	if(ok)
	{
		in[x]=1;
		dfs(x+1,cnt+1);//优先搜取的 取的先更新的答案 
		in[x]=0;
	}
	if(cnt+n-x>res)dfs(x+1,cnt);//后搜不取的 搜 当且仅当比当前答案还大 后更新 
}
int main()
{
	scanf("%d",&t);
	while(t--)
	{
		scanf("%d%d",&n,&m);
		memset(mp,true,sizeof mp);
		memset(in,false,sizeof in);
		memset(ans,false,sizeof ans);
		while(m--)
		{
			scanf("%d%d",&u,&v);
			mp[u][v]=mp[v][u]=0;
		}
		res=0;
		dfs(1,0);
		printf("%d\n",res);
		for(int i=1;i<=n;++i)
		if(ans[i])printf("%d ",i);
		puts("");
	} 
	return 0;
}