#3864. Hero meet devil dp套dp + 状压 + 状态机

传送门

文章目录

  • 题意:
  • 思路:

题意:

给你一个只包含ACGTACGTACGT的串sss,再给你一个mmm,第iii行输出有多少个长度为mmm且只包含ACGTACGTACGT的串与ssslcslcslcsiii

∣s∣≤15,m≤1000|s|\le15,m\le1000s15,m1000

思路:

我们简单回顾一下两个串的lcslcslcs怎么求。

f[i][j]f[i][j]f[i][j]表示一个串到了第iii位,另一个串到了第jjj位的lcslcslcs,转移就分两种情况

(1)f[i][j]=max(f[i][j−1],f[i−1][j])(1)f[i][j]=max(f[i][j-1],f[i-1][j])(1)f[i][j]=max(f[i][j1],f[i1][j])

(2)(2)(2)如果ai==aja_i==a_jai==aj,f[i][j]=max(f[i][j],f[i−1][j−1]+1)f[i][j]=max(f[i][j],f[i-1][j-1]+1)f[i][j]=max(f[i][j],f[i1][j1]+1)

让后看这个题,对于字符串的限制我们套路的采用自动机这种东西来辅助转移,但是对于这个题并没有一个现成的自动机来帮助我们转移,所以需要我们自己造一个。

考虑暴力求解?4m4^{m}4m枚举mmm的所有可能情况,让后暴力跑?显然状态太多存不下,那么是什么我们重复计算了多次呢?

来观察一下dpdpdp数组,由于我们已经知道sss串,可以发现我们要从dp[i−1]dp[i-1]dp[i1]转移过来的时候,需要枚举i−1i-1i1的状态和当前加入了那个字符,不难发现有很多dp[i−1]dp[i-1]dp[i1]状态是重复的,并且可以发现dp[i]dp[i]dp[i]是具有单调性的,dp[i]−dp[i−1]∈[0,1]dp[i]-dp[i-1]\in[0,1]dp[i]dp[i1][0,1],所以dpdpdp的差分数组是一个010101串!我们可以将其状压成一个二进制,这样就可以将许多重复和无用的状态压缩起来,所以设计状态f[i][j]f[i][j]f[i][j]代表当前的长度为iii时,sss串的dpdpdp差分数组的状态为jjj,转移的话就直接枚举当前要选哪个字母kkk,让后转移到next[k][j]next[k][j]next[k][j] ,其中next[k][j]next[k][j]next[k][j]代表状态为jjj的时候,下一次选kkk字母转移到的状态。

我们需要预处理next[k][j]next[k][j]next[k][j]数组,这就是我们“手写”的一个转换模型,预处理他也很简单,直接枚举[0,(1<<n)−1][0,(1<<n)-1][0,(1<<n)1]所有的状态,其中g1[i]g1[i]g1[i]代表到了第iii个加字符kkklcslcslcsg2[i]g2[i]g2[i]代表当前状态到第iii个的时候的lcslcslcs,让后枚举kkk转移即可,最后能转移到的状态就是g1[i]g1[i]g1[i]的差分数组。

具体的看代码会比较清楚。

O(4∗2nm)O(4*2^nm)O(42nm)

//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#include<random>
#include<cassert>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid ((tr[u].l+tr[u].r)>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=110,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n,m;
int a[N];
LL f[2][1<<15],ans[N];
int ne[5][1<<15];
int g1[N],g2[N];
char s[N];int get(char ch) {if(ch=='A') return 1;if(ch=='C') return 2;if(ch=='G') return 3;if(ch=='T') return 4;return -1;
}void init() {memset(ne,0,sizeof(ne));for(int i=0;i<1<<n;i++) {for(int j=1;j<=n;j++) g2[j]=g2[j-1]+(i>>(j-1)&1);for(int k=1;k<=4;k++) {for(int j=1;j<=n;j++) {g1[j]=max(g1[j-1],g2[j]);if(a[j]==k) g1[j]=max(g1[j],g2[j-1]+1);}int state=0;for(int i=0;i<n;i++) if(g1[i+1]-g1[i]) state+=1<<i;ne[k][i]=state;}}
}void solve() {scanf("%d",&m);memset(f[0],0,sizeof(f[0]));memset(f[1],0,sizeof(f[1]));int now=0;f[now][0]=1; now^=1;for(int i=1;i<=m;i++,now^=1) {memset(f[now],0,sizeof(f[now]));for(int k=1;k<=4;k++) {for(int j=0;j<1<<n;j++) {(f[now][ne[k][j]]+=f[now^1][j])%=mod;}}}now^=1;for(int i=0;i<=n;i++) ans[i]=0;for(int i=0;i<1<<n;i++) (ans[__builtin_popcount(i)]+=f[now][i])%=mod;
}int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);int _; scanf("%d",&_);while(_--) {scanf("%s",s+1); n=strlen(s+1);for(int i=1;i<=n;i++) a[i]=get(s[i]);init();solve();for(int i=0;i<=n;i++) printf("%lld\n",ans[i]);}return 0;
}
/**/

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

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

