1. 程式人生 > 其它 >【YBTOJ高效進階 21189】最短距離(最短路)(最小生成樹)

【YBTOJ高效進階 21189】最短距離(最短路)(最小生成樹)

給你一個無向圖,每個點可能是黑色或白色,然後邊有權值,你要保留一些邊,費用是它們的權值和。 然後你要使得每個白點到任意一個黑點的最短路跟原來的圖一樣,然後要你求最小費用,或輸出無解。

最短距離

題目連結:YBTOJ高效進階 21189

題目大意

給你一個無向圖,每個點可能是黑色或白色,然後邊有權值,你要保留一些邊,費用是它們的權值和。
然後你要使得每個白點到任意一個黑點的最短路跟原來的圖一樣,然後要你求最小費用,或輸出無解。

思路

考慮到是任意終點,我們考慮“合併”它們:
就用一個 \(0\) 號點,所有黑點連向它,邊權是 \(0\),那我們從白點到 \(0\) 號點的最短距離就是到黑點的距離啦。

那剩下的就好搞了,在最短路圖上跑個最小生成樹即可。
(因為連向 \(0\) 點的不用費用,然後每個白點總要連黑點,而黑點一定會連著 \(0\) 點,所以就連通了)

程式碼

#include<queue>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long

using namespace std;

struct node {
	int x, y;
	ll z;
}e[300001];
int n, m, fa[100001], tot;
int op[100001], num;
ll ans, dis[100001];

struct DIJDIJ {//最短路
	struct nde {
		ll x;
		int to, nxt;
	}e[600001];
	int le[100001], KK;
	bool in[100001];
	priority_queue <pair<ll, int>, vector<pair<ll, int> >, greater<pair<ll, int> > > q;
	
	void add(int x, int y, ll z) {
		e[++KK] = (nde){z, y, le[x]}; le[x] = KK;
	}
	
	void work() {
		memset(dis, 0x7f, sizeof(dis));
		dis[0] = 0; q.push(make_pair(0, 0));
		while (!q.empty()) {
			int now = q.top().second; q.pop();
			if (in[now]) continue; in[now] = 1;
			for (int i = le[now]; i; i = e[i].nxt)
				if (dis[e[i].to] > dis[now] + e[i].x) {
					dis[e[i].to] = dis[now] + e[i].x;
					q.push(make_pair(dis[e[i].to], e[i].to));
				}
		}
	}
}G;

bool cmp(node x, node y) {
	return x.z < y.z;
}

int find(int now) {
	if (fa[now] == now) return now;
	return fa[now] = find(fa[now]);
}

int main() {
//	freopen("minimum.in", "r", stdin);
//	freopen("minimum.out", "w", stdout);
	
	scanf("%d %d", &n, &m);
	for (int i = 1; i <= n; i++) {
		fa[i] = i;
		scanf("%d", &op[i]);
		if (op[i] == 1) {
			e[++tot + m] = (node){0, i, 0};
		}
	}
	for (int i = 1; i <= m; i++) {
		scanf("%d %d %d", &e[i].x, &e[i].y, &e[i].z);
	}
	
	for (int i = 1; i <= m + tot; i++)
		G.add(e[i].x, e[i].y, e[i].z), G.add(e[i].y, e[i].x, e[i].z);
	G.work();
	
	sort(e + 1, e + m + tot + 1, cmp);//最小生成樹
	for (int i = 1; i <= m + tot; i++) {
		if (dis[e[i].x] == dis[e[i].y] + e[i].z || dis[e[i].y] == dis[e[i].x] + e[i].z) {
			int X = find(e[i].x), Y = find(e[i].y);
			if (X == Y) continue;
			fa[X] = Y;
			num++;
			ans += e[i].z;
			if (num == n) break;
		}
	}
	
	if (num != n) printf("impossible");
		else printf("%lld", ans);
	
	return 0;
}