更改

而Proportional Lumpability的定义是：

而Proportional Lumpability的定义是：

对<math>S</math>中的任意一个元素，存在一个函数<math>\gaba:S->R^+</math>

对<math>S</math>中的任意一个状态，存在一个函数<math>\kappa:S \rightarrow \mathcal{R}^+</math>，使得：

<math>\forall A_m, A_n, A_m \neq A_n s_i, s_j \in A_m, Pr(A_m|s_i) = Pr(A_m|s_j), \forall s_i, s_j \in A_n </math>

<math>\forall A_m, A_n, A_m \neq A_n s_i, s_j \in A_m, \frac{Pr(A_m|s_i)}{\kappa(s_i)} = \frac{Pr(A_m|s_j)}{\kappa(s_j)}</math>

 

我们说服从这样的CTMC是<math>\kappa</math>-proportionally lumpable w.r.t. 分组<math>A</math>。

==Lumpability和粗粒化==

==Lumpability和粗粒化==