国庆六日游——第三天第一题

国庆六日游——第三天第一题

别问我为什么不讲第二天

正题：

给定一个长度为2N的字符串S，S表示为2N个格子的染色情况。S_i = B 时表示第i个格子为黑色，否则若S_i = W表示第i个格子为白色。

你需要进行恰好n次操作，使得所有格子的颜色都变为白色。第i次操作时，你可以选择两个未在之前操作中选择过的格子l_i,r_i (l_i < r_i), 并翻转所有下标在[l_i, r_i]中的格子的颜色。所有操作结束后，每个格子应恰好被选择一次。

请求出合法操作序列的方案数对10⁹ + 7取模的结果。

我们认为两个操作序列不同，当且仅当存在某个正整数i ∈ [1, n] 使得两个操作序列对应的l_i或r_i不同。

本题有多组数据。

输入的第一行包含一个正整数 T，表示数据组数。
接下来2T行，第 (2i−1)行和第2i行表示第 i 组数据。其中，第(2i−1)行包含一个正整数，表示这组数据中的 n，第2i行包含一个仅由 B 和 W 构成的长度为 2n 的字符串S，含义如题面所示。

输出 T 行，其中第 i 行包含一个整数，表示第 i 组数据的答案。

保证1 <= T <= 10, 1 <= n <= 10⁵

时间限制：1000ms，空间限制：128MB

样例：
2
2
BWWB
4
BWBBWWWB

输出：
4
288

题面有点丑，先看着qwq

思路

看到这道题，你的第一反应是什么？
爆搜
一个序列，每个数有两种状态，每次可以翻转一段区间内的状态，我们要把所有数转化成同一个状态

显然这题应该和奇偶性有关。

为了方便，后面用“0” 表示 “W”， “1” 表示 “B”

我们的目标状态是一个全0的序列，也就是说，原来是“1”的位置需要被覆盖奇数次，反之需要偶数次。

接下来思考这个条件应该如何运用

先想一想搜索的时候，你会怎么搜？

当然是从左往右从右往左我也拦不住你，按照同一个方向搜（不然怎么递归）

我们思考的时候，也同样可以这样假设：在考虑第i个数的时候, [1 , i)内的数已经全部确定，不需要再考虑。

在这道题里，“确定”可以理解为

• 被占用（不可以再次被选中）
• 如果局面存在解，那么操作完毕后，该位置一定合法（无后效性）
• 确定是左端点或右端点

其中第三条是我们的分析重点

首先，看到左端点和右端点，你能想到什么题目？

莫队括号匹配

显然，当我们确定下来每个端点是左端点还是右端点时，总情况数是容易计算的。

那么怎么确定端点呢？
这里就要用到刚才的奇偶判断了。

首先，第i个位置被[1, i)为起点的区间覆盖次数，等于[1, i) 中左端点数量减去右端点数量
类似植物大战僵尸
设[1, i) 有a个左端点，b个右端点
显然a - b ≡ a + b = i - 1 (mod 2)
有问题请举手
假设 i 除以 2 余 r
那么如果s[i] = r，则i是左端点
否则是左端点
画一画就知道了

我们可以从左往右扫描，过程中记录剩余的左括号数量，遇到右括号更新答案和括号数量

需要注意的是，s[0] 不可以是右端点，s[2n - 1]不可以是左端点！（显然）
因此需要加一个小小的特判优化

上代码：

#include<cstdio>
using namespace std;
const int mod = 1000000007;
const int man = 200010;
struct Int {
    int v;
    Int(int x) {v = x;}
    Int operator *= (int x) {
        v = 1LL * v * x % mod; return *this;
    }
}; //为了计算方便；
signed main() {
  	//freopen("reversal.in", "r", stdin);
  	//freopen("reversal.out", "w", stdout); 不解释
    int t; scanf("%d", &t);
    char s[man]; int n;
    while(t--) {
        scanf("%d", &n); scanf("%s", s + 1);
        if(s[1] == 'W' || s[n << 1] == 'W') {
            printf("0\n"); continue;
        } //特判
        bool now = false; Int ans = 1; int left = 1; //左括号数量
        for(int i = 2; i < n << 1; ++i) {
            if(now ^= (s[i] == s[i - 1])) {
                ans *= left--; //判断s[i]的偶性
            } else left++;
        } if(left - 1) {
            printf("0\n"); continue;
        } else {
            while(n) {
                ans *= n--;
            } printf("%d\n", ans.v);
        }
    }
}