812
个编辑
更改
跳到导航
跳到搜索
第465行：
第465行： − + + +
→弱成块性 Weak Lumpability
此例子中，<math>[[1, 2], [3], [4]]</math>是一个强成块的分组，而<math>[[1, 2], [3, 4]]</math>是一个弱成块的分组。
此例子中，<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>分组后的简化过程满足。而当初始状态分布中<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>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>分组不满足。所以，该分组为弱成块分组。
===精确成块性 Exact Lumpability===
===精确成块性 Exact Lumpability===