812
个编辑
更改
跳到导航
跳到搜索
第477行：
第477行： − 仍满足定义2中马尔科夫约束。+ − + − 而当初始状态分布中<math>s_3</math>和<math>s_4</math>项非零时，<math>[[1, 2], [3, 4]]</math>分组不满足定义2。所以，该分组仅对某些初始状态分布成块，故为弱成块分组。+
→弱成块性 Weak Lumpability
\end{aligned}
\end{aligned}
</math>
</math>
仍满足式子{{EquationNote|2}}的马尔科夫性约束。
所以，对于<math>s_1</math>或者<math>s_2</math>项非零，而<math>s_3</math>和<math>s_4</math>项为零的初始状态分布，<math>[[1, 2], [3, 4]]</math>是成块的。
所以，对于<math>s_1</math>或者<math>s_2</math>项非零，而<math>s_3</math>和<math>s_4</math>项为零的初始状态分布<math>\pi</math>，<math>[[1, 2], [3, 4]]</math>是成块的。
对于<math>s_3</math>和<math>s_4</math>项非零的初始状态分布<math>\pi</math>，<math>[[1, 2], [3, 4]]</math>分组不满足定义2。所以，该分组仅对某些初始状态分布成块，故为弱成块分组。
===精确成块性 Exact Lumpability===
===精确成块性 Exact Lumpability===