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

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

Step1： $A=\varnothing$ ；

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

Step2.1：对于 $\forall b\in C-A$ ，计算 $Si{g}_{out}\left(b,A,D_{mcs}\right)$ ；

Step2.2：令 $b_1=\arg Max\left\{Si{g}_{out}\left(b,A,D_{mcs}\right)\right\}$ ， $A=A\cup \left\{b_1\right\}$ ；

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

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