bzoj1485

首先考虑dp，设f[i,j]表示1~i用过了，期中j个放在偶数位然后转移大家都会

这显然TLE，我们观察这个dp，任意前i个数，无论怎么放，放在奇数位的数的个数一定要大于等于放在偶数位的个数

于是很明显这是经典的卡特兰数模型

注意这里涉及到了除法取模，而模数不一定是质数

很显然的想法是分解质因数然后约分

但有更漂亮的做法，http://blog.csdn.net/jasonzhu8/article/details/5949622

var v,b,p:array[0..2000010] of longint;
    n,i,j,mo,t:longint;
    ans:int64;

procedure calc(x,w:longint);
  begin
    while v[x]<>0 do
    begin
      inc(b[v[x]],w);
      x:=x div v[x];
    end;
    inc(b[x],w);
  end;

function quick(x:int64;y:longint):int64;
  begin
    quick:=1;
    while y>0 do
    begin
      if y mod 2=1 then quick:=quick*x mod mo;
      y:=y div 2;
      x:=x*x mod mo;
    end;
  end;

begin
  readln(n,mo);
  for i:=2 to 2*n do
  begin
    if v[i]=0 then
    begin
      inc(t);
      p[t]:=i;
    end;
    for j:=1 to t do
    begin
      if int64(i)*int64(p[j])>2*n then break;
      v[i*p[j]]:=p[j];
      if i mod p[j]=0 then break;
    end;
  end;
  for i:=n+2 to 2*n do
    calc(i,1);
  for i:=2 to n do
    calc(i,-1);
  ans:=1;
  for i:=1 to t do
    ans:=ans*quick(p[i],b[p[i]]) mod mo;
  writeln(ans);
end.