关于两类图的整和数

本文中的图均指无向简单图,以N,Z分别表示全体自然数及全体整数集合.对子集S(?)Z(N),S上的整和(和)图定义为图G=(S,E),满足条件对u,v∈S,uv∈E当且仅当u v∈s.此时,S称为G的一个整和(和)标号.一个图称为整和(和)图,如果它同构于某一子集S(?)Z(N)上的整和(和)图.容易验证,对一个有m条边的n阶图G,G∪mK_1是一个和图,只需标定G的顶点为2~i,1≤i≤n,同时对v_i,v_j∈E(G),标定对应的孤立点2~i 2~j即可.因此,对每一个图G,存在一个最小的非负整数r,使G∪rK_1为和图,记σ(G)=r,并称为G的和数.图的整和数ξ(G)类似定义,只是标号范围放宽到整数集上.容易看到ξ(G)≤σ(G).     

形如Np的子群系可补的局部群系

本文中所有群为有限群。定义和符号参见文献[1～3]。这里给出本文常用的一些概念与符号。一个群类称为群系,如果它关于同态像和次直积是封闭的。非空群系(?)称为局部的,如果由可推得一个群类(?)称为Fitting类,如果满足以下两个条件:1)若N为G的次正规子群,则若N_1,…,N_t为G的次正规子群且N_i∈(?),i=1,…,t,则。一个群系的局部子群系如果同时是一个Fitting类,则称之为局部Fitting子群系。设(?)为某一群的集合。我们用form(?)表示由群集合(?)生成的群系,用lform(?)表示由(?)生成的局部群系,π(G)表示群G的阶的素因数的集合,表示所有幂零群的群系,N_π表示所有幂零π-群的群系,(1)表示单位元群系。群系(?)的子群系(?)_1称为在(?)中可补的,如果(?)_1在(?)的子群系格里可补,即存在(?)的子群系(?)_2,使得且.     

边色数的分类问题及其有关性质

设图G为简单连通图,由Vizing定理可知△(G)≤x′(G)≤△(G)+1。其中,△(G)表示图G的最大顶点次,x′(G)是图G的边色数。若x′(x)=△(G),则称G为第一类图,并记为G∈C~1;若 x′(G)=△(G)+1,则称G为第二类图,记为G∈C~2。本文的目的在于讨论边色数的分类问题及其有关性     

具有最多边的唯一因子图

§1.引言 设G=(V,E)是简单图,V和E分别是G的顶点集和边集。n=|V|称为顶点数,m=|E|称为边数。设S(?)V,从G中去掉S得到的子图,用G-S表示,就是V-S生成的子图。 G的两条边e_1,e_2若有一个公共端点,称为是关联的.设F(?)E是G的边子集,F中任     

关于全图的强完美性

定义1 简单图G的最大完全子图的阶数,称为G的团数,简记作ω(G)。定义2 若对简单图G(V,E)的任意导出子图G[S](S(?)V(G)),均有     

一个Ringel猜想的证明

本文仅讨论简单无向图.图G被称为是一个极大平面二部图(以下简称为mpb图),如果:1)G是二部图.2)G是平面图.3)若u,v∈V(G),(u,v)∈E(G),则G+(u.v)或者不满足1)或者不满足2).为简便,不防将本文所提到的平面图本身视为它的一个平面嵌入.设H是G的一个边导出子图.H在G中的边补图,记为(?),定义为E(G)\E(H)在G中的边导出子图.特别地,如果T是G的一棵树,称(?)为T在G中的上树.     

无爪图中圈的弦的最大数目

本文讨论无向简单图。设C=v_1v_2…v_mv_1是图G的一个圈,G的边v_iv_i称为C的一条弦,如果i(?)j±1(其中v_(m+1)=v_1)。我们用σ(C)表示圈C的弦数,σ(G)表示图G中弦的最大数目。     

关于Alspach问题的解

本文研究Alspach提出的图的正交因子分解问题,给出了一个图有一类因子分解与任意对集正交的条件。 1 引言本文所考虑的图均指有限无向图,它不含重边和环。设G是一个图,分别用V(G)和E(G)表示图G的顶点集和边集,用d_G(x)表示顶点x在G中的次数。设g和f是定义在     

图的联结数及其三角形

简单图G的联结数记作bind(G),它是满足下式的最大实数C。这里V(G)是图G的顶点集,N(u)表示图G中与顶点u相邻接所有顶点作成的集合。     

连通、局部连通、无爪图是点泛圈图

