若一个有向图的邻接矩阵中 主对角线一下的元素均为零 请问该图是否为DAG图?

问题描述:

若一个有向图的邻接矩阵中 主对角线一下的元素均为零 请问该图是否为DAG图?

当然是.
假设不是一个DAG图,不妨令邻接矩阵的节点ID从小到大有序.
因为不是DAG图,必定存在环.
环经过节点的ID不可能单调有序,一定存在某个边,节点ID由小指向大,则该边出现在主对角线以下,矛盾.