[HNOI2009]有趣的数列（卡特兰数）

[HNOI2009]有趣的数列

Description

我们称一个长度为2n的数列是有趣的，当且仅当该数列满足以下三个条件：

(1)它是从1到2n共2n个整数的一个排列{ai}；

(2)所有的奇数项满足a1<a3<…<a2n-1，所有的偶数项满足a2<a4<…<a2n；

(3)任意相邻的两项a2i-1与a2i(1≤i≤n)满足奇数项小于偶数项，即：a2i-1<a2i。

现在的任务是：对于给定的n，请求出有多少个不同的长度为2n的有趣的数列。因为最后的答案可能很大，所以只要求输出答案 mod P的值。

Input

输入文件只包含用空格隔开的两个整数$n$和$P$。
数据保证，50%的数据满足$n≤1000$，
100%的数据满足$n≤1000000$且$P≤1000000000$。

Output

仅含一个整数，表示不同的长度为2n的有趣的数列个数mod P的值。

Sample Input

3 10                  

Sample Output

5

解：

把所有数分成两组$A$，$B$，且排序后，$A_i$始终比$B_i$小的方案数。
很像卡特兰数的模型，我们把1~2n写出来，显然可以有顺序地向里填，对于一个数$i$，要么填$A$要么填$B$。那么这个时候$A$集合的大小一定要小于$B$集合。就是一个卡特兰数了。
这道题还要解决的一个问题就是，在模数为合数的情况下如何求组合数。考虑到我们只求一个组合数，所以不需要优秀的复杂度。首先线筛$n$以内的数，把每个数分解为（最小的质因数*$k$）。开一个数组记录每个数的次幂（可以为负）。然后我们从大到小遍历数组，把当前数的次幂分给最小的质因数和$k$。如果当前是质数，那么就乘进答案。因为组合数一定能除尽，不会出现负次幂。于是就解决了。
code：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;

int p[2000005],pri[2000005],pox[2000005],cnt,vis[2000005];
int n,mod;
long long ans=1;

void pre(){
    for(int i=2;i<=n;i++){
        if(vis[i]==0) pri[++cnt]=i,p[i]=i;
        for(int j=1;j<=cnt&&pri[j]*i<=n;j++){
            vis[pri[j]*i]=1;p[pri[j]*i]=pri[j];
            if(i%pri[j]==0) break;
        }
    }
}

long long qui(long long x,int a){
    long long ret=1;
    while(a!=0){
        if((a&1)==1) ret=ret*x%mod;
        x=x*x%mod;
        a=a>>1;
    }
    return ret;
}

int main()
{
    scanf("%d%d",&n,&mod);
    for(int i=2;i<=n;i++) pox[i]=-1;
    for(int i=n+2;i<=2*n;i++) pox[i]=1;
    n=n*2;
    pre();
//  for(int i=2;i<=n;i++)
//    cout<<vis[i]<<endl;
    for(int i=n;i>=2;i--){
        //cout<<i<<endl;
        if(vis[i]==0){
            ans=qui(i,pox[i])*ans%mod;
            continue;
        }
        pox[p[i]]+=pox[i];
        pox[i/p[i]]+=pox[i];
    }
    printf("%lld",ans);
}