HOJ 5184 Brackets（卡特兰数，棋盘问题的推导，经典）

卡特兰数，棋盘问题的推导
题目意思：
定义了括号的合法排列方式，给出一个排列的前一段，问能组成多少种合法的排列
本题要点：
1、推导过程：
n对括号排列，左括号看做是在棋盘沿着 x 方向走， 右括号看做是在棋盘沿着 y 方向走.
前面的任意k个括号，左括号的数 >= 右括号的数。相当于在棋盘走，没有超过 y = x 这条线。
这就是卡特兰数的定义。
2、现在问题有所加深：题目给出一部分括号
排列的总长度为 n ，左右括号各为 m = n / 2 个。当给定的排列方式完全合法的时候，剩下需要排列的左右括号的数量就已经确定了，
而在排列的过程中，左括号要始终大于等于右括号的数量。设现在有 a 个左括号， b 个右括号，那么这个就可以当做从（ a ， b ）点
到 （ m ， m ）点且不越过直线 y = x 的种类数。
将图像下移，则可认为是从（ 0 ， 0 ）点到 （ p ， q ）点且不越过直线 y = x + q - p 的种类数。
显然，这里的p, q 满足关系： a + p = b + q == n / 2。
3、 参考组合数学教材中，棋盘问题的卡特兰数的推导。
从 (0, 0) 到 (p, q) 这一点，总的走法 c(p + q, p), 然而，没有过线 y = x + q - p 的走法有 c(p + q, p - 1)。
相当于从 (0, 0) 到 (p, q) 这一点的每一种走法，对应于一个从点 (0, 0) 走到 点(p - 1, q + 1) 的一种走法。
而且这些走法是一一对应的。 显然，从点 (0, 0) 走到 点(p - 1, q + 1)， 在 p + q 中选出 p - 1 个，数值为 c(p + q, p - 1)。
（推导是类似的，把线 y = x + q - p 沿着y正方向移动一个单位，变为 y = x + q - p + 1）

c(p + q, p) - c(p + q, p - 1)
= ((p + q)! * (q - p + 1)) / ((q + 1)! * p!)

4、逆元：
这里的mod 是素数，可以用费马小定理来求 阶乘 k! 模mod的逆元。
5、逼逼这么多，都是参考这位老哥的 点这里

#include <cstdio>
#include <cstring>
#include <iostream>
using namespace std;
typedef long long ll;
const int MaxN = 1000010;
const ll mod = 1000000007;
ll fac[MaxN];
char s