输入：集值决策系统 $SVDS=\left(OB,C\cup D,V,F\right)$ 。

输出：SVDS广义决策最短约简。

1. 计算对象在条件属性集C下的相容类 $T_C\left(x\right)\left(x\in OB\right)$ 以及决策属性在论域OB上的划分 ${\pi }_D$ ；

2. 根据相容类 $T_C\left(x\right)$ 计算每个对象的广义决策 $\vartheta \left(x|C\right)$ ；

3. 根据广义决策 $\vartheta \left(x|C\right)$ 构造广义决策约简的差别矩阵M；

4. 由M得到广义决策约简的差别函数DF；

5. 调用CAMARDF算法，并将差别函数DF作为输入；

6. 输出SVDS最短约简。