国际惯例的题面

首先我们进行一些相对显然的数学变化。

解释一下第二行的那个变形,如果一个数是ijk的因数,那么它一定能被分解成三部分分别是i,j,k的因数。
我们钦定一个质数只能在三部分的一个中出现。如果一个质数仅在ijk中的一个数中出现这样显然是对的,而在多个中出现的话,它贡献答案的次数为它出现的总次数+1次。
而考虑把ijk的乘积分解质因数,然后考虑每个质数的贡献,会发现每个质数贡献答案的次数恰好为它的次数+1次,所以这样是对的。
然后就是分析最后的这个公式了。
右边的三个小求和号里的东西显然可以大力nlog筛预处理一波,这样我们在知道lcm的时候能够O(1)求出这个求和号中的内容。
然后就是前面的东西了。
我们考虑枚举两个数,如果它们的lcm<=max(a,b,c)则相互连边,那么,对答案有贡献的显然就是图中的三元环了。
枚举三元环的话,我们显然有msqrt(m)的算法,其中m为边数。
这种做法就是把双向边都建成单向边,按照度数小的向大的点连或者反之(就像treap大根堆小根堆一样,只要一致了就行),然后沿着边暴力枚举三个点即可,复杂度就是是msqrt(m)了(别问我证明,我不会QAQ)。
考虑lcm比max(a,b,c)小的数对很少,所以我们这题可以......卡过去。
既然是卡过去显然就要卡常数了......
首先μ为0的数我们显然不用算是吧。
另外直接枚举三元环的细节太多(这题存在自环),于是我们先单独计算三个数相同的情况和三个数中有两个相同的情况。
存储边用vector存,在大量寻址的时候vector对缓存更加友好。
计算过程不用取模,最后输出再取模,因为答案不会超过long long(虽然听起来很没有道理),中间即使溢出了也没有关系,只要别溢出超过一轮就行了。
另外最重要的,当你枚举按照边了三个点u,v,w后,是否要计算w和u的lcm来判断两者间是否有边呢?
看起来是需要的,然而并不用!
因为我们连边是存在单调性的,所以我们最终枚举出的三元环一定是u->v->w,u->w的形式。
于是我们在枚举三个点的时候可以先遍历一下u的出边标记下所有可行的w,然后枚举u->v->w之后直接查询lcm就好啦!
于是这样写就跑的飞起了,在BZOJ和洛谷上都是rank1啦。

代码:

 #include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<cctype>
