论文部分内容阅读
首先对GD-约束集中冗余的GD-约束进行了分类,然后给出了一个判断GD-约束是否冗余的充要条件.在此基础上,给出了一个GD-约束集成为最小覆盖的充要条件.最后,提出了一种求解GD-约束集最小覆盖的算法并对该算法进行了时间复杂性分析和算法正确性证明.
GD—约束集最小覆盖求解的研究
【摘 要】
：
首先对GD-约束集中冗余的GD-约束进行了分类,然后给出了一个判断GD-约束是否冗余的充要条件.在此基础上,给出了一个GD-约束集成为最小覆盖的充要条件.最后,提出了一种求解GD-
【机 构】
：
燕山大学信息科学与工程学院
【出 处】
：
燕山大学学报
【发表日期】
：
2002年1期
其他文献