更改

具体步骤如下：

具体步骤如下：

# 初始化：每个状态单独成组，<math>A_0={{1},{2},…,{N}}</math>

# 初始化：每个状态单独成组，初始划分为：<math>A_0=\{\{1\},\{2\},…,\{N\}\}</math>

# 在每一层 <math>k</math> 内：

# 在每一层 <math>k</math> 内：

## 遍历所有两两组对 <math>G_p</math> 和 <math>G_q</math>：

## 遍历所有两两组对 <math>G_p</math> 和 <math>G_q</math>，其中<math>G_i</math>为一状态的集合：

### 合并为新组 <math>G_{new} = G_p \cup G_q</math>

### 合并为新组 <math>G_{new} = G_p \cup G_q</math>

### 获得新划分 <math>A'_k  =A_k \setminus \{ G_p , G_q \} \cup G_{new}</math>

### 获得新划分 <math>A'_k  =A_k \setminus \{ G_p , G_q \} \cup G_{new}</math>

### 根据此划分获得新动力学 <math>P'</math>

### 根据此划分获得新动力学（见下文） <math>P'</math>

### 计算 <math>P'</math> 对应的划分指标

### 计算 <math>P'</math> 对应的划分指标（如EI、近似动力学可逆性等）

## 更新划分 <math>A_{k}</math> 为该层最优的划分

## 更新划分 <math>A_{k}</math> 为该层最优的划分

# 当剩余分组数 <math>|A_k| = M</math> 时停止

# 当剩余分组数 <math>|A_k| = M</math> 时停止