洛谷 P6624 - [省选联考 2020 A 卷] 作业题(矩阵树定理+简单数论)
u1s1 这种题目还是相当套路的罢
首先看到 \(\gcd\) 可以套路地往数论方向想,我们记 \(f_i\) 为满足边权的 \(\gcd\) 为 \(i\) 的倍数的所有生成树的权值之和,\(g_i\) 为边权的 \(\gcd\) 恰好为 \(i\) 的所有生成树的权值之和,那么显然 \(f_i=\sum\limits_{i\mid j}g_j\),莫反一下可得 \(g_i=\sum\limits_{i\mid j}f_i\mu(\dfrac{j}{i})\),因此我们只需求出 \(f_i\) 即可求出 \(g_i\) 及最终的答案。
接下来考虑怎样求 \(f_i\),我们考虑原图 \(G\) 中边权为 \(i\) 的倍数的边组成的子图 \(G'\),那么 \(f_i\) 等价于 \(G'\) 所有生成树的边权之和,看到生成树计数这类题目我们很自然地可以想到 Matrix-Tree 定理。不过一般来说 Matrix-Tree 定理解决的是求所有生成树边权乘积之和,而此题要求的是所有生成树边权和之和,这里有一个烂大街但我觉得挺妙的套路,我们将所有边的边权看作一个一次函数 \(y=1+wx\),那么显然这个边权和就是生成树上所有一次函数乘积的一次项,这显然是可以 Matrix-Tree 的。不过问题又来了,再求矩阵行列式的过程中涉及加减乘除运算,怎样定义这些运算呢?首先由于我们只关心最终函数的一次项,因此我们可以将所有运算放在 \(\bmod x^2\) 意义下进行,加减法就直接加就行了,乘法就稍微用下分配律,\((a+bx)(c+dx)=ac+(ad+bc)x\),除法稍微有点麻烦,不过学过多项式的比较好理解,首先 \(\dfrac{a+bx}{c+dx}\) 的常数项必须是 \(\dfrac{a}{c}\),因为只有 \(\dfrac{a}{c}\) 乘上 \(c+dx\) 后常数项才能得到 \(a\),代入待定系数法算一下也可得到一次项是 \(\dfrac{bc-ad}{c^2}\),即 \(\dfrac{a+bx}{c+dx}=\dfrac{a}{c}+\dfrac{bc-ad}{c^2}x\),写个结构体维护一下即可。
这样暴力复杂度是 \(wn^3\) 的,可能有卡常的风险,保险起见我们加上一个小小的优化,就是如果边权为 \(i\) 的倍数的边数 \(<n-1\) 那么直接令 \(f_i=0\),因为不可能存在生成树,加了这个优化以后复杂度显然变成了 \(\dfrac{md(w_i)}{n-1}n^3\),即可通过此题。
然鹅我又搞错模数了所以 WA 了一次
const int MAXM=435;
const int MAXN=30;
const int MAXV=152505;
const int MOD=998244353;
int qpow(int x,int e){
int ret=1;
for(;e;e>>=1,x=1ll*x*x%MOD) if(e&1) ret=1ll*ret*x%MOD;
return ret;
}
int n,m,u[MAXM+5],v[MAXM+5],w[MAXM+5];
vector<int> eds[MAXV+5];
int mu[MAXV+5],pr[MAXV/6+5],prcnt=0;
bitset<MAXV+5> vis;
void sieve(int mx){
mu[1]=1;
for(int i=2;i<=mx;i++){
if(!vis[i]){pr[++prcnt]=i;mu[i]=-1;}
for(int j=1;j<=prcnt&&pr[j]*i<=mx;j++){
vis[pr[j]*i]=1;
if(i%pr[j]==0) break;
else mu[pr[j]*i]=-mu[i];
}
}
}
struct line{
int x,y;
line(int _x=0,int _y=0):x(_x),y(_y){}
line operator +(const line &rhs){return line((x+rhs.x)%MOD,(y+rhs.y)%MOD);}
line operator -(const line &rhs){return line((x-rhs.x+MOD)%MOD,(y-rhs.y+MOD)%MOD);}
line operator *(const line &rhs){return line(1ll*x*rhs.x%MOD,(1ll*x*rhs.y+1ll*y*rhs.x)%MOD);}
line operator /(const line &rhs){int iv=qpow(rhs.x,MOD-2);return line(1ll*x*iv%MOD,1ll*iv*iv%MOD*
((1ll*y*rhs.x%MOD-1ll*x*rhs.y%MOD+MOD)%MOD)%MOD);}
};
line a[MAXN+5][MAXN+5];
int f[MAXV+5],g[MAXV+5];
int main(){
scanf("%d%d",&n,&m);sieve(MAXV);
for(int i=1;i<=m;i++){
scanf("%d%d%d",&u[i],&v[i],&w[i]);
for(int j=1;j*j<=w[i];j++) if(w[i]%j==0){
eds[j].pb(i);if(w[i]/j!=j) eds[w[i]/j].pb(i);
}
}
for(int i=1;i<=MAXV;i++){
if(eds[i].size()<n-1) continue;
for(int j=1;j<n;j++) for(int k=1;k<n;k++)
a[j][k]=line(0,0);
for(int j=0;j<eds[i].size();j++){
int eid=eds[i][j];//printf("%d\n",eid);
int U=u[eid]-1,V=v[eid]-1;
a[U][V]=a[U][V]-line(1,w[eid]);
a[V][U]=a[V][U]-line(1,w[eid]);
a[U][U]=a[U][U]+line(1,w[eid]);
a[V][V]=a[V][V]+line(1,w[eid]);
} int sgn=1;
for(int j=1;j<n;j++){
int t=j;
for(int k=j+1;k<n;k++) if(a[k][j].x) t=k;
if(t!=j) sgn=-sgn;
for(int k=j;k<n;k++) swap(a[t][k],a[j][k]);
line iv=line(1,0)/a[j][j];
for(int k=j+1;k<n;k++){
line mul=line(0,0)-a[k][j]*iv;
for(int l=j;l<n;l++) a[k][l]=a[k][l]+mul*a[j][l];
}
} line ret=line((sgn+MOD)%MOD,0);
for(int j=1;j<n;j++) ret=ret*a[j][j];
f[i]=ret.y;
// printf("%d %d\n",i,f[i]);
} int ans=0;
for(int i=1;i<=MAXV;i++){
for(int j=i;j<=MAXV;j+=i) g[i]=(0ll+g[i]+1ll*f[j]*mu[j/i]+MOD)%MOD;
ans=(ans+1ll*g[i]*i)%MOD;
} printf("%d\n",ans);
return 0;
}
/*
4 5
1 2 6
1 3 8
1 4 9
2 3 12
3 4 18
*/
洛谷 P6624 - [省选联考 2020 A 卷] 作业题(矩阵树定理+简单数论)的更多相关文章
- 洛谷P6623——[省选联考 2020 A 卷] 树
传送门:QAQQAQ 题意:自己看 思路:正解应该是线段树/trie树合并? 但是本蒟蒻啥也不会,就用了树上二次差分 (思路来源于https://www.luogu.com.cn/blog/dengy ...
- [题解] LOJ 3300 洛谷 P6620 [省选联考 2020 A 卷] 组合数问题 数学,第二类斯特林数,下降幂
题目 题目里要求的是: \[\sum_{k=0}^n f(k) \times X^k \times \binom nk \] 这里面出现了给定的多项式,还有组合数,这种题目的套路就是先把给定的普通多项 ...
- luoguP6624 [省选联考 2020 A 卷] 作业题(莫比乌斯反演,矩阵树定理)
luoguP6624 [省选联考 2020 A 卷] 作业题(莫比乌斯反演,矩阵树定理) Luogu 题外话: Day2一题没切. 我是傻逼. 题解时间 某种意义上说刻在DNA里的柿子,大概是很多人学 ...
- 洛谷 P7520 - [省选联考 2021 A 卷] 支配(支配树)
洛谷题面传送门 真·支配树不 sb 的题. 首先题面已经疯狂暗示咱们建出支配树对吧,那咱就老老实实建呗.由于这题数据范围允许 \(n^2\) 算法通过,因此可以考虑 \(\mathcal O(n^2 ...
- 洛谷 P7515 - [省选联考 2021 A 卷] 矩阵游戏(差分约束)
题面传送门 emmm--怎么评价这个题呢,赛后学完差分约束之后看题解感觉没那么 dl,可是现场为啥就因为种种原因想不到呢?显然是 wtcl( 先不考虑"非负"及" \(\ ...
- [省选联考 2020 A 卷] 组合数问题
题意 [省选联考 2020 A 卷] 组合数问题 想法 自己在多项式和数论方面还是太差了,最近写这些题都没多少思路,看完题解才会 首先有这两个柿子 \(k*\dbinom{n}{k} = n*\dbi ...
- luoguP6623 [省选联考 2020 A 卷] 树(trie树)
luoguP6623 [省选联考 2020 A 卷] 树(trie树) Luogu 题外话: ...想不出来啥好说的了. 我认识的人基本都切这道题了. 就我只会10分暴力. 我是傻逼. 题解时间 先不 ...
- luoguP6620 [省选联考 2020 A 卷] 组合数问题(斯特林数)
luoguP6620 [省选联考 2020 A 卷] 组合数问题(斯特林数) Luogu 题外话: LN切这题的人比切T1的多. 我都想到了组合意义乱搞也想到可能用斯特林数为啥还是没做出来... 我怕 ...
- 洛谷 P7516 - [省选联考 2021 A/B 卷] 图函数(Floyd)
洛谷题面传送门 一道需要发现一些简单的性质的中档题(不过可能这道题放在省选 D1T3 中偏简单了?) u1s1 现在已经是 \(1\text{s}\) \(10^9\) 的时代了吗?落伍了落伍了/ ...
随机推荐
- 【HMS Core 6.0全球上线】华为钥匙环服务,打造跨应用跨形态无缝登录体验
华为钥匙环服务(Keyring),是HMS Core在安全领域开放的全新服务,为全球开发者提供用户认证凭据(以下简称"凭据")本地存储和跨应用.跨形态共享能力,帮助您在安卓应用.快 ...
- 【UE4 C++】DateTime、Timespan 相关函数
基于UKismetMathLibrary DateTime 相关函数 Timespan 运算操作相关函数见尾部附录 /** Returns the date component of A */ UFU ...
- Spring Cloud Alibaba Nacos Config 的使用
Spring Cloud Alibaba Nacos Config 的使用 一.需求 二.实现功能 1.加载 product-provider-dev.yaml 配置文件 2.实现配置的自动刷新 3. ...
- 洛谷 P3209 [HNOI2010] 平面图判定
链接: P3209 题意: 给出 \(T\) 张无向图 \((T\leq100)\),并给出它对应的哈密顿回路,判断每张图是否是平面图. 分析: 平面图判定问题貌似是有线性做法的,这里给出链接,不是本 ...
- Java并发:重入锁 ReentrantLock(二)
一.理解锁的实现原理 1. 用wait()去实现一个lock方法,wait()要和synchronized同步关键字一起去使用的,直接使用wait方法会直接报IllegalMonitorStateEx ...
- MyBatis源码分析(三):MyBatis初始化(配置文件读取和解析)
一. 介绍MyBatis初始化过程 项目是简单的Mybatis应用,编写SQL Mapper,还有编写的SqlSessionFactoryUtil里面用了Mybatis的IO包里面的Resources ...
- ShardingSphere-初见
目录 概述 认识shardingjdbc shardingjdbc功能架构图 认识Sharding-Proxy 三个组件的比较 ShardingJdbc混合架构 ShardingShpere的功能清单 ...
- RGB-YUV
1,RGB 1.1 RGB说明 RGB色彩模式是工业界的一种颜色标准,是通过对红(R).绿(G).蓝(B)三个颜色通道的变化以及它们相互之间的叠加来得到各式各样的颜色的,RGB即是代表红.绿.蓝三个通 ...
- candy leetcode C++
There are N children standing in a line. Each child is assigned a rating value. You are giving candi ...
- Typora使用教程
Typora简介 Typorn 是一款轻便简洁的Markdown编辑器,支持及时渲染技术,这也是与其他Markdown编辑器最显著的区别.及时渲染使得你写Markdown就像是写Word文档一样流畅自 ...