[atAGC045C]Range Set
2024-08-26 23:04:48
首先我们可以把所有位置都变为1,因此不妨假设$a\le b$
一个字符串$s$合法当且仅当:将其中每一段长度不小于$a$的0变成1后,存在一段1的长度都不小于$b$
证明:我们称$S_{a,b}$为通过$(a,b)$能产生的字符串所构成的集合,则有$S_{a,b}=S_{b,a}$
称原来的字符串为$s$,将每一段长度不小于$a$的0变成1后称为$s'$,则若$s'\in S_{a,b}$则可以得到$s\in S_{a,b}$,同时若有$s\in S_{b,a}$又可以得到$s'\in S_{b,a}$,即可得$s\in S_{a,b}$等价于$s'\in S_{a,b}$
接下来,就是证明$s'\in S_{a,b}$当且仅当存在一段1的长度都不小于$b$
必要性:考虑$s'$中不存在一段0的长度不小于$a$,又不存在一段1的长度不小于$b$,对最后一次操作分类讨论即可(初始$n\ge a,b$,也满足条件)
充分性:将长度不小于$b$的一段1变为0,则若可以得到这个串则一定可以得到$s'$,然后由于$b\ge a$,再把这段0和左右两边原来的0合并起来,长度不小于$a$,根据上面的结论,可以将这一段变为1
重复此操作,每一次操作必然减少一段0,因此最终即所有位置都为1,显然可以做到
统计不合法的字符串数量,假设已经确定$s'$,去统计对应为$s'$的$s$数量,考虑dp
预处理出用$g_{l}$表示将这段1中若干个位置改为0,且每一段0的长度都不小于$a$的方案数,再用用$f_{i,0/1}$表示前$i$个数,第$i$个数为0或1,简单转移即可
1 #include<bits/stdc++.h>
2 using namespace std;
3 #define N 5005
4 #define mod 1000000007
5 int n,a,b,ans,g[N],f[N][N];
6 int main(){
7 scanf("%d%d%d",&n,&a,&b);
8 if (a>b)swap(a,b);
9 for(int i=0;i<a;i++)g[i]=1;
10 for(int i=a;i<=n;i++){
11 g[i]=(g[i-1]+1)%mod;
12 for(int j=a;j<i;j++)g[i]=(g[i]+g[i-j-1])%mod;
13 }
14 f[0][0]=f[0][1]=1;
15 for(int i=1;i<=n;i++)
16 for(int j=0;j<i;j++)
17 if (i-j<b){
18 int l=i-j-2;
19 if (!j)l++;
20 if (i==n)l++;
21 f[i][1]=(f[i][1]+1LL*f[j][0]*g[max(l,0)])%mod;
22 if (i-j<a)f[i][0]=(f[i][0]+f[j][1])%mod;
23 }
24 ans=1;
25 for(int i=0;i<n;i++)ans=ans*2%mod;
26 ans=(ans+mod-(f[n][0]+f[n][1])%mod)%mod;
27 printf("%d",ans);
28 }
最新文章
- 查看Job执行的历史记录
- Android Studio编码问题
- DB2获取有效工作时长函数(排除节假日、排除午休时间)
- Objective-C 编码规范
- NOIP2015-stone(二分答案)
- struct TABLE_SHARE
- github配置和git学习
- postgresql info
- php 定时执行任务
- SQL STUFF函数 拼接字符串
- SIT 和 UAT
- Java中的对象和引用
- ionic3中NavController类push setRoot相关问题解决
- 如何查询注册表的值及 Powershell 应用
- 关于VS2017 添加 EF的MVC控制器报错的解决方法
- leetcode327 Count of Range Sum
- css动画 aniamtion &; @keyframes
- sqlserver-触发器-判断更新了哪个字段。
- 《Java程序设计》实验1实验报告
- 软件项目技术点(1)——Tween算法及缓动效果