输入：

区间值决策系统IVDS，阈值 $\partial$ ，特定决策类集合P。

输出：

最短约简SRED。

步骤1：

计算在属性C下相似度阈值为 $\partial$ 的相容关系 $T{R}_C^{\partial }$ ；

步骤2：

根据 $T{R}_C^{\partial }$ 计算相容类集合 $T{S}_C^{\partial }\left(S\right)$ ；

步骤3：

计算在属性C下关于特定决策类集合P的正域 $PO{S}_C^{\partial }\left(P\right)$ ；

步骤4：

构造特定决策类集合P的二进制差别矩阵 $BD{M}_P^{\partial }$ ；

步骤5：

根据二进制差别矩阵 $BD{M}_P^{\partial }$ 得到简化的二进制差别矩阵 $SBD{M}_P^{\partial }$ ；

步骤6：

将简化的二进制差别矩阵 $SBD{M}_P^{\partial }$ 传入算法SRA求出最短约简；

步骤7：

返回所有最短约简结果SRED。