当前位置: 首页 > news >正文

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

状压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++)//枚举上一行所有要转移的状态xif(!(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;
}

相关文章:

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

状压dp&#xff1a;意思是将状态进行压缩&#xff0c;从而更容易地写出状态转移方程 通常做法&#xff1a;将每个状态&#xff08;一个集合&#xff09;用二进制表示&#xff0c;每个位的1就代表着这个编号的元素存在&#xff0c;0就代表着这个编号的元素不存在&#xff0c;如…...

【算法】最短路径算法思路小结

一、基础&#xff1a;二叉树的遍历->图的遍历 提到搜索算法&#xff0c;就不得不说两个最基础的思想&#xff1a; BFS&#xff08;Breadth First Search&#xff09;广度优先搜索 DFS&#xff08;Depth First Search&#xff09;深度优先搜索 刚开始是在二叉树遍历中接触这…...

zabbix7.0TLS-05-快速入门-触发器

文章目录 1 概述2 查看主机的触发器3 添加触发器3.1 触发器配置项介绍3.2 扩展文档3.2.1 关于配置项中每个键值返回值的说明3.2.2 触发器函数文档 4 验证触发器5 问题5.1 查了问题总列表5.2 查看问题详情5.3 更新处理问题5.4 查看已经处理的问题 6 问题恢复 1 概述 监控项用于…...

vue关于双向数据绑定的骚操作

组件传值大家都知道 直接上代码 computed: {optionModel: {get() {return this.selectedWidget.options;},set(newValue) {this.selectedWidget.options newValue;}}} 我们将optionModel传递给子组件 子组件可以直接修改props 来实现双向数据绑定 但是正常来时我们是不能修…...

基于Jeecgboot3.6.3的vue3版本的流程中仿钉钉流程的鼠标拖动功能支持

因为这个项目license问题无法开源&#xff0c;更多技术支持与服务请加入我的知识星球。 1、因为原先仿钉钉流程里不能进行鼠标拖动来查看流程&#xff0c;所以根据作者提供的信息进行修改&#xff0c;在hooks下增加下面文件useDraggableScroll.ts import { ref, onMounted, on…...

Docker Compse单机编排

一.Docker Compse 介绍 Docker Compose 是一个用于定义和运行多容器 Docker 应用程序的工具。通过 Compose&#xff0c;你可以使用 YAML 文件来配置应用程序的服务、网络和卷&#xff0c;然后使用单个命令创建和启动所有服务。这使得在开发、测试和部署过程中管理多容器应用程…...

“AI+Security”系列第2期(一):对抗!大模型自身安全的攻防博弈

近日&#xff0c;由安全极客、Wisemodel 社区和 InForSec 网络安全研究国际学术论坛联合主办的“AISecurity”系列第 2 期——对抗&#xff01;大模型自身安全的攻防博弈线上活动如期举行。本次活动邀请了君同未来创始人兼 CEO 韩蒙、前阿里云高级安全专家郑瀚、ChaMd5 AI 组负…...

Python Static Typing: 提升代码可靠性与可读性的使用技巧

&#x1f49d;&#x1f49d;&#x1f49d;欢迎莅临我的博客&#xff0c;很高兴能够在这里和您见面&#xff01;希望您在这里可以感受到一份轻松愉快的氛围&#xff0c;不仅可以获得有趣的内容和知识&#xff0c;也可以畅所欲言、分享您的想法和见解。 推荐&#xff1a;「storm…...

Datawhale多模态赛事(1)

赛事说明&#xff1a;https://tianchi.aliyun.com/competition/entrance/532251/introduction?spma2c22.12281925.0.0.2f307137p8qZmp 学习平台&#xff1a;https://linklearner.com/home 第一天 1.报名赛道学习赛事 https://tianchi.aliyun.com/competition/entrance/53225…...

云手机在海外社交媒体运营中的作用

随着社交媒体的全球普及&#xff0c;海外社交媒体运营成为众多企业与个人提升品牌影响力和扩大市场份额的重要策略。在这一进程中&#xff0c;海外云手机以其独特的功能&#xff0c;为海外社交媒体运营提供了强大的支持。 那么&#xff0c;海外云手机在海外社交媒体运营中究竟扮…...

Ubuntu怎么进入救援模式或单用户模式

