题意:有一个字符串 s. 这个字符串是一个完全匹配的括号序列.在这个完全匹配的括号序列里,每个括号都有一个和它匹配的括号

你现在可以给这个匹配的括号序列中的括号染色,且有三个要求:

每个括号只有三种情况,不上色,上红色,上蓝色.

每对括号必须只能给其中的一个上色,且必须给一个上色

相邻的两个不能上同色,可以都不上色

求满足条件的括号序列染色的方法数

假设不染色为0,另外两种色为1,2

那对于一个匹配的括号对来说,只允许(1,0),(2,0),(0,1),(0,2)

定义\(f[l][r][i][j]\):区间\([l,r]\)的左端点状态为\(i\),右端点状态为\(j\)时的当前区间方案数

可以得出当\(l+1=r\)时,只有上述四种存在方案数1

除此以外还有两种情况

1.当前处理区间\([l,r]\)两端点恰好是一个匹配括号对

2.当前处理区间\([l,r]\)两端点不是一个匹配括号对

情况1可以先递归处理\([l+1,r-1]\)的方案,最后合并方案数,这里要注意相邻位置不可取同等颜色

情况2也可分治\([l,match[l]]\)(情况1)和\([match[l]+1,r]\)两个区间处理.方案数是两个区间合法方案的乘积,同样要注意约束条件

具体的操作看代码

