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