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