状态压缩动态规划——状压dp

news2024/12/28 9:28:34

状压dp:意思是将状态进行压缩,从而更容易地写出状态转移方程

通常做法:将每个状态(一个集合)用二进制表示,每个位的1就代表着这个编号的元素存在,0就代表着这个编号的元素不存在,如二进制100110,即是集合{1,2,5}的压缩

通过状态压缩,我们可以使得状态通过位运算来判断是否可以转移

如:

一、

假设棋盘要放置k个国王,国王对其周围八个格子都可发动进攻,如果要求这一行与上一行的国王不能相互进攻

那么设上一行的状态为x(二进制数),这一行的状态为y的话,由于这一行放的国王的左上角,正上方,右上角都不能出现上一行的国王

所以:

正上方不出现上一行的国王的条件为:x&y==false

左上角不出现上一行的国王的条件为:x&(y<<1)==false

右上角不出现上一行的国王的条件为:x&(y>>1)==false

通过简单的位运算判断,对于每一个y,我们都可以枚举所有x,并可以快速找出能够转移到y的合法的x的状态,从而使状态转移变得简单

因此,对于这种题目,我们通常需要预处理出所有的x状态,以方便我们进行枚举

题目链接:#2153. 「SCOI2005」互不侵犯 - 题目 - LibreOJ (loj.ac)

实现代码:

#include <cstdio>
#include <iostream>
#include <cstring>
using namespace std;
int n,K;
int sti[600],sta[600],cnt;
//sti[i]:第i种状态压缩
//sta[i]: 第i种状态放的国王的数量
//cnt:状态总数
long long f[10][85][600];
//状态转移方程:
//f[i][l][j]:摆到第i行,已经摆了l个,而且第i行的摆法是j状态,总共有多少种方法数
//所以:
//f[i][l][j]=sigma f[i-1][l-sta[j]][x] 枚举所有合法的x

//预处理所有状态
void dfs(int x,int num,int cur){
    if(cur>=n){
        sti[++cnt]=x;
        sta[cnt]=num;
        return;
    }
    dfs(x|(1<<cur),num+1,cur+2);//cur所指的位置放棋子,那么由于国王会进攻隔壁的棋子,所以cur+2才是到下一个能放棋子的位置
    dfs(x,num,cur+1);//cur所指的位置不放棋子,则遍历到下一个位置即可
}
int main(){
    cin>>n>>K;
    dfs(0,0,0);
    //先初始化第一行
    for(int i=1;i<=cnt;i++) f[1][sta[i]][i]=1;

    for(int i=2;i<=n;i++)//遍历到第i行
        for(int j=1;j<=cnt;j++)//第i行以第j种状态存在
            for(int k=K;k>=sta[j];k--)//枚举棋盘上已经摆了k个棋子
                for(int x=1;x<=cnt;x++)//枚举上一行所有要转移的状态x
                    if(!(sti[j]&sti[x])&&!((sti[j]<<1)&sti[x])&&!((sti[j]>>1)&sti[x]))//判断是否合法
                        f[i][k][j]+=f[i-1][k-sta[j]][x];
    long long sum=0;
    for(int j=1;j<=cnt;j++)
        sum+=f[n][K][j];
    cout<<sum;
    return 0;
}

两道练习题:

1.#10173. 「一本通 5.4 练习 2」炮兵阵地 - 题目 - LibreOJ (loj.ac)

实现代码:

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
int n,m,cnt;
int sti[2100],sta[2100];
//滚动数组
int f[2][2100][2100];
//预处理行
char s[100];
void dfs(int x,int num,int cur){
    if(cur>=m){
        sti[++cnt]=x;
        sta[cnt]=num;
        return;
    }
    dfs(x|(1<<cur),num+1,cur+3);
    dfs(x,num,cur+1);
}
int board[110];
int main(){
    cin>>n>>m;
    for(int i=1;i<=n;i++){
        scanf("%s",s);
        for(int j=0;j<m;j++) if(s[j]=='H') board[i]|=(1<<j);
    }
    dfs(0,0,0);
    for(int i=1;i<=cnt;i++) if(!(sti[i]&board[2])) for(int j=1;j<=cnt;j++) if(!(sti[j]&board[1])&&!(sti[i]&sti[j])) f[0][i][j]=sta[i]+sta[j];
    for(int i=3;i<=n;i++)
        for(int j=1;j<=cnt;j++)
                for(int x=1;x<=cnt;x++){
                    f[i%2][j][x]=0;
                    if(!(sti[j]&board[i])&&!(sti[x]&board[i-1])&&!(sti[j]&sti[x]))
                        for(int k=1;k<=cnt;k++)
                            if(!(sti[k]&board[i-2])&&!(sti[j]&sti[k])&&!(sti[x]&sti[k]))
                                f[i%2][j][x]=max(f[i%2][j][x],f[(i%2)^1][x][k]+sta[j]);
                }
    int ans = 0;
    if(n==1){
        for(int i=1;i<=cnt;i++)
            if(!(board[1]&sti[i]))
            ans=max(ans,sta[i]);
        cout<<ans;
        return 0;
    }
    for(int i=1;i<=cnt;i++)
        for(int j=1;j<=cnt;j++)
            ans=max(ans,f[n%2][i][j]);
    cout<<ans;
    return 0;
}