相关文章

WeihanLi.Npoi 导出支持自定义列内容啦

WeihanLi.Npoi 导出支持自定义列内容啦Intro之前也有网友给提出过希望列合并或者自定义列内容的 issue 或请求&#xff0c;起初因为自己做 WeihanLi.Npoi 这个扩展的最初目的是导入导出的简单化&#xff0c;使用这个扩展导出的 Excel/csv 可以直接导入成 List<TEntity>&a…

让 .Net 更方便的导入导出 Excel

让 .Net 更方便的导入导出ExcelIntro因为前一段时间需要处理一些 excel 数据&#xff0c;主要是导入/导出操作&#xff0c;将 Excel 数据转化为对象再用程序进行处理和分析&#xff0c;没有找到比较满意的库&#xff0c;于是就自己造了一个轮子&#xff0c;屏蔽掉了 xlsx 与 xl…

最大流,最小费用最大流:解析 + 各种板子

网络流初步 Edmond-Karp算法 网络流的基本概念 源点&#xff0c;这个点只有流量的流出&#xff0c;没有流入。汇点&#xff0c;这个点只有流量的流入&#xff0c;没有流出。容量&#xff0c;每条有向边的最大可承受的流的理论大小。流量&#xff0c;每条有向边的最大可承受的…

Zend创始人离职原来早已安排好

前边我们报导过&#xff0c;PHP 兼 Zend 公司联合创始人 Zeev Suraski 宣布目前已经从工作了 20 年的 Zend 公司离职。2 日晚间&#xff0c;知名 PHP 开发者&#xff0c;同时也是 PHP JIT 主力鸟哥&#xff08;惠新宸&#xff09;在朋友圈中曝出猛料&#xff1a;原来一切都是安…

梯度下降:求线性回归

梯度下降的直线拟合 实现说明 给定若干个x,yx, yx,y并且求得一个最佳的yaxby ax byaxb&#xff0c;也就是二元一次方程组的解。 先放上给定的散点&#xff0c;以及求得的线性回归的直线的图片。 我个人认为&#xff0c;这里的梯度优化&#xff0c;就是通过一个关键式子los…

3分钟了解数据库事务

事务是由几个读取和修改数据的sql命令组成的&#xff0c;但是知道commit命令被执行之后&#xff0c;修改操作才被认为是正常的完成。显式事务常以Begin tran语句开头&#xff0c;以commit tran或者rollback tran语句结尾的。事务具有acid属性原子性&#xff08;atomicity&#…

WebClient, HttpClient, HttpWebRequest ,RestSharp之间的区别与抉择

NETCore提供了三种不同类型用于生产的REST API&#xff1a; HttpWebRequest;WebClient;HttpClient&#xff0c;开源社区创建了另一个名为RestSharp的库。如此多的http库&#xff0c;该怎样选择呢&#xff1f;01HttpWebRequest这是.NET创建者最初开发用于使用HTTP请求的标准类。…

.NetCore 2.1以后的HttpClient最佳实践

ASP.NET Core 2.1中出现一个新的HttpClientFactory功能&#xff0c;它有助于解决开发人员在使用HttpClient实例从其应用程序发出外部Web请求时可能遇到的一些常见问题。01介绍在.NETCore平台的2.1新增了HttpClientFactory&#xff0c;虽然HttpClient这个类实现了disposable&…

点分治(简要讲解 + 模板)

树上点分治 思想 两个点之间的距离无非就是两种关系&#xff1a;我们约定dis[i]dis[i]dis[i]表示这个点到当前根节点的距离 dis[u]dis[v]dis[u] dis[v]dis[u]dis[v]&#xff0c;在同一个根节点的不同子树上。dis[u]dis[v]dis[u] dis[v]dis[u]dis[v]&#xff0c;在同一个棵子…

