如何解决拓扑排序和汉密尔顿路径?
我试图证明以下主张:
给定 DAG 图,如果以下算法存在汉密尔顿路径 返回真:
- 进行拓扑排序。
- 在图的顶点上一个一个地移动(从低到高)。如果没有边将 2 个顶点与拓扑排序中的相邻值连接起来,则返回 false。 如果我们检查所有顶点后没有返回 false,则返回 true。
我坚持要证明一个方面,即:如果存在汉密尔顿路径,则算法返回真。
我尝试对图中的顶点数使用归纳 n:
-
n==0 的基本情况很简单。
-
假设对于 n 我想证明 n+1 的声明是正确的
所以我说,让我们排除给定 Hamilton 路径中的最后一个顶点(我们称之为 a),并假设算法返回 false。
这意味着 2 个之一:
-
具有相邻值的两个顶点没有连接它们的边,并且两者都不是a。 这与具有 n 个顶点的图的声明成立的假设相矛盾。
-
两个顶点之一是 a,另一个不是 a。
我一直在证明情况 (2) 会给我们带来矛盾,我该如何继续?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。