#include<bits/stdc++.h>
#define rep(i,j,k) for(int i=j;i<=k;i++)
#define rrep(i,j,k) for(int i=j;i>=k;i--)
#define println(a) printf("%lld\n",(ll)(a))
#define printbk(a) printf("%lld ",(ll)(a))
typedef long long ll;
using namespace std;
const int MAXN = 732+11;
const ll oo = 0x3f3f3f3f3f3f3f3f;
const ll ooo= 0x3f3f3f3f;
const int MOD = 1e9+7;
ll read(){
ll x=0,f=1;register char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
ll dp[MAXN][MAXN][3][3];
int match[MAXN];
char str[MAXN];
void DP(int l,int r){
if(l==r){
rep(i,0,2) rep(j,0,2) dp[l][r][i][j]=0;
return;
}
if(l+1==r){
dp[l][r][0][0]=0;
dp[l][r][1][1]=0;
dp[l][r][2][2]=0;
dp[l][r][1][2]=0;
dp[l][r][2][1]=0; dp[l][r][1][0]=1;
dp[l][r][0][1]=1;
dp[l][r][2][0]=1;
dp[l][r][0][2]=1;
}else if(match[l]==r){
DP(l+1,r-1);
rep(i,0,2) rep(j,0,2) dp[l][r][i][j]=0;
rep(i,0,2) rep(j,0,2){ // i==j ok/ err 0
if(j!=1) dp[l][r][0][1]+=dp[l+1][r-1][i][j];
if(j!=2) dp[l][r][0][2]+=dp[l+1][r-1][i][j];
if(i!=1) dp[l][r][1][0]+=dp[l+1][r-1][i][j];
if(i!=2) dp[l][r][2][0]+=dp[l+1][r-1][i][j];
rep(x,0,2) rep(y,0,2){
if(dp[l][r][x][y]>=MOD) dp[l][r][x][y]%=MOD;
}
}
}else{
DP(l,match[l]); DP(match[l]+1,r);
rep(i,0,2) rep(j,0,2) dp[l][r][i][j]=0;
rep(i,0,2) rep(j,0,2) rep(x,0,2) rep(y,0,2)if((x==y&&x==0)||(x!=y)){
dp[l][r][i][j]+=dp[l][match[l]][i][x]*dp[match[l]+1][r][y][j]%MOD;
if(dp[l][r][i][j]>=MOD) dp[l][r][i][j]%=MOD;
}
}
}
int main(){
while(~scanf("%s",str+1)){
memset(dp,-1,sizeof dp);
stack<int> stk;
int n=strlen(str+1);
rep(i,1,n){
if(str[i]=='(') stk.push(i);
else{
int pos=stk.top();stk.pop();
match[pos]=i;
}
}
DP(1,n);
ll res=0;
rep(i,0,2) rep(j,0,2) res=(res+dp[1][n][i][j])%MOD;
println(res);
}
return 0;
}

Codeforces - 1025D

题意:给出n个节点的值\(a_i\),若两节点的值gcd不为1则可连边,问这n个点能否构成一个二叉树

//压根没想到是区间DP

\(L[l][r]\):以\(r\)为根,\([l,r-1]\)能否构成左子树

\(R[l][r]\):以\(l\)为根,\([l+1,r]\)能否构成右子树

\(ok[l][r]\):\([l,r]\)能否构成二叉树

用区间DP的方法不断扩展l,r可行范围即可

具体画个图很容易看出来左右的扩展方式

https://paste.ubuntu.com/p/VdBdSjMYYR/


598E

题意:一个大小为n*m的巧克力,要分出面积k的巧克力(可以拼凑出来),每次操作只能横着掰开或竖着掰开,代价为掰开的边长的平方,求最小代价

思绪良久,还是\(O(n^5)\)暴力出所有情况

https://paste.ubuntu.com/p/7QJcxg8SFc/


245H

题意:求出所有\([L,R]\)的回文子串个数

容斥定理,对于\([L,R]\)内的贡献,来自于\([L,R-1]\)和\([L+1,R]\),重复贡献为\([L+1,R-1]\)

如果\(str_L=str_R\)且内部为回文串,那么贡献要+1(SB如我又加了一遍[L+1,R-1])

https://paste.ubuntu.com/p/4S35zpYzRz/


159D

题意:求\(s[a,b]\) && \(s[x,y]\)的回文子串对的个数,\(1≤a≤b<x≤y≤n\)

感觉和前面的题目很相似,但答案并非\(dp[1][i]*dp[i+1][n]\),这样存在重复贡献

因此引入一个\(g[i]\):以\(i\)结尾的回文串个数

这样就可以\(g[i]*dp[i+1][n]\)不重不漏地求出所有数量

https://paste.ubuntu.com/p/5TjgK8kX6R/


Gym - 101196F

题意:给出一个\(a[1...n]\)的环,n接回1,环中每删除一个数的代价是数两旁元素的gcd值,求最小删除代价

\(dp[i][j]\):\([i,j]\)区间只剩\(i\)和\(j\)的最小代价

然后xjb乱写居然过了?

https://paste.ubuntu.com/p/k25HZxxcCQ/

Codeforces - 149D 不错的区间DP的更多相关文章

  1. codeforces 149D Coloring Brackets (区间DP + dfs)

    题目链接: codeforces 149D Coloring Brackets 题目描述: 给一个合法的括号串,然后问这串括号有多少种涂色方案,当然啦!涂色是有限制的. 1,每个括号只有三种选择:涂红 ...

  2. CodeForces 149D Coloring Brackets 区间DP

    http://codeforces.com/problemset/problem/149/D 题意: 给一个给定括号序列,给该括号上色,上色有三个要求 1.只有三种上色方案,不上色,上红色,上蓝色 2 ...

  3. codeforce 149D Coloring Brackets 区间DP

    题目链接:http://codeforces.com/problemset/problem/149/D 继续区间DP啊.... 思路: 定义dp[l][r][c1][c2]表示对于区间(l,r)来说, ...

  4. CF 149D Coloring Brackets 区间dp ****

    给一个给定括号序列,给该括号上色,上色有三个要求 1.只有三种上色方案,不上色,上红色,上蓝色 2.每对括号必须只能给其中的一个上色 3.相邻的两个不能上同色,可以都不上色 求0-len-1这一区间内 ...

  5. Codeforces.392E.Deleting Substrings(区间DP)

    题目链接 \(Description\) \(Solution\) 合法的子序列只有三种情况:递增,递减,前半部分递增然后一直递减(下去了就不会再上去了)(当然还要都满足\(|a_{i+1}-a_i| ...

  6. Codeforces 983B. XOR-pyramid【区间DP】

    LINK 定义了一种函数f 对于一个数组b 当长度是1的时候是本身 否则是用一个新的数组(长度是原数组-1)来记录相邻数的异或,对这个数组求函数f 大概是这样的: \(f(b[1]⊕b[2],b[2] ...

  7. CodeForces - 1025D: Recovering BST (区间DP)

    Dima the hamster enjoys nibbling different things: cages, sticks, bad problemsetters and even trees! ...

  8. Codeforces 1114D Flood Fill (区间DP or 最长公共子序列)

    题意:给你n个颜色块,颜色相同并且相邻的颜色块是互相连通的(连通块).你可以改变其中的某个颜色块的颜色,不过每次改变会把它所在的连通块的颜色也改变,问最少需要多少次操作,使得n个颜色块的颜色相同. 例 ...

  9. Codeforces 958C3 - Encryption (hard) 区间dp+抽屉原理

    转自:http://www.cnblogs.com/widsom/p/8863005.html 题目大意: 比起Encryption 中级版,把n的范围扩大到 500000,k,p范围都在100以内, ...

随机推荐

  1. Sypder 安装和使用

    一.安装Spyder 我傻傻以为直接下载Spyder就可以用了,但我其实大错特错了.Spyder虽然提供科学计算,但是它还需要一个介于Python和其之间的框架,或者说,显示界面PyQt5.(PyQt ...

  2. 图解利用Word来发布博客

    目前大部分的博客作者在用Word写博客这件事情上都会遇到以下3个痛点: 1.所有博客平台关闭了文档发布接口,用户无法使用Word,Windows Live Writer等工具来发布博客.使用Word写 ...

  3. Xcode6制作动态及静态Framework[repost]

    有没有写SDK或者要将一些常用的工具类做成Framework的经历? 你或许自己写脚本完成了这项工作,相信也有很多的人使用 iOS-Universal-Framework ,随着xCode6的发布,相 ...

  4. IntricCondition和expliciteCondition比较

    IntricCondition 和 expliciteCondition 的区别 与 intrinsicLoc和expliciteLock的区别很相似, expliciteCondition提供了更多 ...

  5. Linux Context , Interrupts 和 Context Switching 说明

    一. 进程Context 定义 当一个进程在执行时, CPU的所有寄存器中的值.进程的状态以及堆栈中的内容,比如各个变量和数据,包括所有的寄存器变量.进程打开的文件.内存信息等.这些信息被称为该进程的 ...

  6. Hibernate 之核心接口

    1.持久化和ORM 持久化是指把数据(内存中的对象)保存到可持久保存的存储设备中(如硬盘),主要应用于将内存中的数据存储到关系型数据库中,在三层结构中,持久层专注于实现系统的逻辑层面,将数据使用者与数 ...

  7. Debug就是Debug,Release就是Release

    现在线上发布的时候使用的是增量发布,什么是增量发布呢,就是变化什么,上什么.最近把jenkins搭建上去了,发现每次dll文件大小不一样,已查询发现原来是两个模式debuge模式与release模式搞 ...

  8. apache ap 并发测试工具

    可以使用 apache httpd 软件包里的 ab.exe 简单的做些网站的性能测试, ab.exe 是一个命令工具,所以不能双击运行, 在 cmd 下运行: ab.exe -n 1000 -c 5 ...

  9. mysql 按照时间查询

    这篇文章转载自http://blog.csdn.net/wangjuan_01/article/details/51726588 今天 select * from 表名 where to_days(时 ...

  10. Unity下的开发框架--适应web和微端游戏异步资源请求的框架

    一.   内容简介: 1.   框架对Web与微端游戏特性的支持: Web和微端游戏最重要的特性是,资源是持续从服务器上即时下载下来的.而保证体验流畅的关键就是保证资源下载分散到持续的体验过程中,并保 ...