【XSY2753】Lcm 分治 FWT FFT 容斥
题目描述
给你\(n,k\),要你选一些互不相同的正整数,满足这些数的\(lcm\)为\(n\),且这些数的和为\(k\)的倍数。
求选择的方案数。对\(232792561\)取模。
\(n\leq {10}^{18},k\leq 20\),\(n\)的全部质因子都\(\leq 100\)
题解
解法一
一个\(\leq {10}^{18}\)的数最多有\(15\)不同的质因子。
记\(w=15,m=2^w=32768\)
先看看这个模数有什么特点。
\(p=232792561=lcm(1,2,\ldots,20)+1\)
这告诉我们可以对长度在\(1\ldots 20\)的区间DFT。
所以可以在所有用到模\(k\)的余数的地方DFT,然后对于每个余数做要做的事情。
对于一个数,如果这个数的某个质因子的最高次幂\(\neq n\)的这个质因子的最高次幂,这个质因子是没有用的。
这样可以把一个数\(x\)表示成一个数对\(g(x)=(i,j)\),其中\(i\)是一个状态,表示\(x\)有哪些质因子的最高次幂和\(n\)的最高次幂相同。\(j\)表示这个数模\(k\)的余数。
先暴力枚举所有\(n\)的因子(\(\approx {10}^5\)个),记\(a_{i,j}\)表示有多少个数\(x\)对应的数对\(g(x)=(i,j)\)。
现在对于每一个\(i\),计算只取这些数,和模\(k\)为\(j=0\ldots k-1\)的方案数\(f_{i,j}\)。
记\(F_i(x)=\sum_{i=0}^{k-1}f_{i,j}x^j\),那么有\(F_i(x)=\prod_{i=0}^{k-1}{(1+x^i)}^{a_{i,j}}\mod x^k\)。(当然你也可以用一些其他的方法计算,比如说每加一个数进去就维护一下)
算出\(F_i(x)\)之后做一遍DFT,这样各个\(j\)之间就互不影响了。在做完接下来的步骤后IDFT回来,然后取\(j=0\)的值就是答案了。
剩下的步骤我们认为\(k=1\),即不考虑模\(k\)的余数。
现在我们要取一些\(i\)出来,满足\(i_1~or~i_2~or,\cdots,or~i_m\),把答案加上\(f_{i_1}f_{i_2}\cdots f_{i_m}\)。
令\(g_{i,j}=\begin{cases}f_i&j=i\\0&j\neq i\end{cases}\),那么我们要求的答案就是一个类似\(g_1\oplus g_2\oplus\cdots\oplus g_m\)的东西(实际上在DFT之前\(g_{i,0}\)要\(+1\)表示不选,DFT之后每一位都要\(+1\))。这里\(\oplus\)是集合或卷积。
直接做的复杂度是\(O(w4^w)\),太慢了。
注意到\(g_i\)只有一项非零,所以可能有更快的做法。
考虑分治,观察怎么把两个状态合并。
合并的时候记左边的结果为
\(A_1\),右边的结果为\(A_2\),那么合并之后的就是\(A_1+A_2+A_1A_2\)。
合并的两个数组是长这样的:

整个数组是一个部分重复很多次。

