来自蔡菲的问题
若一个有向图的邻接矩阵中主对角线一下的元素均为零请问该图是否为DAG图?
若一个有向图的邻接矩阵中主对角线一下的元素均为零请问该图是否为DAG图?
1回答
2020-05-27 15:36
若一个有向图的邻接矩阵中主对角线一下的元素均为零请问该图是否为DAG图?
若一个有向图的邻接矩阵中主对角线一下的元素均为零请问该图是否为DAG图?
当然是.
假设不是一个DAG图,不妨令邻接矩阵的节点ID从小到大有序.
因为不是DAG图,必定存在环.
环经过节点的ID不可能单调有序,一定存在某个边,节点ID由小指向大,则该边出现在主对角线以下,矛盾.