题解 $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\))
本题比较抽象,大家花点时间仔细想明白哦~~
随机推荐
- 劳动节快乐!手写个核心价值观编码工具 - Python实现
前言 今天是五一劳动节,祝各位无产阶级劳动者节日快乐! 然后来整活分享一些有趣的东西~ 这个小工具是我大学时做着玩的,对于各位接班人来说,12个词的核心价值观这东西,大家都非常熟悉了,这工具可以实现将 ...
- Neo4j数据和Cypher查询语法笔记
Cypher数据结构 Cypher的数据结构: 属性类型, 复合类型和结构类型 属性类型 属性类型 Integer Float String: 'Hello', "World" B ...
- socket模块和黏包问题
socket套接字简介 编写cs架构的程序 实现数据交互 OSI七层相当复杂 socket套接字是一门技术 socket模块>>>:提供了快捷方式 不需要自己处理每一层 " ...
- docker+nginx+redis部署前后端分离项目!!!
介绍本文用的经典的前后端分离开源项目.项目的拉取这些在另一篇博客!!! 其中所需要的前后端打包本篇就不做操作了!!不明白的去看另一篇博客!!! 地址:http://www.cnblogs.com/ps ...
- 【算法】插入排序(Insertion Sort)(三)
插入排序(Insertion Sort) 插入排序(Insertion-Sort)的算法描述是一种简单直观的排序算法.它的工作原理是通过构建有序序列,对于未排序数据,在已排序序列中从后向前扫描,找到相 ...
- K8S 部署Dashboard UI
Kubernetes Dashboard是Kubernetes集群的通用.基于Web的UI.它允许用户管理集群中运行的应用程序并对其进行故障排除,以及管理集群本身. 访问到DashBoard有两种方式 ...
- Kitex源码阅读——脚手架代码是如何通过命令行生成的(一)
前言 Kitex是字节跳动内部的Golang微服务RPC框架,先已开源. Kitex文档:https://www.cloudwego.io/zh/docs/kitex/getting-started/ ...
- MongoDB 设置用户和密码
每日一句 Zeal without knowledge is fire without light. 没有知识的热忱犹如火之无光. 给每个数据库设置单独的管理员 我们除了可以设置数据库的超级管理员以外 ...
- 阶段性总结 GDOI 2022 PJ
阶段性总结 GDOI 2022 PJ 比赛经过 Day ? ~ Day -1 半停课集训,补了很多东西,但是之前漏得太多了,结果是还有很多题没改 打了若干场 AtCoder ,承认自己思维的不足,训练 ...
- 前端ES6 特性兼容查询
ES6 http://kangax.github.io/compat-table/es6/ ES5 http://kangax.github.io/compat-table/es5/ ES 2016+ ...