\(\color{#0066ff}{ 题目描述 }\)

为了减小文件大小,这里不写一堆题目背景了。

请写一个程序,输入一个数字N,输出N个点的森林的数量。点有标号。

森林是一种无向图,要求图中不能存在环(图可以不连通),或者说是由若干个树组成的集合。说到森林,我就想起今年下半年,中美合拍的西游记即将正式开机,我继续扮演美猴王孙悟空,我会用美猴王艺术形象努力创造一个正能量的形象,文体两开花,弘扬中华文化,希望大家能多多关注。

\(\color{#0066ff}{输入格式}\)

输入文件只有一个整数N。

\(\color{#0066ff}{输出格式}\)

输出森林的方案数。由于答案很大,所以请输出对998244353取模后的结果。

\(\color{#0066ff}{输入样例}\)

3

\(\color{#0066ff}{输出样例}\)

7

\(\color{#0066ff}{数据范围与提示}\)

对于30%的数据满足3<=n<=9。

对于40%的数据满足3<=n<=90。

对于50%的数据3<=n<=900。

对于60%的数据满足3<=n<=9000。

对于100%的数据满足3<=n<=90000。

\(\color{#0066ff}{ 题解 }\)

规律总结:对于有标号类问题,个体的exp就是集合,集合的ln就是个体

本题来说,个体是个结论,即一棵树的有标号的种类为\(n^{n-2}\)种

于是\(ans=\sum\frac{i^{i-2}}{i!}x^i\)

前面的根据公式可以化为exp,最后再乘上n!即可

#include<bits/stdc++.h>
#define LL long long
LL in() {
char ch; LL x = 0, f = 1;
while(!isdigit(ch = getchar()))(ch == '-') && (f = -f);
for(x = ch ^ 48; isdigit(ch = getchar()); x = (x << 1) + (x << 3) + (ch ^ 48));
return x * f;
}
const int maxn = 4e6 + 100;
const int mod = 998244353;
using std::vector;
int len, r[maxn], fac[maxn];
LL ksm(LL x, LL y) {
LL re = 1LL;
while(y) {
if(y & 1) re = re * x % mod;
x = x * x % mod;
y >>= 1;
}
return re;
}
void FNTT(vector<int> &A, int flag) {
A.resize(len);
for(int i = 0; i < len; i++) if(i < r[i]) std::swap(A[i], A[r[i]]);
for(int l = 1; l < len; l <<= 1) {
int w0 = ksm(3, (mod - 1) / (l << 1));
for(int i = 0; i < len; i += (l << 1)) {
int a0 = i, a1 = i + l, w = 1;
for(int k = 0; k < l; k++, a0++, a1++, w = 1LL * w0 * w % mod) {
int tmp = 1LL * A[a1] * w % mod;
A[a1] = ((A[a0] - tmp) % mod + mod) % mod;
A[a0] = (A[a0] + tmp) % mod;
}
}
}
if(flag == -1) {
std::reverse(A.begin() + 1, A.end());
int inv = ksm(len, mod - 2);
for(int i = 0; i < len; i++) A[i] = 1LL * A[i] * inv % mod;
}
}
vector<int> operator * (vector<int> A, vector<int> B) {
int tot = A.size() + B.size() - 1;
for(len = 1; len <= tot; len <<= 1);
for(int i = 0; i < len; i++) r[i] = (r[i >> 1] >> 1) | ((i & 1) * (len >> 1));
vector<int> ans;
FNTT(A, 1), FNTT(B, 1);
for(int i = 0; i < len; i++) ans.push_back(1LL * A[i] * B[i] % mod);
FNTT(ans, -1);
ans.resize(tot);
return ans;
}
vector<int> operator - (const vector<int> &A, const vector<int> &B) {
vector<int> ans;
for(int i = 0; i < (int)std::min(A.size(), B.size()); i++) ans.push_back(A[i] - B[i]);
for(int i = A.size(); i < (int)B.size(); i++) ans.push_back(-B[i]);
for(int i = B.size(); i < (int)A.size(); i++) ans.push_back(A[i]);
return ans;
}
vector<int> operator + (const vector<int> &A, const vector<int> &B) {
vector<int> ans;
for(int i = 0; i < (int)std::min(A.size(), B.size()); i++) ans.push_back(A[i] + B[i]);
for(int i = A.size(); i < (int)B.size(); i++) ans.push_back(B[i]);
for(int i = B.size(); i < (int)A.size(); i++) ans.push_back(A[i]);
return ans;
} vector<int> inv(const vector<int> &A) {
if(A.size() == 1) {
vector<int> ans;
ans.push_back(ksm(A[0], mod - 2));
return ans;
}
int n = A.size(), _ = (n + 1) >> 1;
vector<int> B = A, ans;
ans.push_back(2);
B.resize(_);
B = inv(B);
ans = B * (ans - A * B);
ans.resize(n);
return ans;
}
vector<int> getd(const vector<int> &A) {
vector<int> ans;
ans.resize(A.size() - 1);
for(int i = 1; i < (int)A.size(); i++) ans[i - 1] = 1LL * A[i] * i % mod;
return ans;
}
vector<int> geti(const vector<int> &A) {
vector<int> ans;
ans.resize(A.size() + 1);
for(int i = 0; i < (int)A.size(); i++) ans[i + 1] = 1LL * A[i] * ksm(i + 1, mod - 2) % mod;
return ans;
} vector<int> getln(const vector<int> &A) { return geti(getd(A) * inv(A)); }
vector<int> getexp(const vector<int> &A) {
if(A.size() == 1) {
vector<int> ans;
ans.push_back(1);
return ans;
}
int n = A.size(), _ = (n + 1) >> 1;
vector<int> B = A, ans;
ans.push_back(1);
B.resize(_);
B = getexp(B);
ans = B * (ans - getln(B) + A);
ans.resize(n);
return ans;
} int main() {
freopen("forest.in", "r", stdin);
freopen("forest.out", "w", stdout);
int n = in() + 1;
vector<int> a;
fac[0] = 1;
for(LL i = 1; i <= n; i++) fac[i] = 1LL * fac[i - 1] * i % mod;
a.push_back(0);
a.push_back(1);
for(int i = 2; i <= n; i++) a.push_back(1LL * ksm(i, i - 2) * ksm(fac[i], mod - 2) % mod);
a.resize(a.size() << 1);
a = getexp(a);
printf("%lld", 1LL * a[n - 1] * fac[n - 1] % mod);
return 0;
}

2019.2.10考试T2, 多项式求exp+生成函数的更多相关文章

  1. BZOJ1042 HAOI2008硬币购物(任意模数NTT+多项式求逆+生成函数/容斥原理+动态规划)

    第一眼生成函数.四个等比数列形式的多项式相乘,可以化成四个分式.其中分母部分是固定的,可以多项式求逆预处理出来.而分子部分由于项数很少,询问时2^4算一下贡献就好了.这个思路比较直观.只是常数巨大,以 ...

  2. 2019.3.7考试T2 离线数论??

    $ \color{#0066ff}{ 题目描述 }$ 一天,olinr 在 luogu.org 刷题,一点提交,等了一分钟之后,又蛙又替. olinr 发动了他的绝招,说:"为啥啊???&q ...

  3. 2019.2.26考试T2 矩阵快速幂加速DP

    \(\color{#0066ff}{题解 }\) 可以发现, 数据范围中的n特别小,容易想到状压 可以想到类似于状压DP的思路,按列进行转移 那么应该有3维,\(f[i][j][k]\)代表到第i列, ...

  4. P5162 WD与积木(多项式求逆+生成函数)

    传送门 题解 比赛的时候光顾着算某一个\(n\)的答案是多少忘了考虑不同的\(n\)之间的联系了--而且我也很想知道为什么推着推着会变成一个二项式反演-- 设\(f_n\)为\(n\)块积木时的总的层 ...

  5. BZOJ 3625:小朋友和二叉树 多项式开根+多项式求逆+生成函数

    生成函数这个东西太好用了~ code: #include <bits/stdc++.h> #define ll long long #define setIO(s) freopen(s&q ...

  6. 多项式求ln,求exp,开方,快速幂 学习总结

    按理说Po姐姐三月份来讲课的时候我就应该学了 但是当时觉得比较难加上自己比较懒,所以就QAQ了 现在不得不重新弄一遍了 首先说多项式求ln 设G(x)=lnF(x) 我们两边求导可以得到G'(x)=F ...

  7. 【LOJ】#3030. 「JOISC 2019 Day1」考试

    LOJ#3030. 「JOISC 2019 Day1」考试 看起来求一个奇怪图形(两条和坐标轴平行的线被切掉了一个角)内包括的点个数 too naive! 首先熟练的转化求不被这个图形包含的个数 -- ...

  8. 牛顿迭代,多项式求逆,除法,开方,exp,ln,求幂

    牛顿迭代 若 \[G(F_0(x))\equiv 0(mod\ x^{2^t})\] 牛顿迭代 \[F(x)\equiv F_0(x)-\frac{G(F_0(x))}{G'(F_0(x))}(mod ...

  9. 2019.01.01 bzoj3625:小朋友和二叉树(生成函数+多项式求逆+多项式开方)

    传送门 codeforces传送门codeforces传送门codeforces传送门 生成函数好题. 卡场差评至今未过 题意简述:nnn个点的二叉树,每个点的权值KaTeX parse error: ...

随机推荐

  1. Maven 创建动态web 3.0项目

    使用eclipse 创建Maven 项目时候 默认是2.3的,需要一些小技巧把他转换成3.0项目 操作步骤如下分四步, 1.创建一个simple maven project 2. 转换成web3.0项 ...

  2. CDM中,实体与实体快捷方式之间的联系不能重复,否则会造成外键重复

    例如机场实体和跑道实体,例如: 在机场包中,跑道实体作为快捷方式出现,机场实体与跑道快捷方式实体间有连线关系,然而 在跑道包中,情况相反,但二者间也有连线.(模型原样) 要注意的是,虽然在两个包中都有 ...

  3. 2015.1.15 利用Oracle函数插入表结构 Bulk collect into 不用循环,简洁高效

    如果表结构只对应一个字段,可以 select col1 bulk collect into 变量,不用游标循环,简洁高效 create or replace function get_airway_s ...

  4. 视频直播技术-视频-编码-传输-秒开等<转>

    转载地址:http://mp.weixin.qq.com/s?__biz=MzAwMDU1MTE1OQ==&mid=2653547042&idx=1&sn=26d8728548 ...

  5. 记录一次手机联系人整理(XML文件格式处理)

    场景:1.IOS手机和Android手机联系人同步时有部分重复联系人. 2.很早以前的HTC手机导出的联系人中备注信息有大量乱码,且很多联系人生日被设置为1970-01-01,导致生日提醒软件产生骚扰 ...

  6. PLM数据库迁移注意事项

    需求: PLM应用程序与数据库是存放在同一台服务器上,现需要将数据库迁移到数据库服务器10.10.1.10中. 10.10.1.10中安装了三个实例,MSSQLSERVER.MSSQLSERVER_P ...

  7. php二维数组排序方法(array_multisort,usort)

    一维数组排序可以使用asort.ksort等一些方法进程排序,相对来说比较简单.二维数组的排序怎么实现呢?使用array_multisort和usort可以实现 例如像下面的数组: $users = ...

  8. jquery datatable设置垂直滚动后,表头(th)错位问题

    jquery datatable设置垂直滚动后,表头(th)错位问题 问题描述: 我在datatable里设置:"scrollY": '300px',垂直滚动属性后,表头的宽度就会 ...

  9. Codeforces 1114D Flood Fill (区间DP or 最长公共子序列)

    题意:给你n个颜色块,颜色相同并且相邻的颜色块是互相连通的(连通块).你可以改变其中的某个颜色块的颜色,不过每次改变会把它所在的连通块的颜色也改变,问最少需要多少次操作,使得n个颜色块的颜色相同. 例 ...

  10. 用批处理,批量安装字体文件 (Erector.bat)

    @echo off color 0A title 字体安装器 Powered by Cheney_Yang cls xcopy /y "Fonts\*.ttf" "%wi ...