http://www.lydsy.com/JudgeOnline/problem.php?id=3456

设\(f(n)\)表示n个点有标号无向连通图的数目。

dp:\(f(n)=2^{n\choose 2}-\sum\limits_{i=1}^{n-1}f(i){n-1\choose i-1}2^{n-i\choose 2}\)

这是一个可以用分治FFT\(O(n\log^2n)\)做的式子。

移项,分配阶乘使之变为卷积的形式:$$\sum_{i=0}n\frac{f(i)}{(i-1)!}\times\frac{2{n-i\choose 2}}{(n-i)!}=\frac{2^{n\choose 2}}{(n-1)!}$$

(当\(i=0\)时默认\(\frac{f(0)}{(0-1)!}=0\))

然后可以多项式求逆一波。

设多项式\(A(x)\)在模\(x^n\)意义下的逆多项式为\(B_n(x)\),可以在任意一篇博客上找到推导过程,这里直接写结论:

\[B_n(x)\equiv B_{\left\lceil\frac n2\right\rceil}(x)\left(2-A(x)B_{\left\lceil\frac n2\right\rceil}(x)\right)\pmod {x^n}
\]

时间复杂度\(O(n\log n)\)。

  1. #include<cstdio>
  2. #include<cstring>
  3. #include<algorithm>
  4. using namespace std;
  5. typedef long long ll;
  6. const int p = 1004535809;
  7. const int N = 131072 << 1;
  8. int ipow(int a, int b) {
  9. int r = 1, w = a;
  10. while (b) {
  11. if (b & 1) r = 1ll * r * w % p;
  12. w = 1ll * w * w % p;
  13. b >>= 1;
  14. }
  15. return r;
  16. }
  17. int n, rev[N];
  18. ll G[33], nG[33], f[N], ni[N], nifrac[N], t[N];
  19. void DFT(ll *a, int n, int flag) {
  20. for (int i = 0; i < n; ++i) if (i < rev[i]) swap(a[i], a[rev[i]]);
  21. int now = -1;
  22. for (int m = 2; m <= n; m <<= 1) {
  23. int mid = m >> 1; ++now;
  24. ll wn = flag == 1 ? G[now] : nG[now];
  25. for (int i = 0; i < n; i += m) {
  26. ll w = 1;
  27. for (int j = 0; j < mid; ++j) {
  28. ll u = a[i + j], v = a[i + j + mid] * w % p;
  29. a[i + j] = (u + v) % p;
  30. a[i + j + mid] = (u - v + p) % p;
  31. w = w * wn % p;
  32. }
  33. }
  34. }
  35. if (flag == -1) {
  36. ll nii = ipow(n, p - 2);
  37. for (int i = 0; i < n; ++i)
  38. (a[i] *= nii) %= p;
  39. }
  40. }
  41. void INV(ll *A, ll *B, int n) {
  42. if (n == 1) {B[0] = ipow(A[0], p - 2); return;}
  43. INV(A, B, (n + 1) >> 1);
  44. int len = 1, bl = -1, nn = (n << 1) - 1;
  45. for (; len < nn; len <<= 1, ++bl);
  46. for (int i = 1; i < len; ++i) rev[i] = (rev[i >> 1] >> 1) | ((i & 1) << bl);
  47. for (int i = 0; i < n; ++i) t[i] = A[i];
  48. for (int i = n; i < len; ++i) t[i] = 0;
  49. DFT(t, len, 1); DFT(B, len, 1);
  50. for (int i = 0; i < len; ++i) B[i] = B[i] * ((2 - t[i] * B[i] % p + p) % p) % p;
  51. DFT(B, len, -1);
  52. for (int i = n; i < len; ++i) B[i] = 0;
  53. }
  54. ll A[N], B[N], C[N], nA[N];
  55. int main() {
  56. scanf("%d", &n);
  57. if (n <= 2) {puts("1"); return 0;}
  58. int len = 1, bl = -1, nn = ((n + 1) << 1) - 1;
  59. for (; len < nn; len <<= 1, ++bl);
  60. G[bl] = ipow(3, (p - 1) / len); nG[bl] = ipow(G[bl], p - 2);
  61. for (int i = bl - 1; i >= 0; --i) G[i] = G[i + 1] * G[i + 1] % p, nG[i] = nG[i + 1] * nG[i + 1] % p;
  62. ni[1] = 1; nifrac[0] = nifrac[1] = 1;
  63. for (int i = 2; i <= n; ++i) {
  64. ni[i] = (p - p / i) * ni[p % i] % p;
  65. nifrac[i] = nifrac[i - 1] * ni[i] % p;
  66. }
  67. A[0] = 1;
  68. ll last = 1, C = 1;
  69. for (int i = 1; i <= n; ++i) {
  70. A[i] = last * nifrac[i] % p;
  71. B[i] = last * nifrac[i - 1] % p;
  72. last = last * ((C <<= 1) %= p) % p;
  73. }
  74. INV(A, nA, n + 1);
  75. for (int i = 1; i < len; ++i) rev[i] = (rev[i >> 1] >> 1) | ((i & 1) << bl);
  76. DFT(nA, len, 1); DFT(B, len, 1);
  77. for (int i = 0; i < len; ++i) (B[i] *= nA[i]) %= p;
  78. DFT(B, len, -1);
  79. ll noww = 1;
  80. for (int i = 2; i <= n; ++i) {
  81. (noww *= (i - 1)) %= p;
  82. (B[i] *= noww) %= p;
  83. }
  84. printf("%lld\n", B[n]);
  85. return 0;
  86. }

