BZOJ [SCOI2008]着色方案

Description

有n个木块排成一行，从左到右依次编号为1~n。你有k种颜色的油漆，其中第i种颜色的油漆足够涂ci个木块。所有油漆刚好足够涂满所有木块，即c1+c2+...+ck=n。相邻两个木块涂相同色显得很难看，所以你希望统计任意两个相邻木块颜色不同的着色方案。

Input

第一行为一个正整数k，第二行包含k个整数c1, c2, ... , ck。

Output

输出一个整数，即方案总数模1,000,000,007的结果。

Sample Input

3
1 2 3

Sample Output

10

HINT

【样例2】 Input 5 2 2 2 2 2 Output 39480 【样例3】 Input 10 1 1 2 2 3 3 4 4 5 5 Output 85937576 数据规模】 50%的数据满足：1 <= k <= 5, 1 <= ci <= 3 100%的数据满足：1 <= k <= 15, 1 <= ci <= 5

题解

第一道记忆化搜索题。但总是不懂为什么那么像动归。看了题解才懂。

这题最初的想法是：记录每种颜色还剩几次。但这要用16^5，不可取。

以下是题解说的：

于是，剩的次数一样的那些颜色其实分开记是没有意义的：我们考虑到每一种颜色，如果数量相同的话，其实是等效的，所以我们用w[a][b][c][d][e][last]记录还剩下1,2,3,4,5次使用次数的颜色的数量为a,b,c,d,e，上一次我们那的是使用次数剩余为last的颜色，那么这次在剩余last-1次的颜色中，我们只能少拿一次，因为不能拿相同的，这样转移就很容易的表示出来了。

如果哪位大神可以用组合数学做，请教教我。

#include<cstdio>
#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cmath>
#define ll long long
#define mod 1000000007
using namespace std;
int n,x[16];
ll f[16][16][16][16][16][6];
//f数组表示当前有能涂1次的油漆a个，能涂2次的b个....前一个颜色为k。
bool pd[16][16][16][16][16][6];
ll dp(int a,int b,int c,int d,int e,int k)
{
    ll t=0;
    if(pd[a][b][c][d][e][k]) return f[a][b][c][d][e][k];
    if(a+b+c+d+e==0) return 1;
    if(a) t=t+(a-(k==2))*dp(a-1,b,c,d,e,1);  
    if(b) t=t+(b-(k==3))*dp(a+1,b-1,c,d,e,2);  
    if(c) t=t+(c-(k==4))*dp(a,b+1,c-1,d,e,3);  
    if(d) t=t+(d-(k==5))*dp(a,b,c+1,d-1,e,4);  
    if(e) t=t+e*dp(a,b,c,d+1,e-1,5);  
    pd[a][b][c][d][e][k]=1;
    return f[a][b][c][d][e][k]=(t%mod);
}
int main()
{
	scanf("%d",&n);
	for(int i=1;i<=n;i++)
       {int y;
	    scanf("%d",&y);
        x[y]++;
       }
    printf("%lld",dp(x[1],x[2],x[3],x[4],x[5],0));
    return 0;
}