bzoj3456
分治+ntt
设dp[i]表示i个点的图联通的方案数
那么考虑dp,利用容斥,总-不符合,枚举j=1->i-1,然后考虑不符合,那么考虑和1联通的连通块,剩下的不和1连通,那么dp[i]=2^t(i)-∑j=1->i-1 dp[j]*C(i-1,j-1)*2^t(i-j)
就是t(i)表示i个点的图的边的个数,那么相当于在j个点的连通图又添加了i-j个点,计算从i-1选出j-1个方案数,这是组合数,然后剩下的不能喝这j个点连,那么自己内部随便连,就是这个式子
但是这是n^2的,我们化简式子变成卷积,dp[j]*C(i-1,j-1)*2^t(i-j)
dp[j]*(i-1)!/(j-1)!/(i-j)!*2^t(i-j)
(dp[j]/(j-1)!)*2^t(i-j)/(i-j)
这是卷积,但是由于dp[i]和dp[j]有关,那么用cdq优化。
这是第二次写,还是搞不太清楚下标问题,其实就是构造多项式的时候每个式子个往前移了多少,那么最后统计的时候也往后移动多少
完全不卡常啊
- #include<bits/stdc++.h>
- using namespace std;
- typedef long long ll;
- const int N = , P = ;
- int n, m, k;
- ll h[N], a[N], b[N], inv[N], facinv[N], fac[N], dp[N], t[N];
- ll power(ll x, ll t)
- {
- ll ret = ;
- for(; t; t >>= , x = x * x % P) if(t & ) ret = ret * x % P;
- return ret;
- }
- void ntt(ll *a, int f)
- {
- for(int i = ; i < n; ++i)
- {
- int t = ;
- for(int j = ; j < k; ++j) if(i >> j & ) t |= << (k - j - );
- if(i < t) swap(a[i], a[t]);
- }
- for(int l = ; l <= n; l <<= )
- {
- ll w = power(, f == ? (P - ) / l : (P - ) - (P - ) / l);
- int m = l >> ;
- for(int i = ; i < n; i += l)
- {
- ll t = ;
- for(int k = ; k < m; ++k, t = t * w % P)
- {
- ll x = a[i + k], y = a[i + k + m] * t % P;
- a[i + k] = (x + y) % P;
- a[i + k + m] = ((x - y) % P + P) % P;
- }
- }
- }
- if(f == -)
- {
- ll inv = power(n, P - );
- for(int i = ; i < n; ++i) a[i] = a[i] * inv % P;
- }
- }
- void cdq(int l, int r)
- {
- if(l == r) return;
- int mid = (l + r) >> ;
- cdq(l, mid);
- n = ;
- k = ;
- while(n <= r - l + ) n <<= , ++k;
- for(int i = ; i < n; ++i) a[i] = b[i] = ;
- for(int i = l; i <= mid; ++i) a[i - l] = dp[i] * facinv[i - ] % P;
- for(int i = ; i <= r - l; ++i) b[i] = h[i] * facinv[i] % P;
- ntt(a, );
- ntt(b, );
- for(int i = ; i < n; ++i) a[i] = a[i] * b[i] % P;
- ntt(a, -);
- for(int i = mid + ; i <= r; ++i) dp[i] = ((dp[i] - a[i - l] * fac[i - ] % P) % P + P) % P;
- cdq(mid + , r);
- }
- int main()
- {
- scanf("%d", &m);
- fac[] = facinv[] = ;
- inv[] = inv[] = ;
- for(int i = ; i <= m; ++i)
- {
- if(i != ) inv[i] = (P - P / i) * inv[P % i] % P;
- fac[i] = fac[i - ] * i % P;
- facinv[i] = facinv[i - ] * inv[i] % P;
- t[i] = (ll)i * (i - ) >> ;
- dp[i] = h[i] = power(, t[i]);
- }
- cdq(, m);
- printf("%lld\n", dp[m]);
- return ;
- }
bzoj3456的更多相关文章
- 【BZOJ3456】轩辕朗的城市规划 无向连通图计数 CDQ分治 FFT 多项式求逆 多项式ln
题解 分治FFT 设\(f_i\)为\(i\)个点组成的无向图个数,\(g_i\)为\(i\)个点组成的无向连通图个数 经过简单的推导(枚举\(1\)所在的连通块大小),有: \[ f_i=2^{\f ...
- 【bzoj3456】城市规划(多项式求逆+dp)
Description 求\(~n~\)个点组成的有标号无向连通图的个数.\(~1 \leq n \leq 13 \times 10 ^ 4~\). Solution 这道题的弱化版是poj1737, ...
- BZOJ3456 城市规划 【多项式求ln】
题目链接 BZOJ3456 题解 真是一道经典好题,至此已经写了分治\(NTT\),多项式求逆,多项式求\(ln\)三种写法 我们发现我们要求的是大小为\(n\)无向联通图的数量 而\(n\)个点的无 ...
- BZOJ3456 城市规划(多项式求逆)
设f[i]为连通图的数量,g[i]为不连通图的数量,显然有f[i]=2i*(i-1)/2-g[i],g[i]通过枚举1所在连通块大小转移,有g[i]=Σf[j]*C(i-1,j-1)·2(i-j)*( ...
- 【BZOJ3456】城市规划(生成函数,多项式运算)
[BZOJ3456]城市规划(生成函数,多项式运算) 题面 求\(n\)个点的无向连通图个数. \(n<=130000\) 题解 \(n\)个点的无向图的个数\(g(n)=2^{C_n^2}\) ...
- 【BZOJ3456】城市规划 多项式求逆
[BZOJ3456]城市规划 Description 刚刚解决完电力网络的问题, 阿狸又被领导的任务给难住了. 刚才说过, 阿狸的国家有n个城市, 现在国家需要在某些城市对之间建立一些贸易路线, 使得 ...
- BZOJ3456:城市规划——题解
https://www.lydsy.com/JudgeOnline/problem.php?id=3456 求出n个点的简单(无重边无自环)无向连通图数目 模数很熟悉,先敲一个NTT. 然后通过推导式 ...
- [BZOJ3456]城市规划(生成函数+多项式求逆+多项式求ln)
城市规划 时间限制:40s 空间限制:256MB 题目描述 刚刚解决完电力网络的问题, 阿狸又被领导的任务给难住了. 刚才说过, 阿狸的国家有n个城市, 现在国家需要在某些城市对之间建立一 ...
- BZOJ3456 城市规划 【多项式求逆】
题目链接 BZOJ3456 题解 之前我们用分治\(ntt\)在\(O(nlog^2n)\)的复杂度下做了这题,今天我们使用多项式求逆 设\(f_n\)表示\(n\)个点带标号无向连通图数 设\(g_ ...
- BZOJ3456 城市规划 【分治NTT】
题目链接 BZOJ3456 题解 据说这题是多项式求逆 我太弱不会QAQ,只能\(O(nlog^2n)\)分治\(NTT\) 设\(f[i]\)表示\(i\)个节点的简单无向连通图的数量 考虑转移,直 ...
随机推荐
- 怎样高效利用GitHub(非常多资料可供下载)
正是Github.让社会化编程成为现实.本文尝试谈谈GitHub的文化.技巧与影响. Q1:GitHub是什么 Q2:GitHub风格 Q3: 在GitHub.怎样跟牛人学习 Q4: 享受纯粹的写作与 ...
- sonar + ieda实现提交代码前代码校验
代码风格不同一直是一件停头疼的事情,因为不同的工作经验,工作经历,每个人的代码风格不尽相同,造成一些代码在后期的维护当中难以维护, 查阅一些资料之后发现 idea + sonar 的方式比较适合我,实 ...
- Hadoop 服务器配置的副本数量 管不了客户端
副本数由客户端的参数dfs.replication决定(优先级: conf.set > 自定义配置文件 > jar包中的hdfs-default.xml)如果前两个都没有,就用最后一个ja ...
- UiAutomator源代码分析之获取控件信息
依据上一篇文章<UiAutomator源代码分析之注入事件>開始时提到的计划,这一篇文章我们要分析的是第二点: 怎样获取控件信息 我们在測试脚本中初始化一个UiObject的时候一般是像下 ...
- JS 模板引擎 Handlebars.js 中文说明
Handlebars 为你提供了一个可以毫无挫折感的高效率书写 语义化的模板 所必需的一切. Mustache 模板和 Handlebars 是兼容的,所以你可以把Mustache模板拿来导入到Han ...
- IOS UIScrollView滚动到指定位置
[mScrollView setContentOffset:CGPointMake(0,200) animated:YES];
- ContentPresenter理解
这是2年前写了一篇文章 http://www.cnblogs.com/Clingingboy/archive/2008/07/03/wpfcustomcontrolpart-1.html 我们先来看M ...
- OSEck中odo_vect2pcb的作用
在基于OSEck RTOS的TI DSP中,中断能够作为一个进程存在,在OSEck系统中,进程分为两类:优先级进程,中断进程. 当可屏蔽中断(INT4~15)发生后,就会运行相应的中断vector,在 ...
- 1492: [NOI2007]货币兑换Cash【CDQ分治】
1492: [NOI2007]货币兑换Cash Time Limit: 5 Sec Memory Limit: 64 MBSubmit: 4166 Solved: 1736[Submit][Sta ...
- Javascript学习之正则表达式详解
什么是正则表达式(regular expreSSion) 正则表达式是一个描述字符模式的对象. 可以处理更复杂的字符串 JavaScript中的正则表达式使用RegExp对象表示 正则表达式用于 ...