题目

传送门

解法

答案显然是\(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}\)

于是

\[\begin{align}
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}
\]

接着积分

\[g(x) = \int g'(x) \mathbb{d}x = \sum_{i \geq 1} \frac{1}{i}x^{vi}
\]

最后再跑多项式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】付公主的背包的更多相关文章

  1. luogu4389 付公主的背包

    题目链接:洛谷 题目大意:现在有$n$个物品,每种物品体积为$v_i$,对任意$s\in [1,m]$,求背包恰好装$s$体积的方案数(完全背包问题). 数据范围:$n,m\leq 10^5$ 这道题 ...

  2. [luogu4389]付公主的背包(多项式exp)

    完全背包方案计数问题的FFT优化.首先写成生成函数的形式:对重量为V的背包,它的生成函数为$\sum\limits_{i=0}^{+\infty}x^{Vi}=\frac{1}{1-x^{V}}$于是 ...

  3. Luogu4389 付公主的背包(生成函数+多项式exp)

    显然构造出生成函数,对体积v的物品,生成函数为1+xv+x2v+……=1/(1-xv).将所有生成函数乘起来得到的多项式即为答案,设为F(x),即F(x)=1/∏(1-xvi).但这个多项式的项数是Σ ...

  4. 洛谷 P4389 付公主的背包 解题报告

    P4389 付公主的背包 题目背景 付公主有一个可爱的背包qwq 题目描述 这个背包最多可以装\(10^5\)大小的东西 付公主有\(n\)种商品,她要准备出摊了 每种商品体积为\(V_i\),都有\ ...

  5. LuoguP4389 付公主的背包【生成函数+多项式exp】

    题目背景 付公主有一个可爱的背包qwq 题目描述 这个背包最多可以装10^5105大小的东西 付公主有n种商品,她要准备出摊了 每种商品体积为Vi,都有10^5105件 给定m,对于s\in [1,m ...

  6. 洛谷P4389 付公主的背包--生成函数+多项式

    题目链接戳这里 题目描述 有\(n\)件不同的商品,每件物品都有无限个,输出总体积为\([1,m]\)的方案数 思路 直接跑背包有\(30\) 考虑把每个物品的生成函数设出来,对于一件体积为\(v\) ...

  7. luogu P4389 付公主的背包

    传送门 神仙题鸭!orz dkw 暴力就是完全背包 而完全背包可以和生成函数扯上关系,记第i种物品质量为\(a_i\),那么这种物品的生成函数\(G(i)=\sum_{j=0}^{\infty}x^{ ...

  8. P3489 付公主的背包

    题意:n<=1e5,m<=1e5,跑n个物品1到m容量的完全背包. 考虑暴力的做法就是把一些1/(1+x^a)的多项式乘起来即可. 考虑优化,取一下ln,转化为加法,然后exp回去就好了.

  9. 洛谷 P4389: 付公主的背包

    题目传送门:洛谷 P4389. 题意简述: 有 \(n\) 个物品,每个物品都有无限多,第 \(i\) 个物品的体积为 \(v_i\)(\(v_i\le m\)). 问用这些物品恰好装满容量为 \(i ...

随机推荐

  1. CNN结构:Windows使用FasterRCNN-C++版本

    参考文章:Windows下VS2013 C++编译测试faster-rcnn. 本文与作者的所写方法有些许不同,欲速则不达,没有按照作者的推荐方法,绕了个弯弯. Windows版本纯C++版本的Fas ...

  2. HyperLink的使用

    <asp:HyperLink ID="Hyperlink2" NavigateUrl='<%# string.Format("AddOrganizition. ...

  3. return和return false的区别

    1. return返回null,起到中断方法执行的效果,只要不return false事件处理函数将会继续执行,表单将提交2. return false,事件处理函数会取消事件,不再继续向下执行.比如 ...

  4. DOCKER - POD操作

    强制删除 Terminating 的pod kubectl delete  -n <namespace> <pod podname> --grace-period=0 --fo ...

  5. python解析邮件的时候编码问题

    import sys import base64 import os import re s1 = '"=?UTF-8?B?56mG6Zi/5rWpKOWnnOW8iyk=?=" ...

  6. P1002 过河卒 【递推、简单动规】

    题目描述 棋盘上AA点有一个过河卒,需要走到目标BB点.卒行走的规则:可以向下.或者向右.同时在棋盘上CC点有一个对方的马,该马所在的点和所有跳跃一步可达的点称为对方马的控制点.因此称之为“马拦过河卒 ...

  7. HTML学习笔记之标签基础

    目录 1.基本标签 2.链接 3.图像 4.表格 5.列表 6.块与布局 1.基本标签 (1)标题与段落 标签 <h1> ~ <h6> 分别用于定义一至六级标题,标签 < ...

  8. odoo 权限杂记

    最近做一个任务督办模块,涉及到一些权限问题,折磨了几天,终于是解决了. 任务表中关联了hr_employee,分别有默认字段创建人,Many2one的发布人.监督人和Many2many类型的主责人,这 ...

  9. 第二节:web爬虫之lxml解析库

    lxml是python的一个解析库,支持HTML和XML的解析,支持XPath解析方式,而且解析效率非常高.

  10. 【模板】非旋转Treap

    Treap,也叫做树堆,是指有一个随机附加域满足堆的性质的二叉搜索树. 如果一棵二叉搜索树插入节点的顺序是随机的,那我们得到的二叉搜索树在大多数情况下是平衡的,期望高度是log(n). 但有些情况下我 ...