【BZOJ 3456】城市规划的更多相关文章

  1. [BZOJ 3456]城市规划(cdq分治+FFT)

    [BZOJ 3456]城市规划(cdq分治+FFT) 题面 求有标号n个点无向连通图数目. 分析 设\(f(i)\)表示\(i\)个点组成的无向连通图数量,\(g(i)\)表示\(i\)个点的图的数量 ...

  2. BZOJ 3456: 城市规划 [多项式求逆元 组合数学 | 生成函数 多项式求ln]

    3456: 城市规划 题意:n个点组成的无向连通图个数 以前做过,今天复习一下 令\(f[n]\)为n个点的无向连通图个数 n个点的完全图个数为\(2^{\binom{n}{2}}\) 和Bell数的 ...

  3. [BZOJ 3456]城市规划

    Description 题库链接( bzoj 权限题,可以去 cogs 交♂ 题库链接2 求含有 \(n\) 个点有标号的简单无向联通图的个数.方案数对 \(1004535809(479\times ...

  4. BZOJ 3456: 城市规划 与 多项式求逆算法介绍(多项式求逆, dp)

    题面 求有 \(n\) 个点的无向有标号连通图个数 . \((1 \le n \le 1.3 * 10^5)\) 题解 首先考虑 dp ... 直接算可行的方案数 , 容易算重复 . 我们用总方案数减 ...

  5. bzoj 3456 城市规划——分治FFT / 多项式求逆 / 多项式求ln

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=3456 分治FFT: 设 dp[ i ] 表示 i 个点时连通的方案数. 考虑算补集:连通的方 ...

  6. bzoj 3456 城市规划 多项式求逆+分治FFT

    城市规划 Time Limit: 40 Sec  Memory Limit: 256 MBSubmit: 1091  Solved: 629[Submit][Status][Discuss] Desc ...

  7. bzoj 3456 城市规划 —— 分治FFT / 多项式求逆 / 指数型生成函数(多项式求ln)

    题目:https://www.lydsy.com/JudgeOnline/problem.php?id=3456 首先考虑DP做法,正难则反,考虑所有情况减去不连通的情况: 而不连通的情况就是那个经典 ...

  8. BZOJ 3456 城市规划 ( NTT + 多项式求逆 )

    题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3456 题意: 求出\(n\)个点的简单(无重边无自环)无向连通图的个数.(\(n< ...

  9. BZOJ 3456 城市规划 (组合计数、DP、FFT)

    题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=3456 著名的多项式练习题,做法也很多,终于切掉了纪念 首先求一波递推式: 令\(F(n ...

  10. BZOJ 3456: 城市规划 [多项式求逆元 DP]

    题意: 求出n个点的简单(无重边无自环)无向连通图数目.方案数mod 1004535809(479 * 2 ^ 21 + 1)即可. n<=130000 DP求方案 g(n) n个点所有图的方案 ...

随机推荐

  1. centos7.2安装php7.2

    Centos 7源码编译安装 php7.2 原文地址:https://renwole.com/archives/29 介绍: 先安装php依赖包,否则在编译安装php7的过程当中会出现各种报错,安装完 ...

  2. jQuery文档处理(追加删除)——(三)

    1.追加内容

  3. ActiveMQ实现消息的发送与接受

    activemq是apache的一个JMS接口的实现产品,java中定义了JMS规范,虽然RocketMQ,kafka现在比较火,但是还是建议先学一下activeMQ再学其他两个就容易很多 首先可以下 ...

  4. mysql处理旧数据-使用模板以及临时表,不建议直接使用本表!!

    一 业务背景新版本中新建了一个项目的角色表,即每个项目都拥有几个角色,原来历史项目是没有角色的,这就要求使用脚本对表中的历史项目进行处理, 业务需求:每个项目都要有三个角色: 表 : pm_proje ...

  5. 【划水闲谈】Terraria 1.3.5更新

    我知道这本应是一个算法博客,但又有谁规定了不能发点其他内容呢? Terraria,一个有趣的沙盒游戏.在这里,你可以建造,挖掘,开始一次又一次新的冒险. 4月19日,Re-Logic承诺的官方中文版终 ...

  6. ubuntu16.04 eclipse+pydev 配置

    参考:http://blog.csdn.net/bluish_white/article/details/56509446,http://blog.csdn.net/qing101hua/articl ...

  7. html5新增表单元素

    1.验证 <form> <input type="email"></input>    验证邮箱 <input type="ur ...

  8. gitlab备份与还原

    1.备份 登录原服务器,执行命令: gitlab-rake gitlab:backup:create 备份后文件在如下目录,下载该文件 /var/opt/gitlab/backups 2.还原 先安装 ...

  9. windows 依赖查看

    使用工具Download Process Explorer查看运行程序所依赖的动态库. 中文说明:适用于 Windows 的 Process Explorer 10.21 版

  10. IEEEXtreme 极限编程大赛题解

    这是 meelo 原创的 IEEEXtreme极限编程大赛题解 IEEEXtreme全球极限编程挑战赛,是由IEEE主办,IEEE学生分会组织承办.IEEE会员参与指导和监督的.IEEE学生会员以团队 ...