等价最小DFA 互信息 粗映射 粗糙集 商集 决策树 数据库 知识发现与数据挖掘