CodeForces - 149D Coloring Brackets(区间DP)

题目大意:给你一个符合括号规则的字符串,现在要求你将这些括号染色,染色规则如下
1.一个括号要么被染成红色,要么被染成蓝色,要么不染
2.相邻的括号的颜色不能相同(可以同为无色)
3.成对的括号只能有一个被染色
问染色的方案数

解题思路:0表示不染,1表示红色,2表示蓝色
那么成对的括号只能符合:(0,1),(1,0),(0,2),(2,0)4个中的任意一个
接下来讨论如何染色
用dp[i][j][k][l]表示[i,j]区间,i染成k色,j染成l色的方案数
假设要染色的是[l,r]这个区间
1.如果l + 1 == r,表示这个括号是最内部的括号了
那么dp[l][r][0][1] = dp[l][r][1][0] = dp[l][r][0][2] = dp[l][r][2][0] = 1

2.如果l这个位置的括号和r这个位置的括号匹配,那么先递归染[l + 1, r - 1]
染完后可得转移方程
dp[l][r][i][j] += dp[l + 1][r - 1][k][l]其中k不能等于i,l不能等于j,因为要符合第2个规则

3.不符合情况1和情况2,那就先染[l, match[l]]和[match[l] + 1, r]这两个区间的括号,match[l]表示第l个括号的匹配括号所在位置
染完后得转移方程
dp[l][r][i][j] += dp[l][match[l]][i][k] * dp[match[l] + 1][r][q][j],其中k == q时不能等于1或2,要满足第二个规则

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 710;
const int MOD = 1e9 + 7;
typedef long long ll;

char str[N];
int match[N], num[N];
ll dp[N][N][3][3];
int len;

void init() {
    scanf("%s", str);
    len = strlen(str);
    int cnt = 0;
    for (int i = 0; i < len; i++)
        if (str[i] == ')')
            match[num[--cnt]] = i;
        else 
            num[cnt++] = i;
}

void dfs(int l, int r) {
    //一对括号
    if (l + 1 == r) {
        dp[l][r][0][1] = 1;
        dp[l][r][0][2] = 1;
        dp[l][r][1][0] = 1;
        dp[l][r][2][0] = 1;
    }
    else if (match[l] == r) {
        dfs(l + 1, r - 1);
        for (int i = 0; i < 3; i++)
            for (int j = 0; j < 3; j++) {
                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];
            }
        dp[l][r][0][1] %= MOD;
        dp[l][r][0][2] %= MOD;
        dp[l][r][1][0] %= MOD;
        dp[l][r][2][0] %= MOD;

    }
    else {
        dfs(l, match[l]);
        dfs(match[l] + 1, r);
        for (int i = 0; i < 3; i++)
            for (int j = 0; j < 3; j++)
                for (int k = 0; k < 3; k++)
                    for (int p = 0; p < 3; p++)
                        if (!( (k == 1 && p == 1) || (k == 2 && p == 2)))
                            dp[l][r][i][j] = (dp[l][r][i][j] + (dp[l][match[l]][i][k] * dp[match[l] + 1][r][p][j]) % MOD) % MOD;
    }
}

void solve() {
    dfs(0, len - 1);
    ll ans = 0;
    for (int i = 0; i < 3; i++)
        for (int j = 0; j < 3; j++)
            ans += dp[0][len - 1][i][j];
    printf("%lld\n", ans % MOD);
}

int main() {
    init();
    solve();
    return 0;
}
  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
引用\[1\]中提到了一种树形动态规划的方法来解决CodeForces - 982C问题。在这个问题中,subtree指的是子连通块,而不是子树。为了使cnt_white - cnt_black尽可能大,可以使用两次树形动态规划来求解。第一次是自底向上的过程,维护一个dp数组,表示以每个节点为根的子树中的最大连通块。第二次是自顶向下的过程,处理自底向上过程中无法包含的树链所代表的子树。在第二次遍历中,需要维护一个sum变量,用于存储树链所代表的子树的贡献。根据ans\[u\]的正负,决定是否能对相邻的子节点做出贡献。如果ans\[u\]为正,则减去dp\[v\]就是树链所代表的子树的权值。最终,ans\[u\]代表包含节点u在内的子连通块的最大权值。\[1\] 问题: CodeForces - 982C 树形DP是什么问题?如何解决? 回答: CodeForces - 982C是一个树形动态规划问题。在这个问题中,需要求解子连通块的最大权值和,使得cnt_white - cnt_black尽可能大。解决这个问题的方法是使用两次树形动态规划。第一次是自底向上的过程,维护一个dp数组,表示以每个节点为根的子树中的最大连通块。第二次是自顶向下的过程,处理自底向上过程中无法包含的树链所代表的子树。在第二次遍历中,需要维护一个sum变量,用于存储树链所代表的子树的贡献。根据ans\[u\]的正负,决定是否能对相邻的子节点做出贡献。最终,ans\[u\]代表包含节点u在内的子连通块的最大权值。\[1\] #### 引用[.reference_title] - *1* *2* [CodeForces - 1324F Maximum White Subtree(树形dp)](https://blog.csdn.net/qq_45458915/article/details/104831678)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^koosearch_v1,239^v3^insert_chatgpt"}} ] [.reference_item] [ .reference_list ]

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值