正在加载图片...
.522. 智能系统学报 第11卷 1)由一条边构成,也即自环: M,I),w),ij,t=1,2,…, ,。则进行4)。 2)由两条边构成,也即重边: ②若:∩0=w,0,W(R(0,M,),0),i,j,t= 3)由3条或3条以上的边构成,也即非自环非 ,则将W,={,,∩0,=,e,,6 1,2,…,2 重边的圈。 证明由定义2中3)可知,自环是只有一个顶 W(R(O,M,I),o),0,EW(R(0,M,I),e)}添加到 点的圈;重边是由两个顶点的圈:由定义2中3)可 W(R(O,M,I),w)中。将W,赋值给W,执行①。 知,非自环非重边的圈之顶点个数大于2。 4)取maxw,,开始寻找边上权值包含w,的最 当圈只有一个顶点时,根据定义2中3)可知, 大圈,记录权值心,最大圈的顶点为Y,对应概念为 此时的圈为一个自环: C={(A,B):A=w,B=Y}。 当圈有两个顶点时,根据定义2中3)可知,此 5)①根据4)的原则,若W中存在0+1,s=1,2, 时的圈为重边; …,|MP,则选定0+1,重复4)。 当圈的顶点个数大于2时,符合定义2中2)。 ②若W中不存在0+1,则停止。 因此,圈有且仅有自环、重边、非自环非重边的 若W(R(0,M,I),w)中的元素满足3)中的①, 圈3种情况。 若心,∩心,=0,或0:∩心=0,此处0:,0,0,∈W(R 定理1设(0,M,I)是一个形式背景,(R(0, M,I),w)是(O,M,I)对应的弱化的属性拓扑图,权 (0,M,),w),i,j,t=1,2,…, 1M2I 2 ,则能够进行 值最大圈一定能够生成一个概念。 4)、5),又因为W(R(0,M,I),w)是有限的,因此 证明由引理2可知,弱化的属性拓扑图的权 有限步后算法可以停止。 值w最大圈有且仅有3种情况,下面关于这3种情 若W(R(0,M,I),w)中的元素满足w:∩心= 况分别说明。 M,此 1)当圈为自环时 ,0,gW(R(0,M,),0),i,t=1,2,…, 2 m∈M,圈Y={m},由弱化的属性拓扑图的构造 时会将新生成的w,添加到W(R(O,M,I),0)中,由 1)可知,有meT。根据引理1,(m',m)∈β(0,M, 于w,地,心,c0,0为有限的,因此经过有限步后 I)。而m'=w(m,m),因此,((m,m),m)∈β(0, 一定可以进行3)中①,因此有限步后算法可停止。 M,I)。 2.3算法分析 2)当圈为重边时 根据文献[9],可以看出1)的复杂度为 m1,m2∈M,圈Y={m1,m2},由弱化的属性拓扑 0门:步骤2将属性拓扑图弱化,首先判断每 图的构造2)可知,不存在其他权值为w(m1,m2)的 边,即不存在其他顶m,m∈M,使w(m1,m2)∈ 个属性是否为顶层属性,其复杂度为O(|M),其 0(m,m),i有,i≥3,j≥1。这就是说,除m1,m2 次需要判断是否为不能构成权值心的最大圈,其复 外,不存在其他属性所拥有的对象集包含w(m, 杂度为0 (MP (MP 2 ,所以2)的复杂度为02): m2),所以(w(m1,m2),Y)eβ(0,M,)。 3)=当圈的顶点个数大于等于3时 若是3)中①,首先对W中任意两元素取交,有 m1,m2,…,m:∈M,i≥3,若圈Y={m1,m2,… orD个元素,进行og 次,若是3)中②, m},证明过程与第2种情况类似,易证(0(m1, m2),Y)∈β(0,M,I)。 对新生成的集合W,重复次3),最多重复0次,所 引理3设W(R(0,M,I),0)是一个集族,则 以3)的复杂度为0 (01Wn12 ,其中W,伪元素 任意的其中0:,0,0,∈W(R(0,M,I),0),0.生W 2 IM2| 最多的集合;4)中,每到一个属性节点最多需要判 ((0,M,),0),,u=1,2,,2,它们之间 断M1次该节点是否在当前权值w的最大圈中, 的关系有且仅有以下3种情况之一发生: 最多判断M饮,所以4)的复杂度为0(|M2):5) 1)0:∩w:=0; 的复杂度为0(|OW.)。 2)0:∩0;=0, 因此,整个算法的复杂度为O(2wK10)。 3)0:∩0;=10u9 引理2圈有且仅有以下3种情况: 证明根据文献[15],可得若W(R(0,M,I),M,I),w), i,j,t = 1,2,…, M 2 2 。 则进行 4)。 ②若 wi∩wj =wt,wtÏW(R(O,M,I),w),i,j,t = 1,2,…, M 2 2 ,则将 Wr r = {wt:wi∩wj =wt,wi, wj,Î W(R(O,M,I),w),wt ÏW(R(O,M,I),w)}添加到 W(R(O,M,I),w)中。 将 Wr r赋值给 Wr,执行①。 4)取 max êws ú,开始寻找边上权值包含 ws的最 大圈,记录权值 ws 最大圈的顶点为 Y,对应概念为 C = {(A,B): A =ws, B = Y}。 5)①根据 4)的原则,若 W 中存在 ws +1 ,s = 1,2, …, êM ú 2 ,则选定 ws +1 ,重复 4)。 ②若 W 中不存在 ws +1 ,则停止。 若 W(R(O,M,I),w)中的元素满足 3)中的①, 若 wi∩wj = Æ,或 wi∩wj = wt,此处 wi, wj,wt ÎW(R (O,M,I),w), i,j,t = 1,2,…, M 2 2 ,则能够进行 4)、5),又因为êW(R(O,M,I),w) ú是有限的,因此 有限步后算法可以停止。 若 W(R(O,M,I),w) 中的元素满足 wi ∩wj = wt,wtÏW(R(O,M,I),w),i,j,t = 1,2,…, M 2 2 ,此 时会将新生成的 wt添加到 W(R(O,M,I),w)中,由 于 wr¹ws,wt ÍO,êO ú为有限的,因此经过有限步后 一定可以进行 3)中①,因此有限步后算法可停止。 2.3 算法分析 根据 文 献 [ 9 ], 可 以 看 出 1 ) 的 复 杂 度 为 O M 2 2 æ è ç ö ø ÷ ;步骤 2 将属性拓扑图弱化,首先判断每 个属性是否为顶层属性,其复杂度为 O( M ) ,其 次需要判断是否为不能构成权值 w 的最大圈,其复 杂度为 O M 2 2 æ è ç ö ø ÷ ,所以 2)的复杂度为 O M 2 2 æ è ç ö ø ÷ ; 若是 3) 中 ①, 首先对 W 中任意两元素取交, 有 O( W ) 个元素,进行 O W 2 2 æ è ç ö ø ÷ 次,若是 3) 中②, 对新生成的集合 Wr r重复次 3),最多重复êO ú次,所 以 3)的复杂度为 O O Wrr 2 2 æ è ç ö ø ÷ ,其中êWr r ú为元素 最多的集合;4) 中,每到一个属性节点最多需要判 断êM ú-1 次该节点是否在当前权值 w 的最大圈中, 最多判断êM ú次,所以 4)的复杂度为 O M 2 ( ) ;5) 的复杂度为 O O Wrr ( ) 。 因此,整个算法的复杂度为 O 2 M × O ( ) 。 引理 2 圈有且仅有以下 3 种情况: 1)由一条边构成,也即自环; 2)由两条边构成,也即重边; 3)由 3 条或 3 条以上的边构成,也即非自环非 重边的圈。 证明 由定义 2 中 3)可知,自环是只有一个顶 点的圈;重边是由两个顶点的圈;由定义 2 中 3)可 知,非自环非重边的圈之顶点个数大于 2。 当圈只有一个顶点时,根据定义 2 中 3)可知, 此时的圈为一个自环; 当圈有两个顶点时,根据定义 2 中 3)可知,此 时的圈为重边; 当圈的顶点个数大于 2 时,符合定义 2 中 2)。 因此,圈有且仅有自环、重边、非自环非重边的 圈 3 种情况。 定理 1 设(O,M,I)是一个形式背景,(R(O, M,I),w)是(O,M,I)对应的弱化的属性拓扑图,权 值最大圈一定能够生成一个概念。 证明 由引理 2 可知,弱化的属性拓扑图的权 值 w 最大圈有且仅有 3 种情况,下面关于这 3 种情 况分别说明。 1)当圈为自环时 m ÎM,圈 Y = {m},由弱化的属性拓扑图的构造 1)可知,有 m ÎT。 根据引理 1,(m′, m) Îβ(O,M, I)。 而 m′ = w(m,m),因此,(w(m,m), m)Îβ(O, M,I)。 2)当圈为重边时 m1 ,m2ÎM,圈 Y = {m1 ,m2 },由弱化的属性拓扑 图的构造 2)可知,不存在其他权值为 w(m1 ,m2 )的 边,即不存在其他顶 mi, mj ÎM,使 w ( m1 , m2 ) Í w(mi, mj), i ¹j, i≥3, j≥1。 这就是说,除 m1 , m2 外,不存在其他属性所拥有的对象集包含 w( m1 , m2 ),所以(w(m1 ,m2 ),Y)Îβ(O,M,I)。 3)= 当圈的顶点个数大于等于 3 时 m1 ,m2 , … ,miÎM,i≥3,若圈 Y = { m1 ,m2 , … mi},证明过程与第 2 种情况类似,易证 ( w ( m1 , m2 ),Y)Îβ(O,M,I)。 引理 3 设 W(R(O,M,I),w)是一个集族,则 任意的其中 wi, wj, wt ÎW(R(O,M,I),w),wu ÏW (R(O,M,I),w),i,j,t,u = 1,2,…, M 2 2 ,它们之间 的关系有且仅有以下 3 种情况之一发生: 1)wi∩wj = Æ; 2)wi∩wj =wt; 3)wi∩wj =wu 。 证明 根据文献[15],可得若 W(R(O,M,I), ·522· 智 能 系 统 学 报 第 11 卷
<<向上翻页向下翻页>>
©2008-现在 cucdc.com 高等教育资讯网 版权所有