输入:集值决策系统 S V D S = ( O B , C D , V , F )

输出:SVDS多特定类广义决策最短约简。

1. 计算对象在条件属性集C下的相容类 T C ( x ) ( x O B ) 以及决策属性在论域OB上的划分 π D

2. 根据相容类 T C ( x ) 计算每个对象的广义决策 ϑ ( x | C )

3. 根据广义决策 ϑ ( x | C ) 构造特定类广义决策约简的差别矩阵 M m s c

4. 由 M m s c 得到广义决策约简的差别函数 D F m s c

5. 调用CAMARDF算法,并将差别函数 D F m s c 作为输入;

6. 输出SVDS特定类最短约简。