本题的数学模型是:把\(\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. Shell 脚本编程最佳实践

    前言 由于工作需要,最近重新开始拾掇shell脚本.虽然绝大部分命令自己平时也经常使用,但是在写成脚本的时候总觉得写的很难看.而且当我在看其他人写的脚本的时候,总觉得难以阅读.毕竟shell脚本这个东 ...

  2. Wireshark抓包分析TCP“三次握手,四次挥手”

    1.目的 客户端与服务器之间建立TCP/IP连接,我们知道是通过三次握手,四次挥手实现的,但是很多地方对这个知识的描述仅限于理论层面,这次我们通过网络抓包的方式来看一下实际的TCP/IP传输过程. 2 ...

  3. 【理论积累】C语言基础理论知识【第一版】

    第一个程序 #include <stdio.h> int main(){ printf("Hello World"); } 变量与常量 变量类型:整型[int].字符型 ...

  4. DirectX11 With Windows SDK--39 阴影技术(VSM、ESM)

    前言 上一章我们介绍了级联阴影贴图.刚开始的时候我尝试了给CSM直接加上PCSS,但不管怎么调难以达到说得过去的效果.然后文章越翻越觉得阴影就是一个巨大的坑,考虑到时间关系,本章只实现了方差阴影贴图( ...

  5. WSL2+Docker+IDEA一站式开发调试

    WSL2+Docker+IDEA一站式开发调试 前言 ​ 我们知道,Docker是一个容器引擎:对于开发者来说,使用Dokcer容器部署各种开发需要的中间件(比如myql.redis)会非常简单方便: ...

  6. MAC系统下破解WIFI密码(亲测可用,含wifi密码字典)

    出差第二天,住的小区因为疫情被封,宿舍又没有wifi,看着附近满满的WIFI信号列表,wifi万能钥匙却一个都连接不上,心中一万匹CNM...于是电脑连上手机热点,然后各种折腾,终于破解了一个隔壁的w ...

  7. c++ web框架实现之静态反射实现

    0 前言 最近在写web框架,框架写好后,需要根据网络发来的请求,选择用户定义的servlet来处理请求.一个问题就是,我们框架写好后,是不知道用户定义了哪些处理请求的类的,怎么办? 在java里有一 ...

  8. C# 与LINQ有关的语言特性

    1.隐式类型 我们知道强类型语言 C  C++ C#  Java 对变量的定义前必须要确定这个变量是什么类型的   例如  string str="abc";    int num ...

  9. 「JOISC 2020 Day1」汉堡肉

    我终于学会打开机房的LOJ了! description LOJ3272 有\(n(n<=2*10^5)\)个矩形,让你找\(k(k<=4)\)个点可以覆盖所有矩形(点可重复),输出一种方案 ...

  10. KALI2020忘记用户名和密码

    时隔半年,打开kali发现忘记了自己精心研制的用户名密码......... 第一步 在开机的时候就按e键进入如下界面 第二步 用键盘上的上下箭头↑↓进行屏幕滚动,滑到最后一行发现修改目标 倒数第四行: ...