本文只讨论有限、无向、无环和多重边的简单图。V(G)、E(G)分别表示图G的顶点集和边集。如果S(?)V(G),用G[S]表示子集S在G中的导出子图。若u∈V(G),N(u)表示u点的邻域,即邻接于u点的全体顶点的集合。     

中介公理集合论系统(Ⅱ)——集合的运算

本文讨论MS 的集合的运算,建立有关的各项公理,并给出“恰集”这一重要概念的形式定义.定义2.1(恰集) a_x~(exa)P(x,t)=_(df)(?)x(x∈a(?)P(x,t)).引理2.1 如果A(?)B,B(?)C,则A(?)C.定理2.2 a_x~(εxa)P(x,t)(?)b_x~(exa)P(x,t)(?)a=b.定义2.3(恰集简记) a={x|P(x,t)}=_(df)a_x~(exa)P(x,t).     

k连通无爪图中最长的圈

本文所涉及的图都是有限无向简单图。设G是一个图,总用V(G)、E(G)分别表示G的顶点集、边集,而p=|V(G)|。设UN(G),总用G[U]表示G中由U导出的子图。图G称为无爪的,如果对于任意UV(G),总有G[U]K_(1.3)。图G称为m路     

由一类图的着色导出的素数子集的分类

设P表示全体素数的集合,D(?)P。令G(Z,D)表示这样一个图:它的顶点集是全体整数的集合,两个顶点x和y之间有边连结当且仅当|x—y}∈D。Eggleton,Erds和Skilton等在文献中证明了:不论对任何素数子集D(?)P,图G(Z,D)的色数至     

二次系统二阶三阶细焦点外围极限环不存性的研究

具有二阶三阶细焦点的二次系统可化为 (1)其中,m(l+n)=a(b+2l),w_3=ma~2[2a~2+n(l+2n)][(l+n)~2(n+b)-a~2(b+2l+n)]≠0。由文献[2-4]我们仅需考虑n≠0情形,不失一般性,可设n-1,a>0。故我们可把方程(1)_(?)记为(1)_(1,0)。     

图的生成环及线图的Hamilton性

所讨论的图都是无向的、有限的简单图。图G的一个生成环(S-circuit)指的是一条通过图G所有顶点的闭迹。一个连通图称为几乎无桥图,如果G的任一桥至少关联一个度为1的顶点。1977年,F.T.Boesch、C.Suffel和R.Tindell提出了有生成环图的     

2连通无爪图的最长圈

本文所涉及的图都是有限无向简单图。设G是一个图,总用V(G)、E(G)、c(G)分别表示G的顶点集、边集、周长,而令p=|V(G)|。设U(?)(G),总用G[U]表示G中由U导出的子图。如果对于任意U(?)V(G),总有G[U](?)K_(1,3),则称G为无爪图。设λ=min{d(u)+d(v)|u,v∈V(G),uv(?)E(G)},δ=min{d(u)|u∈V(G)},其     

新型铁基微晶合金磁性能的新水平

定义1 设G是一个有限群,S G\{1}且S~(-1)={s~(-1)|s∈G}=S,在G上的以S为特征集的Cayley图,记为Γ(S;G),定义为V(Γ(S;G))=G,E(Γ(S;G))={(g,sg)|g∈G,s∈S}。如果S生成G,则Γ(S;G)连通;否则它由[G:]个分支组成,每个分支同构于     

包装(P,P—1)(P,P)图对和Slater问题

设G是简单无向图。V(G),E(G)分别表示G的顶点集和边集。如果|E(G)|=|V(G)|-K,则称G是(P,P—K)图。对于同阶图对{G_1,G_2},如果G_1与的某个子图同构,则称图对{G_1,G_2}是可包装     

荫度与独立数、覆盖数的关系

定义1对图G(V,E),由V中互不相邻的点组成的一个集合,称为G的一个独立集;而β(G)=max{|B||B为G的独立集}     

α次δ阶Riesz平均及其在紧李群上调和分析中的应用

设α_1,α_2,…α_s>0,δ_1,…,δ_s≥0,φ(t)=(1-t~α_1)~δ_1…(1-t~α_s)~δ_s,0≤t<1或0,t≥1.则φ(t)定义了紧李群G上可积函数f(x)之富里埃级数的一个平均求和。令δ=δ_1 δ_2 … δ_s,α=α_1,…,α_s中除2以外的最小数,若α_1=…=α_s=2时取α=2.称该平均为α次δ阶Riesz平均,并记为S_R~(α,δ)(f,x),