对于n个0,m个1 的任意前缀0的个数不小于1的种数是 C(n+m, n)-C(n+m, m-1)。
卡特兰数是n=m 的特殊情况, 通项公式为 C(2n, n) / (n+1)
题解写在了这里,还挺详细的
杯子题解 【更新】题解被删了,等恢复吧 ╮(﹀_﹀”)╭
【质因数分解】NC20075-[HNOI2009]有趣的数列
就是卡特兰数
依次考虑1~2n中的每个数,挨个放入序列中的某个位置(可以选奇数位置或者是偶数位置),要求中间的任何时候选的奇数位置的个数>=偶数位置的个数,走的方案数就是卡特兰数。 卡特兰数计算公式C(2n, n)/ (n+1)
mod p的p是任给的,所以模数和除数不一定互质,不互质一定无法进行乘法逆元的运算
所以考察的是第n项卡特兰数模p
还是卡特兰数
n层阶梯n个角,一个角对应一个矩形,枚举填充第i个角的矩形拉到左下角,将整个图形一分为二
f(n) = f(0)f(n-1) + f(1)f(n-2) + ... + f(n-2)f(1) + f(n-1)f(0)
低精度的扩展卡特兰数(m!=n的情况)代码:
const int N = ■■■■■;
const int p = ■■■■■;
i64 fac[N + 10]; // 求i的阶乘mod p
i64 inv[N + 10]; // 求i的阶乘(mod p)的逆元
i64 pow(i64 a, i64 b) //快速幂
{
i64 ans = 1;
while (b) {
if (b & 1) ans = ans * a % p;
a = a * a % p; b >>= 1;
}
return ans;
}
void init(void)
{
// i!
fac[0] = 1;
for (int i = 1; i <= N; i++) fac[i] = fac[i - 1] * i%p;
// 费马小定理求i!的逆元
for (int i = 0; i <= N; i++) inv[i] = pow(fac[i], p - 2);
}
i64 C(int n, int m) { return fac[n] * inv[m] % p*inv[n - m] % p; }
i64 Catalan(int n, int m) //卡特兰数的结论是:n个1和m个0组成序列,每个前缀里1个数>=0个数时,可行的序列个数是C(n+m,n)-C(n+m,m-1)
{
return (C(n + m, n) - C(n + m, m - 1) + p) % p;
}