输入：

区间值决策系统IVDS，阈值 $\partial$ 。

输出：

最短约简SRED。

步骤1：

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

步骤2：

对于任意对象 $s_x\in S$ ，根据 $T{R}_C^{\partial }$ 计算 $s_x$ 的相容类 $T{S}_C^{\partial }\left(s_x\right)$ ；

步骤3：

计算在属性C下的正域 $PO{S}_C^{\partial }\left(S/D\right)$ ；

步骤4：

构造二进制差别矩阵 $BD{M}^{\partial }$ ；

步骤5：

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

步骤6：

将简化的二进制差别矩阵传入算法SRA求出最短约简；

步骤7：

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