HDU 6942 CCPC Strings题解

HDU6942. CCPC Strings

题意：长度为$n$的只含有"C"或"P"的字符串共有$2^n$个，问：这所有$2^n$个字符串中含有多少个"CCPC"（每一个"CCPC"之间不能相互重叠，即"CCPCCPC"中只能算$1$个"CCPC"）

分析：

假设所有长度为$n$的"CP"字符串中互不重叠的"CCPC"的个数为$a_n$

若认为可以相互重叠，可以通过计算贡献的方式进行计算

//  1. CCPC***...*****（只关注子串[1...4]的贡献）
//  2. *CCPC**...*****（只关注子串[2...5]的贡献）
//  3. **CCPC*...*****（只关注子串[3...6]的贡献）
//  4. ***CCPC...*****（只关注子串[4...7]的贡献）
//  5. ****CCP...*****（只关注子串[5...8]的贡献）
//  6. *****CC...*****（只关注子串[6...9]的贡献）
//   .
//   .
//   .
//n-4. *******...CCPC*（只关注子串[n-4...n-1]的贡献）
//n-3. *******...*CCPC（只关注子串[n-3...n]的贡献）

"CCPC"有$(n-3)$种摆法，剩下$(n-4)$个字符随便选

答案即为$(n-3)\cdot2^{n-4}$

然而，题目要求每一个"CCPC"之间不能相互重叠

可以发现

$1,4$发生重叠，$2,5$发生重叠，$3,6$发生重叠，...

和上面的计算方法一样

即"CCPCCPC"有$(n-6)$种摆法，剩下$(n-7)$个字符随便选

总共为$(n-6)\cdot 2^{n-7}$

减掉这些，发现减多了

减多了哪些？

$1,4,7$发生重叠，$2,5,8$发生重叠，$3,6,9$发生重叠，...

即"CCPCCPCCPC"有$(n-9)$种摆法，剩下$(n-10)$个字符随便选

总共为$(n-9)\cdot 2^{n-10}$

加上这些，发现加多了

加多了哪些？

……

以此类推，容斥原理

答案为$a_{n}=\sum\limits_{i=1}^{\lfloor \frac{n}{3}\rfloor}(-1)^{i-1}\cdot(n-3i)\cdot 2^{n-3i-1}$

从而有这个

$$\begin{aligned} a_{n-3}&=\sum\limits_{i=1}^{\lfloor \frac{n-3}{3}\rfloor}(-1)^{i-1}\cdot(n-3-3i)\cdot 2^{n-3-3i-1}\\ &=\sum\limits_{i=1}^{\lfloor \frac{n-3}{3}\rfloor}(-1)^{i-1}\cdot(n-3-3i)\cdot 2^{n-3-3i-1}\\ &=\sum\limits_{i=1}^{\lfloor \frac{n}{3}\rfloor-1}(-1)^{i-1}\cdot(n-3(i+1))\cdot 2^{n-3(i+1)-1}\\ &=\sum\limits_{i=2}^{\lfloor \frac{n}{3}\rfloor}(-1)^{i}\cdot(n-3i)\cdot 2^{n-3i-1}\\ \end{aligned}$$

所以zyf大佬送给我的递推式$a_n=(n-3)\cdot2^{n-4}-a_{n-3}$是对的（干得漂亮）

然而这题到这还没完，题目条件$1\leq n \leq 10^9$，线性递推搞不定

啊这，梦回高中

由于

$$\begin{aligned} a_n+a_{n-3}&=(n-3)\cdot2^{n-4}\\ \end{aligned}$$

有

$$\begin{aligned} \frac{8a_n}{2^{n-1}}+\frac{a_{n-3}}{2^{n-4}}&=n-3\\ \end{aligned}$$

令$\frac{a_n}{2^{n-1}}=b_n$，有

$$8b_n+b_{n-3}=n-3\\ 8(b_n-\frac{1}{9}n)+b_{n-3}-\frac{1}{9}n+3=0\\ 8(b_n-\frac{1}{9}n)+b_{n-3}-\frac{1}{9}(n-3)-\frac{1}{3}+3=0\\ 8(b_n-\frac{1}{9}n+\frac{8}{27})+b_{n-3}-\frac{1}{9}(n-3)+\frac{8}{27}=0\\ $$

令$b_n-\frac{1}{9}n+\frac{8}{27}=c_n$，有

$$c_n=-\frac{1}{8}c_{n-3}$$

由$a_1=a_2=a_3=0$及$c_n=\frac{a_n}{2^{n-1}}-\frac{1}{9}n+\frac{8}{27}$

$$c_1=\frac{5}{27}\\ c_2=\frac{2}{27}\\ c_3=-\frac{1}{27}$$

所以

$$c_{3n}=-\frac{1}{27}\cdot(-\frac{1}{8})^{n-1}\\ c_{3n+1}=\frac{5}{27}\cdot(-\frac{1}{8})^{n}\\ c_{3n+2}=\frac{2}{27}\cdot(-\frac{1}{8})^{n}\\ $$

由$a_n=2^{n-1}(c_n+\frac{1}{9}n-\frac{8}{27})$

$$a_{3n}=\frac{1}{54}(8\cdot(-1)^{n}+(9n-8)\cdot8^{n})\\ a_{3n+1}=\frac{1}{27}(5\cdot(-1)^{n}+(9n-5)\cdot8^{n})\\ a_{3n+2}=\frac{2}{27}(2\cdot(-1)^{n}+(9n-2)\cdot8^{n})$$

代码：

#include <cstdio>
typedef long long Lint;
const Lint mod = 1e9 + 7;
Lint fpow(Lint a, Lint n) {
    Lint res = 1;
    for (; n; n >>= 1) {
        if (n & 1) res = res * a % mod;
        a = a * a % mod;
    }
    return res;
}
Lint minv(Lint a) { return fpow(a, mod - 2); }
Lint ainv(Lint a) { return mod - a; }
Lint mod_add(Lint a, Lint b) { return (a + b) % mod; }
Lint mod_mul(Lint a, Lint b) { return a * b % mod; }
Lint kn1n(Lint k, Lint n) { return n % 2 ? ainv(k) : k; }
const Lint inv1 = minv(54);
const Lint inv2 = minv(27);
const Lint inv3 = mod_mul(2, inv2);
int main() {
    int T;
    scanf("%d", &T);
    while (T--) {
        int n;
        scanf("%d", &n);
        int r = n % 3, k = n / 3;
        Lint res = 0;
        if (r == 0) {
            res = mod_mul(inv1, mod_add(kn1n(8, k), mod_mul(mod_add(mod_mul(9, k), ainv(8)), fpow(8, k))));
        } else if (r == 1) {
            res = mod_mul(inv2, mod_add(kn1n(5, k), mod_mul(mod_add(mod_mul(9, k), ainv(5)), fpow(8, k))));
        } else {
            res = mod_mul(inv3, mod_add(kn1n(2, k), mod_mul(mod_add(mod_mul(9, k), ainv(2)), fpow(8, k))));
        }
        printf("%lld\n", res);
    }
    return 0;
}