题目

暴力\(dp\)好有道理啊

于是我们来个反演吧

考虑一个体积序列\(\{v_1,v_2,...v_n\}\)能凑成\(w\)的条件

显然是

\[v_1x_1+v_2x_2+...+v_nx_n\equiv w(mod\ P)
\]

根据贝祖定理,我们知道上面的同余方程有解的条件是

\[gcd(v_1,v_2...v_n,P)|w
\]

现在题目转化成了求有多少个子集满足\(gcd(v_1,v_2..v_n,P)|w\)了

显然一个暴力\(dp\)记录一下当前\(gcd\)转移就好了,由于\(gcd\)必然是\(P\)的约数,\(P\)的约数是\(\sqrt{P}\)级别,我们我们只存这些有用的状态,之后每次暴力转移就好了,复杂度\(O(n\sqrt{P})\)就没了

但是我们来反演一波吧

设\(F(n)\)表示有多少个子集的\(gcd\)是\(n\)的倍数,\(f(n)\)表示有多少个子集的\(gcd\)是\(n\)

非常显然存在

\[F(n)=\sum_{n|d}f(d)
\]

反演可得

\[f(n)=\sum_{n|d}F(d)\mu(\frac{d}{n})
\]

\(F(n)\)我们随便搞一搞就好了,若有\(s\)个数都有\(n\)这个约数,那么\(F(n)=2^s-1\)

之后反演得到\(f\),这里直接枚举\(P\)的约数,复杂度是\(O(\sigma^2(P))\),但是我们还需要求一个\(\mu\),配合线筛预处理还是挺快的

最后我们的答案是

\[Ans(n)=\sum_{d|n}f(d)
\]

我们累加一遍就好了

复杂度很玄学,毕竟有一个\(\mu\)需要求,可能是\(O(\sigma^2(P)\sqrt{P})\)

代码

#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<cmath>
#define re register
#define LL long long
#define max(a,b) ((a)>(b)?(a):(b))
#define min(a,b) ((a)<(b)?(a):(b))
const int maxn=1e6+5;
const int mod=1e9+7;
const int M=2e5+5;
inline int read() {
char c=getchar();int x=0;while(c<'0'||c>'9') c=getchar();
while(c>='0'&&c<='9') x=(x<<3)+(x<<1)+c-48,c=getchar();return x;
}
int d[M],F[M],ans[M],f[M],g[M];
int pw[maxn],a[maxn];
int n,m,P,Sqr,tot;
int is[M],p[M>>1],mu[M],id2[M],id1[M];
inline int find(int x) {return (x<=Sqr)?id1[x]:id2[P/x];}
inline int gcd(int a,int b) {return !b?a:gcd(b,a%b);}
inline void Init() {
is[1]=1;mu[1]=1;
for(re int i=2;i<=Sqr;i++) {
if(!is[i]) p[++p[0]]=i,mu[i]=-1;
for(re int j=1;j<=p[0]&&p[j]*i<=Sqr;j++) {
is[p[j]*i]=1;
if(i%p[j]==0) break;
mu[p[j]*i]=-1*mu[i];
}
}
for(re int i=1;i<=tot;i++)
if(d[i]<=Sqr) id1[d[i]]=i;
else id2[P/d[i]]=i;
}
inline int getMu(int x) {
if(x<=Sqr) return mu[x];
int now=1,t=x;
for(re int i=1;p[i]*p[i]<=t&&i<=p[0];i++)
if(x%p[i]==0) {
x/=p[i];
if(x%p[i]==0) return 0;
now=-1*now;
if(x==1) break;
}
if(x!=1) now=-1*now;
return now;
}
int main() {
n=read(),m=read(),P=read();
for(re int i=1;i*i<=P;i++)
if(P%i==0) {
d[++tot]=i;
if(i!=P/i) d[++tot]=P/i;
}
pw[0]=1;
for(re int i=1;i<=n;i++) pw[i]=(pw[i-1]+pw[i-1])%mod;
for(re int i=1;i<=n;i++) a[i]=read();
std::sort(d+1,d+tot+1);
Sqr=std::sqrt(P);Init();
for(re int i=1;i<=n;i++) {
int k=gcd(a[i],P);
g[find(k)]++;
}
for(re int i=1;i<=tot;i++)
for(re int j=i;j<=tot;j++) {
if(d[j]%d[i]) continue;
F[i]+=g[j];
}
for(re int i=1;i<=tot;i++) F[i]=pw[F[i]]-1;
for(re int i=1;i<=tot;i++)
for(re int j=i;j<=tot;j++) {
if(d[j]%d[i]) continue;
f[i]+=F[j]*getMu(d[j]/d[i]);
f[i]%=mod;
f[i]=(f[i]+mod)%mod;
}
for(re int i=1;i<=tot;i++)
for(re int j=i;j<=tot;j++) {
if(d[j]%d[i]) continue;
ans[j]=(ans[j]+f[i])%mod;
}
for(re int i=1;i<=m;i++) {
int x=read();
int k=gcd(x,P);
printf("%d\n",ans[find(k)]);
}
return 0;
}

