387
个编辑
更改
跳到导航
跳到搜索
第71行：
第71行： − + +
→基于邻接矩阵的有向无环图的判别方法
=== 基于邻接矩阵的有向无环图的判别方法 ===
=== 基于邻接矩阵的有向无环图的判别方法 ===
'''定理'''：
'''定理'''：
对于邻接矩阵 <math> B\in \left\{ 0, 1 \right\}^{d*d} </math>，当且仅当 <math> tr(e^B)=d</math> 时<math> B </math>是有向无环图。
对于邻接矩阵 <math> B\in \left\{ 0, 1 \right\}^{d*d} </math>， <math> B </math>是有向无环图当且仅当
: <math> tr(e^B)=d</math>
依据泰勒展开公式，有
依据泰勒展开公式，有