拟阵基图的连通性

设 E 是有限元素的集合,M 是 E 上的拟阵,B 是M 的基集,记 M=(E,B).对任意的S_1、S_2■E,令 S_1-S_2={e|e∈S_1,e■S_2},S_1+S_2={e|e∈S_1或 e∈S_2},若 S={e},则简记为 S=e.图 G 的顶点及边集合分别记为 V(G)、E(G).拟阵 M 的基图 G=B(M)使 V(G)={b|b∈B},对任意的 b、b′∈V(G),bb′∈E(G)当且仅当|b-b′|-1.拟阵的基图是图的树图概念的推广,它在实际中有重要应用.文献[1]证明了:任意一个拟阵的基图如果至少     

图的邻接矩阵的行列式与积和式的递推表达式

设A(G)是简单图G的邻接矩阵,H是由G的独立边和不交圈组成的生成子图的集合,e是H中某个图的独立边,C是H中图的圈,且e∈E(C).记G-e是G的删边子图,G\W是从G中删去导出子图W中的顶点及其关联边后得到的图.那么A(G)的行列式为detA(G)=detA(G-e)-detA(G\e)-2(-1)~(|V(C)|)detA(G\C)A(G)的积和式为perA(G)=perA(G-e)+perA(G\e)+2perA(G\C)这里,C取遍H中图的经过边e的圈.     

联图S_5∨C_n的交叉数

两个图G和H的联图,记作G∨H,是指将G中每个点与H中的每个点连边得到的图.本文证明了星图S_5与圈C_n的联图S_5∨C_n的交叉数为Z(6,n)+4[n/2]+3(n≥3),其中Z(m,n)=[m/2][(m-1)/2][n/2][(n-1)/2],m,n为非负整数.     

关于P_(r,(2s-1))的奇优美标号

对于简单图G=〈V,E〉,如果存在一个映射f:V(G)→{0,1,2,…,2 |E|-1}满足1)对任意的u,v∈V,若u≠v,则(u)≠f(v);2)max{f(v)|v∈V}=2|E|-1;3)对任意的e_1,e_2∈E,若e_1≠e_2,则g(e_1)≠g(e_2),此处g(e)=|f(u)+f(v)|,e=uv;4){g(e)|e∈E}={1,3,5,…,2|E|-1},则称G是奇优美图,f称为G的奇优美标号.Gnanajoethi提出了一个猜想:每棵树都是奇优美的.证明了图P_(r,(2s-1)是奇优美图.     

一个给定图中Hamilton圈数的计算定理

众所周知,“一个图中有多少H圈”的问题是一个未解决的很困难的问题[1](其中H圈是Hamilton圈的简称)。我们约定本文讨论的图都是有限简单图,所用图论术语和记号凡不加定义的均采自参考文献[2]。用e(G)记图G的边数。当e(G)>e特别当e(G)很大而e很小时,直接数遍图G中的H圈是十分困难的。例如一个阶为20的圈G~*,其补     

几族3-优图

一个图 G中含有的三个结点的导出连通子图的个数 S3( G)在网络可靠性中起着重要作用 .在同点数同边数图类中具有最大 S3( G)的图称为 3-优图 ,它所代表的网络是点故障概率接近 1时的最可靠网络 .本文在已有的结果上进一步证明补图为 a K3∪ b K2 ∪ K1和 a K3-x的图分别是各自图类中唯一的 3-优图 ;补图为 a K3∪ ( b-1 ) K2 ∪ 2 K1和 ( a-1 ) K3∪ b K2 ∪ P3的图是该图类中仅有的两个 3-优图 .     

极小2-连通图的一个性质

圣1.基本概念与记号 设口是一个图,我们分别用厂(G),E(‘)表示图‘的顶点及边集合,分别用‘-e及G+e表示从图召中删去边e及增加边e以速接G中不相邻两点所得的图,用G·e表示从口通过收缩边e所得到的图。若S二E(G),用G〔夕]表示‘的边导出子图。 若图‘是2一速通的,但任意的e任E(G),G一e不是2一速通的,则称图G是一个极小2一速通图〔“’。 由此定义易见极小2一速通图一定是一个简单图。 本文分别用 t(G),c(G)表示图G的支撑树及圈的数目,分别用te(G),t百(G)表示图‘中含边e及不合边e的支撑树数目,分别用c,(G),叮(‘)表示G中含边e及不含…     

有向完美图

