题目

暴力\(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. Linux学习8-Linux常用命令(4)

    链接命令     命令名称:ln 命令英文原意:link 命令所在路径:/bin/ln 执行权限:所有用户 功能描述:生成链接文件 语法:ln 选项[-s][原文件] [目标文件] 选项: -s 创建 ...

  2. cf1000F. One Occurrence(线段树 set)

    题意 题目链接 Sol (真后悔没打这场EDU qwq) 首先把询问离线,预处理每个数的\(pre, nxt\),同时线段树维护\(pre\)(下标是\(pre\),值是\(i\)),同时维护一下最大 ...

  3. js-权威指南学习笔记15

    第十五章 脚本化文档 1.文档对象模型DOM是表示和操作HTML和XML文档内容的基础API. 2.Document.Element.Text是Node的子类. 3.查询文档的一个或多个元素有如下方法 ...

  4. 简单侧边栏js效果

    <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...

  5. opencv3.2.0形态学滤波之形态学梯度、顶帽、黑帽

    /*一.形态学梯度 (1)含义:是膨胀图和腐蚀图之差 (2)数学表达式:dst=morph-grad(src,element) =dilate(src,element) - erode(src,ele ...

  6. html History API

    History api 兼容性支持一下浏览器 为什么要使用History API 在AJAX给我们带来提高用户体验.减少HTTP连接数等好处的同时,也渐渐显露出一些不足之处,比如: 1.页面全是用aj ...

  7. Kubernetes核心概念简介

    本文将会简单介绍Kubernetes的核心概念.因为这些定义可以在Kubernetes的文档中找到,所以文章也会避免用大段的枯燥的文字介绍.相反,我们会使用一些图表(其中一些是动画)和示例来解释这些概 ...

  8. Git『Everything up-to-date』问题解决

    今天提交代码的时候遇到了一个小问题,这里解决了记下小记. 提交代码遇到『Everything up-to-date』 上网查了下,发现中文大多答非所问,少数能解决的并没有阐述原理,所以我写这篇文章记录 ...

  9. 解决提交项目到GitHub,报错Please tell me who you are的问题

    描述: 在第一次提交项目到GitHub时,出现了以下问题 看了一下错误原因:Run git config --global user.email "you@example.com" ...

  10. Storm并行度

    1.Storm并行度相关的概念 Storm集群有很多节点,按照类型分为nimbus(主节点).supervisor(从节点),在conf/storm.yaml中配置了一个supervisor有多个槽( ...