889. 满足条件的01序列

卡特兰数列的三种方式
h(0)=1 h(1) = 1;
1 h(n)= h(n-1)*(4*x-2)/ (x+1)
2 C(n)(2*n)/(n+1)
3 C(2*n)(n)-C(2*n)(n-1)

公式1

// 889. 满足条件的01序列.cpp : 此文件包含 "main" 函数。程序执行将在此处开始并结束。
//

/*
https://www.acwing.com/problem/content/891/

给定 n 个 0 和 n 个 1，它们将按照某种顺序排成长度为 2n 的序列，求它们能排列成的所有序列中，
能够满足任意前缀序列中 0 的个数都不少于 1 的个数的序列有多少个。

输出的答案对 109+7 取模。

输入格式
共一行，包含整数 n。

输出格式
共一行，包含一个整数，表示答案。

数据范围
1≤n≤105
输入样例：
3
输出样例：
5
*/

//C n 2n /(n+1)  卡特兰数

#include <iostream>


using namespace std;

const int N = 200010;
const int M = 1e9 + 7;


long long qmi(long long a, long long b, long long m) {
	long long ret = 1;
	while (b) {
		if (b & 1) {
			ret *= a;
			ret %= M;
		}
		b >>= 1;
		a *= a; a %= M;
	}

	return ret;
}

long long dfs(long long x) {
	if (x == 1) return 1;
	if (x == 0) return 1;
	long long ret = dfs(x - 1) * (4 * x % M - 2) %M * qmi(x + 1, M - 2, M) % M;

	return ret;
}


long long solve(int x) {

	long long ret = dfs(x);
	return ret;
}


int main()
{
	int n; cin >> n;

	cout << solve(n) << endl;


	return 0;
}

公式2

#include <iostream>


using namespace std;

const int N = 200010;
const int MOD = 1000000000 + 7;


long long fact[N];
long long infact[N];

//C n 2n /(n+1)

long long qmi(long long a, long long m, long long MOD) {
	long long ret = 1;
	while (m != 0) {
		if (m & 1) {
			ret *= a;  ret %= MOD;
		}
		m >>= 1;
		a *= a; a %= MOD;
	}

	return ret;
}

void init() {
	fact[0] = 1;
	infact[0] = 1;
	for (int i = 1; i < N; i++) {
		fact[i] = fact[i - 1] * i % MOD;;
		infact[i] = infact[i - 1] * qmi(i, MOD - 2, MOD) % MOD;
	}
}

void solve(int x) {
	int a = 2*x, b = x;
	init();
	
	cout << fact[a] * infact[a - b] % MOD * infact[b] % MOD * qmi(x + 1,MOD-2,MOD) % MOD << endl;

}

int main()
{
	int n;
	cin >> n;
	solve(n);

	return 0;
}

公式3

#include <iostream>


using namespace std;

const int N = 200010;
const int MOD = 1000000000 + 7;


long long fact[N];
long long infact[N];

//C n 2n /(n+1)

long long qmi(long long a, long long m, long long MOD) {
	long long ret = 1;
	while (m != 0) {
		if (m & 1) {
			ret *= a;  ret %= MOD;
		}
		m >>= 1;
		a *= a; a %= MOD;
	}

	return ret;
}

void init() {
	fact[0] = 1;
	infact[0] = 1;
	for (int i = 1; i < N; i++) {
		fact[i] = fact[i - 1] * i % MOD;;
		infact[i] = infact[i - 1] * qmi(i, MOD - 2, MOD) % MOD;
	}
}

long long solve(int a,int b) {
	return  fact[a] * infact[a - b] % MOD * infact[b]  % MOD ;
}

int main()
{
	int n;
	cin >> n;
	init();
	
	cout << (solve(2 * n, n) - solve(2 * n, n - 1) +MOD) %MOD << endl;

	return 0;
}