typedef long long int lli;
const int maxn=1e5+1e2,lim=1e5;
const int mod=1e9+; struct Edge { int tar,lcm; };
struct Node { int u,v,w; } ns[maxn*];
int mu[maxn];
lli fa[maxn],fb[maxn],fc[maxn],ans;
int deg[maxn],mem[maxn];
int a,b,c,n,m,ecnt;
std::vector<Edge> es[maxn]; inline int gcd(int x,int y) {
register int t;
while( t = x % y ) x = y , y = t;
return y;
}
inline void sieve() {
static int prime[maxn/],cnt;
static bool vis[maxn];
mu[] = ;
for(int i=;i<=lim;i++) {
if( !vis[i] ) prime[++cnt] = i , mu[i] = -;
for(int j=;j<=cnt&&(lli)i*prime[j]<=lim;j++) {
const int tar = i * prime[j];
vis[tar] = ;
if( i % prime[j] ) mu[tar] = -mu[i];
else break;
}
}
} inline void getf(lli* dst,int lim) {
for(int i=;i<=lim;i++) for(int j=i;j<=lim;j+=i) dst[i] += lim / j;
}
inline void calc_single_point() {
for(int i=;i<=m;i++) if( mu[i] ) ans += mu[i] * mu[i] * mu[i] * fa[i] * fb[i] * fc[i];
}
inline void pre_ring() {
for(int g=;g<=n;g++) for(int i=;i*g<=n;i++) if( mu[i*g] ) for(int j=i+;(lli)i*j*g<=n;j++) if( mu[j*g] && gcd(i,j) == ) {
const int u = i * g , v = j * g , w = i * j * g , pi = mu[u] * mu[u] * mu[v] , qi = mu[u] * mu[v] * mu[v];
if( w > n ) continue;
ans += pi * ( fa[u] * fb[w] * fc[w] + fa[w] * fb[u] * fc[w] + fa[w] * fb[w] * fc[u] );
ans += qi * ( fa[v] * fb[w] * fc[w] + fa[w] * fb[v] * fc[w] + fa[w] * fb[w] * fc[v] );
++deg[u] , ++deg[v] , ns[++ecnt] = (Node){u,v,w};
}
for(int i=;i<=ecnt;i++) {
if( deg[ns[i].u] < deg[ns[i].v] || ( deg[ns[i].u] == deg[ns[i].v] && ns[i].u < ns[i].v ) ) es[ns[i].u].push_back((Edge){ns[i].v,ns[i].w});
else es[ns[i].v].push_back((Edge){ns[i].u,ns[i].w});
}
}
inline void calc_ring() {
for(int i=;i<=n;i++) {
for(unsigned J=;J<es[i].size();J++) mem[es[i][J].tar] = es[i][J].lcm;
for(unsigned J=;J<es[i].size();J++) {
const int j = es[i][J].tar;
for(unsigned K=;K<es[j].size();K++) {
const int k = es[j][K].tar , pi = mu[i] * mu[j] * mu[k];
const int lij = es[i][J].lcm , ljk = es[j][K].lcm , lki = mem[k];
if( !lki ) continue; // lcm(i,k) > n so i didn't record k .
ans += pi * ( fa[lij] * fb[ljk] * fc[lki] + fa[lij] * fb[lki] * fc[ljk] + fa[ljk] * fb[lij] * fc[lki] +
fa[ljk] * fb[lki] * fc[lij] + fa[lki] * fb[lij] * fc[ljk] + fa[lki] * fb[ljk] * fc[lij] );
}
}
for(unsigned J=;J<es[i].size();J++) mem[es[i][J].tar] = ;
}
} inline void init() {
n = std::max( a , std::max( b , c ) ) , m = std::min( a , std::min( b , c ) ) , ans = ;
memset(fa+,,n<<) , memset(fb+,,n<<) , memset(fc+,,n<<) , memset(deg+,,n<<) , ecnt = ;
for(int i=;i<=n;i++) es[i].clear();
} inline int getint() {
int ret = , ch;
while( !isdigit(ch=getchar()) );
do ret = ret * + ch - ''; while( isdigit(ch=getchar()) );
return ret;
} int main() {
static int T;
T = getint() , sieve();
while( T-- ) {
a = getint() , b = getint() , c = getint() , init() , getf(fa,a) , getf(fb,b) , getf(fc,c);
calc_single_point() , pre_ring() , calc_ring() , printf("%d\n",ans%mod);
}
return ;
}

还有两个OJ的rank:

生きてくって多分
只要活着
越えてかなきゃいけないよね
大概就不得不去跨越吧
その勇気で夢の欠片が
鼓起勇气
少しずつ動き出す
一点一点地转动梦的碎片
終わりが始まる
即将迎来终结
何処へ行くのなんて
连目标为何都不知道
わからないまま
就这样迷茫地
ただ過ぎてゆく
度过