进入救援模式&#xff08;Rescue Mode&#xff09;或单用户模式&#xff08;Single User Mode&#xff09;的方法取决于你所使用的Linux发行版。以下是通用的步骤&#xff0c;适用于大多数基于GRUB引导的系统&#xff0c;如Ubuntu、Debian、CentOS等&#xff1a; 重启你的系统。…...

学习鸿蒙-构建私有仓储

1.选择 鸿蒙提供ohpm-repo工具用于构建本地私有仓储 ohpm-repo下载 2.环境配置 安装node&#xff0c;ohpm-repo 支持 node.js 18.x 及以上版本 node最新版本下载 3.配置文件及运行 1.解压 ohpm-repo 私仓工具包 2.进入 ohpm-repo 解压目录的 conf 目录内&#xff0c;打开 c…...

经验是负债,学习是资产

经验是负债&#xff0c;学习是资产 经验是负债&#xff0c;学习是资产。这是李嘉诚先生的一句名言。他一语道出了学习在企业发展中的推动作用。 企业家经营的目的&#xff0c;无非就是将利润最大化。企业能够产生利润&#xff0c;靠的是提升自身业绩、降低运营成本&#xff0c;…...

电脑屏幕录制工具分享5款,附上详细电脑录屏教程(2024全新)

日月更迭&#xff0c;转眼间已经来到了2024年的立秋&#xff0c;在这个数字技术快速发展的时代&#xff0c;电脑录屏技术已经成为了一项不可或缺的技能&#xff0c;无论是用于工作汇报、在线教学、游戏直播还是个人娱乐。那么录屏软件哪个好用呢&#xff1f;接下来&#xff0c;…...

Docker资源隔离的实现策略以及适用场景

Docker通过多种技术实现资源隔离&#xff0c;确保不同容器之间相互独立并有效利用主机资源。 以下是Docker资源隔离的主要实现策略以及适用场景&#xff1a; 实现策略 1、命名空间&#xff08;Namespaces&#xff09; 进程命名空间&#xff08;PID Namespace&#xff09;: 隔…...

PLL基本原理、设计及应用

PLL基本原理 锁相环&#xff08;Phase-Locked Loop, PLL&#xff09;是一种基本的反馈控制系统&#xff0c;广泛应用于电子通信、信号处理、时钟同步等多个领域。PLL通过反馈机制锁定输入信号的频率和相位&#xff0c;从而实现输出信号与输入信号的同步。其基本工作原理可以概…...

Qt实现类似淘宝商品看板的界面,带有循环翻页以及点击某页跳转的功能

效果如下&#xff1a; #ifndef ModelDashboardGroup_h__ #define ModelDashboardGroup_h__#include <QGridLayout> #include <QLabel> #include <QPushButton> #include <QWidget>#include <QLabel> #include <QWidget> #include <QMou…...

2024下半年国际学术会议一览表

在科技与人文的交汇点&#xff0c;2024年的国际学术会议季即将拉开帷幕&#xff0c;一系列聚焦于计算机科学与人工智能、工程与技术、教育与社会科学的盛会&#xff0c;不仅展示了全球学术研究的最新成果&#xff0c;更促进了跨学科交流与合作&#xff0c;为未来的科技发展与社…...

serial靶场

项目地址 https://download.vulnhub.com/serial/serial.zip 实验过程 将下载好的靶机导入到VMware中&#xff0c;设置网络模式为NAT模式&#xff0c;然后开启靶机虚拟机 使用C段扫描&#xff0c;获取靶机IP地址 arp-scan -l 扫描一下端口 nmap -sV -p- 192.168.48.149 查看…...

如何在Vue3项目中引入并使用Echarts图表

在Vue 3项目中引入并使用ECharts图表&#xff0c;你可以通过npm或yarn来安装ECharts&#xff0c;然后在Vue组件中引入并使用它。以下是一个基本的步骤指南&#xff1a; 1. 安装ECharts 首先&#xff0c;你需要在你的Vue 3项目中安装ECharts。打开你的终端或命令提示符&#x…...

Linux实现简易版Shell的代码详解

一、程序流程分析我们日常使用Bash时&#xff0c;通过输入命令执行相应的操作&#xff0c;比如&#xff1a;那么&#xff0c;Bash是如何进行工作的呢&#xff1f;观察一下&#xff0c;就会发现&#xff0c;首先Bash会打印命令行提示符&#xff0c;包括当前用户、主机名以及路径…...

