λ_4-最优图的一个充分条件

文章给出了λ4-最优图的一个充分条件.设G是阶为n≥11的λ4-连通图,若对G中任意一对不相邻顶点u,v,有｜N（u）∩N（v）｜≥6且G｜N（u）∩N（v）｜至少包含16条边,则G是λ4-最优的.     

图的λ4-最优性的邻域交条件

文章给出了图的λ4-最优性的邻域交条件.设图G是阶至少为34的λ4-连通图,若对G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥6且ξ4（G）≤3n（G）/2＋3,则G是λ4-最优的;若对于λ4-连通图G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥6且对图中每个三角形T至少存在一个顶点v∈V（T）...     

图是λ4-最优及超级-λ3的最小度条件

为精确估计网络的可靠度,我们需要最优化其图模型的限制边连通度,证明一个n≥11阶最小度δ(G)≥[n/2]-3的λ4-连通图G,在一定的条件下是λ4-最优的.进而,若n≥12,则G是超级-λ3图.并举例说明了最小度的下界是最好可能的.     

λ_4-最优二部图的领域交条件

文章给出了二部图是λ4-最优的一个领域交条件.设n为一个不小于8的正整数,令G=（X∪Y,E）为一个n阶二部图且ξ4（G）≤n/2.若G有一个饱和X或Y中所有顶点的匹配且对任意的u,v∈X和u,v∈Y都有｜N（u）∩N（v）｜≥4,则G是λ4-最优的.     

λ5-最优图的一个充分条件

设G是一个λ5-连通图,定义ξ5(G)=min{|[X,X]|:X■V(G),|X|=5,G[X]是连通子图},若λ5(G)=ξ5(G),则称G是λ5-最优图.文章给出了满足顶点数v≥17且最小度δ≥v/2-4的λ5-连通图G在一定特殊条件下是λ5-最优图的一个充分条件.     

极小四阶限制边连通图

设G是有限简单无向图,k是正整数.使G-S每个分支的阶不小于k的边割S称为G的k阶限制边割.G的四阶限制边连通度λ4(G)是G的四阶限制边割之中最少的边数.若对于任意边e∈E(G),均有λ4(G-e)=λ4(G)-1,则称G是极小四阶限制边连通图.定义ξ4(G)=min {(e)(U):U(∪)V(G),G[U]是四阶连通导出子图},此处(e)(U)表示恰好有一个点在U上的边的数目.若λ4(G)=ξ4(G),则称G是λ4最优的.若每个5阶限制边割都孤立出G的一个5阶连通子图,则称G是超级5阶边连通的.笔者给出:极小四阶限制边连通图若不是λ4最优的,则是3正则,围长为5,任意边都关联5圈,且是超级5阶边连通的图.     

λ-Horn集上的λ-单元锁归结

本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。     

图是超级-λ′的充分条件

设G=(V,E)是有限简单无向图.如果G的每个最小限制边割都孤立出一条边,则称G是超级-λ′的.笔者在一定意义上改进了文献[7]给出的图为超级-λ′的一个充分条件.     

图是λ5-最优的充分条件

文章给出了图是λ5-最优的邻域交条件.设G是一个λ5-连通图,定义ξ5（G）=min{｜[X,]｜：X∈V（G）,｜X｜=5,G[X]连通},若λ5（G）=ξ3（G）,则称G是λ5-最优的.若对G中任意一对不相邻的顶点u和v,都有｜N（u）∩N（v）｜≥5且G满足ξ3（G）≤V（G）/2＋10,｜V（G）｜≥31,则...     

图是超级-λ′的度条件

笔者利用顶点的度给出了图是超级-λ′的两个充分条件,而且给出例子说明其最好可能性和独立性,这些结果在网络可靠性分析中有一定应用.     

图的λ_4-最优性的邻域交条件

本文给出了图的λ4-最优性的邻域交条件:设图G是阶数大于等于11的λ4-连通图,对G的任意一对不相邻顶点u,v,若u,v均不在三角形中,有|N(u)∩N(v)|≥5,若u或v在三角形中,有|N(u)∩N(v)|≥7,则G是λ4-最优的;若G中任意一对不相邻顶点u,v满足|N(u)∩N(v)|≥5,任意一条边xy满足|N(x)∩N(y)|≤2,则G也是λ4-最优的.这些结果在网络可靠性分析中有一定应用.     

直径为2的图是超级-λ′的充分条件

如果图G的每个最小限制边割都孤立出一条边,则称G是超级-λ′的．本文给出了直径为2的图是超级-λ′的一个充分条件．     

求λ-矩阵广义逆矩阵的初等变换法

给出了λ-矩阵的广义逆矩阵的定义,并利用λ-矩阵的初等变换得到求其逆矩阵及其广义逆矩阵的统一方法.     

图的运算和超边连通度

许多网络拓朴结构是通过图的运算得到的.超边连通性是衡量网络可靠性的一个重要尺度.一个图G为最优-λ'图,如果其限制性边连通度λ'(G)等于其最小边度ζ(G).一个最优-λ′图被称为超-λ'图,如果从G中去掉任何一个最小限制性边割都会产生孤立边.考虑图的三类运算;证明了如果原始图为正则的最优-λ'图,则运算后的图是超-λ'图.     

k—连通图为Dλ—连通的一个充分条件

本文在对有限简单图给出 D_λ—连通的定义之后,证明了下述定理:设 G 是n 阶 k—连通(k≥3)的有限简单图,如果对任意的 Y∈I_k(G,λ),有sum from i=1 to k (k+i-2)/(k-1)s_i(Y、λ)>n-k(λ-1),则 G 是 D_λ—连通的.     

图的λ_6-最优性的领域交条件

文章给出了满足一定条件的图的λ6-最优性的领域交条件.设图G是连通图,若对G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥10且｜X5｜≤5,则G是λ6-最优的;若对于连通图G中任意一对不相邻顶点u,v,都有｜N（u）∩N（v）｜≥10且对图中每个三角形T至少存在一个顶点v∈V（T）使得d（v）≥v2＋5,则G是λ6-最优的.     

(λ,μ)-反模糊商群

根据(λ,μ)-反模糊子群和反模糊正规子群的概念,给出了(λ,μ)-反模糊商群的定义,并讨论了其性质;同时丰富和完善了(λ,μ)-反模糊子群和(λ,μ)-反模糊正规子群的性质.     

λ-广义凸函数的定义与等价命题

研究了模糊数学中λ-凸函数与λ-广义凸函数的有关内容.介绍了λ-凸函与λ-广义凸函数的定义,证明了λ-广义凸函的几个等价命题.     

环的（λ,μ）-模糊同态

模糊同态是模糊代数学的重要概念之一,它可由不同的模糊映射产生。本文利用（λ,μ）-模糊映射给出了环的（λ,μ）-模糊同态的定义,从而研究了（λ,μ）-模糊同态下（λ,μ）-模糊子环和（λ,μ）-模糊理想的对应关系及若干性质,最后建立了环的（λ,μ）-模糊同态基本定理。     

（λ，μ]-商模糊子群

根据（λ，μ]-模糊子群和（λ，μ]-正规模糊子群的概念，给出了（λ，μ]-商模糊子群的定义，并讨论了其性质；同时丰富和完善了（λ，μ]-模糊子群和（λ，μ]-正规模糊子群的性质．