【Luogu4389】付公主的背包
题目
解法
答案显然是\(n\)个形如\(\sum_{i \geq 1} x^{vi}\)的多项式的卷积
然而直接NTT的时间复杂度是\(O(nm\log n)\)
我们可以把每个多项式求\(\ln\)然后相加, 在\(\exp\)回去
我们设\(f(x) = \sum_{i \geq 1} x^{vi}\), \(g(x) = \ln(f(x))\)
我们知道\(f(x) = \frac{1}{1-x^v}\)
于是
g'(x) &= \frac{f'(x)}{f(x)}\\
&= \frac{f'(x)}{1/(1-x^v)}\\
&= (1-x^v)f'(x)\\
&= (1-x^v)\sum_{i \geq 1} v\times i\times x^{vi-1}\\
&= \sum_{i \geq 1} v\times i\times x^{vi-1} - \sum_{i \geq 1} v\times i\times x^{vi}\\
&= \sum_{i \geq 1} v\times \left[i - (i-1)\right]\times x^{vi-1}\\
&= \sum_{i \geq 1} v\times x^{vi-1}
\end{align}
\]
接着积分
\]
最后再跑多项式exp就行了
代码
// luogu-judger-enable-o2
#include <iostream>
#include <cstdlib>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef long long LL;
const int N = 400010;
const LL mod = 998244353LL;
inline LL power(LL a, LL n, LL mod)
{ LL Ans = 1;
while (n)
{ if (n & 1) Ans = (Ans * a) % mod;
a = (a * a) % mod;
n >>= 1;
}
return Ans;
}
inline LL Plus(LL a, LL b) { return a + b > mod ? a + b - mod : a + b; }
inline LL Minus(LL a, LL b) { return a - b < 0 ? a - b + mod : a - b; }
struct Mul
{ int Len;
int rev[N];
LL wn[N];
void getReverse()
{ for (int i = 0; i < Len; i++)
rev[i] = (rev[i>>1] >> 1) | ((i&1) * (Len >> 1));
}
void NTT(LL * a, int opt)
{ getReverse();
for (int i = 0; i < Len; i++)
if (i < rev[i]) swap(a[i], a[rev[i]]);
int cnt = 0;
for (int i = 2; i <= Len; i <<= 1)
{ cnt++;
for (int j = 0; j < Len; j += i)
{ LL w = 1;
for (int k = 0; k < (i>>1); k++)
{ LL x = a[j + k];
LL y = (w * a[j + k + (i>>1)]) % mod;
a[j + k] = Plus(x, y);
a[j + k + (i>>1)] = Minus(x, y);
w = (w * wn[cnt]) % mod;
}
}
}
if (opt == -1)
{ reverse(a + 1, a + Len);
LL num = power(Len, mod-2, mod);
for (int i = 0; i < Len; i++)
a[i] = (a[i] * num) % mod;
}
}
void init()
{ for (int i = 0; i < 23; i++)
wn[i] = power(3LL, (mod-1) / (1 << i), mod);
}
void getLen(int l)
{ Len = 1;
for (; Len <= l; Len <<= 1);
}
} Calc;
void cpy(LL * A, LL * B, int len1, int len2)
{ for (int i = 0; i < len1; i++) A[i] = B[i];
for (int i = len1; i < len2; i++) A[i] = 0;
}
void getInv(LL * A, LL * B, int len)
{ static LL tmp1[N], tmp2[N];
B[0] = power(A[0], mod-2, mod);
for (register int i = 2; i <= len; i <<= 1)
{ Calc.Len = i << 1;
cpy(tmp1, A, i, Calc.Len);
cpy(tmp2, B, i >> 1, Calc.Len);
Calc.NTT(tmp1, 1);
Calc.NTT(tmp2, 1);
for (register int j = 0; j < Calc.Len; j++)
tmp1[j] = Minus(Plus(tmp2[j], tmp2[j]), tmp2[j] * tmp2[j] % mod * tmp1[j] % mod);
Calc.NTT(tmp1, -1);
for (register int j = 0; j < i; j++)
B[j] = tmp1[j];
}
}
void getDeri(LL * a, int len)
{ for (int i = 0; i < len; i++)
a[i] = a[i+1] * (LL) (i+1) % mod;
}
void getInte(LL * a, int len)
{ for (int i = len-1; i >= 1; i--)
a[i] = a[i-1] * power(i, mod-2, mod) % mod;
a[0] = 0;
}
void getLn(LL * A, int len)
{ static LL tmp1[N], tmp2[N], tmp3[N];
Calc.Len = len << 1;
cpy(tmp1, A, len, Calc.Len);
cpy(tmp2, A, len, Calc.Len);
getDeri(tmp1, len);
getInv(tmp2, tmp3, len);
Calc.Len = len << 1;
Calc.NTT(tmp1, 1);
Calc.NTT(tmp3, 1);
for (int i = 0; i < Calc.Len; i++)
tmp1[i] = tmp1[i] * tmp3[i] % mod;
Calc.NTT(tmp1, -1);
for (int i = len; i < Calc.Len; i++)
tmp1[i] = 0;
getInte(tmp1, len);
for (int i = 0; i < len; i++)
A[i] = tmp1[i];
}
void getExp(LL * A, LL * B, int len)
{ static LL tmp1[N], tmp2[N];
B[0] = 1;
for (int i = 2; i <= len; i <<= 1)
{ Calc.Len = i << 1;
cpy(tmp1, B, i, Calc.Len);
cpy(tmp2, B, i, Calc.Len);
getLn(tmp1, i);
Calc.Len = i << 1;
for (int j = 0; j < i; j++)
tmp1[j] = Minus(A[j], tmp1[j]);
tmp1[0]++;
Calc.NTT(tmp1, 1);
Calc.NTT(tmp2, 1);
for (int j = 0; j < Calc.Len; j++)
tmp1[j] = (tmp1[j] * tmp2[j]) % mod;
Calc.NTT(tmp1, -1);
for (int j = 0; j < Calc.Len; j++)
B[j] = tmp1[j];
}
}
LL A[N], B[N], Ans[N];
int cnt[N];
int v[N];
int main()
{ int n, m;
scanf("%d %d", &n, &m);
Calc.init();
for (int i = 1; i <= n; i++)
{ scanf("%d", &v[i]);
cnt[v[i]]++;
}
Calc.init();
Calc.getLen(m);
int len = Calc.Len;
for (int i = 1; i <= m; i++)
{ if (!cnt[i]) continue;
for (int j = i; j <= m; j += i)
A[j] = Plus(A[j], (LL) cnt[i] * i % mod * power(j, mod-2, mod) % mod);
}
getExp(A, Ans, len);
for (int i = 1; i <= m; i++)
printf("%lld\n", Ans[i]);
return 0;
}
【Luogu4389】付公主的背包的更多相关文章
- luogu4389 付公主的背包
题目链接:洛谷 题目大意:现在有$n$个物品,每种物品体积为$v_i$,对任意$s\in [1,m]$,求背包恰好装$s$体积的方案数(完全背包问题). 数据范围:$n,m\leq 10^5$ 这道题 ...
- [luogu4389]付公主的背包(多项式exp)
完全背包方案计数问题的FFT优化.首先写成生成函数的形式:对重量为V的背包,它的生成函数为$\sum\limits_{i=0}^{+\infty}x^{Vi}=\frac{1}{1-x^{V}}$于是 ...
- Luogu4389 付公主的背包(生成函数+多项式exp)
显然构造出生成函数,对体积v的物品,生成函数为1+xv+x2v+……=1/(1-xv).将所有生成函数乘起来得到的多项式即为答案,设为F(x),即F(x)=1/∏(1-xvi).但这个多项式的项数是Σ ...
- 洛谷 P4389 付公主的背包 解题报告
P4389 付公主的背包 题目背景 付公主有一个可爱的背包qwq 题目描述 这个背包最多可以装\(10^5\)大小的东西 付公主有\(n\)种商品,她要准备出摊了 每种商品体积为\(V_i\),都有\ ...
- LuoguP4389 付公主的背包【生成函数+多项式exp】
题目背景 付公主有一个可爱的背包qwq 题目描述 这个背包最多可以装10^5105大小的东西 付公主有n种商品,她要准备出摊了 每种商品体积为Vi,都有10^5105件 给定m,对于s\in [1,m ...
- 洛谷P4389 付公主的背包--生成函数+多项式
题目链接戳这里 题目描述 有\(n\)件不同的商品,每件物品都有无限个,输出总体积为\([1,m]\)的方案数 思路 直接跑背包有\(30\) 考虑把每个物品的生成函数设出来,对于一件体积为\(v\) ...
- luogu P4389 付公主的背包
传送门 神仙题鸭!orz dkw 暴力就是完全背包 而完全背包可以和生成函数扯上关系,记第i种物品质量为\(a_i\),那么这种物品的生成函数\(G(i)=\sum_{j=0}^{\infty}x^{ ...
- P3489 付公主的背包
题意:n<=1e5,m<=1e5,跑n个物品1到m容量的完全背包. 考虑暴力的做法就是把一些1/(1+x^a)的多项式乘起来即可. 考虑优化,取一下ln,转化为加法,然后exp回去就好了.
- 洛谷 P4389: 付公主的背包
题目传送门:洛谷 P4389. 题意简述: 有 \(n\) 个物品,每个物品都有无限多,第 \(i\) 个物品的体积为 \(v_i\)(\(v_i\le m\)). 问用这些物品恰好装满容量为 \(i ...
随机推荐
- CAD保存DWG文件,设置保存的文件版本号和密码
主要用到函数说明: MxDrawXCustomFunction::Mx_SaveDwgEx 保存DWG文件,可以设置保存的文件版本号和密码,详细说明如下: 参数 说明 IN CString sFile ...
- Git学习总结四(删除)
一般情况下,你通常直接在文件管理器中把没用的文件删了,或者用rm命令删了: $ rm test.txt 这个时候,Git知道你删除了文件,因此,工作区和版本库就不一致了,git status命令会立刻 ...
- ajax异步请求详解
1.XMLHttpRequst的出现才有了异步处理 2.创建XmlHttpRequest对象 var request=new XMLHttpRequest(); 注意:如果要兼容IE6以下浏览器则需要 ...
- sublime右键菜单,anaconda设置
1.sublime_addright.inf [Version]Signature="$Windows NT$" [DefaultInstall]AddReg=SublimeTex ...
- linux 的sed命令解释 sed ':t;N;s/\n/,/;b t' 将换行符换成逗号
linux 的sed命令解释 sed ':t;N;s/\n/,/;b t' 将换行符换成逗号 实现的功能是吧换行符换成逗号了,自己试验过. 求解释,:t N b t 都是什么意思??? :t 定义la ...
- / Vijos / 题库 / 1622 / 文件查找(HOI)
/ Vijos / 题库 /1622/文件查找(HOI) 描述 WINDOWS是一个很庞大的操作系统(当然啦,看占的硬盘空间就知道了),比如说,它的文件查找系统.现在,请你用PASCAL或者C或者C+ ...
- 基于Arduino的音乐动感节奏灯
1.音乐动感节奏灯是个什么东西? 前段时间听音乐觉得无聊,便想着音乐光听也没意思啊,能不能 “看见” 音乐呢?于是谷歌了一番,发现还真有人做了将音乐可视化的东西,那就是音乐节奏灯.说的简单点就是LED ...
- from __future__ import absolute_import的作用
关于这句from future import absolute_import的作用: 直观地看就是说"加入绝对引入这个新特性".说到绝对引入,当然就会想到相对引入.那么什么是相对引 ...
- [JZOJ4687]奇袭
[JZOJ4687]奇袭 题目 由于各种原因,桐人现在被困在Under World(以下简称UW)中,而UW马上要迎来最终的压力测试——魔界入侵. 唯一一个神一般存在的Administrator被消灭 ...
- Office 2003的卸载 与 Office 2013 的安装
一.Office 2003的卸载 软件:卸载Office2003.msi 运行该软件,等待几分钟即可, 二.Office 2013 的安装 1.Office Professional Plus 201 ...