题意:

有一棵\(n(1 \leq n \leq 13)\)个节点的树,节点的标号为\(1 \sim n\),它的根节点是\(1\)。

现在已知它的\(m(0 \leq m < n)\)条边,和\(q(0 \leq q \leq 100)\)个\(LCA\)的关系:\(LCA(a_i, \, b_i)=c_i\)

求满足这些要求的树的个数。

分析:

为了方便,用\(0 \sim n-1\)来表示树的节点。

用\(d(root, \, mask)\)表示以\(root\)为根,选了\(mask\)这些点,而且满足题中所有要求的树的个数。

其中\(mask\)为所选的这些点的二进制表示。

那么所求的答案为\(d(0, \, 2^n-1)\)

边界情况是,树中只有一个点时,\(f(root, \, mask) = 1\)。

状态转移方程:

\(d(root, \, mask) = \sum ( d(newRoot, \, newMask) \times d(root, mask \bigoplus newMask) )\)

\(\bigoplus\)表示异或运算

其中\(d(newRoot, \, newMask)\)是我们枚举的\(d(root, \, mask)\)状态下的一个子树。

\(newRoot\)是该子树的根,\(newMask\)是子树节点的集合。

其他子树和\(root\)合起来的状态数就是\(d(root, mask \bigoplus newMask)\)。

对于同一棵树,我们枚举了一次它的第一棵子树,接着又枚举了它第二棵子树,这样会有重复计算。

所以我们规定一个特殊点,每次只枚举这个特殊点所在子树的集合。

我们可以规定这个特殊点就是\(mask\)中除\(root\)外,编号最小(或最大)的点。

状态转移条件:

只有满足题中的限制,状态才能转移,所以我们要去掉转移时不符合要求的情况:

  1. 对于题目中已经给出的边\((u, v) , \, u \neq root, \, v \neq root\),如果一个点在\(newMask\)中,而另一个点不在,则不满足要求。
  2. 题中所给的边中与\(root\)相邻的而且在\(newMask\)中的点有两个或更多,也不符合要求,因为\(root\)只能和\(newRoot\)相邻。

    但如果只有一个的话,\(newRoot\)就已经确定下来了,后面就不需要再枚举了。
  3. 对于\(LCA(a, \, b)=c\),如果\(c=root\),而且\(a\)和\(b\)都在\(newMask\)中,也不符合要求。因为\(LCA(a, \, b)\)肯定也在\(newMask\)中。
  4. 对于\(LCA(a, \, b)=c\),如果\(c\)在\(newMask\)中,但\(a\)或\(b\)至少有一个不在,不符合要求。

最后分析(YY)一下官方题解中时间复杂度\(3^n\)是怎么来的。

因为状压以后有一个\(2^n\),然后考虑每次转移:

对于\(bitcount(mask) = k\),他一共有\(2^k\)个子集,这样有\(k\)个元素的集合有\(C_n^k\)个。

所以时间复杂度为\(\sum\limits_{k=1}^{n}(C_n^k \cdot 2^k)=(2+1)^n=3^n\)

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std; typedef long long LL; const int maxn = 15;
const int maxs = 10000;
const int maxq = 100 + 10; int n, m, q; LL d[maxn][maxs];
int edge[maxn][maxn];
int a[maxq], b[maxq], c[maxq]; int lowbit(int x) { return x & (-x); } int in(int i, int S) { return ((S >> i) & 1); } LL DP(int u, int S) {
LL& ans = d[u][S];
if(ans != -1) return ans; ans = 0;
int St = S - (1 << u);
int t;
for(t = 0; t < n; t++) if(in(t, St)) break; for(int _S = St; _S; _S = (_S-1)&St) if(in(t, _S)) {
bool flag = true; for(int i = 0; i < n; i++) if(i != u) {
for(int j = 0; j < n; j++) if(j != u) {
if(edge[i][j] && (in(i, _S) ^ in(j, _S))) {
flag = false;
break;
}
}
if(!flag) break;
} if(!flag) continue; int v, cnt = 0;
for(int i = 0; i < n; i++) {
if(edge[u][i] && in(i, _S)) {
cnt++;
v = i;
}
}
if(cnt >= 2) continue; for(int i = 0; i < q; i++) {
if(c[i] == u && in(a[i], _S) && in(b[i], _S)) {
flag = false; break;
}
if(in(c[i], _S) && (!in(a[i], _S) || !in(b[i], _S))) {
flag = false; break;
}
}
if(!flag) continue; if(cnt == 1) {
ans += DP(v, _S) * DP(u, S - _S);
} else {
for(v = 0; v < n; v++) if(in(v, _S))
ans += DP(v, _S) * DP(u, S - _S);
}
}
return ans;
} int main()
{
scanf("%d%d%d", &n, &m, &q);
for(int i = 0; i < m; i++) {
int u, v; scanf("%d%d", &u, &v);
u--; v--;
edge[u][v] = edge[v][u] = 1;
}
for(int i = 0; i < q; i++) {
scanf("%d%d%d", a + i, b + i, c + i);
a[i]--; b[i]--; c[i]--;
} int all = (1 << n) - 1;
memset(d, -1, sizeof(d));
for(int i = 0; i < n; i++) d[i][1 << i] = 1; printf("%lld\n", DP(0, all)); return 0;
}

