UVA 11825

UVA 11825 - Hackers' Crackdown 状态压缩 dp 枚举子集

ACM

题目地址：11825 - Hackers' Crackdown

题意： 
有一个由编号0~n-1的n台计算机组成的网络，一共同拥有n种服务，每台计算机上都执行着所有服务，对于每台计算机，你能够选择停止一项服务，这个行为会导致与这台计算机和与他相连的其它计算机上的这项服务都停止（原来已经停止的继续保持停止状态）。

求最多能使多少个服务瘫痪（即没有不论什么一台计算机在执行这项服务）。

分析： 
题目说白了。就是： 
把n个集合p[i],0<=i<n分成尽量多组，使得每组中各个集合的并集为全集。 
利用状态压缩。记录每一个节点执行的服务。因为数据大小就16所以直接能够用int范围数字表示一个集合。 
然后预处理下cover，处理16个节点组成的各个集合会带来的挺服务效果。 
然后dp，假设cover[S0] == all (all全为1) 那么是S^S0 的部分也有可能终止服务 。dp[S] = max(dp[S], dp[S^S0]+1)。

參考了凌乱的心巨巨的题解，嘛。是为了了解枚举子集做的题目。

枚举子集的模板：

// 对于集合S
for (int S0 = S; S0; S0 = S&(S0 - 1))   // 枚举S0为子集
    ...

原理：S&(S0 - 1) 实际上是把S中的0所有忽略。并不断减1的结果。

代码：

/*
*  Author:      illuz <iilluzen[at]gmail.com>
*  File:        11825.cpp
*  Create Date: 2014-06-27 20:43:48
*  Descripton:  sub set/ dp/ numeric 
*/

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;

const int N = 16;

int n, m, t, mask[N], cover[1<<N], dp[1<<N], tot;

int main() {
	int cas = 0;
	while (~scanf("%d", &n) && n) {
		// input
		for (int i = 0; i < n; i++) {
			scanf("%d", &m);
			mask[i] = (1 << i);
			while (m--) {
				scanf("%d", &t);
				mask[i] |= (1 << t);
			}
		}

		// get the union set of cover
		for (int S = 0; S < (1 << n); S++) {
			cover[S] = 0;
			for (int i = 0; i < n; i++) {
				if (S & (1 << i)) {
					cover[S] |= mask[i];
				}
			}
		}

		// dp
		dp[0] = 0;
		tot = (1 << n) - 1;
		for (int S = 1; S < (1 << n); S++) {
			dp[S] = 0;
			for (int S0 = S; S0; S0 = (S0 - 1)&S) {
				if (cover[S0] == tot) {
					dp[S] = max(dp[S], dp[S^S0] + 1);
				}
			}
		}

		printf("Case %d: %d
", ++cas, dp[tot]);
	}
	return 0;
}