最近做的题里面有这个东西,于是写一篇博客总结一下吧。

枚举子集

枚举子集就是状压的时候枚举其中的二进制位中的1的子集。直接暴力枚举二进制位时间复杂度是\(O(4^n)\),但是我们可以发现,对于每一位有以下三种状态,在枚举的子集中为1,在子集中为0且在原状态中为1,以及在原状态中为0。这样,对于1到\(2^n\)的数中,子集的总数为\(3^n\),这样,通过一些比较优秀的枚举,时间复杂度即为\(O(3^n)\)。代码如下:

for(int i=s;;i=(i-1)&s) {
//do sth...
if(!i) break;
}

其中,对于每次循环的i,枚举的即是s的子集。

枚举补集的道理和枚举子集是一样的,因为枚举补集就相当于枚举0的子集。

例题:[noip 2017] 宝藏。


高维前缀和

高维前缀和就是说把原来的数组变为其下标的子集的元素之和,高维差分就是把这个反着干,暴力的复杂度就是\(O(3^n)\)。

还有一种方法可以在\(O(n*2^n)\)中完成高维前缀和,代码如下:

for(int i=1;i<s;i<<=1)
for(int j=0;j<s;j++)
if(i&j) f[j]+=f[i^j];

高维差分大概就是把枚举顺序改改就差不多了。

例题:

HDU5765

题意大概就是给定n个点m条边的无向图,求出其中每条边在图的(最小)割上出现了几次,n<=20。图的割为一个边的集合,断开这些边后图不连通。图的(最小)割定义为不存在其他的割为他的子集。

很显然,可以用状态压缩枚举一个联通块来表示一个割,该位为1表示在联通块内。如果一个状态及其补集均为联通块,则该联通块对应了一个割。

对于所有的割做一个高维前缀和,对于每一条边,其两端点所对应的状态即为该边不在任何一个割内的答案。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std; const int Maxn=2100000; int t,n,m,l[Maxn],r[Maxn],g[Maxn],f[Maxn],dp[Maxn]; int main() {
scanf("%d",&t);
for(int o=1;o<=t;o++) {
printf("Case #%d:",o);
scanf("%d%d",&n,&m);
int end=(1<<n)-1,ans=0;
memset(g,0,sizeof(g));
for(int i=1;i<=m;i++) {
scanf("%d%d",&l[i],&r[i]);
g[l[i]]|=1<<r[i];
g[r[i]]|=1<<l[i];
}
dp[0]=1;
for(int i=1;i<=end;i++)
if((i&(-i))!=i)
for(int j=0,temp=1;j<n;j++,temp<<=1)
if(i&temp&&(dp[i]=dp[i^temp]&&(i&g[j])))
break;
else;
else dp[i]=1;
dp[0]=0,dp[end]=0;
for(int i=1;i<=end;i++)
f[i]=dp[i]&dp[(~i)&end],ans+=f[i];
ans/=2;
for(int i=0,temp=1;i<n;i++,temp<<=1)
for(int j=1;j<=end;j++)
if((j&temp)==0) f[j]+=f[j^temp];
for(int i=1;i<=m;i++) printf(" %d",ans-f[(1<<l[i])|(1<<r[i])]);
puts("");
}
return 0;
}

