Codeforces 1108F (MST Unification) (树上倍增 or 改进 kruksal)
题意:给你一张n个节点和m条边的无向连通图, 你可以执行很多次操作,对某一条边的权值+1(对于每条边,可以不加,可以无限次加),问至少进行多少次操作,可以使这张图的最小生成树变得唯一,并且最小生成树的边权总和和原图的最小生成树一样。
思路:容易发现, 我们没必要给一条边反复加权值,最多加一次就够了,因为加一次就已经可能改变最小生成树的总边权了。所以,这个题换一种说法,就是问这张图有多少条边,加入最小生成树之后删掉一条其它的边也是最小生成树。
法1:我们首先可以把这颗最小生成树构造出来,然后暴力枚举每一条边,判断可不可以加到最小生成树中。假设这条边的端点是u, v,那么在树中就形成了一个环,为u -> v -> LCA(u, v) -> u;我们只需要判断这条新加入的边是否比环中的其它边大就行了,不可能比环中的其它边的最大值小。因为如果这条边比环中边权最大的边小,那么删除边权最大的边就可以构成一颗更小的生成树,这不符合最小生成树的定义了,那么换句话说,我们构造出来的这棵树就不是最小生成树了。那么怎么找环上其它边的最大值呢?我们可以用倍增的思想,在倍增法求LCA的预处理时也可以把最值的预处理出来。查询最大值时套用LCA的框架更新最大值。
代码:
#include <bits/stdc++.h>
#define INF 0x3f3f3f3f
using namespace std;
const int maxn = 200010;
struct Edge{
int u, v, w;
bool operator < (const Edge& rhs) const {
return w < rhs.w;
}
};
Edge edge[maxn];
int mx[maxn][20], f[maxn][20];
int t;
int head[maxn], Next[maxn * 2], edge1[maxn * 2], ver[maxn * 2], tot;
int fa[maxn], d[maxn];
queue<int> q;
bool v[maxn];
void add(int x, int y, int z) {
ver[++tot] = y;
edge1[tot] = z;
Next[tot] = head[x];
head[x] = tot;
} int get(int x) {
if(x == fa[x]) return x;
return fa[x] = get(fa[x]);
} void bfs() {
q.push(1);
d[1] = 1;
while(q.size()) {
int x = q.front();
q.pop();
for(int i = head[x]; i; i = Next[i]) {
int y = ver[i], z = edge1[i];
if(d[y]) continue;
d[y] = d[x] + 1;
f[y][0] = x;
mx[y][0] = z;
for(int j = 1; j <= t; j++) {
f[y][j] = f[f[y][j - 1]][j - 1];
mx[y][j] = max(mx[y][j - 1], mx[f[y][j - 1]][j - 1]);
}
q.push(y);
}
}
} int query(int x, int y) {
if(d[x] > d[y]) swap(x, y);
int ans = -INF;
for(int i = t; i >= 0; i--) {
if(d[f[y][i]] >= d[x]) {
ans = max(ans, mx[y][i]);
y = f[y][i];
}
}
if(x == y) return ans;
for(int i = t; i >= 0; i--) {
if(f[x][i] != f[y][i]) {
ans = max(ans, mx[x][i]);
ans = max(ans, mx[y][i]);
x = f[x][i];
y = f[y][i];
}
}
return max(ans, max(mx[x][0], mx[y][0]));
}
int main() {
int n, m;
// freopen("in.txt", "r", stdin);
scanf("%d%d", &n, &m);
t = (int)(log(n) / log(2)) + 1;
for(int i = 1; i <= m; i++) {
scanf("%d%d%d",&edge[i].u, &edge[i].v, &edge[i].w);
}
sort(edge + 1, edge + 1 + m);
for(int i = 1; i <= n; i++) fa[i] = i;
for(int i = 1; i <= m; i++) {
int x = get(edge[i].u);
int y = get(edge[i].v);
if(x == y)continue;
fa[x] = y;
v[i] = 1;
add(edge[i].u, edge[i].v, edge[i].w);
add(edge[i].v, edge[i].u, edge[i].w);
}
bfs();
int ans = 0;
for(int i = 1; i <= m; i++) {
if(v[i])continue;
int tmp = query(edge[i].u, edge[i].v);
if(tmp == edge[i].w) ans++;
}
printf("%d\n", ans);
}
法2:对于边权相同的边,我们可以把它们分成2类,一类是不可能成为最小生成树的边的边(之前有更小的边已经形成了一条链了),一类是可能的边,只是有一些边运气比较好,成为了当前最小生成树的边。我们就可以统计这些“运气不好”的边,运气不好“的边数目总和就是最终答案。具体过程:对于边权相同的边,我们先找出本来就不可能的边,在找到那些能成为最小生成树的“幸运边”,剩下的就是“运气不好”的边了。
代码:
#include <bits/stdc++.h>
using namespace std;
const int maxn = 200010;
struct Edge{
int u,v,w;
bool operator < (const Edge& rhs) const {
return w < rhs.w;
}
};
Edge edge[maxn];
int fa[maxn];
int get(int x) {
if(x == fa[x]) return x;
return fa[x] = get(fa[x]);
} bool merge(int x, int y) {
int tmp1 = get(x);
int tmp2 = get(y);
if(tmp1 == tmp2) return 0;
fa[tmp1] = tmp2;
return 1;
} int main() {
int n, m;
scanf("%d%d", &n, &m);
for(int i = 1; i <= m; i++) {
scanf("%d%d%d", &edge[i].u, &edge[i].v, &edge[i].w);
}
sort(edge + 1, edge + 1 + m);
for(int i = 1; i <= n; i++) fa[i] = i;
int ans = 0, sum = 0;
for(int i = 1; i <= m; i++) {
int j = i;
while(edge[j + 1].w == edge[j].w) j++;
sum = j - i + 1;
for(int k = i; k <= j; k++) {
if(get(edge[k].u) == get(edge[k].v))
sum--;
}
for(int k = i; k <= j; k++) {
sum -= merge(edge[k].u, edge[k].v);
}
ans += sum;
i = j;
}
printf("%d\n", ans);
}
Codeforces 1108F (MST Unification) (树上倍增 or 改进 kruksal)的更多相关文章
- Codeforces 1108F MST Unification MST + LCA
Codeforces 1108F MST + LCA F. MST Unification Description: You are given an undirected weighted conn ...
- Codeforces 1108F MST Unification(最小生成树性质)
题目链接:MST Unification 题意:给定一张连通的无向带权图.存在给边权加一的操作,求最少操作数,使得最小生成树唯一. 题解:最小生成树在算法导论中有这个性质: 把一个连通无向图的生成树边 ...
- Codeforces 609E (Kruskal求最小生成树+树上倍增求LCA)
题面 传送门 题目大意: 给定一个无向连通带权图G,对于每条边(u,v,w)" role="presentation" style="position: rel ...
- 【CodeForces】983 E. NN country 树上倍增+二维数点
[题目]E. NN country [题意]给定n个点的树和m条链,q次询问一条链(a,b)最少被多少条给定的链覆盖.\(n,m,q \leq 2*10^5\). [算法]树上倍增+二维数点(树状数组 ...
- [bzoj1977][BeiJing2010组队]次小生成树 Tree——树上倍增+lca
Brief Description 求一个无向图的严格次小生成树. Algorithm Design 考察最小生成树的生成过程.对于一个非树边而言,如果我们使用这一条非树边去替换原MST的路径上的最大 ...
- Codevs 2370 小机房的树 LCA 树上倍增
题目描述 Description 小机房有棵焕狗种的树,树上有N个节点,节点标号为0到N-1,有两只虫子名叫飘狗和大吉狗,分居在两个不同的节点上.有一天,他们想爬到一个节点上去搞基,但是作为两只虫子, ...
- NOIP2013 货车运输 (最大生成树+树上倍增LCA)
死磕一道题,中间发现倍增还是掌握的不熟 ,而且深刻理解:SB错误毁一生,憋了近2个小时才调对,不过还好一遍AC省了更多的事,不然我一定会疯掉的... 3287 货车运输 2013年NOIP全国联赛提高 ...
- HDU 4822 Tri-war(LCA树上倍增)(2013 Asia Regional Changchun)
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=4822 Problem Description Three countries, Red, Yellow ...
- [NOIP2013/Codevs3287]货车运输-最小[大]生成树-树上倍增
Problem 树上倍增 题目大意 给出一个图,给出若干个点对u,v,求u,v的一条路径,该路径上最小的边权值最大. Solution 看到这个题第一反应是图论.. 然而,任意路径最小的边权值最大,如 ...
随机推荐
- nyoj 42 一笔画 欧拉通路
http://acm.nyist.net/JudgeOnline/problem.php?pid=42 一笔画问题 时间限制:3000 ms | 内存限制:65535 KB 难度:4 描述 zyc ...
- nyoj-211-Cow Contest(floyd算法)
题目链接 /* Name:nyoj-211-Cow Contest Copyright: Author: Date: 2018/4/27 21:02:06 Description: floyd算法 大 ...
- L121
今天上午签字仪式的布置与该场合的严肃性非常协调.The setting for this morning's signing ceremony matched the solemnity of the ...
- vim-addon-manager install youcompleteme
/****************************************************************************** * vim-addon-manager ...
- NOI模拟赛 #4
好像只有一个串串题可以做... 不会 dp 和数据结构啊 QAQ 10 + 20 + 100 = 130 T1 一棵树,每个点有一个能量的最大容量 $l_i$ 和一个增长速度 $v_i$,每次可以选一 ...
- UVA - 10723 Alibaba (dp)
给你两个长度不超过30的字符串序列,让你找到一个最短的字符串,使得给定的两个字符串均是它的子序列(不一定连续),求出最短长度以及符合条件的解的个数. 定义状态(a,b,c)为当前字符串长度为a,其中包 ...
- Redis底层探秘(六):对象多态及回收
本篇是我们redis系列的最后一篇,整个系列其实是我学习<redis设计与实现>的笔记,这本书感觉不错,推荐使用redis的小伙伴都可以看看. 整个系列的文字都比较干,很多数据结构和C语言 ...
- DOS命令查询当前文件夹中文件数量
太牛X,太实用,因此单独记下 1. 仅统计文件数量 dir /b /a-d | find /v /c "&#@" 2. 统计文件和目录总数量 dir /b | find / ...
- 查看.Net Framework版本号
目录 摘要 .NET Framework 的版本 确定计算机上安装的 .NET Framework 版本 补充几个查看.Net Framework版本号 概要 本文描述如何确定计算机上安装的 Micr ...
- Jmeter & TICK
背景: 本来只是想在将Jmeter的测试结果写入InfluxDB, 但发现从InfluxDB V1.3后开始, 已经不支持Web Admin interface, 才发现InfluxData 搞了 ...