题解 $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\))
本题比较抽象,大家花点时间仔细想明白哦~~
随机推荐
- OAuth 2.1 框架
OAuth 2.1 Draft 当前版本:v2-1-05 失效时间:2022/09/08 本文对部分原文翻译,同时加了一些笔记,以便理解. 单词 译意 identifiler 识别码 Resource ...
- 【多线程】创建线程方式一:继承Thread类
创建线程方式一:继承Thread类 代码示例: /** * @Description 继承Thread类,重写run方法,调用start开启线程 * @Author hzx * @Date 2022- ...
- CSS基础学习(二)
11.CSS背景 ①设置背景颜色(颜色值通常可以用十六进制(如#000000)或者颜色名称(如red)来表示) 属性:background-color 例: body { background-col ...
- KMP算法(改进的模式匹配算法)——next函数
KMP算法简介 KMP算法是在基础的模式匹配算法的基础上进行改进得到的算法,改进之处在于:每当匹配过程中出现相比较的字符不相等时,不需要回退主串的字符位置指针,而是利用已经得到的部分匹配结果将模式串向 ...
- 【Unity Shader学习笔记】Unity光照基础-半兰伯特光照
在光照无法达到的区域,模型的外观通常是全黑的,没有任何明暗变化,这会使模型的背光区域看起来就像一个平面. 使用半兰伯特光照可以解决这个问题. 逐顶点光照技术也被称为兰伯特光照模型.因为它符合兰伯特定律 ...
- static关键字——JavaSE基础
static关键字 由于static跟随类被加载,因此静态代码块.构造方法.匿名代码块的执行顺序为静态代码块→匿名代码块→构造方法 public class Demo01 { public stati ...
- CentOS7及以下版本安装禅道
由于是CentOS7以及以下系统,禅道已经集成了 Apache Nginx Mysql 服务,不需要我们再次安装搭建,我们只进行解压使用就好: 一.进行下载安装 1.在终端命令中输入以下命令确认系统是 ...
- XSS防跨站脚本攻击-AntiSamy的基本使用
XSS:跨站脚本攻击(Cross Site Scripting),为不和 CSS混淆,故将跨站脚本攻击缩写为XSS.XSS是指恶意攻击者往Web页面里插入恶意Script代码,当用户浏览该页时,嵌入其 ...
- 隐式转换导致的cpu负载近100%
1.背景:从昨天晚上通过钉钉和邮箱一直接收到频繁报cpu负载超过90%,刚好BI同事晚上.凌晨在线上配合审计频繁DML数据库(备注:BI有一个同事有个库的DML权限,后面等审计完会收回)加上我线上线下 ...
- Java学习-第一阶段-第一节:Java概述
JAVA概述 Java版本 原网址(https://www.oracle.com/java/technologies/java-se-support-roadmap.html) Oracle 将仅将某 ...