输入：序决策系统 $OIS=\left(U,AT,V,f\right)$ 。

输出：所有约简结果集合RED。

1) 初始化： $RED=\varnothing$ ；

2) 求序决策系统 $OIS=\left(U,AT,V,f\right)$ 的差别矩阵 $Matri{x}_{OIS}$ ；

3) 将差别矩阵 $Matri{x}_{OIS}$ 转化为 $H_{OIS}=\left(V,E\right)$ ；

4) 针对超图 $H_{OIS}=\left(V,E\right)$ ，若 $E\ne \varnothing$ ，重复5至7：

5) 计算顶点的度 $Degre{e}_H\left(v_i\right)$ ，按从小到大排序；

6) 选择 $v_0=\max \left\{Degre{e}_H\left(v_i\right):v_i\in V-RED\right\}$ ，并使 $RED=RED\cup \left\{v_0\right\}$ ；

7) 计算 $E^{\prime }=E-\underset{v_i\in RED}{\cup }{d}_{{\mathfrak{h}}_{MIDS}}\left(v_i\right)$ ，并使 $E=E^{\prime }$ ；

8) 输出所有约简集合RED。