枚举子集&高位前缀和的更多相关文章

  1. Hihocoder 1496 寻找最大值(状态压缩 + 高位前缀和)

    题目链接  Hiho 1496 设$f[i]$为二进制集合包含$i$的最大的两个数,这个东西用高维前缀和维护. 高位前缀和转移的具体方案 :枚举每一位,然后枚举每个集合,大的转移到小的. 注意合并的时 ...

  2. hdu_5616_Jam's balance(暴力枚举子集||母函数)

    题目连接:hdu_5616_Jam's balance 题意: 给你一些砝码,和一些要被称出的重量,如果这些砝码能称出来输出YES,否则输出NO 题解:我们想想,这题求组合方式,我们这里可以直接用母函 ...

  3. hdu1045 Fire Net---二进制枚举子集

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=1045 题目大意: 给你一幅n*n的图,再给你一些点,这些点的上下左右不能再放其他点,除非有墙('X') ...

  4. UVA1354-Mobile Computing(二进制枚举子集)

    Problem UVA1354-Mobile Computing Accept:267  Submit:2232 Time Limit: 3000 mSec  Problem Description ...

  5. 算法笔记-- 二进制集合枚举子集 && 求子集和 && 求父集和

    枚举子集: 复杂度:O(2^k) )&s); 用sos dp求解子集和以及父集和 子集和: ; i <= k; i--) { ; mask < (<<k); mask+ ...

  6. uva1354 天平难题 【位枚举子集】||【huffman树】

    题目链接:https://vjudge.net/contest/210334#problem/G 转载于:https://blog.csdn.net/todobe/article/details/54 ...

  7. UVa 11825 - Hackers' Crackdown DP, 枚举子集substa = (substa - 1)&sta 难度: 2

    题目 https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&a ...

  8. UVA 1508 - Equipment 状态压缩 枚举子集 dfs

    UVA 1508 - Equipment 状态压缩 枚举子集 dfs ACM 题目地址:option=com_onlinejudge&Itemid=8&category=457& ...

  9. 枚举子集 Codeforces306 Div2 B

    题目 分析:用二进制法去枚举子集,同时判断满足条件的子集个数加1 #include "iostream" #include "cstdio" using nam ...

随机推荐

  1. 【黑金ZYNQ7000系列原创视频教程】06.ZYNQ来自FPGA的中断——按键中断实验

    黑金论坛地址: http://www.heijin.org/forum.php?mod=viewthread&tid=36640&extra=page%3D1 爱奇艺地址: http: ...

  2. ios UIImage图片拉伸 resizableImageWithCapInsets:

    常见的按钮添加和背景设置如下: UIButton *button = [[UIButton alloc] initWithFrame:CGRectMake(80, 130, 160, 44)];[bu ...

  3. interface Impl

    public interface ActionBarOperations { void initSthOne(); void initSthTwo(); } public class ActionBa ...

  4. LoadRunner 11 安装

    下载地址:http://www.ddooo.com/softdown/61971.htm#dltab LoadRunner是一款专业级别的应用负载测试工具,它可以模拟上千万用户对企业应用进行真实的负载 ...

  5. linux时间与Windows时间不一致的解决

    一.首先要弄清几个概念:1. “系统时间”与“硬件时间” 系统时间: 一般说来就是我们执行 date命令看到的时间,linux系统下所有的时间调用(除了直接访问硬件时间的命令)都是使用的这个时间.   ...

  6. 微信小程序 --- if/else条件渲染

    if 条件渲染:当为真的时候显示,当为假的时候隐藏: else 条件渲染:当为真的时候隐藏,当为假的时候显示: <view wx:if="{{true}}">{{tex ...

  7. 字符串处理(String)

    字符串类型(String类)需要注意的几个函数: 1.字符串的连接.一般而言,Java不允许运算符直接应用到String对象,唯一的例外是"+"运算符,它用来连接两个字符串,产生一 ...

  8. 使用NUget发布自己的dll

    一:Nuget控制台有几个常用命令 Get-Package 获取当前项目已经安装的类库 Install-Package 安装指定类库,命令格式如下:Install-Package 类库ID,示例:PM ...

  9. Java 中编程的格式

    Java 编程注意的格式: 1.大括号对齐 2.遇到{ 缩进Tab 3.程序块之间加空行 4.并排之间加空格 5.运算符之间加空格 6.{ 之间加空格 7.成对编程 ({ }) 8.类名首字母大写 9 ...

  10. LightBGM之Dataset

    最近使用了LightBGM的Dataset,记录一下: 1.说明: classlightgbm.Dataset(data, label=None, reference=None, weight=Non ...