更改

第477行: 第477行:  
\end{aligned}
 
\end{aligned}
 
</math>
 
</math>
−
仍满足定义2中马尔科夫约束。
+
仍满足式子{{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>[[1, 2], [3, 4]]</math>分组不满足定义2。所以,该分组仅对某些初始状态分布成块,故为弱成块分组。
+
对于<math>s_3</math>和<math>s_4</math>项非零的初始状态分布<math>\pi</math>,<math>[[1, 2], [3, 4]]</math>分组不满足定义2。所以,该分组仅对某些初始状态分布成块,故为弱成块分组。
    
===精确成块性 Exact Lumpability===
 
===精确成块性 Exact Lumpability===
812

个编辑