题目

暴力\(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. Visual Studio 2017 系统发布部署服务器教程

    Visual Studio 2017 系统发布部署服务器教程       一.公司网站部署 --- 第一档 _Visual Studio 2017 发布网站系统教程  二.公司网站部署 --- 第二档 ...

  2. [javaSE] 集合框架(共性方法)

    Collection接口的常用方法 add(),添加一个元素 addAll(),添加一组元素 clear(),清空 remove(),移除一个 removeAll(),移除一组 size(),元素个数 ...

  3. 三:Jquery-event

    一:jq中事件 1.页面载入事件 ready()方法 格式: $(document).ready(function(){}); $(function(){}); 2.绑定事件 click(),dblc ...

  4. java基础题目日常思考(持续更新)

    public static void main(String[] args) { Integer a = 0; count(a); System.out.println(a); // 问题: a 输出 ...

  5. vs2017调试源代码

    最近刚入职 ,带我得导师发给我一堆项目,什么云端和医院端,各种wcf服务.window服务和一些公共类库来回调用.搞得是迷迷糊糊,晕头转向.反正是一脸大萌比... 不过经过几个日日夜夜得不停奋战,大致 ...

  6. java图形界面之图形化按钮

    要将按钮图形化,只需创建一个ImageIcon对象,将图形路径赋予ImageIcon对象,然后将该对象传递给按钮即可. 此处涉及eclipse中图形的路径设置,包括(项目路径下.非项目路径下.相对路径 ...

  7. AGC008E:Next or Nextnext

    传送门 考虑转化成图论问题,\(i\) 向 \(p_i\) 连边,那么合法方案一定是形成了若干个简单环或自环 考虑一个环内的情况: 如果 \(a_i=p_i\),那么 \(i\) 向 \(a_i\) ...

  8. 如何解决css-子div设置margin-top后,父div与子div一起下移的bug?

    根据规范,一个盒子如果没有上补白(padding-top)和上边框(border-top),那么这个盒子的上边距会和其内部文档流中的第一个子元素的上边距重叠. 这是规范引起的普遍问题. 只要给父盒子设 ...

  9. 网络I/O模型--06异步I/O

    异步I/O (又称为 AIO )则是采用“订阅一通知”工作模式 : 即应用程序向操作系统注册I/O监听,然后继续做自己的事情.当操作系统发生I/O事件,并且准备好数据后 , 再主动通知应用程序,触发相 ...

  10. git 错误error: failed to push some refs to

    今天使用VSCODE 学习node.js,  想在git上push代码 于是在git上建立了一个私有的长裤, 连接后push代码时提示如下错误: error: failed to push some ...