CodeForces 599E Sandy and Nuts 状压DP的更多相关文章

  1. Codeforces Round #363 LRU(概率 状压DP)

    状压DP: 先不考虑数量k, dp[i]表示状态为i的概率,状态转移方程为dp[i | (1 << j)] += dp[i],最后考虑k, 状态表示中1的数量为k的表示可行解. #incl ...

  2. codeforces 8C. Looking for Order 状压dp

    题目链接 给n个物品的坐标, 和一个包裹的位置, 包裹不能移动. 每次最多可以拿两个物品, 然后将它们放到包里, 求将所有物品放到包里所需走的最小路程. 直接状压dp就好了. #include < ...

  3. Codeforces 429C Guess the Tree(状压DP+贪心)

    吐槽:这道题真心坑...做了一整天,我太蒻了... 题意 构造一棵 $ n $ 个节点的树,要求满足以下条件: 每个非叶子节点至少包含2个儿子: 以节点 $ i $ 为根的子树中必须包含 $ c_i ...

  4. Codeforces 895C Square Subsets(状压DP 或 异或线性基)

    题目链接  Square Subsets 这是白书原题啊 先考虑状压DP的做法 $2$到$70$总共$19$个质数,所以考虑状态压缩. 因为数据范围是$70$,那么我们统计出$2$到$70$的每个数的 ...

  5. 【题解】codeforces 8c Looking for Order 状压dp

    题目描述 Lena喜欢秩序井然的生活.一天,她要去上大学了.突然,她发现整个房间乱糟糟的--她的手提包里的物品都散落在了地上.她想把所有的物品都放回她的手提包.但是,这里有一点问题:她一次最多只能拿两 ...

  6. Codeforces 599E Sandy and Nuts(状压DP)

    题目链接 Sandy and Nuts 题意大概就是给出限制条件求出在该限制条件下树的种数. #include <bits/stdc++.h> using namespace std; # ...

  7. Codeforces 895C Square Subsets:状压dp【组合数结论】

    题目链接:http://codeforces.com/problemset/problem/895/C 题意: 给你n个数a[i].(n <= 10^5, 1 <= a[i] <= ...

  8. codeforces 580D Kefa and Dishes(状压dp)

    题意:给定n个菜,每个菜都有一个价值,给定k个规则,每个规则描述吃菜的顺序:i j w,按照先吃i接着吃j,可以多增加w的价值.问如果吃m个菜,最大价值是多大.其中n<=18 思路:一看n这么小 ...

  9. Codeforces 342D Xenia and Dominoes 状压dp

    码就完事了. #include<bits/stdc++.h> #define LL long long #define fi first #define se second #define ...

随机推荐

  1. Ionic开发-常用命令

      $ionic start myApp [tabs | sidemenu | blank] $ionic platform add android $ionic build android $ion ...

  2. python3 socke 服务端与客户端实现(回炉)

    #服务端#!/usr/bin/env python3 # -*- coding:utf-8 -*- from socket import * # 创建socket tcpSerSocket = soc ...

  3. Jquery ajax中表单提交被拦截的问题处理方法

    在实际开发项目中,由于要做支付宝的批量退款处理,需要用到ajax中去提交表单数据,项目截图如下: 由于在第二张截图“确认退款”那里需要异步ajax提交数据到服务器处理信息,处理成功后将返回的数据装载到 ...

  4. smtplib.SMTPDataError: (554, b'DT:SPM 163 smtp10,DsCowAA3nir1u6xZq42WDw--.22935S2 1504492533,please

    # from email.mime.text import MIMEText # # msg = MIMEText('hello, send by Python...', 'plain', 'utf- ...

  5. java入门第一章——java开发入门

    习题解答 一.填空题 (p2)1.java的三个技术平台分别是(java SE.java EE.java ME)(标准.企业.小型) (p3)2.java程序的运行环境简称为(JRE)(开发环境-JD ...

  6. thinkphp 的事务回滚处理 和 原始PHP的事务回滚实例

    1.  要程序里面支持事务,首先连接的数据库和数据表必须支持事务 mysql   为例: 数据库InnoDB支持 transactions 数据表支持事务:InnoDB  支持transaction ...

  7. dp cf 1700 最近几天的刷题

    C. Number of Ways 这个题目的意思是,把这个n的序列分成三个连续的部分,要求这三个部分的和是一样的.问这种划分的方法有多少种. 这个题目和之前写过的数字划分有点像,这个就是要先进行前缀 ...

  8. Array - Merge Sorted Array

    /** * 将nums2中的值合并入nums1,使其仍然有序 * 可以任务nums1的长度>=m+n * @param nums1 已排序数组 * @param m nums1数组已初始化的数目 ...

  9. .vue公共组件裁减导航

    场景: 有一个公共头部和底部,vue搭建的框架,在app.vue里写的公共方法,首页是个登录页面,不需要公共部分,在这基础上进行公共部分的显示隐藏. 即注册页.登录页.404页面都不要导航 代码: ( ...

  10. [BZOJ4327]:[JZOI2012]玄武密码(AC自动机)

    题目传送门 题目描述: 在美丽的玄武湖畔,鸡鸣寺边,鸡笼山前,有一块富饶而秀美的土地,人们唤作进香河.相传一日,一缕紫气从天而至,只一瞬间便消失在了进香河中.老人们说,这是玄武神灵将天书藏匿在此.  ...