如何改cad文件版本?盘点三个实用方法

在日常 CAD 绘图工作中&#xff0c;经常会遇到高版本 CAD 文件在低版本软件中无法打开、显示异常的问题。本文为大家整理了3 种实用的 CAD 版本转换方法&#xff0c;包含工具批量转换与两种代码实现方式&#xff0c;满足不同场景下的版本转换需求。方法一&#xff1a;汇帮 CAD …...

macOS下OpenClaw排错大全:Qwen3.5-9B接口连接问题解决

macOS下OpenClaw排错大全&#xff1a;Qwen3.5-9B接口连接问题解决 1. 问题背景与排查思路 上周我在macOS上部署OpenClaw时&#xff0c;遇到了Qwen3.5-9B接口连接失败的问题。作为一个长期依赖本地AI助手的开发者&#xff0c;这类问题直接影响我的自动化工作流。经过三天断断续…...

告别魔法!Gemini 3.1 Pro 国内稳定API使用教程(开发者+普通用户双版)

一、开篇&#xff1a;Gemini 3.1 Pro 到底强在哪&#xff1f; Gemini 3.1 Pro 推理能力直接翻倍&#xff0c;彻底解决了AI行业“快则不精、精则太贵”的痛点。 不管你是开发者想对接API&#xff0c;还是普通用户想低成本体验超强推理模型&#xff0c;这篇文章都给你一套清晰、…...

Infineon BGT60TR13C毫米波雷达Arduino底层驱动详解

1. 项目概述Infineon XENSIV™ BGT60TR13C 是一款集成化60 GHz毫米波雷达传感器芯片&#xff0c;专为低功耗、高精度运动检测与距离测量应用而设计。该器件采用单片集成方案&#xff0c;将60 GHz VCO、发射/接收前端、三通道接收链路&#xff08;含LNA、Mixer、IF VGA&#xff…...

技术创业中的风险管理:从内核开发到商业稳定

技术创业中的风险管理&#xff1a;从内核开发到商业稳定 技术创业的风险挑战 作为一名从Linux内核开发者转型产品经理再到科技创业者的人&#xff0c;我深刻体会到风险管理在技术创业中的重要性。技术创业过程中充满了各种风险&#xff0c;从技术风险到商业风险&#xff0c;从市…...

OpenClaw高Token消耗解决方案:Qwen3-4B-Thinking本地化部署指南

OpenClaw高Token消耗解决方案&#xff1a;Qwen3-4B-Thinking本地化部署指南 1. 当OpenClaw遇上Token消耗困境 上周我尝试用OpenClaw自动整理半年的技术笔记时&#xff0c;遇到了一个棘手问题——任务执行到一半突然中断了。查看日志才发现&#xff0c;仅仅是"读取文件→…...

CnOpenData 沪市IPO发行文件-B来源

IPO(Initial Public Offing)&#xff0c;即首次公开募股&#xff0c;是指一家企业(发行人)第一次将它的股份向公众出售。资本市场是现代金融体系的核心&#xff0c;是企业最高效的融资渠道和最强大的资本运作平台&#xff0c;IPO作为公司登陆资本市场的唯一路径&#xff0c;将使…...

跨境人都在用的TT跨境出海矩阵软件哪个靠谱?

你有没有过这种经历&#xff1f;拍十几条TT营销视频花了整整一周&#xff0c;上线后播放量却寥寥无几&#xff0c;账号矩阵的日更计划完全跟不上&#xff1f;做跨境TT矩阵&#xff0c;核心痛点从来不是多账号登录&#xff0c;而是内容量产、成本控制和合规风险的三重夹击。到底…...

OpenClaw 从翻车到迎来上百项更新:MiniMax、腾讯、阿里、有道 8 位专家拆解OpenClaw本土化实战解法

责编 | 梦依丹出品 | CSDN&#xff08;ID&#xff1a;CSDNnews&#xff09;3 月 24 日&#xff0c;行业顶流 OpenClaw 在迎来号称自诞生以来的最大更新之后&#xff0c;却始料未及地上演了一段“装虾五分钟&#xff0c;修 Bug 两小时”的升级翻车大事故。由于强行将插件生态迁移…...