检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]广西师范大学计算机科学与信息工程学院,广西桂林541004 [2]南宁师范高等专科学校数学与计算机科学系,广西崇左532200 [3]北京科技大学信息工程学院,北京100083
出 处:《计算机工程与应用》2009年第22期34-37,共4页Computer Engineering and Applications
基 金:广西教育厅项目(No.200807MS015);广西教育科研立项项目(No.200707LX037);广西师范大学博士科研基金
摘 要:目前的求核方法大多基于决策表,基于信息表的报道不多。为此,先寻找理论依据,说明了U/C与U(/C-{a})的内在关系,证明了U(/C-{a})≠U/C与真细分的等价性,证明了可以通过比较等价类和它子类的基数来判断是否真细分。然后基于最高位优先基数排序思想,应用正整数有序分拆特性定义了一个用于记录和比较等价类基数的数组,接着设计了一个信息表求核算法,时间复杂度为O(|C|2|U)|,空间复杂度为O(|U)|。算法的主要贡献是将求核问题转化为等价类生成过程中的集合基数比较问题。通过实例验证了算法的正确性。At present,approaches to compute the core based on decision table are in the overwhelming majority,and based on information table are in the tiny minority.For this reason,beginning with seeking theoretical basis,the inherent correlation between U/C and U/(C-{a}) is explained,and the equivalence relation between UI(C-{a})#U/C and real subdivision is discovered,and so is that real subdivision can be judged whether it is true or not by comparing an equivalence class radix with its subclass's.Then basing on principle of most significant ditital radix sorting,and applying property of positive integer ordered partition,an array used for recording and comparing the radix of equivalence classes is defined,and then an algorithm for computing the core of information table is designed.Its time complexity is O(|C|^2|U|),and the space complexity is O(|U|).The important contribution that it made is the way to get the core is transformed into comparing set radix during the course of generating equivalence classes.Its correctness is verified by the example.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.50