BZOJ 2302: [HAOI2011]Problem c [DP 组合计数]

2302: [HAOI2011]Problem c

Time Limit: 30 Sec Memory Limit: 256 MB
Submit: 648 Solved: 355
[Submit][Status][Discuss]

Description

给n个人安排座位，先给每个人一个1~n的编号，设第i个人的编号为ai（不同人的编号可以相同），接着从第一个人开始，大家依次入座，第i个人来了以后尝试坐到ai，如果ai被占据了，就尝试ai+1，ai+1也被占据了的话就尝试ai+2，……，如果一直尝试到第n个都不行，该安排方案就不合法。然而有m个人的编号已经确定(他们或许贿赂了你的上司...)，你只能安排剩下的人的编号，求有多少种合法的安排方案。由于答案可能很大，只需输出其除以M后的余数即可。

Input

第一行一个整数T，表示数据组数

对于每组数据，第一行有三个整数，分别表示n、m、M

若m不为0，则接下来一行有m对整数，p1、q1，p2、q2 ,…, pm、qm，其中第i对整数pi、qi表示第pi个人的编号必须为qi

Output

对于每组数据输出一行，若是有解则输出YES，后跟一个整数表示方案数mod M，注意，YES和数之间只有一个空格，否则输出NO

Sample Input

2
4 3 10
1 2 2 1 3 1
10 3 8882
7 9 2 9 5 10

Sample Output

YES 4
NO

HINT

100%的数据满足：1≤T≤10，1≤n≤300，0≤m≤n，2≤M≤109，1≤pi、qi≤n 且保证pi互不相同。

想了一种做法，根据每个人最后做的位置，因为右面对左面有影响倒着DP，但是不对

orz http://blog.csdn.net/fzhvampire/article/details/44954631

可以发现，我们并不关心每个人最后坐在那里，我们只关心给他的编号，也就是一开始把他放在那里让他往后找

仍然倒着DP，f[i][j]表示座位i..n放了j个人，然后枚举位置i放了几个人，乘上个组合数转移就行了

无解的情况就是一个位置i右面的座位数少于编号>=i的人数，用s[i]表示给定的编号>=i的人数

这样的话正着DP也可以，因为不依赖于最后坐的位置了

注意：j和k的枚举范围

#include <iostream>

#include <cstdio>

#include <cstring>

#include <algorithm>

#include <cmath>

using namespace std;

const int N=;

typedef long long ll;

inline int read(){

    char c=getchar();int x=,f=;

    while(c<''||c>''){if(c=='-')f=-;c=getchar();}

    while(c>=''&&c<=''){x=x*+c-'';c=getchar();}

    return x*f;

}

int n,m,MOD,x,y,s[N];

ll f[N][N],c[N][N];

void dp(){

    c[][]=;

    for(int i=;i<=n;i++){

        c[i][]=;

        for(int j=;j<=i;j++) c[i][j]=(c[i-][j]+c[i-][j-])%MOD;

    }

    f[n+][]=;

    for(int i=n;i>=;i--)

        for(int j=;j<=n-i+-s[i];j++)

            for(int k=;k<=j;k++) f[i][j]=(f[i][j]+f[i+][j-k]*c[j][k])%MOD;

    printf("YES %lld\n",f[][n-s[]]);

}

int main(){

    //freopen("in.txt","r",stdin);

    int T=read();

    while(T--){

        int flag=;

        memset(s,,sizeof(s));

        memset(f,,sizeof(f));

        n=read();m=read();MOD=read();

        for(int i=;i<=m;i++) x=read(),y=read(),s[y]++;

        for(int i=n;i>=;i--){

            s[i]+=s[i+];

            if(s[i]>n-i+) puts("NO"),flag=;

        }

        if(flag) dp();

    }

}

巴特西