bzoj2314: 士兵的放置（树形DP）

　　0表示被父亲控制，1表示被儿子控制，2表示被自己控制。f表示最少士兵数，g表示方案数。

　　转移贼难写，写了好久之后写不下去了，看了一眼题解，学习了。。。原来还可以这么搞

　　比如求f[i][1]的时候，要在所有儿子里选一个儿子的f[to][2]来转移，这有一个非常巧妙的做法，那就是从自己转移...

　　每次可以选择从f[i][1]+min(f[to][1], f[to][2])转移或者从f[i][0]+f[to][2]转移，并使得f[i][1]比f[i][0]先转移，这样的话相当于每次会从第一次取f[to][2]和已经取过f[to][2]转移，十分正确，非常好写...

　　还要注意的是如果从f[i][0]转移，方案数得加上g[i][0]*g[to][2]。

#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<algorithm>
#define ll long long
#define MOD(x) ((x)>=mod?(x-mod):(x))
using namespace std;
const int maxn=, inf=1e9, mod=;
struct poi{int too, pre;}e[maxn<<];
int n, x, y, tot;
int last[maxn], g[maxn][], f[maxn][];;
void read(int &k)
{
    int f=; k=; char c=getchar();
    while(c<'' || c>'') c=='-'&&(f=-), c=getchar();
    while(c<='' && c>='') k=k*+c-'', c=getchar();
    k*=f;
}
inline void add(int x, int y){e[++tot]=(poi){y, last[x]}; last[x]=tot;}
void dfs(int x, int fa)
{
    f[x][]=maxn; f[x][]=g[x][]=g[x][]=g[x][]=;
    for(int i=last[x], too;i;i=e[i].pre)
    if((too=e[i].too)!=fa)
    {
        dfs(too, x);
        ll tmpf=min(maxn, min(f[x][]+min(f[too][], f[too][]), f[x][]+f[too][])), tmpg=;
        if(f[x][]+f[too][]==tmpf) tmpg+=g[too][];
        if(f[x][]+f[too][]==tmpf) tmpg+=g[too][], tmpg=MOD(tmpg);
        f[x][]=tmpf; g[x][]=1ll*g[x][]*tmpg%mod;
        if(f[x][]+f[too][]==tmpf) g[x][]+=1ll*g[x][]*g[too][]%mod, g[x][]=MOD(g[x][]);
        f[x][]+=f[too][]; f[x][]=min(maxn, f[x][]); g[x][]=1ll*g[x][]*g[too][]%mod;
        tmpf=min(f[too][], min(f[too][], f[too][])); tmpg=;
        if(f[too][]==tmpf) tmpg+=g[too][];
        if(f[too][]==tmpf) tmpg+=g[too][], tmpg=MOD(tmpg);
        if(f[too][]==tmpf) tmpg+=g[too][], tmpg=MOD(tmpg);
        f[x][]+=tmpf; f[x][]=min(maxn, f[x][]); g[x][]=1ll*g[x][]*tmpg%mod;
    }
}
int main()
{
    read(n);
    for(int i=;i<n;i++) read(x), read(y), add(x, y), add(y, x);
    dfs(, );
    if(f[][]<f[][]) printf("%d\n%d", f[][], g[][]);
    else if(f[][]>f[][]) printf("%d\n%d", f[][], g[][]);
    else printf("%d\n%d", f[][], MOD(g[][]+g[][]));
}

　　明明答案不会爆int的。。。但是不开LL就WA，至今不明T T 神tm..f的不合法状态是inf加起来爆int了，判了一下之后终于能int过了，因为比LL快也跑到了rk10

　　为了查这个我WA了一页...