Perm 排列计数

题目描述

称一个1,2,...,N的排列P1,P2...,Pn是Magic的，当且仅当2<=i<=N时，Pi>Pi/2. 计算1，2，...N的排列中有多少是Magic的，答案可能很大，只能输出模P以后的值

输入格式

输入文件的第一行包含两个整数 n和p，含义如上所述。

输出格式

输出文件中仅包含一个整数，表示计算1,2,?, ???的排列中， Magic排列的个数模 p的值。

样例

样例输入

20 23

样例输出

16

数据范围与提示

100%的数据中，1 ≤ ??? N ≤ 106, P??? ≤ 10^9，p是一个质数。 数据有所加强

 

刚刚学了组合数学，然后就水了道题。

模板一定要好好学，一个取模颓老半天。。。。。

然后开始说正经的

首先这题仔细想想可以看成二叉堆（满足大小关系嘛。。。）

然后就可以像个树规似的

从最下的节点看是向上转移

设f数组表示方案数size数组表示子树大小

因为每个节点的左子树的方案树与右子树方案数相乘并没有枚举出全部结果

仔细想想每个节点的左右子树的数是可以互换的这样依旧满足二叉堆性质

即 C(size[i]-1,size[left])可表示

然后数据范围可以用卢卡斯定理取模

这就不解释了反正网上很多。。。。

C(n,m)%p=C(n%p,m%p)*C(n/p,m/p)%p

总之最后转移的式子

f[x]=f[x*2]*f[x*2+1]*C(size[x]-1,size[x*2])

蒟蒻第一次写博客如有不当请指正

#include<cstdio>
#include<iostream>
#include<cmath>
#include<algorithm>
#include<cstring>
#define MAXN 2006001
#define ll long long
using namespace std;
ll sum[MAXN];
ll size[MAXN],f[MAXN];
ll n,p;
ll pow(ll x,ll y)
{
    ll ans=1;
    while(y>0)
    {
        if(y&1)ans=ans*x%p;
        x=x*x%p;
        y>>=1;
    }
    return ans%p;
}
ll getsum(ll x,ll y)
{
   if(y>x) return 0; 
   if(!y)return 1;
   return (sum[x]*pow(sum[y]*sum[x-y]%p,p-2)%p)%p;
}
ll lucas(ll x,ll y)
{
   if(y>x)return 0;
   if(y==0)return 1;
   if(x>p||y>p)return lucas(x/p,y/p)*getsum(x%p,y%p)%p;
   return getsum(x,y)%p;
}
void find(ll k)
{ 
    if(k>n){f[k]=1;return ;}
    find(k*2);find(k*2+1);
    size[k]=size[k*2]+size[k*2+1]+1;
    f[k]=f[k*2]*f[k*2+1]%p*lucas(size[k]-1,size[k*2])%p;
}
int main()
{
     scanf("%lld%lld",&n,&p);
     sum[0]=1;sum[1]=1;
     for(ll i=2;i<=n;++i)sum[i]=((sum[i-1]*1ll*i)%p);
     find(1);
     printf("%lld
",f[1]%p);
}

Code