题解 $UVA$ 11825【$Hackers$' $Crackdown$】
本题的数学模型是:把\(\mathcal{n}\)个集合\(\mathcal{P1,P2,...,Pn}\)分成尽量多组,使得每组中所以集合的并集等于全集。这里集合\(\mathcal{Pi}\)就是计算机\(\mathcal{i}\)及其相邻计算机的集合,每组对应于题目中的一项服务。
注意到\(\mathcal{n}\)很小,可以套用《算法竞赛》里面提到的二进制法表示这些集合,即在代码中,
每个集合\(\mathcal{Pi}\)实际上是一个非负整数。输入部分代码如下:
for(int i=0;i<n;i++)
{
int m,x;
scanf("%d",&m);
P[i]=1<<i;
while(m--)
{
scanf("%d",&x);
P[i]|=(1<<x);
}
}
为了方便,窝萌用\(\mathcal{cover(S)}\)表示若干\(\\mathcal{Pi}\)的并集(二进制表示),即这些\(\mathcal{Pi}\)在数值上的“按位或”。
for{int S=0;S<(1<<n);S++)
{
cover[S]=0;
for(int i=0;i<n;i++)
if(S & (1<<i)) cover[S]=P[i];
}
不难想到这样的动态规划:用\(\mathcal{f(S)}\)表示子集\(S\)最多可以分成多少组,则
\(\mathcal{f(S)=max(f(S-S0)|S0}\)\(\text{是S的子集,}\)\(\mathcal{cover[So]}\)\(\text{等于全集)}\)\(\text{+1}\)
\(\text{(划重点!!)}\)\(\text{这里有一个重要的技巧:枚举}\)\(\mathcal{S}\)\(\text{的子集}\)\(\mathcal{S0}\)。
详见下面代码:
f[0]=0;
int All=(1<<n)-1;
for(int S=1;S<(1<<n);S++
{
f[S]=0;
for(int S0=S;S0;S0=(S0-1)&S)
if(cover[S0]==All f[S]=max(f[S],f[S^S0]+1);
}
printf("Case %d: %d\n",++kase,f[ALl]);
如何分析上述算法的时间复杂度呢\(qwq\)?它等于全集\(\mathcal{(1,2,3,...,n)}\)的所有子集的子集个数之和,也可以令
\(\mathcal{c(S)}\)表示集S的子集的个数(它等于\(\text{2}\)\(\mathcal{^|}\)\(\mathcal{^s}\)\(\mathcal{^|}\)),则本题的时间复杂度为
\(\mathcal{sum(c(S)|S0}\)\(\text{是(1,2,3,...,n)的子集)}\)。
注意到元素个数相同的集合,其子集个数也相同,窝萌可以按照元素个数“合并同类元素项”。元素个数为\(k\)的集合有
\(\mathcal{C(n,k)}\)个,其中每个集合有\(\text{2}\)\(\mathcal{^k}\)个子集(高一\(\mathcal{New}\) \(\mathcal{knowledge}\)),
因此本题的时间复杂度为
\(\mathcal{sum(C(n,k)}\)\(\text{2}\)\(\mathcal{^k}\)\(\mathcal{=}\)\(\text{(2+1)}\)\(\mathcal{^n}\)\(\mathcal{=}\)\(\text{3}\)\(\mathcal{^n}\)其中第一个等号得到的用到了二项式定理(不过是反着用的\(QwQ\))
本题比较抽象,大家花点时间仔细想明白哦~~
随机推荐
- [题解] XOR Problem
题目大意 对于一个整数序列 \(a_{0...5}\),我们定义它的价值为: \(f(a)=max(|a_0-a_3|,|a_1-a_4|,|a_2-a_5|)\oplus a_0 \oplus a_ ...
- Linux 服务器的性能参数指标总结
关注「开源Linux」,选择"设为星标" 回复「学习」,有我为您特别筛选的学习资料~ 前言 一个基于 Linux 操作系统的服务器运行的同时,也会表征出各种各样参数信息.通常来说运 ...
- Linux系统句柄优化
Linux系统句柄介绍 文件句柄,会随着进程数增加而增加.其实Linux是有文件句柄限制的,而且Linux默认一般都是1024.在生产环境中很容易到达这个值,因此这里就会成为系统的瓶颈. 在Linux ...
- 6.Docker网络
什么是 Docker网络 docker 不启动,默认网络情况 ens33 lo virbr0 在 CentOS7 的安装过程中如果有选择相关虚拟化的的服务安装系统后,启动网卡时会发现有一个以网桥连接的 ...
- Nvidia Triton使用教程:从青铜到王者
1 相关预备知识 模型:包含了大量参数的一个网络(参数+结构),体积10MB-10GB不等 模型格式:相同的模型可以有不同的存储格式(可类比音视频文件),目前主流有torch.tf.onnx和trt, ...
- 有了这10个GitHub仓库,开发者如同buff加持
摘要:列出了10个极好的仓库,它们为所有web和软件开发人员提供了巨大的价值. 本文分享自华为云社区<所有开发者都应该知道的10个GitHub仓库>,作者: Ocean2022 . 除了作 ...
- 有趣的BUG之Stack Overflow
今天遇到一个很有意思的bug,当程序开发完成后打包到服务器运行,总是会出现栈溢出异常,经过排查发现,问题出现在一个接口上,但这个接口逻辑并不复杂,除了几局逻辑代码外和打印语句之外也没有其他的了,但是只 ...
- 【产品】如何写好APP描述
你有没有想过越是需要花钱购买的 App,用户会更认真阅读你的 App描述?本文列举了15个 app 描述,看看哪些是我们以前忽略了的,哪些是我们也犯过的错误.图中有红色背景的文字是需要强调的地方,这些 ...
- 48. ResNet为什么能训练出1000层的模型
先回顾一下resnet怎么处理它的梯度消失,使得能处理训练1000层:
- 【Github】 Github访问不是私密连接问题
前言 GitHub是一个软件项目的托管平台,是我们经常需要访问的,我原本在学校时候虽然网速比较慢,但是还以能够满足一些代码下载和上传的,在暑假回到家,再去访问的时候就出现了不能访问的问题. 问题描述 ...