付费后取消要素数目的限制。点下面的+号后不再是灰色,可自行运算
$$ \require{cancel} \require{AMScd} \begin{CD} 点+号 @>增加要素> >到合适的要素 @>> > 输入关系矩阵(对角线不用输入) @>>> 点计算,即列出所有过程与结果。@>>>层级拓扑图可以拖拽 \\ \end{CD} $$要素编号 | R(ei) | Q(ei) | T(ei) | R(ei)=T(ei) |
---|---|---|---|---|
A1 | A1,A2,A3,A4,A7,A8 | A1 | A1 | ≠ |
A2 | A2,A3,A4,A7,A8 | A1,A2,A3,A4,A5,A6,A7,A8 | A2,A3,A4,A7,A8 | R(A2)=T(A2) |
A3 | A2,A3,A4,A7,A8 | A1,A2,A3,A4,A5,A6,A7,A8 | A2,A3,A4,A7,A8 | R(A3)=T(A3) |
A4 | A2,A3,A4,A7,A8 | A1,A2,A3,A4,A5,A6,A7,A8 | A2,A3,A4,A7,A8 | R(A4)=T(A4) |
A5 | A2,A3,A4,A5,A6,A7,A8 | A5 | A5 | ≠ |
A6 | A2,A3,A4,A6,A7,A8 | A5,A6 | A6 | ≠ |
A7 | A2,A3,A4,A7,A8 | A1,A2,A3,A4,A5,A6,A7,A8 | A2,A3,A4,A7,A8 | R(A7)=T(A7) |
A8 | A2,A3,A4,A7,A8 | A1,A2,A3,A4,A5,A6,A7,A8 | A2,A3,A4,A7,A8 | R(A8)=T(A8) |
要素编号 | R(ei) | Q(ei) | T(ei) | Q(ei)=T(ei) |
---|---|---|---|---|
A1 | A1 | A1 | A1 | Q(A1)=T(A1) |
A5 | A5,A6 | A5 | A5 | Q(A5)=T(A5) |
A6 | A6 | A5,A6 | A6 | ≠ |
要素编号 | R(ei) | Q(ei) | T(ei) | R(ei)=T(ei) |
---|---|---|---|---|
A6 | A6 | A6 | A6 | R(A6)=T(A6) |
层级编号 | 层级中的要素 | 来自步骤 |
---|---|---|
1 | A2,A3,A4,A7,A8 | 第1步 |
2 | A6 | 第3步 |
3 | A1,A5 | 第2步 |
求解过程如链接所示:缩点、缩边,再把回路要素替代回去。这步是最难的,本处用的算法那人得了计算机界的诺奖-图领奖,算法为trajan算法的组合。现在的论文都忽略了这步。
可达矩阵 R的缩点矩阵 R'
$$R'=\begin{array} {c|c|c|c|c|c|c|c}{M_{4 \times4}} &A1 &A2+A3+A4+A7+A8 &A5 &A6\\ \hline A1 &1 &1 & & \\ \hline A2+A3+A4+A7+A8 & &1 & & \\ \hline A5 & &1 &1 &1\\ \hline A6 & &1 & &1\\ \hline \end{array} $$缩点矩阵 R'的缩边矩阵 S' 公式:$ S'=R'-(R'-I)^2-I$
$$S'=\begin{array} {c|c|c|c|c|c|c|c}{M_{4 \times4}} &A1 &A2+A3+A4+A7+A8 &A5 &A6\\ \hline A1 & &1 & & \\ \hline A2+A3+A4+A7+A8 & & & & \\ \hline A5 & & & &1\\ \hline A6 & &1 & & \\ \hline \end{array} $$以最简菊花链表示回路代入回去,即为一般性骨架矩阵 $S$
$$S=\begin{array} {c|c|c|c|c|c|c|c}{M_{8 \times8}} &A1 &A2 &A3 &A4 &A5 &A6 &A7 &A8\\ \hline A1 & & &1 & & & & & \\ \hline A2 & & &1 & & & & & \\ \hline A3 & & & &1 & & & & \\ \hline A4 & & & & & & &1 & \\ \hline A5 & & & & & &1 & & \\ \hline A6 & & & &1 & & & & \\ \hline A7 & & & & & & & &1\\ \hline A8 & &1 & & & & & & \\ \hline \end{array} $$