387
个编辑
更改
→基于邻接矩阵判断有向图有没有环
'''定理'''：
'''定理'''：
对于邻接矩阵 <math> B\in \left\{ 0, 1 \right\}^{d*d} </math>， <math> B </math>是有向无环图当且仅当
对于邻接矩阵 <math> B=（b_{ij}）_{d*d} </math>， <math> B </math>是有向无环图当且仅当
:<math> tr(e^B)=d</math>
:<math> tr(e^B)=d</math>