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