BZOJ1037: [ZJOI2008]生日聚会Party

Portal

一开始想的是$f[i][j][k][0/1]$表示的是，ｉ个男生ｊ个女生，后缀中男女生最大差值是多少，０/１表示是男-女还是女-男。然后发现这样有问题，因为同时要考虑男女生情况，所以状态是不够的。
$f[i][j][k][l]$表示ｉ个男生ｊ个女生，后缀中男生比女生多的最大值为k，女生比男生多的最大值为l。
但是这样会出现一个问题，ｋ,ｌ可能小于0。发现其实是可以归到=0处理的。
这个想了很久，可是还是无法对它有深深的认同感。
假设第三维中ｋ＝０
实际上ｋ’＝－ａ，第４维中ｌ一定＞＝ａ。这个自己举例子画一画。那么最后统计答案中一定不会存在不合法状态。
转移过程中$f[i][j][0][l]$会推到$f[i+1][j][1][l-1]$和$f[i][j+1][0][l+1]$,发现这样没有任何问题，当前位置放男生，后缀中男生比女生多的最多为１，女生比男生多的显然－１。当前位置放女生，后缀中女生比男生多的＋１，男生比女生多的仍然＜０，还是０.
ｌ＝０同理。
既然状态没错，转移无误，统计答案也对。那么这ｄｐ方式就是可行的。。
可是就是没法对它有深深的认同感。。很无奈。

【代码】

#include <iostream>
#include <cstdio>
#include <algorithm>
#define N 10005
#define mod 12345678
using namespace std;
typedef long long ll;

int read()
{
    int x=0,f=1;char ch=getchar();
    while(!isdigit(ch)){if(ch=='-') f=-1;ch=getchar();}
    while(isdigit(ch)){x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
    return x*f;
}

int n,m,K,ans;
int f[155][155][21][21];

int main()
{
    n=read(),m=read(),K=read();f[0][0][0][0]=1;
    for(int i=0;i<=n;i++) 
    for(int j=0;j<=m;j++)
    for(int k=0;k<=min(K,i);k++)
    for(int l=0;l<=min(K,j);l++)
    {
        if(i<n&&k<K) {
            f[i+1][j][k+1][max(0,l-1)]+=f[i][j][k][l];
            f[i+1][j][k+1][max(0,l-1)]%=mod;
        }
        if(j<m&&l<K) {
            f[i][j+1][max(0,k-1)][l+1]+=f[i][j][k][l];
            f[i][j+1][max(0,k-1)][l+1]%=mod;
        }
    }
    for(int i=0;i<=K;i++)
    for(int j=0;j<=K;j++)
        ans=(ans+f[n][m][i][j])%mod;
    printf("%d\n",ans);
    return 0;
}