依赖背包——cf855C好题

比较裸的依赖背包，但是想状态还是想了好久

转移时由于边界问题，虽然可以倒序转移，但当容量为0|1的时候，由于有初始值的存在

很难再原dp数组上进行修改，所以额外用tmp数组来保存修改后的值

#include<bits/stdc++.h>
#include<vector>
using namespace std;
#define mod 1000000007
#define ll long long
#define maxn 100005
vector<int>G[maxn];
ll dp[maxn][][],n,m,k,x;

void dfs(int u,int pre){
    dp[u][][]=k-;dp[u][][]=;dp[u][][]=m-k;//先确定初始态：结点u本身的取值
    for(int i=;i<G[u].size();i++)
        if(G[u][i]!=pre)dfs(G[u][i],u);

    for(int i=;i<G[u].size();i++){
        ll tmp[][]={};//临时数组用来存储节点u的答案
        int v=G[u][i];
        if(v==pre)continue;
        for(int j=x;j>=;j--)
            for(int l=;l<=j;l++){
                tmp[j][]=(tmp[j][]+(dp[v][l][]+dp[v][l][]+dp[v][l][])*dp[u][j-l][])%mod;
                tmp[j][]=(tmp[j][]+dp[v][l][]*dp[u][j-l][])%mod;
                tmp[j][]=(tmp[j][]+(dp[v][l][]+dp[v][l][])*dp[u][j-l][])%mod;
            }
        for(int j=;j<=x;j++)
            for(int l=;l<;l++)
                dp[u][j][l]=tmp[j][l];
    }
}

int main(){
    cin>>n>>m;
    int u,v;
    for(int i=;i<n;i++){
        cin>>u>>v;
        G[u].push_back(v);
        G[v].push_back(u);
    }
    cin>>k>>x;
    dfs(,);
    ll ans=;
    for(int i=;i<=x;i++)
        ans=(ans+dp[][i][]+dp[][i][])%mod;
    for(int i=;i<=x;i++)
        ans=(ans+dp[][i][])%mod;
    cout<<ans<<endl;
}