更改

显然若细致平衡条件有解，这个方程就有解；那这个方程有解时，细致平衡条件是否有解呢？事实上，若<math>\{X(t)\}</math>互通，有转移速率矩阵<math>Q</math>和平稳分布，则细致平衡条件和这个方程有相同的的非负解，满足这个方程的概率分布<math>\mathbf{p}</math>是<math>\{X(t)\}</math>的平稳可逆分布。所以我们也称<math>p_iq_{ij}=p_jq_{ji}</math>为细致平衡条件。

显然若细致平衡条件有解，这个方程就有解；那这个方程有解时，细致平衡条件是否有解呢？事实上，若<math>\{X(t)\}</math>互通，有转移速率矩阵<math>Q</math>和平稳分布，则细致平衡条件和这个方程有相同的的非负解，满足这个方程的概率分布<math>\mathbf{p}</math>是<math>\{X(t)\}</math>的平稳可逆分布。所以我们也称<math>p_iq_{ij}=p_jq_{ji}</math>为细致平衡条件。

===连续时间马尔科夫链的粗粒化===

 

====连续时间马尔科夫链的粗粒化====

在连续时间马尔科夫链中粗粒化的本质是构造映射<math>\Phi:S \rightarrow S'</math>，将原始状态空间<math>S</math>划分为互不相交的区块<math>\{B_1,B_2,\dots,B_m\}</math>，并定义新的转移速率矩阵<math>Q'</math>描述区块间的转移动力学。理想的粗粒化需要满足三个要求：维度压缩（<math>|S'|<|S|</math>），信息保留（关键统计量与动力学特征不变）和结构一致性（粗粒度过程仍然为CTMC）。具体实现中，不同方法侧重不同目标，形成多样化的技术路线。

在连续时间马尔科夫链中粗粒化的本质是构造映射<math>\Phi:S \rightarrow S'</math>，将原始状态空间<math>S</math>划分为互不相交的区块<math>\{B_1,B_2,\dots,B_m\}</math>，并定义新的转移速率矩阵<math>Q'</math>描述区块间的转移动力学。理想的粗粒化需要满足三个要求：维度压缩（<math>|S'|<|S|</math>），信息保留（关键统计量与动力学特征不变）和结构一致性（粗粒度过程仍然为CTMC）。具体实现中，不同方法侧重不同目标，形成多样化的技术路线。