Bzoj5332: [Sdoi2018]旧试题的更多相关文章

  1. BZOJ5332: [Sdoi2018]旧试题(莫比乌斯反演)

    时光匆匆,转眼间又是一年寒暑…… 这是小 Q 同学第二次参加省队选拔赛. 今年,小 Q 痛定思痛,不再冒险偷取试题,而是通过练习旧 试题提升个人实力.可是旧试题太多了,小 Q 没日没夜地做题,却看不到 ...

  2. 【BZOJ5332】[SDOI2018]旧试题(数论,三元环计数)

    [BZOJ5332][SDOI2018]旧试题(数论,三元环计数) 题面 BZOJ 洛谷 题解 如果只有一个\(\sum\),那么我们可以枚举每个答案的出现次数. 首先约数个数这个东西很不爽,就搞一搞 ...

  3. [SDOI2018] 旧试题

    推狮子的部分 \[ \sum_{i=1}^A\sum_{j=1}^B\sum_{k=1}^C\sigma(ijk) =\sum_{i=1}^A\sum_{j=1}^B\sum_{k=1}^C\sum_ ...

  4. P4619 [SDOI2018]旧试题

    题目 P4619 [SDOI2018]旧试题 Ps:山东的题目可真(du)好(liu),思维+码量的神仙题 推式 求\(\sum_{i=1}^A\sum_{j=1}^B\sum_{k=1}^Cd(ij ...

  5. sdoi2018旧试题 证明

  6. LOJ2565 SDOI2018 旧试题 莫比乌斯反演、三元环计数

    传送门 这道题的思路似乎可以给很多同时枚举三个量的反演题目提供一个很好的启发-- 首先有结论:\(d(ijk) = \sum\limits_{x|i}\sum\limits_{y|j}\sum\lim ...

  7. [bzoj 5332][SDOI2018]旧试题

    传送门 Description \[ \sum_{i=1}^A\sum_{j=1}^B\sum_{k=1}^Cd(ijk) (\mathrm{mod\:} 10^9+7) \] 其中 \(d(ijk) ...

  8. loj#2565. 「SDOI2018」旧试题(反演 三元环计数)

    题意 题目链接 Sol 神仙反演题.在洛谷上疯狂被卡常 Orz shadowice #include<bits/stdc++.h> #define Pair pair<int, in ...

  9. LOJ2476. 「2018 集训队互测 Day 3」蒜头的奖杯 & LOJ2565. 「SDOI2018」旧试题(莫比乌斯反演)

    题目链接 LOJ2476:https://loj.ac/problem/2476 LOJ2565:https://loj.ac/problem/2565 题解 参考照搬了 wxh 的博客. 为了方便, ...

随机推荐

  1. 【逆向工具】IDA使用1-VS2015版本debug查找Main函数,加载符号文件

    IDA 常见操作 空格,切换反汇编视图 选择CALL或是跳转 进入函数内部或是跳转处 返回键 ESC daq.exe 分析32位程序 ,生成的IDA数据库文件是 .idb Idap64.exe 分析6 ...

  2. ES系列十四、ES聚合分析(聚合分析简介、指标聚合、桶聚合)

    一.聚合分析简介 1. ES聚合分析是什么? 聚合分析是数据库中重要的功能特性,完成对一个查询的数据集中数据的聚合计算,如:找出某字段(或计算表达式的结果)的最大值.最小值,计算和.平均值等.ES作为 ...

  3. kafka系列五、kafka常用java API

    引入maven包 <dependency> <groupId>org.apache.kafka</groupId> <artifactId>kafka- ...

  4. windows 7安装apache

    最近想在PHPEclipse 上开发PHP项目,但遇到的一个问题是:无法在Web 上浏览PHP页面,更谈不上调试了.这一点让人很是纠结,在浏览网上大量的相关内容后,该问题已经解决. 具体的操作过程详见 ...

  5. HTTP基础知识2

    引言 HTTP是一个属于应用层的面向对象的协议,由于其简捷.快速的方式,适用于分布式超媒体信息系统.它于1990年提出,经过几年的使用与发展,得到不断地完善和扩展.目前在WWW中使用的是HTTP/1. ...

  6. Android开发之多Fragment切换优化

    问题分析 一直在简书里看别人的技术贴,今天我也来写点自己的心得!最近在写一个项目用到大量的Fragment后的总结! 我想刚刚接触安卓的同学或许会这么写: FragmentManager fragme ...

  7. vue-router之路由钩子(组件内路由钩子必须在路由组件调用,子组件没用)

    模式 vue-router中的模式选项主要在router实例化的时候进行定义的,如下 const router = new VueRouter({ mode: 'history', // 两种类型hi ...

  8. 查看Java JVM参数配置信息命令

    查看Java JVM参数配置信息命令 java -XX:+PrintCommandLineFlags jvm运行时状态的参数,可以很快找出问题所在.现在把几个命令记录一下:1. jstat这个命令对于 ...

  9. TStringList 复制 赋值。

    方法1:list2.addstrings(list1) 特点是:不会清空list2中原有的数据. 方法2:list2.assign(list1) 特点是:会清空list2中原有的数据(直接替换链表节点 ...

  10. (转载)关于一些对location认识的误区

    原文:https://www.cnblogs.com/lidabo/p/4169396.html 关于一些对location认识的误区 1. location 的匹配顺序是“先匹配正则,再匹配普通”. ...