【XSY3042】石像 拓扑排序 状压DP 洲阁筛
题目大意
有 \(n\) 个整数 \(a_1,a_2,\ldots,a_n\),每个数的范围是 \([1,m]\)。还有 \(k\) 个限制,每个限制 \(x_i,y_i\) 表示 \(a_{x_i}\leq a_{y_i}\)。
问有多少种不同的情况,以及所有情况中 \({\sigma_0(\gcd(a_1,a_2,\ldots,a_n))}^3\) 的和。
\(n\leq 20,m\leq {10}^{10}\)
题解
记 \(f(x)\) 为当 \(m=x\) 时第一问的答案。
记 \(g(x)\) 为当 \(a_1,a_2,\ldots,a_n\) 有 \(x\) 种不同的值时第一问的答案。
\(g(x)\) 要怎么求呢?
tarjan 求强连通分量,然后缩点,状压DP。
直接枚举子集是 \(O(n3^n)\) 的。
因为缩点后是一个 DAG,所以按拓扑序来转移就好了。
设 \(h_{i,j,S}\) 为 当前考虑的值为 \(i\),正在考虑 \(a_j\) 这个数,已经确定数的集合为 \(S\) 的方案数。
每次决定 \(a_j\) 这个数的值是不是 \(i\) 就可以了。
时间复杂度:\(O(n^22^n)\)
\(f(x)\) 要怎么求呢?
注意到 \(a_1,a_2,\ldots,a_n\) 最多只有 \(n\) 种不同的值,所以可以用 \(g(1),g(2),\ldots,g(n)\) 计算出 \(f(x)\):
\]
求组合数时要记下 \(2\) 的次数和非 \(2\) 的倍数的乘积两部分。
或者你求出前 \(O(n)\) 项然后拉格朗日插值也是可以的。
这样就求出第一问的答案了。
时间复杂度:\(O(n)\)
那第二问要怎么求呢?
&\sum_{a_1=1}^m\sum_{a_2=1}^m\cdots\sum_{a_n=1}^m\sigma_0({\gcd(a_1,a_2,\ldots,a_n)}^3)\\
=&\sum_{i=1}^m\sigma_0(i^3)^3\sum_{a_1=1}^m\sum_{a_2=1}^m\cdots\sum_{a_n=1}^m[\gcd(a_1,a_2,\ldots,a_n)=i]\\
=&\sum_{i=1}^m(\sum_{j\mid i}\sigma_0(j^3)^3\mu(\frac{i}{j}))\sum_{a_1=1}^m\sum_{a_2=1}^m\cdots\sum_{a_n=1}^m[i\mid\gcd(a_1,a_2,\ldots,a_n)]\\
=&\sum_{i=1}^m(\sum_{j\mid i}\sigma_0(j^3)^3\mu(\frac{i}{j}))f(\lfloor\frac{m}{i}\rfloor)
\end{align}
\]
那么前面那部分要怎么求呢?
容易发现 \(h(n)=\sum_{d\mid n}\sigma_0(d^3)^3\mu(\frac{n}{d})\) 是一个积性函数,满足
h(1)&=1\\
h(p)&=1\times (-1)+4^3\times 1=63\\
h(p^c)&={(3(c-1)+1)}^3(-1)+{(3c+1)}^3(1)\\
&=(27c^3+27c^2+9c+1)-(27c^2-54c^2+36c-8)\\
&=81c^2-27c+9
\end{align}
\]
所以可以大力洲阁筛/min_25筛求。
可能需要卡一下常。
时间复杂度:\(O(n^22^n+n\sqrt m+\frac{m^\frac{3}{4}}{\log m})\)
代码
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cstdlib>
#include<ctime>
#include<utility>
#include<cmath>
#include<functional>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
void sort(int &a,int &b)
{
if(a>b)
swap(a,b);
}
void open(const char *s)
{
#ifndef ONLINE_JUDGE
char str[100];
sprintf(str,"%s.in",s);
freopen(str,"r",stdin);
sprintf(str,"%s.out",s);
freopen(str,"w",stdout);
#endif
}
int rd()
{
int s=0,c,b=0;
while(((c=getchar())<'0'||c>'9')&&c!='-');
if(c=='-')
{
c=getchar();
b=1;
}
do
{
s=s*10+c-'0';
}
while((c=getchar())>='0'&&c<='9');
return b?-s:s;
}
void put(int x)
{
if(!x)
{
putchar('0');
return;
}
static int c[20];
int t=0;
while(x)
{
c[++t]=x%10;
x/=10;
}
while(t)
putchar(c[t--]+'0');
}
int upmin(int &a,int b)
{
if(b<a)
{
a=b;
return 1;
}
return 0;
}
int upmax(int &a,int b)
{
if(b>a)
{
a=b;
return 1;
}
return 0;
}
int fp(int a,ll b)
{
int s=1;
for(;b;b>>=1,a*=a)
if(b&1)
s*=a;
return s;
}
namespace gao1
{
const int N=30;
int n,m;
vector<int> g[N],g2[N];
int lx[N*N],ly[N*N];
int dfn[N],low[N],b[N],st[N],top,c[N],ti,ccnt;
int f[1<<20],a[N];
int s[N];
int d[N][N];
int inv[N],pw[N];
void dfs(int x)
{
dfn[x]=low[x]=++ti;
st[++top]=x;
b[x]=1;
for(auto v:g[x])
if(b[v]!=2)
{
if(!b[v])
dfs(v);
low[x]=min(low[x],low[v]);
}
if(low[x]>=dfn[x])
{
ccnt++;
int v;
do
{
v=st[top--];
b[v]=2;
c[v]=ccnt;
}
while(v!=x);
}
}
void add(int &a,int b)
{
a+=b;
}
void gao()
{
scanf("%d",&m);
for(int i=1;i<=m;i++)
{
scanf("%d%d",&lx[i],&ly[i]);
g[lx[i]].push_back(ly[i]);
}
for(int i=1;i<=n;i++)
if(!b[i])
dfs(i);
for(int i=1;i<=m;i++)
if(c[lx[i]]!=c[ly[i]])
{
g2[c[lx[i]]].push_back(c[ly[i]]);
a[c[lx[i]]]|=1<<(c[ly[i]]-1);
}
n=ccnt;
f[0]=1;
for(int i=1;i<=n;i++)
{
for(int j=1;j<=n;j++)
for(int k=0;k<1<<n;k++)
if(!((k>>(j-1))&1)&&(k&a[j])==a[j])
add(f[k|(1<<(j-1))],f[k]);
s[i]=f[(1<<n)-1];
}
for(int i=0;i<=n;i++)
{
d[i][0]=1;
for(int j=1;j<=i;j++)
d[i][j]=d[i-1][j-1]+d[i-1][j];
}
for(int i=n;i>=1;i--)
{
for(int j=i-1;j>=1;j--)
s[i]+=((i-j)&1?-1:1)*d[i][j]*s[j];
}
for(int i=1;i<=n;i++)
{
int x=i;
while(!(x&1))
{
pw[i]++;
x>>=1;
}
inv[i]=fp(x,(1ll<<31)-1);
}
}
int query(ll x)
{
int res=0;
int prod=1;
int num=0;
for(int i=1;i<=n&&i<=x;i++)
{
ll y=x-i+1;
while(num<=20&&!(y&1))
{
y>>=1;
num++;
}
num-=pw[i];
prod*=inv[i];
prod*=y;
res+=(prod<<num)*s[i];
}
return res;
}
}
namespace gao2
{
const int M=100010;
const int m=100000;
ll n;
int pri[M],b[M],cnt;
int f1[M],f2[M],s1[M],s2[M];
void init()
{
for(int i=2;i<=m;i++)
{
if(!b[i])
pri[++cnt]=i;
for(int j=1;j<=cnt&&i*pri[j]<=m;j++)
{
b[i*pri[j]]=1;
if(i%pri[j]==0)
break;
}
}
}
void gao()
{
init();
int mx=n/(m+1);
for(int i=2;i<=m;i++)
f1[i]=i-1;
for(int i=1;i<=mx;i++)
f2[i]=n/i-1;
for(int i=1;i<=cnt;i++)
{
int x=pri[i];
int y=f1[x-1];
int mx1=min(n/x/(m+1),n/x/x);
int mx2=min((ll)mx,n/x/x);
ll p2=(ll)pri[i]*pri[i];
ll o=n/x;
for(int j=1;j<=mx1;j++)
f2[j]-=f2[j*x]-y;
for(int j=mx1+1;j<=mx2;j++)
f2[j]-=f1[o/j]-y;
for(int j=m;j>=p2;j--)
f1[j]-=f1[j/x]-y;
}
for(int i=2;i<=m;i++)
{
f1[i]*=63;
s1[i]=f1[i];
}
for(int i=1;i<=mx;i++)
{
f2[i]*=63;
s2[i]=f2[i];
}
for(int i=cnt;i>=1;i--)
{
int x=pri[i];
int mx1=min((ll)mx,n/x/x);
for(int j=1;j<=mx1;j++)
{
s2[j]-=63;
ll x2=n/j/x;
for(int k=1;x2;x2/=x,k++)
s2[j]+=((x2<=m?s1[x2]-f1[min((int)x2,x)]:s2[n/x2]-f1[x])+1)*(81*k*k-27*k+9);
}
ll mn=(ll)pri[i]*pri[i];
for(int j=m;j>=mn;j--)
{
s1[j]-=63;
int x2=j/x;
for(int k=1;x2;x2/=x,k++)
s1[j]+=(s1[x2]-f1[min(x2,x)]+1)*(81*k*k-27*k+9);
}
}
}
int query(ll x)
{
if(x<=0)
return 0;
return (x<=m?s1[x]:s2[n/x])+1;
}
}
int main()
{
open("statue");
scanf("%d%lld",&gao1::n,&gao2::n);
gao1::gao();
gao2::gao();
int ans=0;
ll n=gao2::n;
for(ll i=1,j;i<=n;i=j+1)
{
j=n/(n/i);
ans+=(gao2::query(j)-gao2::query(i-1))*gao1::query(n/i);
}
printf("%u %u\n",gao1::query(n),ans);
return 0;
}
【XSY3042】石像 拓扑排序 状压DP 洲阁筛的更多相关文章
- HDU 4917 Permutation(拓扑排序 + 状压DP + 组合数)
题目链接 Permutation 题目大意:给出n,和m个关系,每个关系为ai必须排在bi的前面,求符合要求的n的全排列的个数. 数据规模为n <= 40,m <= 20. 直接状压DP空 ...
- UOJ426. 【集训队作业2018】石像 [状压DP,min_25筛]
UOJ 思路 (以下思路是口胡,但正确性大概没有问题.) 刚学min_25筛的时候被麦老大劝来做这题? 结果发现这题是个垃圾二合一?? 简单推一下式子可以得到答案就是这个: \[ \sum_{T=1} ...
- JZYZOJ 1388 旅游 状压dp
http://172.20.6.3/Problem_Show.asp?id=1388 求拓扑排序方案数 状压dp,最开始以为是拓扑排序加数论或者搜索,没想到是状压dp,突然气死.jpg: 完全没有 ...
- LGTB与序列 状压dp
考试一看我就想到了状压dp.当时没有想到素数,以为每一位只有0~9这些数,就开始压了.后来发现是小于30,然后改到了15,发现数据一点不给面子,一个小点得数都没有,完美爆零.. 考虑到bi最多变成58 ...
- CF1103D Professional layer 状压DP
传送门 首先对于所有数求gcd并求出这个gcd含有的质因子,那么在所有数中,只有这一些质因子会对答案产生影响,而且对于所有的数,每一个质因子只会在一个数中被删去. 质因子数量不会超过\(11\),所以 ...
- AGC 016 F - Games on DAG(状压dp)
题意 给你一个有 \(n\) 个点 \(m\) 条边 DAG 图,点的标号和拓扑序一致. 现在有两个人进行博弈,有两个棋子分别在 \(1, 2\) 号点上,需要不断移动到它指向的点上. 如果当前两个点 ...
- Codeforces 429C Guess the Tree(状压DP+贪心)
吐槽:这道题真心坑...做了一整天,我太蒻了... 题意 构造一棵 $ n $ 个节点的树,要求满足以下条件: 每个非叶子节点至少包含2个儿子: 以节点 $ i $ 为根的子树中必须包含 $ c_i ...
- 【BZOJ2064】分裂 状压DP
[BZOJ2064]分裂 Description 背景:和久必分,分久必和...题目描述:中国历史上上分分和和次数非常多..通读中国历史的WJMZBMR表示毫无压力.同时经常搞OI的他把这个变成了一个 ...
- Lightoj1018 【状压DP】
题意: 给你一个坐标系,坐标系上有N个点,然后让你用最少的线,把这些点全部连起来: 思路: (1+15)*15/2=90条线: 然后线上有哪些点就可以知道: 然后按照线上点的个数排序,然后删掉这个线, ...
随机推荐
- 混用Int与IntPtr导致GetProcAddress始终返回null
注意NET某些类型在不同平台上的长度 NET中用句柄用得最多的是在DLLIMPORT中,混用int与intptr可能会导致某些API声明在X64平台中表现不正常,如 [DllImport(&quo ...
- Dynamics 365 Online-Security Updates On TLS 1.2
不仅仅是Dynamics 365,现在MS许多产品都开始主推使用TLS1.2,所以在日常开发中,需要注意这部分的改动. 如果访问某个服务,出现错误信息类似于“Could not create SSL/ ...
- 互联网安全中心(CIS)发布新版20大安全控制
这些最佳实践最初由SANS研究所提出,名为“SANS关键控制”,是各类公司企业不可或缺的安全控制措施.通过采纳这些控制方法,公司企业可防止绝大部分的网络攻击. 有效网络防御的20条关键安全控制 对上一 ...
- 跨平台 webapp 开发技术之 Hybrid App
前所知的 APP 开发模式有三种: 基于操作系统运行的 APP -> Native App,侧重于原生开发,用户体验好,需要安装才会升级 基于浏览器运行的 APP -> Web App,侧 ...
- C#如何生成JSON字符串提交给接口(服务器)
C#如何生成JSON字符串提交给接口(服务器) 第一章:C#如何拿到从http上返回JSON数据? 第二章:C#如何解析JSON数据?(反序列化对象) 第三章:C#如何生成JSON字符串?(序列化 ...
- python开发规范和(configparser、random模块)
目录结构: bin:存放程序入口,程序启动文件. conf:存放配置文件,配置文件主要是一些全局变量,路径信息等. core:程序核心文件,不涉及到业务逻辑. app:存放和系统业务相关的逻辑. db ...
- python3 int(整型)
__abs__(返回绝对值) n = -5 print(n.__abs__()) #输出:5 __add__(相加,运算符:+) n = 3 print(n.__add__(5)) #输出:8 __a ...
- SQLServer之修改索引
使用SSMS数据库管理工具修改索引 使用表设计器修改索引 表设计器可以修改任何类型的索引,修改索引的步骤相同,本示例为修改唯一非聚集索引. 1.连接数据库,选择数据库,选择数据表->右键点击表- ...
- isinstance_issubclass
isinstance和issubclass分别是检验是不是对象是不是类的实例化,和子类是不是这个父类的子类 class A:pass class B(A):pass a = A() print(isi ...
- 关于vue-router中点击浏览器前进后退地址栏路由变了但是页面没跳转
情景: 在进行正常页面跳转操作后(页面A跳转到页面B),点击浏览器的左上角的‘后退’按钮,点击后,可以看到url地址已经发生了变化(url由页面B变为页面A),hash值也已经是上一页的路由,但是浏览 ...