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

枚举子集

枚举子集就是状压的时候枚举其中的二进制位中的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. jQuery stop()的用法

    1.stop([stopAll], [gotoEnd])方法有两个参数(当然可以不传或直传一个),其中stopAll的意思是清除之后的所有动画.gotoEnd的意思是,执行完当前动画. 2.stopA ...

  2. element.style{}

    有时在写css样式,并调试时,会出现很不可思议的现象,比如:我们定义了一个<div class=”aaa”></div>,在css中定义样式,.aaa{width:500px; ...

  3. 【BZOJ2901】矩阵求和

    Description 给出两个n*n的矩阵,m次询问它们的积中给定子矩阵的数值和. Input 第一行两个正整数n,m. 接下来n行,每行n个非负整数,表示第一个矩阵. 接下来n行,每行n个非负整数 ...

  4. Linux定时对日志批量打包Shell脚本及定时任务crontab 详细用法

    一.需求背景     因此次项目的生产环境中部署了多套系统,每天会产生大量的日志(数百GB的量),侵占了服务器宝贵的存储资源空间.为了有效缓解服务器存储压力,考虑通过Linux的Shell脚本结合cr ...

  5. 修改js confirm alert 提示框文字

    <!DOCTYPE html> <html> <head lang="en"> <meta charset="UTF-8&quo ...

  6. SELECT INTO 和 INSERT INTO SELECT

    做数据库开发的过程中难免会遇到有表数据备份的,而SELECT INTO……和INSERT INTO SELECT…… 这两种语句就是用来进行表数据复制,下面简单的介绍下: 1.INSERT INTO ...

  7. Oracle下Insert的介绍

    Insert是插入语句 insert into table(colname1,colname2) values(value1,valu2) 插入无效的会提示失败 数值类型在插入的时候不需要加引号,但是 ...

  8. 评论抓取:Python爬取微信在APPStore上的评论内容及星级

    #完整程序如下: import requests import re def getHTMLText(url): try: r = requests.get(url) r.raise_for_stat ...

  9. mysql join实现方式

    1. nested loop join 分别从两个表读一行数据进行两两对比,复杂度是n^2 2. block nested loop join 分别从两个表读很多行数据,然后进行两两对比,复杂度也是n ...

  10. 如何在python3.5环境下安装BeautifulSoup?

    首先是安装: 1.到http://www.crummy.com/software/BeautifulSoup/网站上上下载 2.下载完成之后需要解压缩,假设放到D:/python下. 3.运行cmd, ...