曼哈顿最小生成树
以某个点为原点,建平面直角坐标系。用从原点发出的射线将平面等分成八个无限的扇形区域
角度区间采用左闭右开的形式。
考虑平面点集
若是 中离 最近的点,则 是 中离 最近的点。
参考文献 1 中提到
上面的图中,一条边的两个端点都被计数了一次,所以最终的边数是不超过
的。
参考文献 3 中提到
以任意一个点为端点,将平面分为八块,每块占45度角,那么在生成树的最优解中,每个块与这个点至多有一条边,即一个点最多分别向八个方向最近的点连接一条边,一条边两个点共用,同时,有四个方向是两两对称的,所以只需要求出四块(一般求第一象限和第四象限)所以最后边数为
。
我搞不懂为什么边数不超过
设
存在
证明:
我构思了一个构造性证明:
考虑所有有向边
Minimum spanning tree algorithms usually use two properties to infer the inclusion and exclusion of edges in a minimum spanning tree. The first property is known as the cut property. It states that an edge of smallest weight crossing any partition of the vertex set into two parts belongs to a minimum spanning tree. The second property is known as the cycle property. It says that an edge with the largest weight in any cycle in the graph can be safely deleted.
边数为何不超过
上述讨论是基于最小生成树的环切性质(cycle property):
在图
中,如果存在一个环,把环中权最大的边 删除得到图 (如果有多条最大边,则删除任意一条),则 和 的最小生成树权和相同。
上述选边的过程实际上是从完全图中删边的过程。如何证明每次删的边都是当时某个环中的最大边呢?
这个地方还是没弄懂。
又有新进展
The algorithm can be considered as deleting edges from the complete graph. As described, all edges that we delete are redundant based on the cycle property.
删边策略:
对于任意两点
引理 1
设
为 度量下的 个点的完全图,在图 上进行上述删边过程,则始终有,对于任意 ( ),若 且 ,则 三点存在于某个环中,且 是此环中的最大边。
证明:用归纳法证明。由归纳假设可以推出对于任意
后记
对称性真神奇。
在上述讨论,我们都假设平面上的
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· Java 中堆内存和栈内存上的数据分布和特点
· 开发中对象命名的一点思考
· .NET Core内存结构体系(Windows环境)底层原理浅谈
· C# 深度学习:对抗生成网络(GAN)训练头像生成模型
· .NET 适配 HarmonyOS 进展
· DeepSeek+PageAssist实现本地大模型联网
· 手把手教你更优雅的享受 DeepSeek
· 腾讯元宝接入 DeepSeek R1 模型,支持深度思考 + 联网搜索,好用不卡机!
· 从 14 秒到 1 秒:MySQL DDL 性能优化实战
· AI工具推荐:领先的开源 AI 代码助手——Continue
2015-07-25 最短路之Dijkstra算法