更改

在上述的算法介绍中，并未强调各方法对划分节点的限制。但在实际问题场景里，我们可能需要在寻找划分时加入限制来满足问题的特性。

在上述的算法介绍中，并未强调各方法对划分节点的限制。但在实际问题场景里，我们可能需要在寻找划分时加入限制来满足问题的特性。

比如，在社区检测问题中，具有只允许相邻的节点聚合在一起的约束。这要求状态划分必须遵循状态转移图的拓扑结构，同一聚合状态内的节点必须在状态转移图中直接相连或通过短路径可达（如K-邻域）。这种限制确保聚合状态具有空间连贯性，同时大幅减少可行划分数量（从指数级降至多项式级）。

比如，在社区检测问题中，具有只允许相邻的节点聚合在一起的约束。这要求状态划分必须遵循状态转移图的拓扑结构，同一聚合状态内的节点必须在状态转移图中直接相连或通过短路径可达（如K-邻域）。这种限制确保聚合状态具有空间连贯性，同时大幅减少可行划分数量。

在因果涌现分组问题<ref name=":0"/>中，要求同属一组的状态需同属一个马尔科夫毯（Markov blanket）。在一个概率图中，一个节点的马尔科夫毯包括其父节点、子节点以及子节点的其他父节点（配偶节点）。这些节点共同作用，使得该节点与图中的其他节点条件独立，起到一个“信息防火墙”、确保组内状态动态仅通过固定接口与外部交互的作用。该约束确保：

在因果涌现分组问题<ref name=":0"/>中，要求同属一组的状态需同属一个马尔科夫毯（Markov blanket）。在一个概率图中，一个节点的马尔科夫毯包括其父节点、子节点以及子节点的其他父节点（配偶节点）。这些节点共同作用，使得该节点与图中的其他节点条件独立，起到一个“信息防火墙”、确保组内状态动态仅通过固定接口与外部交互的作用。该约束确保：