我们可以只储存&计算循环节部分,要用更长的部分的时候再扩展。
另一种理解是:每个\(g_{i,j}\)对答案的\(s_l(j\subseteq l)\)都有贡献,这个贡献是乘上去的(因为是在FWT后对应位乘起来)。
因为前面已经做过一次求幂了(\(F_i(x)\)),所以你也可以这几步先不做(求幂和乘法),在最后做一次求幂。这个就是下面的容斥做法。
总时间复杂度是\(O(k^22^w+kw2^w)\)
解法二
一个容斥的做法。
记\(g_{i,j}\)为有多少个数满足:对于\(i\)中每个\(1\)的二进制位,这些位对应的质因子的次数要取到上限,剩下位的可以任意取,且这个数模\(k\)为\(j\)。
\(G_i(x)=\sum_{j=0}^{k-1}{(1+x^j)}^{g_{i,j}}\)
然后容斥一下,容斥过程就是IFWT。
那么把这个东西做一遍IFWT就是答案了。
时间复杂度和上面的差不多。
代码
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const int p=232792561;
const int root=71;
ll fp(ll a,ll b)
{
ll s=1;
for(;b;b>>=1,a=a*a%p)
if(b&1)
s=s*a%p;
return s;
}
int w[1010];
int w2[1010];
ll n;
int m,k,cnt;
ll a[200010];
int d[100];
int c[100];
ll e[100];
int all;
void dft(int *a,int n)
{
static int b[100];
for(int i=0;i<n;i++)
b[i]=0;
for(int i=0;i<n;i++)
for(int j=0;j<n;j++)
b[i]=(b[i]+(ll)a[j]*w[i*j])%p;
for(int i=0;i<n;i++)
a[i]=b[i];
}
void idft(int *a,int n)
{
static int b[100];
for(int i=0;i<n;i++)
b[i]=0;
for(int i=0;i<n;i++)
for(int j=0;j<n;j++)
b[i]=(b[i]+(ll)a[j]*w2[i*j])%p;
int inv=fp(n,p-2);
for(int i=0;i<n;i++)
a[i]=(ll)b[i]*inv%p;
}
void getfactor(int x,ll s)
{
if(x>m)
{
a[++cnt]=s;
return;
}
for(int i=0;i<=d[x];i++,s*=c[x])
getfactor(x+1,s);
}
int f[50000][20];
int g[50000][20];
void gao(int x,int y,int s)
{
if(x==0)
{
// for(int i=0;i<k;i++)
// f[y][i]=b[s][i];
// dft(f[y],k);
// idft(f[y],k);
return;
}
gao(x-1,y,s);
gao(x-1,y+(1<<(x-1)),s|(1<<(x-1)));
for(int i=y+(1<<(x-1));i<y+(1<<x);i++)
for(int j=0;j<k;j++)
{
g[i][j]=f[i][j];
f[i][j]=f[i-(1<<(x-1))][j];
// f[i][j]=1;
}
for(int i=y;i<y+(1<<(x-1));i++)
for(int j=0;j<k;j++)
// g[i][j]=1;
g[i][j]=0;
for(int i=y;i<y+(1<<x);i++)
for(int j=0;j<k;j++)
f[i][j]=(f[i][j]+g[i][j]+(ll)f[i][j]*g[i][j])%p;
}
void add(int x,int y)
{
static int c[20];
for(int i=0;i<k;i++)
c[i]=f[x][i];
for(int i=0;i<k;i++)
f[x][(i+y)%k]=(f[x][(i+y)%k]+c[i])%p;
f[x][y]=(f[x][y]+1)%p;
}
void solve()
{
scanf("%lld%d",&n,&k);
w[0]=1;
ll rt=fp(root,(p-1)/k);
for(int i=1;i<=1000;i++)
w[i]=(ll)w[i-1]*rt%p;
for(int i=0;i<=1000;i++)
w2[i]=fp(w[i],p-2);
m=0;
for(int i=2;i<=100;i++)
if(n%i==0)
{
m++;
c[m]=i;
d[m]=0;
e[m]=1;
while(n%i==0)
{
n/=i;
d[m]++;
e[m]*=i;
}
}
cnt=0;
getfactor(1,1);
memset(f,0,sizeof f);
for(int i=1;i<=cnt;i++)
{
int s=0;
for(int j=1;j<=m;j++)
if(a[i]%e[j]==0)
s|=1<<(j-1);
add(s,a[i]%k);
}
for(int i=0;i<1<<m;i++)
{
f[i][0]++;
dft(f[i],k);
}
// gao(m,0,0);
for(int i=1;i<1<<m;i<<=1)
for(int j=0;j<1<<m;j++)
if(j&i)
for(int l=0;l<k;l++)
f[j][l]=(ll)f[j][l]*f[j-i][l]%p;
// for(int j=1;j<1<<m;j<<=1)
// for(int l=0;l<1<<m;l++)
// if(j&l)
// for(int i=0;i<k;i++)
// f[l][i]=(f[l][i]-f[l-j][i])%p;
int all=(1<<m)-1;
for(int i=0;i<all;i++)
{
int v=1;
for(int j=0;j<m;j++)
if(!((i>>j)&1))
v=-v;
for(int j=0;j<k;j++)
f[all][j]=(f[all][j]+v*f[i][j])%p;
}
idft(f[all],k);
ll ans=f[all][0];
ans=(ans+p)%p;
printf("%lld\n",ans);
}
int main()
{
#ifndef ONLINE_JUDGE
freopen("a.in","r",stdin);
freopen("a.out","w",stdout);
#endif
int t;
scanf("%d",&t);
while(t--)
solve();
return 0;
}
【XSY2753】Lcm 分治 FWT FFT 容斥的更多相关文章
- HDU 4609 3-idiots FFT+容斥
一点吐槽:我看网上很多分析,都是在分析这个题的时候,讲了半天的FFT,其实我感觉更多的把FFT当工具用就好了 分析:这个题如果数据小,统计两个相加为 x 的个数这一步骤(这个步骤其实就是求卷积啊),完 ...
- spoj TSUM - Triple Sums fft+容斥
题目链接 首先忽略 i < j < k这个条件.那么我们构造多项式$$A(x) = \sum_{1现在我们考虑容斥:1. $ (\sum_{}x)^3 = \sum_{}x^3 + 3\s ...
- 【BZOJ 3771】 3771: Triple (FFT+容斥)
3771: Triple Time Limit: 20 Sec Memory Limit: 64 MBSubmit: 547 Solved: 307 Description 我们讲一个悲伤的故事. ...
- BZOJ 3771: Triple(FFT+容斥)
题面 Description 我们讲一个悲伤的故事. 从前有一个贫穷的樵夫在河边砍柴. 这时候河里出现了一个水神,夺过了他的斧头,说: "这把斧头,是不是你的?" 樵夫一看:&qu ...
- 模板—点分治A(容斥)(洛谷P2634 [国家集训队]聪聪可可)
洛谷P2634 [国家集训队]聪聪可可 静态点分治 一开始还以为要把分治树建出来……• 树的结构不发生改变,点权边权都不变,那么我们利用刚刚的思路,有两种具体的分治方法.• A:朴素做法,直接找重心, ...
- SPOJ TSUM Triple Sums(FFT + 容斥)
题目 Source http://www.spoj.com/problems/TSUM/ Description You're given a sequence s of N distinct int ...
- SPOJ - TSUM 母函数+FFT+容斥
题意:n个数,任取三个加起来,问每个可能的结果的方案数. 题解:构造母函数ABC,比如现在有 1 2 3 三个数.则 其中B表示同一个数加两次,C表示用三次.然后考虑去重. A^3表示可重复地拿三个. ...
- BZOJ.3771.Triple(母函数 FFT 容斥)
题目链接 \(Description\) 有\(n\)个物品(斧头),每个物品价值不同且只有一件,问取出一件.两件.三件物品,所有可能得到的价值和及其方案数.\((a,b),(b,a)\)算作一种方案 ...
- 【LOJ#575】【LNR#2】不等关系(容斥,动态规划,分治FFT)
[LOJ#575][LNR#2]不等关系(容斥,动态规划,分治FFT) 题面 LOJ 题解 一个暴力\(dp\),设\(f[i][j]\)表示考虑完了前\(i\)个位置,其中最后一个数在前面所有数中排 ...
随机推荐
- Golang的类型断言
类型断言即判断一个变量是不是某个类型的实例,这个经常用在判断接口的类型,基本的格式: y, ok := x.(type) 上面的语句用于判断变量x是不是type类型,有两种结果: x是type类型的变 ...
- jenkins+maven+tomcat集群发布
jenkins+Gitlab+maven+tomcat实现自动集成.打包.部署 - 李栋94 - 博客园https://www.cnblogs.com/lidong94/p/7427923.html ...
- js判断一个对象{}是否为空对象,没有任何属性
// js如何判断一个对象{}是否为空对象,没有任何属性 if (typeof model.rows === "object" && !(model.rows in ...
- scp复制文件到远程服务器上
scp -P 22 -r 2028792_www root@120.79.172.45:/usr/local/src Linux scp命令用于Linux之间复制文件和目录. scp是 secure ...
- Oracle通过ROWID删除表中重复记录
-- 1 通过ROWID删除T1表里重复的记录 SELECT ROWID,A,B--DELETE FROM T1WHERE ROWID IN ( SELECT RD FROM ( ...
- 阿里巴巴 Java开发手册1.4.0
<阿里巴巴Java开发手册1.4.0>下载地址: 下载地址:https://102.alibaba.com/downloadFile.do?file=1528269849853/Java_ ...
- Struts2——通配符,Action Method_DMI
Action wildcard 通配符(配置量降到最低) 使用通配符,就是为了配置简便,但是一定遵守“约定优于配置”原则,约定就是做项目之前最好事先与项目组的人或是自己规定好命名规则. 多个* {1 ...
- python之路--MySQL 库,表的详细操作
一 库操作 数据库命名规则 可以由数字,字母,下划线,@, #, $ 区分大小写 唯一性 不能使用关键字如 create select 不能单独使用数字 最长128位 # 这些是对上次的补充. 二 ...
- python学习笔记(11)--测验3: Python基础语法(下) (第7周)
斐波那契数列计算 B 描述 斐波那契数列如下: F(0) = 0, F(1) = 1 F(n) = F(n-1) + F(n-2) 编写一个计算斐波那契数列的函数,采用递归方式,输出不超过n的所有斐波 ...
- 无法启动此程序,因为计算机丢失MSVCR110.dll
解决方法下: 1.首先是打开浏览器,在浏览器的地址栏里输入 http://www.microsoft.com/zh-CN/download/details.aspx?id=30679 这个网址来进行相 ...