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

枚举子集

枚举子集就是状压的时候枚举其中的二进制位中的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. Java多线程详解(二)

    评论区留下邮箱可获得<Java多线程设计模式详解> 转载请指明来源 1)后台线程 后台线程是为其他线程服务的一种线程,像JVM的垃圾回收线程就是一种后台线程.后台线程总是等到非后台线程死亡 ...

  2. Cordova 3.0 初步使用

    主要参考 http://docs.phonegap.com/en/3.0.0/guide_cli_index.md.html#The%20Command-line%20Interface Cordov ...

  3. Gallery 里面怎么设置ImageView的OnClick事件

    Gallery g=this.findViewById(R.id.gallery); g.setOnItemClickListener(new OnItemClickListener(){ @Over ...

  4. javaWeb中的文件上传下载

    在Web应用系统开发中,文件上传和下载功能是非常常用的功能,今天来讲一下JavaWeb中的文件上传和下载功能的实现. 对于文件上传,浏览器在上传的过程中是将文件以流的形式提交到服务器端的,如果直接使用 ...

  5. Redis快速起步及Redis常用命令大全

    本系列教程内容提要 Java工程师之Redis实战系列教程教程是一个学习教程,是关于Java工程师的Redis知识的实战系列教程,本系列教程均以解决特定问题为目标,使用Redis快速解决在实际生产中的 ...

  6. nginx软件的编译安装步骤

    1.1 检查软件安装的系统环境 [root@web02 conf]# cat /etc/redhat-release CentOS release 6.8 (Final) [root@web02 co ...

  7. php 自带的过滤函数和转义函数

    函数名 释义 介绍 htmlspecialchars 将与.单双引号.大于和小于号化成HTML格式 &转成&"转成"' 转成'<转成<>转成> ...

  8. 焦作网络赛K-Transport Ship【dp】

    There are NN different kinds of transport ships on the port. The i^{th}ith kind of ship can carry th ...

  9. Tensorflow 实战Google深度学习框架 第五章 5.2.1Minister数字识别 源代码

    import os import tab import tensorflow as tf print "tensorflow 5.2 " from tensorflow.examp ...

  10. Python自动发布Image service的实现

    使用Python自动发布地图服务已经在上一篇博客中讲到,使用Python创建.sd服务定义文件,实现脚本自动发布ArcGIS服务,下面是利用Python自动发布Image service的实现. -- ...