812
个编辑
更改
→弱成块性 Weak Lumpability
此例子中，<math>[[1, 2], [3], [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>s_3</math>和<math>s_4</math>划成一组，即分组为<math>[[1, 2], [3, 4]]</math>时，分组后的简化过程仍满足定义2中马尔科夫约束。
我们留意到，该马尔科夫链从<math>s_1</math>或者<math>s_2</math>状态出发时，永远不会到达<math>s_3</math>和<math>s_4</math>。所以当我们把<math>s_3</math>和<math>s_4</math>划成一组，即分组为<math>[[1, 2], [3, 4]]</math>时，分组后的简化过程，如
<math>
\begin{aligned}
\left [
\begin{array}{cc}
1.0 & 0.0 \\
0.3 & 0.7\
\end{array}
\right ]
\end{aligned}
</math>
仍满足定义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>[[1, 2], [3, 4]]</math>是成块的。