[HAOI2018]奇怪的背包的更多相关文章

  1. 【BZOJ5302】[HAOI2018]奇怪的背包(动态规划,容斥原理)

    [BZOJ5302][HAOI2018]奇怪的背包(动态规划,容斥原理) 题面 BZOJ 洛谷 题解 为啥泥萌做法和我都不一样啊 一个重量为\(V_i\)的物品,可以放出所有\(gcd(V_i,P)\ ...

  2. [HAOI2018]奇怪的背包 (DP,数论)

    [HAOI2018]奇怪的背包 \(solution:\) 首先,这一道题目的描述很像完全背包,但它所说的背包总重量是在模P意义下的,所以肯定会用到数论.我们先分析一下,每一个物品可以放无数次,可以达 ...

  3. 洛谷 P4495 [HAOI2018]奇怪的背包 解题报告

    P4495 [HAOI2018]奇怪的背包 题目描述 小\(C\)非常擅长背包问题,他有一个奇怪的背包,这个背包有一个参数\(P\),当他 向这个背包内放入若干个物品后,背包的重量是物品总体积对\(P ...

  4. BZOJ5302: [Haoi2018]奇怪的背包

    BZOJ5302: [Haoi2018]奇怪的背包 https://lydsy.com/JudgeOnline/problem.php?id=5302 分析: 方程\(\sum\limits_{i=1 ...

  5. BZOJ5302 [HAOI2018]奇怪的背包 【数论 + dp】

    题目 小 CC 非常擅长背包问题,他有一个奇怪的背包,这个背包有一个参数 PP ,当他 向这个背包内放入若干个物品后,背包的重量是物品总体积对 PP 取模后的结果. 现在小 CC 有 nn 种体积不同 ...

  6. haoi2018奇怪的背包题解

    题目传送门:https://www.lydsy.com/JudgeOnline/problem.php?id=5302 对于一个物品,设它体积为v,那么,在背包参数为p的情况下,它能达到gcd(v,p ...

  7. bzoj 5302: [Haoi2018]奇怪的背包

    Description Solution 首先 \(v_1,v_2,v_3...v_n,P\) 能够构成的最小数是 \(gcd(P,v_1,v_2,v_3...v_n)\) 然后 \(gcd(P,v_ ...

  8. Luogu4495 [HAOI2018] 奇怪的背包 【扩展欧几里得算法】

    题目分析: 首先打个暴力求一下$10^9$以内因子最多的数的因子个数,发现只有$1344$个. 由于有$ax+by=k*(a,b)$和2017年noip的结论,所以我们可以发现对于任意多个数$a_1, ...

  9. BZOJ5302 HAOI2018奇怪的背包(动态规划)

    由裴蜀定理,子集S有解当且仅当gcd(S,P)|w. 一个显然的dp是设f[i][j]为前i个数gcd为j的选取方案.注意到这里的gcd一定是P的约数,所以状态数是n√P的.然后可以通过这个得到gcd ...

随机推荐

  1. [javaSE] 数组(排序-冒泡排序)

    两层嵌套循环,外层控制循环次数,内层循环进行比较 for(int x=0;x<arr.length-1;x++){ for(int y=0;y<arr.length;y++){ if(ar ...

  2. 工程中添加工程依赖 Xcode iOS

    有时我们需要在一个主工程中添加其他的子工程,用来对子工程进行编写修改或者是利用子工程中的库文件等等操作,这时候我们需要用到工程的嵌套.   步骤:(看图说话)   1.新建主工程,名为TestTTTT ...

  3. SpringBoot集成Jersey

    SpringBoot集成Jersey 添加依赖 <dependency> <groupId>org.springframework.boot</groupId> & ...

  4. gRPC版本的 Google APIs

    gRPC将是未来google所有客户端的库标准(DevoxxFR), 这句话的出处: https://twitter.com/chanezon/status/585724143003402240    ...

  5. Centos7宽带连接

    网上大多教程都是虚拟机上实现宽带连接的,但是实际有差别 装完系统最头疼的就是宽带连接 转自:centos创建宽带连接-EnchanterBlue-ChinaUnix博客 http://blog.chi ...

  6. Debian Gun/linux基本用法

    添加软件源:vim /etc/apt/sources.list 在文本中添加如下内容:deb http://mirrors.163.com/debian/ stretch main non-free ...

  7. Error:Execution failed for task ':app:transformClassesWithJarMergingForDebug

    这几天eclipse 项目迁移 android studio Error:Execution failed for task ':app:transformClassesWithJarMergingF ...

  8. ubuntu16.04安装网易云音乐

    源网址 对于网易,我只服云音乐,业界良心,用过的人都知道.我最喜欢的就是歌曲的评论功能,还有朋友圈子.里面有很多好段子,还有很多的好故事,基本上,不是分手,就是回忆初恋,还有吐槽的.我认为音乐带给人的 ...

  9. 【Java】操作Sqlite数据库

    首先在https://github.com/xerial/sqlite-jdbc下载jar包 import java.sql.Connection; import java.sql.DriverMan ...

  10. mocha、chai、sinon和istanbul实现100%单元测试覆盖率

    敏捷软件开发中,最重要实践的就是测试驱动开发,在单元测试层面,我们试着实现一个重要的指标就是测试覆盖率.测试覆盖率衡量我们的代码是否已经全部被测试到了. 但是指标本身不是目的,借助测试覆盖率检查,我们 ...