本题的数学模型是:把\(\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\))

本题比较抽象,大家花点时间仔细想明白哦~~

随机推荐

  1. MongoDB 常用运维实践总结

    关注「开源Linux」,选择"设为星标" 回复「学习」,有我为您特别筛选的学习资料~ 一.MongoDB 集群简介 MongoDB是一个基于分布式文件存储的数据库,其目的在于为WE ...

  2. 踩到一个关于分布式锁的非比寻常的BUG!

    你好呀,我是歪歪. 提到分布式锁,大家一般都会想到 Redis. 想到 Redis,一部分同学会说到 Redisson. 那么说到 Redisson,就不得不掰扯掰扯一下它的"看门狗&quo ...

  3. CSS书写及命名规范

    1.样式书写顺序 positioning定位::position.display.float.top. right.bottom.left.overflow.clear.z-index: box mo ...

  4. bean的自动装配,使用注解开发,使用java的方式配置Spring

    bean的自动装配 自动装配是Spring满足bean依赖一种方式! Spring会在上下文中自动寻找,并自动给bean装配属性! 在Spring中有三种装配的方式 在xml中显示的配置 在java中 ...

  5. 运维:ITSM

    IT服务管理(ITSM)是一套帮助企业对IT系统的规划.研发.实施和运营进行有效管理的方法,是一套方法论.ITSM起源于ITIL(IT Infrastructure Library,IT基础架构标准库 ...

  6. Android——RelativeLayout

    代码:<?xml version="1.0" encoding="utf-8"?><RelativeLayout xmlns:android= ...

  7. asp.net core系列 77 webapi响应压缩

    一.介绍 背景:目前在开发一个爬虫框架,使用了.net core webapi接口作为爬虫调用入口,在调用 webapi时发现爬虫耗时很短(1秒左右),但客户端获取响应时间却在3~4秒.对于这个问题考 ...

  8. Go微服务框架go-kratos实战03:使用 gorm 实现增删改查操作

    一.简介 在上一篇文章 go-kratos实战02 中,详细介绍了用 kratos 编写项目代码的步骤.这篇就在上篇基础上,再结合 Go 数据库操作库 gorm 一步一步来实现一个简单的增删改查操作. ...

  9. conda cheat sheet可直接百度这个名字

  10. script标签crossorigin属性及同源策略和跨域方法

    首先介绍(同源策略) 同源策略是浏览器最核心且基本的安全约定,要求协议.域名.端口都相同为同源,如果非同源时请求数据浏览器会在控制台抛出跨域异常错误,同源策略是浏览器的行为,即使客户端请求发送了,服务 ...