HDU 4917 Permutation(拓扑排序 + 状压DP + 组合数)
题目链接 Permutation
题目大意:给出n,和m个关系,每个关系为ai必须排在bi的前面,求符合要求的n的全排列的个数。
数据规模为n <= 40,m <= 20。 直接状压DP空间肯定是不够的。
考虑到m <= 20,说明每个连通块的大小不超过21。
那么我们分别对每个连通块求方案数,并且把不同的连通块的方案数组合起来即可。
#include <bits/stdc++.h> using namespace std; #define rep(i, a, b) for (int i(a); i <= (b); ++i)
#define dec(i, a, b) for (int i(a); i >= (b); --i) typedef long long LL; const LL mod = 1e9 + 7; const int N = 105; int n, m, s, cnt;
int mp[N][N], a[N][N], b[N], col[N], pre[N];
LL c[N][N], f[1 << 22], ans;
vector <int> v[N]; void init(){
c[0][0] = 1;
rep(i, 1, N - 2){
c[i][0] = 1;
rep(j, 1, i - 1){
c[i][j] = c[i - 1][j - 1] + c[i - 1][j];
c[i][j] %= mod; }
c[i][i] = 1;
}
} void dfs(int x){
col[x] = cnt;
for (auto u : v[x]){
if (col[u]) continue;
dfs(u);
}
} int main(){ init(); while (~scanf("%d%d", &n, &m)){ rep(i, 0, n + 1) v[i].clear();
memset(mp, 0, sizeof mp);
memset(col, 0, sizeof col);
rep(i, 1, m){
int x, y;
scanf("%d%d", &x, &y);
v[x].push_back(y);
v[y].push_back(x);
mp[x][y] = 1;
mp[y][x] = -1;
} cnt = 0;
rep(i, 1, n) if (!col[i]) ++cnt, dfs(i); memset(b, 0, sizeof b);
rep(i, 1, n) a[col[i]][b[col[i]]++] = i; s = n;
ans = 1; rep(i, 1, cnt){
int maxS = (1 << b[i]) - 1;
rep(j, 0, maxS + 2) f[j] = 0;
f[0] = 1LL;
memset(pre, 0, sizeof pre);
rep(j, 0, b[i] - 1){
rep(k, 0, b[i] - 1) if (j ^ k){
if (mp[a[i][j]][a[i][k]] == 1) pre[k] |= (1 << j);
}
} rep(S, 0, maxS) if (f[S] > 0){
rep(j, 0, b[i] - 1){
if (((S & pre[j]) == pre[j]) && !(S & (1 << j))){
f[S | (1 << j)] += f[S];
f[S | (1 << j)] %= mod;
}
}
} ans = ans * f[(1 << b[i]) - 1] % mod * c[s][b[i]] % mod;
s -= b[i];
} printf("%lld\n", ans);
}
return 0;
}
HDU 4917 Permutation(拓扑排序 + 状压DP + 组合数)的更多相关文章
- HDU 4917 Permutation 拓扑排序的计数
题意: 一个有n个数的排列,给你一些位置上数字的大小关系.求合法的排列有多少种. 思路: 数字的大小关系可以看做是一条有向边,这样以每个位置当点,就可以把整个排列当做一张有向图.而且题目保证有解,所以 ...
- 【XSY3042】石像 拓扑排序 状压DP 洲阁筛
题目大意 有 \(n\) 个整数 \(a_1,a_2,\ldots,a_n\),每个数的范围是 \([1,m]\).还有 \(k\) 个限制,每个限制 \(x_i,y_i\) 表示 \(a_{x_i} ...
- HDU 6149 Valley Numer II 状压DP
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=6149 题意:中文题目 解法:状压DP,dp[i][j]代表前i个低点,当前高点状态为j的方案数,然后枚 ...
- HDU 5434 Peace small elephant 状压dp+矩阵快速幂
题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=5434 Peace small elephant Accepts: 38 Submissions: ...
- HDU 1074 Doing Homework(状压DP)
第一次写博客ORZ…… http://acm.split.hdu.edu.cn/showproblem.php?pid=1074 http://acm.hdu.edu.cn/showproblem.p ...
- HDU 4906 Our happy ending (状压DP)
HDU 4906 Our happy ending pid=4906" style="">题目链接 题意:给定n个数字,每一个数字能够是0-l,要选当中一些数字.然 ...
- HDU 1074 Doing Homework (状压dp)
题意:给你N(<=15)个作业,每个作业有最晚提交时间与需要做的时间,每次只能做一个作业,每个作业超出最晚提交时间一天扣一分 求出扣的最小分数,并输出做作业的顺序.如果有多个最小分数一样的话,则 ...
- HDU 4568 Hunter 最短路+状压DP
题意:给一个n*m的格子,格子中有一些数,如果是正整数则为到此格子的花费,如果为-1表示此格子不可到,现在给k个宝藏的地点(k<=13),求一个人从边界外一点进入整个棋盘,然后拿走所有能拿走的宝 ...
- HDU 1074 Doing Homework【状压DP】
Doing Homework Problem Description Ignatius has just come back school from the 30th ACM/ICPC. Now he ...
随机推荐
- activiti整合开发实例总结
参考手册:http://www.mossle.com/docs/activiti/ 一.applicationContext.xml中引入activiti相关配置的xml文件 <!-- begi ...
- 使用jQuery 发送Ajax
jQuery AJAX 方法 AJAX 是一种与服务器交换数据的技术,可以在不重新载入整个页面的情况下更新网页的一部分. 下面的表格列出了所有的 jQuery AJAX 方法: 构建页面:jqlogi ...
- shell脚本,判断给出的字符串是否相等。
第一种方法[root@localhost wyb]# .sh #!/bin/bash #判断给出的字符串是否相等 read -p "Please Input a number:" ...
- shell脚本,通过传参求斐波那契数列如(0,1,1,2,3,5,8,13..........)
[root@localhost wyb]# cat fibo.sh #!/bin/bash #斐波那契数列 ,,,,,,, > file >> file count=$ for i ...
- 洛谷 P1214 等差数列
https://www.luogu.org/problemnew/show/P1214 首先暴力枚举可以凑出来的数,对于每个数进行标记. 对于每一个等差数列,当我们知道前两个数后即可以得出整个序列,那 ...
- python3.x中的33个保留字
Python 3.6.4 (v3.6.4:d48eceb, Dec 19 2017, 06:04:45) [MSC v.1900 32 bit (Intel)] on win32 Type " ...
- MySQL中数组的存储
1. MySQL中以字符串的形式存储数组 MySQL中无数组类型,通常将数组元素按某个字符分割以字符串形式存储 1.1. 求数组中元素的个数 方法:按指定符号分割字符串,返回分割后的元素个数.方法很简 ...
- c++ 整数读入优化
这个函数!!!! 它真的巨好用!!! 改了两天 换了两个版本的代码 都TLE了 然后尝试着在文件头加了这个替换了cin和scanf 结果意外地发现两个文件都突然能过了??? 太神奇了叭! 强烈安利! ...
- Android自动化测试Uiautomator--UiDevice接口简介
Uiautomator主要分为UiDevice, UiObject, UiScrollable, UiSelector, UiCollection几个类. getUiDevice()方法可以得到一个U ...
- mvn 发布
mvn clean install deploy -Dadditionalparam=-Xdoclint:none