#P8007. 「Wdsr-3」永远与须臾的走廊
「Wdsr-3」永远与须臾的走廊
题目背景
永远亭是迷途森林里的不可思议的屋子。
为了躲避月之使者的到来,也是为了防御,永远亭内被布下了一条无尽的长廊。困在其中的对手无法触及到真实,陷入到永远与须臾的陷阱里去。
不过,无尽的长廊 毕竟只是单一有限走廊 的无限循环,其本质是永远亭的主人蓬莱山辉夜及八意永琳设下的圈套。正因该长廊是通过辉夜的能力实现的,因此辉夜可以通过修改该「有限长的」走廊 ,进而作用于「无限长的」长廊 。这意味着有限的修改可以创造出无限的变动。
光秃秃的长廊显得单调,也难以起到掩人耳目的目的。辉夜决定在长廊上绘制象征着月初的「上弦月」和象征着月末的「下弦月」,以达到图案交错重叠的目的。为了方便起见,「上弦月」可以被近似认为是左括号,而「下弦月」可以被近似认为是右括号。作为优雅的月之都的公主,当然会有不少条条框框——轮到你帮助辉夜满足她的要求了。
题目描述
辉夜希望创造一个无限长的括号序列 作为永远亭长廊的绘制图案,它由一个长度为 的括号序列 不断重复而成。
我们称一个括号序列 是合法的,当且仅当它可以由以下方式生成:
- 是一个合法的括号序列。
- 如果 是合法括号序列,那么 同样是一个合法括号序列。
- 如果 都是合法括号序列,那么 (即 拼接)同样是一个合法括号序列。
例如, 都是合法括号序列;而 均不是合法括号序列。
现在辉夜已经确定了 当中一部分的符号。你需要求出,「在剩下来的单元上绘制括号,使得这条无限长的长廊上可以找到无限长的合法括号序列」的方案数。两种方案不同仅当两种方案中有至少一个位置的 ?
被替换成了不同的字符。输出它对 (一个大质数)取模后的结果。
输入格式
- 第一行有一个正整数 ,表示单元总数。
- 接下来一行有 个字符。若第 个字符是 或者 ,则表示第 个单元上绘制的括号已经被辉夜所指定;否则若第 个字符是 ,则表示该位置尚未被确定。
输出格式
- 共一行一个整数。表示所有方案数对 取模后的结果。
4
(???
3
8
(???))??
10
提示
样例 1 解释
符合条件的方案共有三种:、 和 。
- 第一种方案,$\overbrace{\text{\tt\textcolor{red}{(())}\textcolor{blue}{(())}\texttt{...}\textcolor{red}{(())}\textcolor{blue}{(())}}}^{\text{无穷个}}$ 可以找到无限长的合法括号序列。
- 第二种方案,$\overbrace{\text{\tt\textcolor{red}{()()}\textcolor{blue}{()()}\texttt{...}\textcolor{red}{()()}\textcolor{blue}{()()}}}^{\text{无穷个}}$ 同样可以找到无限长的合法括号序列。
- 第三种方案,$\text{\tt\textcolor{red}{())}}\overbrace{\text{\tt\textcolor{red}{(}\textcolor{blue}{())(}\texttt{...}\textcolor{red}{())(}\textcolor{blue}{())}}}^{\text{无穷个}}\text{\tt\textcolor{blue}{(}}$ 仍然可以找到无穷长的括号序列。
可以证明,不存在其他方案。
数据范围及约定
$$\def{\arraystretch}{1.5} \begin{array}{|c|c|c|c|}\hline \textbf{Subtask} & \bm{n\le } & \textbf{特殊性质} & \textbf{分值} \cr\hline 1 & 20 & - & 20 \cr\hline 2 & 10^5 & \text{A} & 10 \cr\hline 3 & 10^5 & \text{B} & 10 \cr\hline 4 & 10^5 & - & 60 \cr\hline \end{array} $$特殊性质 :保证字符串里仅出现 和 。
特殊性质 :保证字符串里仅出现 。
对于全部数据,满足 ,且字符串里仅出现 三种字符。