812
个编辑
更改
跳到导航
跳到搜索
第467行：
第467行： − +
→弱成块性 Weak Lumpability
如果我们的初始状态分布只有<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>分组后的简化过程满足定义2。
而当初始状态分布中<math>s_3</math>和<math>s_4</math>项非零时，<math>[[1, 2], [3, 4]]</math>分组不满足。所以，该分组为弱成块分组。
而当初始状态分布中<math>s_3</math>和<math>s_4</math>项非零时，<math>[[1, 2], [3, 4]]</math>分组不满足定义2。所以，该分组为弱成块分组。
===精确成块性 Exact Lumpability===
===精确成块性 Exact Lumpability===