387
个编辑
更改
→基于邻接矩阵的有向无环图的判别方法
对于邻接矩阵 <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> tr(e^B)=d</math> 时<math> B </math>是有向无环图。
其中，<math> B_{ij}^k</math>
其中，<math> B_{ij}^k</math>是从i到j的长度为k的有向路径的数量
=== 拓扑排序和识别 ===
=== 拓扑排序和识别 ===