树的直径求法及证明

定义:
一棵树的直径就是这棵树上存在的最长路径。
求法:
两次dfs或bfs。第一次任意选一个点进行dfs(bfs)找到离它最远的点,此点就是最长路的一个端点,再以此点进行dfs(bfs),找到离它最远的点,此点就是最长路的另一个端点,于是就找到了树的直径。
证明:
假设此树的最长路径是从s到t,我们选择的点为u。反证法:假设搜到的点是v。
1、v在这条最长路径上,那么dis[u,v]>dis[u,v]+dis[v,s],显然矛盾。
2、v不在这条最长路径上,我们在最长路径上选择一个点为po,则dis[u,v]>dis[u,po]+dis[po,t],那么有dis[s,v]=dis[s,po]+dis[po,u]+dis[u,v]>dis[s,po]+dis[po,t]=dis[s,t],即dis[s,v]>dis[s,t],矛盾。
也许你想说u本身就在最长路径,或则其它的一些情况,但其实都能用类似于上面的反证法来证明的。
综上所述,你两次dfs(bfs)就可以求出最长路径的两个端点和路径长度。
附练习题:
1、POJ 1985 Cow Marathon 模板题;
2、POJ 3310 Caterpillar 需判断出其实是求树的直径,模板运用,不难。

  • 6
    点赞
  • 12
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
以下是Python求直径最小生成的步骤: 1. 首先,需要使用Kruskal算法来生成最小生成。 2. 然后,需要对最小生成进行遍历,找到最长的边,即为直径。 3. 最后,输出直径和最小生成。 下面是Python代码示例: ```python # 定义边的类 class Edge: def __init__(self, u, v, w): self.u = u self.v = v self.w = w # 定义并查集类 class UnionFind: def __init__(self, n): self.parent = list(range(n)) self.rank = [0] * n def find(self, x): if self.parent[x] != x: self.parent[x] = self.find(self.parent[x]) return self.parent[x] def union(self, x, y): px, py = self.find(x), self.find(y) if px == py: return False if self.rank[px] < self.rank[py]: px, py = py, px self.parent[py] = px if self.rank[px] == self.rank[py]: self.rank[px] += 1 return True # 定义Kruskal算法函数 def kruskal(n, edges): uf = UnionFind(n) edges.sort(key=lambda e: e.w) res = [] for e in edges: if uf.union(e.u, e.v): res.append(e) if len(res) == n - 1: break return res # 定义求直径函数 def diameter(n, edges): mst = kruskal(n, edges) dist = [-1] * n dist[mst[0].u] = 0 q = [mst[0].u] while q: u = q.pop(0) for e in mst: if e.u == u and dist[e.v] == -1: dist[e.v] = dist[u] + e.w q.append(e.v) elif e.v == u and dist[e.u] == -1: dist[e.u] = dist[u] + e.w q.append(e.u) u = max(range(n), key=lambda i: dist[i]) dist = [-1] * n dist[u] = 0 q = [u] while q: u = q.pop(0) for e in mst: if e.u == u and dist[e.v] == -1: dist[e.v] = dist[u] + e.w q.append(e.v) elif e.v == u and dist[e.u] == -1: dist[e.u] = dist[u] + e.w q.append(e.u) return max(dist) # 测试 n = 5 edges = [Edge(0, 1, 1), Edge(0, 2, 2), Edge(0, 3, 3), Edge(0, 4, 4), Edge(1, 2, 5), Edge(1, 3, 6), Edge(1, 4, 7), Edge(2, 3, 8), Edge(2, 4, 9), Edge(3, 4, 10)] print("最小生成:", kruskal(n, edges)) print("直径:", diameter(n, edges)) ```

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值