对于“集合的完全覆盖的求法”的改进.pdfVIP

第31卷 第1期 沈 阳 理 工 大 学 学 报 VO1．31No．1 2012年 2月 JournalofShenyangLigongUniversity Feb．2 0 12 文章编号：1003—1251(2012)01—0066—04 对于 “集合的完全覆盖的求法的改进 田贺民 ，朱丽梅 (1．沈阳理工大学 理学院，辽宁沈阳 110159；2．沈阳航空航天大学 理学院，辽宁 沈阳 110136) 摘 要：相容关系是集合中元素的一种重要的二元关系，与之一一对应的完全覆盖在计 算机理论中有广泛的应用。原有的 “利用相容关系矩阵求集合的完全覆盖”的方法中存 在疏漏，研究提出了改进方案，并对新方法给出了证明与实例验证。 关 键 词 ：相容关系；简化的相容关系矩阵；最大相容类；完全覆盖 中图分类号 ：O157．5 文献标志码 ：A An ImprovedM ethodtoObtainCompleteCoveringbyCompatibilityRelationMatrix TIAN Hemin，ZHU Limei (1．ShenyangLigongUniversity，Shenyang110159，China；2．ShenyangInstituteofAeronauticalEngineering，Shenyang110136，China) Abstract．Compatibilityrelationisaveryimportantbinaryrelationbetweenelementsofa set．Foragivencompatibilityrelation，itcorrespondstoone—to—onecompletecoveringand completecoveringiswidelyappliedincomputertheory．Onhtebasisofanalyzingna ddis— cussinghteweaknessofhteoriginalmehtodhtatthecompletecoveringofasetcanbeob— tainedbycompatibilityrelationmatrix，htisdissertationgivesanimprovedmehtod，thenhte new mehtodhasbeenclearlydemonstratedandoneexampleofhtisisofferedforverifying thenew method． Keywords：compatibilityrelation；simplifiedcompatibilityrelationmatrix；maximal com- patibilityclass；completecovering 集合论是现代各科数学的基础，也是离散数 矩阵法)，经分析及实例验证发现原矩阵法存在疏 学的重要组成部分。相容关系是集合理论中的元 漏。本文提出了改进的利用简化的相容关系矩阵 素的一种重要的二元关系，由它唯一确定的集合 构造完全覆盖的方法 (以下简称新矩阵法)。 的完全覆盖在计算机理论中有广泛的应用 -3]。 利用相容关系图，通过找孤立结点、非完全多边形 1 基本概念 4 中线段的端点集、最大完全多边形的顶点集的方 法可以确定出相容关系的完全覆盖。由李盘林先 (1)设R是非空集合A上的二元关系，若 生等 编著的 《离散数学》中，介绍了利用简化的 是 自反的、对称的，则称R是A上的相容关系。 相容关系矩阵构造完全覆盖的方法 (以下简称原 (2)简化的相容关系矩阵M 由相容关系矩 收稿 日期：201l一11—07 作者简介：田贺民(1963一)，男，副教授，研究方向：应用数学 第1期