Gallai 和 Milgram 曾经证明,有向图 G 的所有结点可用恰好 α(G) 条互不相交的路来复盖,此处 α(G) 为图 G 的内固数.然而这个结果的好多证明都未指出存在着一最优 内固集 S 以及结点集的一个路剖分 μ_1,μ_2,…μ_k,以致对于所有 i,均有|S∩μ_i|=1.Gallai 和 Roy 曾经独立地证明,在一有向图 G 中,令 k 为一条路所能包含的最多的结点的个数,则 k 至少等于图 G 的色数γ(G).同样,我们不知道是否存在一最优色谱(S_1,S_2,…,S_k)以及一条路μ,以致对于所有的 i,均有|S_i∩μ|=1.在本文中引进了下述概念:1.有向图 G 称为α-有向完美,若对于每一最优内固集 S,均存在结点集合的一个路剖分μ_1,μ_2,…,以致对于所有的 i,均有|S∩μ_i|=1(且此性质对 G 的任一子图亦成立).2.一有向图 G 称为 γ-完美,若对于每一最优色谱 (S_1,S_1,…S_k),均存在一条路 μ,以致对于所有 i,均有|μ∩S_i|=1(且此性质对 G 的每一子图亦均成立).3.一长度为2k+1的奇圈系由2k+1条弧 u_1,u_2,…,u_(2k+1) 所给出,并从而确定了一个有2k+1个结点的序列 x_1,x_2,…,x_(2k+1).一条弦,可以是 G 的一条弧,它联结在以上叙列中不相继的两个结点,或者是 G 的一条弧,它平行上述2k+1条弧中的一条弧.一个奇圈称为反有向的,若i)其长度>3,ii)最长     

两类完全三部图的图因子大集

令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为S_λ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因子大集,记为LS_λ(F,G),是G中所有与F同构的子图的一个分拆{B_i},使得每个B_i均构成一个S_λ(F,G).当λ=1时,λ可省略不写.在[Ars Combin.,2010,96:321-329]中已经得到了LS_λ(K_(1,2),K_(v,v))的存在谱.本文证明了当v≡4(mod 12)时,存在LS(F,K_(v,v,v)),这里F∈{K_(1,3),K_(2,2)}.     

分数(g,f,m)-覆盖图的充要条件

G是一个图,g和f是两个定义在V(G)上的非负整数值函数,并且对任意的x∈V(G),满足g(x)≤f(x).称图G是分数(g,f,m)-覆盖图,如果存在图G的分数(g,f)-因子G[F_h]满足对任意的e∈E(H)有h(e)=1,其中H是图G的m条边的子图.证明了一个图是分数(g,f,m)-覆盖图的充要条件,并得到了几个推论.     

例外型Chevalley群G_2(q)的h函数值

设G是有限群,πe(G)表示G中元素的阶的集合,h(πe(G))表示满足πe(H)=πe(G)条件的有限群H的同构类类数,本文证明了例外型Chevalley群G2(q)的h函数值为1或∞.     

例外型Chevalley群G2(q)的h函数值

设G是有限群,πe(G)表示G中元素的阶的集合,h(πe(G))表示满足πe(H)=πe(G)条件的有限群H的同构类类数,本文证明了例外型Chevalley群G2(q)的h函数值为1或∞.     

C2(4,k) 中的强支撑可迹图

