寻找单纯相容关系中最大相容类的算法研究.pdfVIP

第22卷增刊 江西师范大学学报 广自然科学版) Vol,22,Sup. 1998年 10月 JOURNALOFJIANGXINORMALUNVIERSITY Oct.1998 寻找单纯相容关系中最大相容类的算法 丁树 良 王明又 丁 晖 危 地 c江西师大计算机系 蔚昌.330017: i南昌;rl空二业学!;,万昌.33003斗) 摘 要 : 我们将相容关系划分成单纯与非单纯两大类.对于单纯相容关系，oz文给出了 基于图论的一种算法，这种算法直观有效. 关键字: 单纯相容关系，算法 中图法分类号:01$7局，TP301‘ 求有限集V上相容关系r的最大相答类，在数字逻辑的不完全确定状态表的简化1【]及 其他场合都有用. 一般情况下，求最大相容类可以用简化关系矩阵的方法求[4]，也可以田图论用图解方 法求，即找出最大多边形[2].图论方法求解虽然直观但是不易用计算机实现. 我们将相容关系 :分成两大类，一类是 :的每个最大相容类中都含有一个仅仅属于这 一最大相容类的元素，称这样的相容关系r为单纯相容关系，否则称:为非单纯相容关系 即在非单纯相容关系中、r至少有一个最大相容类，记为C,,C、中每n元素都不仅仅只属 于Cl.为了解释这个概念，我们来看下面的例子: 例 1:图 1中的相容关 系rTM-40. 3 n叉3n2下‘ 图1 单纯图 图 2非单纯图 图3非单纯图 因为r的两个最大相容类C、二{1,2,3),C:二3〔,4,5}中C,中元素1(或2)仅属于C,, C:中元素4(或5)仅属于G.。 但图2中相容关系r是非单纯的，因为最大相容类 C,={1,2),C;=(I,41,C,’一{{2,31,C,={3,41,这时，每个C,，中的任一元素 都不是仅仅属于C,的. 图3所示的相容关系r也是非单纯的，因为最大相容类 C,=11,2-3),C,,.=f3,4J,C,_{4,5}.04:,_(3,6)-C,=15,6〕这里C,”中每个元素都 不仅仅属于CS，比如SEC5nC,,6eC5nC,. 对于单纯相容关系 r，我们可以用如下所述的图论的方法，找出它的所有最灭相容类， 江西师范大管学报 r自然科学版) 1999年 而对于非单纯的相容关系，我们所给的-l7,去无效，这从一个侧面提示了寻找最大相容类时， 用图论方法转化为算法的困难所在 本文以下所说的相容类r都是单纯相容关系.毛戈乍将最大相容类简记为LCC 本文通过逐步过沈出含结点数最少的LCC.以及汉仅含在这个LCC中的结汽集S的 做法，给出了用关系图寻找LCC的算法 这一算法直观且每次寻找出的相容类保证为LCC. 以下我们总用M表示集合V上相容关系R的关系矩阵，并将M按列剖分为M=(m,, 二，m.),G表相应的关系图.记N={1.2.3n).由于V中元素与其足码一一对应，故我们 约定说足码J便指V中元素丫，1_jn 定义1 记u(N11)=(u,，一 R,)，且u了一工m,,15:j_n，称uM()为相应于M的列和 量，简记为u记 a(N)=卿{ujIu，为“M()中鞠个元素且ui0) a,=瞥{Ilu;=a(N)) 称UO对应的M的列为首处理列.即首处理列是M中列足码最小且列和最小的非零列. 定义2 设X,y均为n维列向量，且它们各个分量取值只能是。或1，定义运算 N^y=(x,^Y,x=ny_,...、,\Y) (1) 其中x;ny;=lnin{xy}，15i_n. 定理1 设集合V=(V},.,v.}上相容关系r对应的关系阵为M 将M按列剖分， 记N=仲12,,..7n)且u=u(娜 若 (i)j。为首处理列: (2) (ii)记TC(jo)