CSP-S 2021 括号序列与廊桥分配-CSDN博客

本文介绍了CSP-S 2021的三道题目，包括括号序列的超级括号序列问题，廊桥分配问题，以及回文数列的构造。题目涉及括号序列的递归定义，廊桥分配的最优化策略，以及回文数列的生成条件。并提供了样例输入输出和解题思路。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

[CSP-S 2021] 括号序列

题目描述

小 w 在赛场上遇到了这样一个题：一个长度为 $n$ 且符合规范的括号序列，其有些位置已经确定了，有些位置尚未确定，求这样的括号序列一共有多少个。

身经百战的小 w 当然一眼就秒了这题，不仅如此，他还觉得一场正式比赛出这么简单的模板题也太小儿科了，于是他把这题进行了加强之后顺手扔给了小 c。

具体而言，小 w 定义“超级括号序列”是由字符 (、)、* 组成的字符串，并且对于某个给定的常数 $k$ ，给出了“符合规范的超级括号序列”的定义如下：

()、(S) 均是符合规范的超级括号序列，其中 S 表示任意一个仅由不超过 $\bm{k}$ 个字符 * 组成的非空字符串（以下两条规则中的 S 均为此含义）；
如果字符串 A 和 B 均为符合规范的超级括号序列，那么字符串 AB、ASB 均为符合规范的超级括号序列，其中 AB 表示把字符串 A 和字符串 B 拼接在一起形成的字符串；
如果字符串 A 为符合规范的超级括号序列，那么字符串 (A)、(SA)、(AS) 均为符合规范的超级括号序列。
所有符合规范的超级括号序列均可通过上述 3 条规则得到。

例如，若 $k = 3$ ，则字符串 ((**()*(*))*)(***) 是符合规范的超级括号序列，但字符串 *()、(*()*)、((**))*)、(****(*)) 均不是。特别地，空字符串也不被视为符合规范的超级括号序列。

现在给出一个长度为 $n$ 的超级括号序列，其中有一些位置的字符已经确定，另外一些位置的字符尚未确定（用 ? 表示）。小 w 希望能计算出：有多少种将所有尚未确定的字符一一确定的方法，使得得到的字符串是一个符合规范的超级括号序列？

可怜的小 c 并不会做这道题，于是只好请求你来帮忙。

输入格式

第一行，两个正整数 $n, k$ 。

第二行，一个长度为 $n$ 且仅由 (、)、*、? 构成的字符串 $S$ 。

输出格式

输出一个非负整数表示答案对 ${10}^9 + 7$ 取模的结果。

样例 #1

样例输入 #1

7 3
(*??*??

样例输出 #1

样例 #2

样例输入 #2

10 2
???(*??(?)

样例输出 #2

提示

【样例解释 #1】

如下几种方案是符合规范的：

(**)*()
(**(*))
(*(**))
(*)**()
(*)(**)

【数据范围】

测试点编号	$\le$	特殊性质
$\sim 3$	$15$	无
$\sim 8$	$40$	无
$\sim 13$	$100$	无
$\sim 15$	$500$	$S$ 串中仅含有字符 `?`
$\sim 20$	$500$	无

对于 $\%$ 的数据， $\le k \le n \le 500$ 。

转载一部写的非常好的题解

来源：洛谷
作者：wsyear
在这里插入图片描述

代码

#include <bits/stdc++.h>
using namespace std;

const int M = 510, mod = 1e9+7;
typedef long long LL;
LL dp[M][M][10];
int n, k;
char c[M];

bool cmp(int a ,int b){
   
   
	return (c[a]=='(' || c[a]=='?') && (c[b]==')' || c[b]=='?');
}

int main()
{
   
   
	scanf("%d%d%s", &n, &k, c+1);
	for(int i=1 ; i<=n ; i++)   dp[i][i-1][0] = 1;
	for(int len=1 ; len<=n ; len++)
		for(int l=1 ; l<=n-len+1 ; l++)
		{
   
   
			int r = l+len-1;
   			if(len<=k) dp[l][r][0]=dp[l][r-1][0]&&(c[r]=='*'||c[r]=='?');
            if(len>=2){
   
   
                if(cmp(l,r)) dp[l][r][1]=(dp[l+1][r-1][0]+dp[l+1][r-1][2]+dp[l+1][r-1][3]+dp[l+1][r-1][4])%mod;
                for(int i=l ; i<r ; i++){
   
   
                    dp[l][r][2]=(dp[l][r][2]+dp[l][i][3]*dp[i+1][r][0])%mod;
                    dp[l][r][3]=(dp[l][r][3]+(dp[l][i][2]+dp[l][i][3])*dp[i+1][r][1])%mod;
                    dp[l][r][4]=(dp[l][r][4]+(dp[l][i][4]+dp[l][i][5])*dp[i+1][r][1])%mod;
                    dp[l][r][5]=(dp[l][r][5]+dp[l][i][4]*dp[i+1][r][0])%mod;
                }
            }
            dp[l][r][5]=(dp[l][r][5]+dp[l][r][0])%mod;
            dp[l][r][3]=(dp[l][r