@雅礼集训01/13 - T1@ union
@description@
已知 n 个点,点 i 与点 j 有 C(i, j) 种不同的连边方式(这个不是组合数!)。
求最终可能的不同连通图个数。
input
第一行一个正整数 n. n <= 20.
接下来 n − 1 行, 第 i 行 n − i 个正整数, 第 j 个数表示 C(i, i+j) .
output
一行一个整数, 表示答案对 10^9 + 7 取模的结果.
sample input
3
2 3
4
sample output
50
@solution@
@part - 1@
数据范围明显暗示状压。
定义 \(f(s)\) 表示集合状态为 s 的连通图个数,我们考虑怎么 dp 去求解 \(f(s)\)。
一个常用的操作:容斥。我们再定义 \(g(s)\) 表示集合状态为 s 的管你连不连通的图。则有 dp 转移式(其实也就是容斥):
\]
其中为了避免重复计算,我们还要求 s 中的编号最小的点与 t 中的编号最小的点相同。
既然是容斥,放宽了限制,那么 g 也很好求:
\]
由于涉嫌枚举子集,这是一个 O(3^n) 的 dp。考虑怎么进行优化。
@part - 2@
我们是要求解全集 s 的 dp 值,又要求编号最小的点的 dp 才能转移到全集 s。因此我们所有有用的 dp 值必须包含 1 号点。我们就可以把所有状态右移一位,省去同时包含编号最小的点这一限制。
这样 dp 转移式变为:
\]
注意 h 和 g' 是不一样的,前者必须要包含 1 号点,后者不能包含一号点。
长得一幅子集卷积模样。我们用卷积的形式再来写一遍式子:
\]
基本的代数变形:
\]
那么我们就是要来求解子集卷积的逆运算。
@part - 3@
怎么求解子集卷积的逆运算呢?我们先来看看子集卷积本身:
\]
我们讨论二进制表示下 1 的个数。令 \(f_i(s)\) 表示二进制表示下 1 的个数为 i 的集合状态为 s 的值,如果 s 二进制表示下 1 的个数不等于 i 则该值为 0。
好。那么我们可以直接用 \(g_i\) 与 \(h_j\) 卷积卷出 \(f_{i+j}\),然后把 \(f_{i+j}\) 中不合法的集合状态再全部赋值为 0。
假如我们先 FWT/FMT 做完正变换,然后卷积式子变为:
\]
这是一个多项式加法卷积。但是我们可以直接暴力 O(n^2) 做(因为 n 只有 20 啊)。
那么我们考虑逆变换。即已知 \(\hat f_i\) 与 \(\hat g_p\) 求 \(\hat h_q\)。
这是一个多项式除法,但是我们还是直接暴力 O(n^2) 做(都说了 n 只有 20 啊)。
首先:\(\hat f_0(s) = \hat g_0(s)*\hat h_0(s)\)。因此可以直接求解出 \(\hat g_0(s)\)。
然后假设我们已经求解出了 \(g_{0...i-1}(s)\)。
根据公式: \(\hat f_i(s) = \hat g_0(s)*\hat h_i(s) + \dots + \hat g_{i-1}(s)h_{1}(s)+\hat g_i(s)*\hat h_0(s)\)。
因此我们可以把 \(\hat g_i(s)*\hat h_0(s)\) 前面那一团东西暴力求解然后移项,再两边作个除法,就可以求解出 \(g_i(s)\)。
@accepted code@
卡过常……因此有些地方可能有点儿丑陋。
#include<cstdio>
#define rg register
const int MOD = int(1E9) + 7;
const int MAXN = 20;
int C[MAXN][MAXN], lg[1<<MAXN], bits[1<<MAXN];
inline int lowbit(int x) {return x & -x;}
inline int pow_mod(int b, int p) {
int ret = 1;
while( p ) {
if( p & 1 ) ret = 1LL*ret*b%MOD;
b = 1LL*b*b%MOD;
p >>= 1;
}
return ret;
}
inline void fwt(int A[], int n, int type) {
for(rg int s=2;s<=n;s<<=1)
for(rg int i=0,t=(s>>1);i<n;i+=s)
for(rg int j=0;j<t;j++) {
int x = A[i+j], y = A[i+j+t];
A[i+j] = x, A[i+j+t] = (y + type*x)%MOD;
}
}
int p[MAXN][1<<MAXN], q[MAXN][1<<MAXN], r[MAXN][1<<MAXN];
int f[1<<MAXN];
int main() {
int n; scanf("%d", &n);
for(rg int i=0;i<n;i++)
for(rg int j=i+1;j<n;j++)
scanf("%d", &C[i][j]), C[j][i] = C[i][j];
for(rg int i=0;i<n;i++)
lg[1<<i] = i;
int t = (1<<n); f[0] = 1;
for(rg int s=1;s<t;s++) {
int x = lg[lowbit(s)]; f[s] = f[s^(1<<x)];
for(rg int j=0;j<n;j++)
if( (1<<j) & (s^(1<<x)) ) f[s] = 1LL*f[s]*(C[x][j] + 1)%MOD;
}
int t1 = (t>>1);
for(rg int s=1;s<t1;s++)
bits[s] = bits[s>>1] + (s & 1);
for(rg int s=0;s<t1;s++) {
p[bits[s]][s] = f[s<<1];
q[bits[s]][s] = f[s<<1|1];
}
for(rg int i=0;i<n;i++)
fwt(p[i], t1, 1), fwt(q[i], t1, 1);
for(rg int s=0;s<t1;s++) {
int inv = pow_mod(p[0][s], MOD-2);
for(rg int i=0;i<n;i++) {
r[i][s] = q[i][s];
for(rg int j=0;j<i;j++)
r[i][s] = (r[i][s] - 1LL*r[j][s]*p[i-j][s]%MOD)%MOD;
r[i][s] = 1LL*r[i][s]*inv%MOD;
}
}
fwt(r[n-1], t1, -1);
printf("%d\n", (r[n-1][t1-1] + MOD)%MOD);
}
@details@
虽然标程给出的是通过 FMT 来做这道题,但是可以看出完全没有这个必要。
另外,本题 3s 时限是不是真的太卡了点……
@雅礼集训01/13 - T1@ union的更多相关文章
- @雅礼集训01/10 - T1@ matrix
目录 @description@ @solution@ @accepted code@ @details@ @description@ 给定一个矩阵.求它的所有子矩阵中本质不同的行的个数之和. inp ...
- @雅礼集训01/06 - T3@ math
目录 @description@ @solution@ @accepted code@ @details@ @description@ 给出 n, m, x,你需要求出下列式子的值: \[\sum_{ ...
- 雅礼集训DAY 6 T1 xmasdag
感谢gryz的mly大好人再次给我提供了题目和数据. 和昨晚那个题几乎一样,都是x^n最后转化成第二类斯特林数*阶乘*Σ(和路径长度有关的组合数),而因为组合数是可以利用Pascal公式实现O(1)递 ...
- [LOJ 6030]「雅礼集训 2017 Day1」矩阵
[LOJ 6030] 「雅礼集训 2017 Day1」矩阵 题意 给定一个 \(n\times n\) 的 01 矩阵, 每次操作可以将一行转置后赋值给某一列, 问最少几次操作能让矩阵全为 1. 无解 ...
- 【loj6034】「雅礼集训 2017 Day2」线段游戏
#6034. 「雅礼集训 2017 Day2」线段游戏 内存限制:256 MiB 时间限制:1000 ms 标准输入输出 题目类型:传统 评测方式:Special Judge 上传者: 匿名 题目描述 ...
- 雅礼集训1-9day爆零记
雅礼集训1-9day爆零记 先膜一下虐爆我的JEFF巨佬 Day0 我也不知道我要去干嘛,就不想搞文化科 (文化太辣鸡了.jpg) 听李总说可以去看(羡慕)各路大佬谈笑风声,我就报一个名吧,没想到还真 ...
- LOJ_6045_「雅礼集训 2017 Day8」价 _最小割
LOJ_6045_「雅礼集训 2017 Day8」价 _最小割 描述: 有$n$种减肥药,$n$种药材,每种减肥药有一些对应的药材和一个收益. 假设选择吃下$K$种减肥药,那么需要这$K$种减肥药包含 ...
- 雅礼集训【Day6-1】字符串
雅礼集训[Day6-1]字符串 假设我们有串\(a\),我们设\(a'\)为\(a\)翻转后按为取反过后的串. 我们只考虑前一半的,长为\(m\)的串.如果前半截匹配了\(a\)或者\(a'\),则\ ...
- 「雅礼集训 2017 Day7」事情的相似度
「雅礼集训 2017 Day7」事情的相似度 题目链接 我们先将字符串建后缀自动机.然后对于两个前缀\([1,i]\),\([1,j]\),他们的最长公共后缀长度就是他们在\(fail\)树上对应节点 ...
随机推荐
- netbeans 代码自动补全设置
编辑器-----代码完成------语言选择"JAVA"------在如图红框中输入 @ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrst ...
- 关于java中的异常
java中有时候要写形如下图中的方法抛出异常 之所以要这么写(要在方法声明行写上throws ...)是因为这种 FileNotFoundException 属于编译异常 不属于运行时异常 不会主动抛 ...
- Redhat/Fedora 或类似系统, 配置网络的工具介绍
在Redhat早期的版本中, 有linuxconf .redhat-config-network .netconfig 等工具: 在Redhat/Fedora 最新的版本有 system-config ...
- GYM100741 A Queries
A. Queries time limit per test 0.25 s memory limit per test 64 MB input standard input output standa ...
- 洛谷 USACO P2207 Photo
P2207 Photo 题目描述 Framer Jhon 打算给他的N头奶牛照相,( 2 <= N <= 1 000 000 000) . 他们排成一条线,并且依次取1~N作为编号. 每一 ...
- 阿里云出手SaaS生态,中国SaaS市场小而不强有望破解
企业服务SaaS市场还有很大的增长空间.SaaS的鼻祖Salesforces今年5月迈上了千亿美元市值的门槛,再一次为ToB市场注入了兴奋剂.单单一个SaaS CRM,目前全球的市场规模就超过400亿 ...
- C++ operator new和new operator的区别
new operator 当你写这种代码: string *ps = new string("Memory Management"); 你使用的new是new operator. ...
- C# System.Timers.Timer中的坑,程序异常退出后timer依然运行问题
问题背景 C#小白,由于本公司IM系统服务端(java)是本人独立开发的,加上现在所在项目需要对接IM系统,于是IM的客户端(C#实现)对接工作就交给我了.于是C#小白的我天真的以为只要调用C#端的S ...
- request与response的乱码问题的总结及解决方法
一. response的乱码问题: 1,使用 字节流 向页面输出中文: 不一定会出现乱码,因为中文字节数组默认是GBK,如果浏览器打开的默认编码也是GBK,就不会出现乱码,否则会乱码. 解决办法 ...
- JavaScript-- 函数既是函数又是对象
<!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...