[ABC210E] Ring MST 题解

链接

洛谷相应链接

atcoder 相应链接

题意

给 $n(1\le n\le 10^9)$ 个点的图，并给长度为 $m(1\le m\le 10^5)$ 的两个数组 $a,b(1\le a_i\le n-1,1\le b_i\le 10^9)$。

每次可选择在点 $x(1\le x\le n)$ 和 $(x+a_i)\mathrm{mod}n$ 中添加一个长度为 $b_i$ 的边，问添加的边的长度总和至少为多少，才能使得整个图连通，不连通输出 -1。

思路

考虑 $m=1$ 时，如果要建成联通图，必须要让 $\gcd (n,a_1)=1$，否则会发生如下情况：

如果 $m>1$ 则同理可得当 $\gcd (n,a_1,a_2\cdots a_m)=1$ 时有解。这样我们已经解决了判断无解的情况。

对于任意一个 $i$，可知最多可将剩下的 $p$ 个点合并成剩下 $\gcd (p,a_i)$ 个点，我们先按照 $b_i$ 大小排序，对于每一次操作连通块的数量都由 $p\leftarrow \gcd (p,a_i)$，则 $ans\leftarrow ans+(p-\gcd (p,a_i))\times b_i$。若有解，最后输出 $ans$ 即可。

代码

#include<bits/stdc++.h>
#define int long long
using namespace std;
int n,m;
int gcd(int x,int y) {
	return y?gcd(y,x % y):x;
}
struct edge{
	int a,b;
	friend bool operator <(edge x,edge y) {
		return x.b < y.b;
	}
}node[200005];
int ans = 0;
signed main() {
	cin >> n >> m;
	for(int i = 1;i <= m;i++) cin >> node[i].a >> node[i].b;
	sort(node + 1,node + m + 1);
	for(int i = 1;i <= m;i++) {
		ans += (n - gcd(n,node[i].a)) * node[i].b;
		n = gcd(n,node[i].a);
		if(n <= 1) {
			cout<<ans<<endl;
			return 0;
		}
	}
	cout<<"-1"<<endl;
	return 0;
}