在 alpine 中使用 NPOI

在 alpine 中使用 NPOIIntro在 .net 中常使用 NPOI 来做 Excel 的导入导出&#xff0c;NPOI 从 2.4.0 版本开始支持 .netstandard2.0&#xff0c;在 dotnet core 应用也可以用 DotNetCore.NPOI。对于 .NET Core 应用来说&#xff0c;如果没有特殊的需求&#xff0c;alpine 是最…

Educational Codeforces Round 16 C. Magic Odd Square 矩阵构造

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个奇数nnn&#xff0c;让你构造一个n∗nn*nn∗n的矩阵&#xff0c;矩阵的每个位置依次填上[1,n∗n]之内的数[1,n*n]之内的数[1,n∗n]之内的数&#xff0c;满足每行、每列、以及主对角线的和都是奇数。…

关于WCF、WebAPI、WebService之间的区别总结 分布式通信技术

早在1996年Gartner就前瞻性地提出了面向服务架构的思想(SOA)&#xff0c;SOA 的走红在很大程度上归功于 Web Service 标准的成熟和应用的普及。Service Oriented Ambiguity 中文一般理解为&#xff1a;面向服务架构&#xff0c;简称SOA&#xff0c;这个概念算得上微服务的鼻祖了…

.NET中的值类型与引用类型

.NET中的值类型与引用类型这是一个常见面试题&#xff0c;值类型(Value Type)和引用类型(Reference Type)有什么区别&#xff1f;他们性能方面有什么区别&#xff1f;TL;DR&#xff08;先看结论&#xff09;值类型引用类型创建位置栈托管堆赋值时复制值复制引用动态内存分配无需…

跨语言调用Hangfire定时作业服务

背景Hangfire允许您以非常简单但可靠的方式执行后台定时任务的工作。内置对任务的可视化操作。非常方便。但令人遗憾的是普遍都是业务代码和hagnfire服务本身聚合在一个程序中运行&#xff0c;极大的限制了hangfire的扩展和跨语言调用。所以萌生了开发一个支持restful api调用的…

可落地微服务on k8s的持续集成/部署方案

我们隔一流的软件生产工艺还有多远&#xff1f;在距离15000公里外&#xff0c;Amazon一年可以进行5000万次部署&#xff0c;在这一边某电商平台的研发部门里&#xff0c;让他们引以为傲的是他们正在进行“敏捷”开发模式&#xff0c;并对外号称他们是以每周为迭代来进行升级。时…

Codeforces Round #579 (Div. 3) F1. Complete the Projects (easy version) 排序 + 贪心

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 比较直观的想法就是对于bi≥0b_i\ge0bi​≥0的项目&#xff0c;我们将aia_iai​从小到大排序&#xff0c;让后依次加bib_ibi​&#xff0c;如果有取不到的&#xff0c;显然就无解。否则再看…

历久弥新 - 微软万亿市值背后的文化支撑(下)|DevOps案例研究

内容来源&#xff1a;DevOps案例深度研究-Microsoft文化支撑研究战队&#xff08;本文只展示部分PPT研究成果&#xff0c;更多细节请关注案例分享会&#xff0c;及本公众号。&#xff09;本案例内容贡献者&#xff1a;陈飞&#xff08;Topic Leader&#xff09;、陈雨卿、郭子奇…

架构杂谈《九》

微服务与轻量级通信机制微服务架构是一种架构模式&#xff0c;它提倡将单一应用程序划分成一组小的服务&#xff0c;服务之间胡亮协调、互相配合&#xff0c;为用户提供最终价值。在微服务架构中&#xff0c;服务与服务之间通信时&#xff0c;通常是通过轻量级的通信机制&#…

Codeforces Round #585 (Div. 2) E. Marbles 状压dp + 逆序对

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 考虑数列最终的状态一定是相同颜色在一起&#xff0c;所以我们发现他的颜色是有顺序的&#xff01;显然可以用状压dpdpdp来枚举颜色的顺序&#xff0c;但是又有问题了&#xff0c;你怎么确…

GitLab CI 自动部署netcore web api 到Docker

前端篇文章中&#xff0c;我们已经成功的将asp.net core webapi在Docker容器中运行&#xff0c;并且部署了一套自己的GitLab环境。.Net & Docker&#xff08;二&#xff09;5分钟快速用Docker部署你自己的GitLab.Net & Docker&#xff08;一&#xff09;在Docker容器上…