[UOJ#185][ZJOI2016] 小星星

将树镶嵌在图里面,等价于用树去覆盖这个图,每个点都被覆盖一次。
每个点都被覆盖一次,等价于,每个点至少被覆盖一次

方案数=所有点都可以覆盖-至少有1个点未被覆盖+至少有2个点未被覆盖-至少有3个点未被覆盖……(这里的图上的点可以被树上的点重复覆盖)
求某些点不能被覆盖的方案数,可以用树上dp完成, Fi,j 表示树上第 i 个点对应图上第j个点,该子树的方案数
爆枚图上有哪些点一定不能被覆盖,按容斥系数加到答案里面去就行了
树上dp用 O(N2) 的状态,单次转移是 O(deg(u)+N) ,树的度数和是 N ,爆枚状态的时间复杂度是O(2N)
总时间复杂度 O(2NN3) ,空间复杂度 O(N2)

#include <bits/stdc++.h>
#define N 20
#define M 500
using namespace std;
typedef long long LL;

vector<int> E[N];
struct Edge{int b,n;}e[M];
int h[N],vis[N],cnt,n,m;
LL F[N][N];

inline int rd() {int r;scanf("%d",&r);return r;}
void link(int a,int b) {
    e[++cnt] = (Edge){b,h[a]}, h[a] = cnt;
    e[++cnt] = (Edge){a,h[b]}, h[b] = cnt;
}

void dfs(int u,int f) {
    for (int i=0;i<(int)E[u].size();i++)
        if (E[u][i] != f) dfs(E[u][i], u);

    for (int _=1;_<=n;_++) if (vis[_]) {
        F[u][_] = 1;
        for (int i=0;i<(int)E[u].size();i++) {
            int v = E[u][i]; if (v == f) continue;
            LL cur = 0LL;
            for (int j=h[_],x;x=e[j].b,j;j=e[j].n) cur += F[v][x];
            F[u][_] = 1LL * F[u][_] * cur;
        }
    }
}

LL g(int x) {
    LL ret = 0LL;
    for (int _=1;_<=n;_++,x>>=1) vis[_] = (x&1)^1;
    dfs(1,1);
    for (int _=1;_<=n;_++) ret += F[1][_];
    return ret;
}

int main() {
    n = rd(), m = rd();
    for (int _=1;_<=m;_++) link(rd(), rd());
    for (int _=1;_<n;_++) {
        int a = rd(), b = rd();
        E[a].push_back(b);
        E[b].push_back(a);
    }


    int tp = (1<<n) - 1;
    LL ans = 0LL;
    for (int _=0;_<=tp;_++) {
        memset(F,0,sizeof(F));
        int x = __builtin_popcount(_);
        x&1 ? ans -= g(_) : ans += g(_);
    }
    cout << ans << endl;
    return 0;
}
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值