输入：决策系统 $S=\left(U,C\cup D\right)$ 。

输出：多特定类 $D_{mcs}$ 的一个正域约简A。

Step1： $A=\varnothing$ ， $T=\varnothing$ ， $isFirst=1$ ；

Step2：对于 $\forall a\in C$ ，计算局部粒度值 $G_{\left\{a\right\}}$ ；

Step3：若 $\left|PO{S}_A^U\left(D_{mcs}\right)\right|\ne \left|PO{S}_C^U\left(D_{mcs}\right)\right|$ ：

Step3.1：若 $isFirst=1$ ，则令 $T=C$ ， $isFirst=0$ ，转到Step3.4；

Step3.2：若 $isFirst=0$ ，则令 $T=\left\{a|\forall a\in C-A,G_{\left\{a\right\}}\le G_{\left\{b_1\right\}}\right\}$ ；

Step3.3：若 $T=\varnothing$ ，则令 $T=C-A$ ；

Step3.4：对 $\forall b\in T$ ，计算 $Si{g}_{out}\left(b,A,D_{mcs}\right)$ ，令 $b_1=\arg Max\left\{Si{g}_{out}\left(b,A,D_{mcs}\right)\right\}$ ；

Step3.5：对于 $\forall b_i\in C-A$ ，构造属性组 $Group\left(b_1\right)$ ；

Step3.6：令 $A=A\cup Group\left(b_1\right)$ ， $U=U-PO{S}_A\left(D_{mcs}\right)-NE{G}_A\left(D_{mcs}\right)$ ；

Step4：对于 $\forall a\in A$ ，如果 $Si{g}_{in}\left(a,A,D_{mcs}\right)=0$ ，则令 $A=A-\left\{a\right\}$ ；

Step5：返回约简A，算法结束。