2.P1879 [USACO06NOV] Corn Fields G - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

实现代码:

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
int n, m;
const int N = 5E3 + 10;
int cnt;
int board[13];
int sti[N];
long long f[13][N]; // f[i][j]:到了第i行,第i行为第j种状态的草坪
int mod = 1E8;
// 转移方程:
// f[i][j]=sigma f[i-1][x]
void dfs(int x, int cur)
{
    if (cur >= n)
    {
        sti[++cnt] = x;
        return;
    }
    dfs(x | (1 << cur), cur + 2);
    dfs(x, cur + 1);
}
int main()
{
    cin >> m >> n;
    for (int i = 1; i <= m; i++)
    {
        for (int j = 0, k; j < n; j++)
        {
            scanf("%d", &k);
            board[i] |= ((k ^ 1) << j);
        }
    }
    dfs(0, 0);
    for (int i = 1; i <= cnt; i++)
        if (!(sti[i] & board[1]))
            f[1][i] = 1;
    for (int i = 2; i <= m; i++)
        for (int j = 1; j <= cnt; j++)
            for (int x = 1; x <= cnt; x++)
                if (!(sti[j] & sti[x]) && !(sti[j] & board[i]))
                    f[i][j] = (f[i][j] + f[i - 1][x]) % mod;
    long long ans = 0;
    for (int i = 1; i <= cnt; i++)
        ans = (ans + f[m][i]) % mod;
    cout << ans;
    return 0;
}

二、

集合问题:

上文提到,用二进制对应位置的1,可表示该编号的元素存在于集合中,那么每一个二进制数就可以代表一个状态压缩的集合

我们先来熟悉以下几种位运算操作:

1.对于一个数x而言,x-1的二进制表达与x的区别在于,x-1将x的最低位的1变为了0,且这个1往后的更低位的0全都变为了1

那么如果我们进行x&(x-1)的操作,以x最低位的1为分界点,其往低位(包括其自身)都将变为0,而其更高位的x所对应的1保持不变,也就是说,如果我们进行x&(x-1)而得到的新的二进制数,实际上是把x的最低位的1变为0,其他保持不变所得到的新的二进制数

2.对于一个数而言,如果他是2的非负整数幂,它的二进制表达中一定只有一个1,且会在某个位置

由上述的x&(x-1)的操作我们可知,如果x是2的非负整数幂,那么一定有x&(x-1)==0

3.对于一个数x所代表的集合而言, 我们可通过消除其二进制表达的若干个1,从而得到他的全部子集,实现代码如下:

for(int s=m;s;s=(s-1)&m){
}

每进行一次迭代,都会得到一个s,s为m的一个非空子集的状态压缩

4.遍历元素个数为n的集合的子集的子集:

实现代码如下:

for(int m=0;m<(1<<n);m++){
    //第一个for遍历元素为n的集合的子集
    for(int s=m;s;s=(s-1)&m){
        //第二个for遍历子集的子集
    }
}

该操作的时间复杂度为O(n^3),证明略

5.求集合a对全集u的补集b

则b=a^u

6.求集合a对全集u的交集b

则b=a&u

7.求集合a对全集u的并集b

则b=a|u

例题:

P5911 [POI2004] PRZ - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

