UVALive 6625

状压dp。

深搜能过，大神搜得过，反正我是各种姿势都试了就是过不了，参考了退役大神的代码。。

第一次写状压dp。。

首先题意，向格子里填数，每个格子里面的数大于等于右边的，大于下边的（如果有的话）。给你每行多少个数字，由此可以打出每列有多少个数字从左向右转移dp[i][s]，i代表当前走到第几列，因为上下是严格递增的，因此可以用整数s表示一个整数集。当前面一个整数集大于后面时，并且两个整数集的个数都等于该列的长度状态就可以转移了。

代码：

#include <cstdio>
#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
int len[10];
int col[10];
int k, n;
long long dp[10][1 << 8];
int bit_count(int x)
{
    int ret = 0;
    while(x)
    {
        x -= (x & (-x));
        ++ret;
    }
    return ret;
}
bool judge(int ii, int jj)
{
    int a1[10], a2[10], n1 = 0, n2 = 0;
    for(int i = 0; i < n; ++i)
        if((ii & (1 << i)) != 0)
        {
            a1[n1++] = i + 1;
        }
    for(int i = 0; i < n; ++i)
        if((jj & (1 << i)) != 0)
        {
            a2[n2++] = i + 1;
        }
    for(int i = 0; i < min(n1, n2); ++i)
    {
        if(a1[i] > a2[i])
            return false;
    }
    return true;
}
int main()
{
    while(~scanf("%d", &k))
    {
        memset(dp, 0, sizeof(dp));
        for(int i = 0; i < k; ++i)
        {
            scanf("%d", &len[i]);
        }
        for(int i = 0; i < len[0]; ++i)
        {
            col[i] = 0;
            for(int j = 0; j < k; ++j)
                col[i] += (len[j] > i);
        }
        scanf("%d", &n);
        for(int i = 0; i < (1 << n); ++i)
        {
            if(bit_count(i) == col[0])
            {
                dp[0][i] = 1;
            }
        }
        for(int i = 1; i < len[0]; ++i)
        {
            for(int j = 0; j < (1 << n); ++j)
            if(bit_count(j) == col[i - 1])
            {
                for(int k = 0; k < (1 << n); ++k)
                if(bit_count(k) == col[i] && judge(j, k))
                {
                    dp[i][k] += dp[i - 1][j];
                }
            }
        }
        int kk = len[0] - 1;
        long long ans = 0;
        for(int i = 0; i < (1 << n); ++i)
            ans += dp[kk][i];
        printf("%lld\n", ans);
    }
}