输入：区间值决策系统 $IVDS=\left(U,AT,V,f\right)$ ，阈值 $\alpha$ ，决策类 $U/D$ 。

输出：区间值决策系统在阈值 $\alpha$ 下正域保持最小约简结果集合RED。

1.计算IVDS下在阈值 $\alpha$ 下的相容类 $T{C}_C^{\alpha }\left(U\right)$ ；

2.根据每个对象对应的相容类，计算正域 $PO{S}_C^{\alpha }\left(D\right)$ ；

3.根据每个对象的正域构造正域约简差别矩阵 $M^{\alpha }$ ；

4.计算极小差别集合 $Ms=\left\{s_1,s_2,\cdots ,s_l\right\}$ 根据极小差别集合Ms计算矩阵 $p_{ij}=\{\begin{array}{l}0,a_m\notin s_l\\ 1,a_m\in s_l\end{array}$ ；

5.求解0-1规划，得到最小约简；

6.输出所有最小约简结果集合RED。