实现代码:

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
int W,n;
int t[20],w[20],tim[70000];
const int INF=(1<<30);
//总共16个人
//记录所有合法子集的状态
//那么dp[i]表示状态为i的情况下,所用时的最短时间
//最后一定是求状态为全满的的dp值
//那么转移方程为:
//dp[i]=min(dp[a]+dp[b]),其中a|b==i
//也就是说a是i的全部子集
//那么b就是a对于i的补集
void check(int tmp,int total,int cost){
    for (int i = 0; i < n; i++)
    {
        if ((tmp >> i) & 1)
        {
            cost = min(cost, t[i]);
            total += w[i];
        }
        if(total>W) return;
    }
    tim[tmp]=cost;
}
int main(){
    cin>>W>>n;
    for(int i=0;i<n;i++) cin>>t[i]>>w[i];
    int N=(1<<n)-1;
    for(int m=N;m;m=(m-1)&N){
        tim[m]=INF;
        check(m,0,INF);
    }
    for(int m=0;m<(1<<n);m++)
        for(int s=m;s;s=(s-1)&m)
            tim[m]=min(tim[m],tim[s]+tim[m^s]);
    cout<<tim[N];
    return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1995967.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【Python】练习题附带答案

1、使用for循环实现输出9*9乘法表 代码&#xff1a; 2、写代码实现累乘计算器。 示例&#xff1a;用户输入&#xff1a;5*9*87输出答案&#xff1a;3915 代码&#xff1a; 3、写代码实现&#xff0c;循环提示用户输入的内容&#xff08;Q/q终止循环&#xff09;&#xff0c;…

黑马Java零基础视频教程精华部分_18_Arrays各种方法

系列文章目录 文章目录 系列文章目录Arrays简介Arrays各种方法toString代码示例binarySearch代码示例copyOf代码示例copyOfRange和fill代码示例sort代码示例 Arrays简介 操作数组的工具类。 Arrays各种方法 toString代码示例 int[]arr{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}; //to…

单片机IO灌入5V电压导致其他IO电压测量到大于供电电压问题

最近用GD32F103RCT6做项目&#xff0c;用了3个485收发器&#xff0c;都是直接接在单片机IO上的。 485收发器是5V供电的&#xff0c;这个时候就出现5V电平和3.3V电平兼容的问题了。 一开始只用了PA10、PC11这两个串口&#xff0c;他俩是兼容5V的&#xff0c;从手册可以看出IO最…

图片加水印,前端的方式

图片实现水印的方式&#xff0c;面试其实也是会被问到的&#xff0c;实现的原理就是通过canvas把图片绘制出来&#xff0c;同时在上面绘制出文字就可以了 <!DOCTYPE html> <html lang"zh"> <head><meta charset"UTF-8"><meta…

C++ | Leetcode C++题解之第327题区间和的个数

题目&#xff1a; 题解&#xff1a; class BalancedTree { private:struct BalancedNode {long long val;long long seed;int count;int size;BalancedNode* left;BalancedNode* right;BalancedNode(long long _val, long long _seed): val(_val), seed(_seed), count(1), siz…

Kubernetes节点上线和下线、Kubernetes高可用集群搭建上、Kubernetes高可用集群搭建中和Kubernetes高可用集群搭建下

一、Kubernetes节点上线和下线 1.新节点上线 1&#xff09;准备工作 关闭防火墙firewalld、selinux 设置主机名 设置/etc/hosts 关闭swap swapoff -a 永久关闭&#xff0c;vi /etc/fstab 注释掉swap那行 将桥接的ipv4流量传递到iptables链 modprobe br_netfilter ##生成brid…

YOLO系列:从yolov1至yolov8的进阶之路 持续更新中

一、基本概念 1.YOLO简介 YOLO&#xff08;You Only Look Once&#xff09;&#xff1a;是一种基于深度神经网络的对象识别和定位算法&#xff0c;其最大的特点是运行速度很快&#xff0c;可以用于实时系统。 2.目标检测算法 RCNN&#xff1a;该系列算法实现主要为两个步骤&…

WPF篇(4)- VirtualizingStackPanel (虚拟化元素)+Canvas控件(绝对布局)

VirtualizingStackPanel虚拟化元素 VirtualizingStackPanel 类&#xff08;虚拟化元素&#xff09;和StackPanel 类在用法上几乎差不多。其作用是在水平或垂直的一行中排列并显示内容。它继承于一个叫VirtualizingPanel的抽象类&#xff0c;而这个VirtualizingPanel抽象类继承…

[BSidesCF 2019]Kookie1

打开题目&#xff0c;看到 根据提示&#xff0c;账号&#xff1a;cookie。密码&#xff1a;monster。试一下登录&#xff0c;登陆成功 抓包看看信息 根据提示&#xff0c; 看一下返回包 账号要加username要改成admin&#xff0c;改一下试试 构造cookie 直接得到flag flag{c…

Animate软件基本概念:缓动、绘图纸外观及图层

FlashASer&#xff1a;AdobeAnimate2021软件零基础入门教程https://zhuanlan.zhihu.com/p/633230084 FlashASer&#xff1a;实用的各种Adobe Animate软件教程https://zhuanlan.zhihu.com/p/675680471 FlashASer&#xff1a;Animate教程及作品源文件https://zhuanlan.zhihu.co…

【秋招突围】2024届秋招-京东笔试题-第二套

🍭 大家好这里是 春秋招笔试突围,一起备战大厂笔试 💻 ACM金牌团队🏅️ | 多次AK大厂笔试 | 编程一对一辅导 ✨ 本系列打算持续跟新 春秋招笔试题 👏 感谢大家的订阅➕ 和 喜欢💗 和 手里的小花花🌸 ✨ 笔试合集传送们 -> 🧷春秋招笔试合集 🍭 本次给大家…

LVS(Linux Virtual Server)

简介 LVS&#xff08;Linux Virtual Server&#xff09;是一个高性能的开源负载均衡解决方案&#xff0c;它通过在Linux内核中实现IPVS&#xff08;IP Virtual Server&#xff09;模块来提供负载均衡功能。LVS能够将外部请求根据特定的算法分发到后端的多个服务器上&#xff0c…

Java 中的打印流

打印流属于输出流&#xff0c;分为字节打印流和字符打印流。 字节打印流 构造方法 这么多个构造方法&#xff0c;不要求记住&#xff0c;知道怎么用就可以了。 字节流底层是没有缓冲区&#xff0c;开不开自动刷新都一样。 听老司机说 工作3年了 一个流都没用过。所以听下有…

maven配置 + IDEA集成自己配置的maven

去官网下载 解压出来&#xff0c;去 conf 配置本地仓库 要是没梯子&#xff0c;国外服务器还是慢的&#xff0c;参考下面的maven的架构图 &#xff0c;就不用去国外的中央仓库了&#xff0c;配置到去阿里云的私服。 <mirror><id>alimaven</id><name>a…

Unity物理模块 之 ​2D碰撞器

本文仅作笔记学习和分享&#xff0c;不用做任何商业用途 本文包括但不限于unity官方手册&#xff0c;unity唐老狮等教程知识&#xff0c;如有不足还请斧正 1.碰撞器是什么 在 Unity 中&#xff0c;碰撞器&#xff08;Collider&#xff09;是一种组件&#xff0c;用于检测物体之…

Ubuntu23.10 安装kvm并使用nmtui创建桥接网络

1.实验准备 &#xff08;1&#xff09;使用Vmware安装Ubuntu23.10 2.实验步骤 &#xff08;1&#xff09;配置ssh &#xff08;2&#xff09;安装qemu &#xff08;3&#xff09;安装libvirt服务 &#xff08;4&#xff09;安装virtinst &#xff08;5&#xff09;启动libvir…

AI文生图的最新王者出现了,Midjourney和Stable Diffusion这下得哭了

最近&#xff0c;超越Midjourney&#xff08;简称MJ&#xff09;和Stable Diffusion&#xff08;简称SD&#xff09;的AI文生图模型突然出现了&#xff0c;她就是Flux.1模型。Flux.1模型是由SD前核心创始团队创立的Black Forest Labs研发的&#xff01; Flux.1模型一发布就瞬间…

unity + ready player me + oculus lipsync 实现数字人说话对应口型 手把手 保姆教程

在网上看了很多教程都没讲明白&#xff0c;今天终于完全弄懂了&#xff0c;现在把教程完整分享出来&#xff0c;希望能帮到大家。 一、unity 中 安装ready player me 插件和 oculus lipsync插件 1.ready player me 安装 &#xff1a; 插件地址在这 菜单栏会出现这两个选项&…

4款热门的视频剪辑软件大盘点,哪款是你的菜?

视频剪辑软件早已成为了现在很多人展现创意、记录生活和实现创作的必备工具&#xff1b;如果你还没有找到一款适合自己的视频剪辑软件的话&#xff0c;不妨看看这4款&#xff0c;一定会给你带来惊喜的。 1、福昕剪辑助手 直达链接&#xff1a;www.pdf365.cn/foxit-clip/ 这个…

python-读取测序数据的ABI文件并输出png格式峰图

本地环境&#xff1a;win10&#xff0c;Python 3.9.13&#xff0c;Biopython 1.8.2&#xff0c;matplotlib 3.5.2 参考&#xff1a; matplotlib.pyplot.arrow — Matplotlib 3.9.1 documentation https://matplotlib.org/stable/api/_as_gen/matplotlib.pyplot.arrow.html mat…