更改

\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_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。所以，该分组仅对某些初始状态分布成块，故为弱成块分组。