【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条线: 然后线上有哪些点就可以知道: 然后按照线上点的个数排序,然后删掉这个线, ...
随机推荐
- (详细)华为荣耀V10 BKL-AL00的USB调试模式在哪里打开的步骤
每当我们使用pc连接安卓手机的时候,如果手机没有开启Usb开发者调试模式,pc则无法成功检测到我们的手机,有时我们使用的一些功能比较强的的app比如以前我们使用的一个app引号精灵,老版本就需要开启U ...
- foaf
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:rdfs="http: ...
- wap2app(五)-- 微信授权登录以及踩过的坑
应用场景是:用Hbuilder打包app,在app中点击微信授权登录或者某一操作,调起微信授权登录,用户授权后拿到用户信息. 一.登录插件配置 先配置微信登录参数 appid和appsecret,在m ...
- Ubuntu 18.04 安装博通(Broadcom)无线网卡驱动
目录 Ubuntu 18.04 安装博通(Broadcom)无线网卡驱动 Package gcc is not configured yet. 解决办法 history history | grep ...
- Python3漏洞扫描工具 ( Python3 插件式框架 )
目录 Python3 漏洞检测工具 -- lance screenshot requirements 关键代码 usage documents README Guide Change Log TODO ...
- docker-compose编排项目redis容器实现主从复制
一.pip管理工具安装 docker-compose是python项目,所以安装需要通过python下的包管理工具pip安装.一般linux服务器都会预安装有python环境,所以优先检查python ...
- python:过滤字符串中的字母数字特殊符号
今天遇到的字符串处理的问题,记录一下方便使用 str1 = input('请输入一个字符:') #初始化字符.数字.空格.特殊字符的计数 lowercase = 0 uppercase = 0 num ...
- 详解 CORS跨域的几种不同实现方式
CORS 定义 CORS是一个W3C标准,全称是"跨域资源共享"(Cross-origin resource sharing),它允许浏览器向跨源服务器,发出XMLHttpRequ ...
- Django-CRM项目学习(二)-模仿admin实现stark
开始今日份整理 1.stark模块基本操作 1.1 stark模块的启动 保证django自动的加载每一个app下的stark.py文件 创建django项目,创建stark项目,start app ...
- Linux内核入门到放弃-网络-《深入Linux内核架构》笔记
网络命名空间 struct net { atomic_t count; /* To decided when the network * namespace should be freed. */ a ...