设2≤h≤3,l0,k≥0是整数,C_h(l,k)是由h-边连通简单图组成的集合,图G∈C_h(l,k)当且仅当对图G的任意一个二边割或三边割X,图G-X的每个分支都至少有︱V(G)-k︱/l个点.设e=u_1v_1和e'=u_2v_2是图G的两条边.若e≠e',G(e,e')是将图G中的边e=u_1v_1和e'=u_2v_2分别用路u_1v_ev_1和u_2v_e'v_2替换得到的图(其中,v_e,v_e'是不在V(G)中的两个新的点).若e=e',G(e,e')是将图G中的边e=u_1v_1用路u_1v_ev_1替换得到的图,也记作G(e).若对任意的e,e'∈E(G),G(e,e')都有支撑(v_e,v_e')迹,则称图G是强支撑可迹的.作者证明了,若图G∈C_2(4,k)且|V(G)|5k,则要么图G是强支撑可迹图,要么存在e,e'∈E(G),使得G(e,e')可以收缩成一个有限图类F中的图.当k=4时,F被完全确定了.     

偶图中过给定独立边集的圈

这里考虑的一切图均为简单的,以V(G),E(G)分别表示图G的节点集和边集。设H是G的子图,x∈V(H),用d_H(x)表示H中与节点x相邻节点的个数。如果e=(x,y)∈E(H),x,y是e的端点,则让d_H(e)=d_H(x)+d_H(y)。设A、B是V(G)的两个节点不交的子集,用E(A:B)表示G中一端在A中另一端在B中边的个数。设M是G     

最大度与最小度相差不超过2的图的平衡judicious划分

图G的顶点集V(G)的一个二部划分V_1和V_2叫做平衡二部划分,如果||V_1|-|V_2||≤1成立.Bollobas和Scott猜想:每一个有m条边且最小度不小于2的图,都存在一个平衡二部划分V_1,V_2,使得max{e(V_1),e(V_2)}≤m/3,此处e(V_i)表示两顶点都在V_i(i=1,2)中的边的条数.他们证明了这个猜想对正则图(即△(G)=δ(G))成立.颜娟和许宝刚证明了每个(k,k-1)-双正则图(即△(G)-δ(G)≤1)存在一个平衡二部划分V_1,V_2,使得每一顶点集的导出子图包含大约m/4条边.这里把该结论推广到最大度和最小度相差不超过2的图G.     

二部平衡公平划分的一个下界

设V_1,V_2是图G的一个二部划分.如果一1≤|V_1|-|V_2|≤1,则称V_1,V_2是G的一个二部平衡划分.对于n个顶点m条边的简单图G,本文证明了:(1)若G是k-正则图(k≥3),则G存在一个最小二部平衡划分V_1,V_2,使得max{e(V_1),e(V_2)}≥((k-1)m)/4k;(2)如果r是大于4的实数,且当n是偶数时△(G)≤((3r-4))/(r+4)δ(G)-(2r)/(r+4),当n是奇数时△(G)≤(3r-4)/(r+4)δ(G)-(8r)/(r+4),那么G存在一个二部平衡划分,使得min{e(V_1),e(V_2)}≥m/r,这里e(V_i)表示G中两个顶点都在V_i中的边的数目.     

2~2p~3阶群的构造

设G是2~2p~3阶群,S_2,S_p分别为G之sylow 2-群与sylow p-群,由于p≠3,S_pΔG,且S_p∩S_2=1,G=S_2S_p由ο(S_2)=4,知S_2或为循环群或为初等交换群,由ο(S_p)=p~3(p≠2),推出共有五种类型的群。 1.S_p=(?)Z_p, 由群之扩展理论,容易得到如下5个群:     

有限交换2—DCI群的刻划

设 G 是有限群。H 是 G 的非空子集,称 H 为 G 的 Cayley 子集,如果 G 的单位元素 e(?)H.若 H 的势|H|=i,我们还称 H 为 G 的一个 i—子集.定义1 设 G 是有限群,H 是 G 的 Cayley 子集,称有向图 X=X(G,H)是 G 的关于 H 的 Cayley 图,如果 X 的顶点集合 V(X)以及边集合 E(X)为     

几类有趣图的奇优美性和奇强协调性

对于简单图G=〈V,E〉,如果存在一个映射f:V(G)→{0,1,2,…,2|E|-1}满足:1)对任意的u,v∈V,若u≠v,则f(u)≠f(v);2)max{f(v)|v∈V}=2|E|-1;3)对任意的e_1,e_2∈E,若e_1≠e_2,则g(e_1)≠g(e_2),此处g(e)=|f(u)+f(v)|,e=uv;4)|g(e)|e∈E}={1,3,5,…,2|E|-1},则称G为奇优美图,f称为G的奇优美标号.设G=〈V,E〉是一个无向简单图.如果存在一个映射f:V(G)→{0,1,2,…,2|E|-1},满足:1)f是单射;2)■uv∈E(G),令f(uv)=f(u)+f(v),有{f(uv)|uv∈E(G)}={1,3,5,…,2|E|-1},则称G是奇强协调图,f称为G的.奇强协调标号或奇强协调值.给出了链图、升降梯等几类有趣图的奇优美标号和奇强协调标号.     

关于(ξ,k)-临界图

设 G为连通图 ,且ξ(G) =k≥ 1 ,若对 G中任意边 e,均有ξ(G\e) =k - 1 ,则称 G为 (ξ,k) -临界图 .本文刻划了ξ- 1 -临界图的若干性质 ,给出了一个图为ξ- 1 -临界图的一些充分或必要条件 ,以及一些ξ- 1 -临界图类 .