有圈二部图覆盖的一个结果

H.Wang猜想,对于任意整数k≥2,存在N(k)使得二部图G=(V1,V2,E)中,V1=V2=n≥N(k),且对于G中任意一对不相邻的顶点x∈V1,y∈V2,有d(x)+d(y)≥n+k,那么,对于G中任意k个独立边e1,e2,e3,…,ek,存在顶点不重的k个圈C1,C2,…,Ck,使得ei∈E(Ci),i∈{1,2,…,k}和V(C1∪C2∪…∪Ck)=V(G).H.Wang及J.A.Bondy对k=2,3时证明了猜想成立,本文对k=4证明了猜想的正确性.     

非连通图C4m-1∪C12m-8∪G的优美标号

讨论了非连通图C4m-1∪C12m-8 ∪G的优美性,证明了当m为任意正整数,G是特征为k且缺k＋6m-3标号值的交错图（6m-3≤k＋6m-3≤｜ E（G）｜）时,非连通图C4m-1∪ C12m-8∪G存在缺标号值k＋1的优美标号,其中,G是具有m个顶点的圈.     

非连通图(P_1∨P_m)∪C_(4n)∪P_2的优美性

讨论非连通图(P1∨Pm)∪C4n∪P2的优美性.证明如下结论:设m、n为任意正整数,当m≥2,1≤n≤2m-2时,非连通图(P1∨Pm)∪C4n∪P2是优美图,其中Pn是n个顶点的路,G1∨G2是图G1与G2的联图,C4n是4n个顶点的圈.     

再探非连通图C4m-1∪C12m-8∪G的优美标号

讨论了非连通图C4m-1∪C12m-8∪G的优美性,证明了当m为任意正整数,G是特征为k且缺标号值k+6m-4的交错图(6m-4≤k+6m-4≤|E(G)|)时,非连通图C4m-1∪C12m-8∪G存在缺标号值k+16m-9的优美标号,其中,Cm是具有m个顶点的圈.     

关于最长圈交Grotschel猜想的证明

讨论了最长路的交及性质.证明了Grotschel猜想:C\-1和C\-2是k-连通图G的两个最长圈,则|V(C\-1)∩V(C\-2)|≥k;且公共点V(C\-1)∩V(C\-2)形成G的一个顶点割.     

非连通图Gn-1k∪i=0C3i（2n＋1）的优美性

证明了当自然数n≥2时,非连通图Gn-1k∪i=0 C3i（2n＋1）是优美图,其中C3i（2n＋1）是有3i（2n＋1）个顶点的圈（i为自然数）,Gn-1是任意一个有n-1条边的优美图.     

泛圈图的一个充分条件

在文[1]中给出定理,设G是一个n-阶2-连通图且δ（G）≥t,若对于G的任意两个不相邻的点u和v,均有｜N（u）∪N（v）｜≥n-t成立,则G是一个泛圈图或G≌Kn/2,n/2.本文的目的在于将此定理的条件减弱,只对图中距离为2的点进行讨论,得出了泛圈图的一个充分条件.文中主要用数学归纳法对定理进行证明,先在引理中给出了几种特殊情况的证明,接着在定理的证明中讨论了一般情形.     

图中顶点子集的边连通度与最优分级边连通图的构造问题

G =(V ,E)是无向连通图 ,无环允许有重边 .S是V的至少包含两个顶点的子集 ,S的边连通度λG(S)被定义为使S中的顶点不属于同一连通分支所需去掉的最少边数 .给定集合V和V的一个划分V =V1∪V2 ∪…∪Vr(|r|≥ 1,|V1|≥ 2 )以及正整数序列k1>k2 >… >kr≥ 2 .记Si=V1∪V2 ∪…∪Vi,1≤i≤r.构造一个连通图G =(V ,E)满足 :λG(Si)≥ki(1≤i≤r)且边数 |E|最小 .这种图G称为与所给划分和正整数序列相对应的最优分级边连通图 .在给出顶点子集的边连通度概念的基础上 ,本文提出并讨论了有关最优分级边连通图的构造问题     

非连通图3C8m∪C8m-1∪G的优美标号

研究非连通图3C8m∪C8m-1∪G的优美性.证明如下结论：对任意正整数m,若图G是特征为k且缺标号值k＋24m-2的交错图,则非连通图3C8m∪C8m-1∪G存在缺标号值k＋1的优美标号.     

一类变换图的递归构造方法

1980年,著名的图论专家R.A.Brualdi提出了关于变换图G（R,S）直径的Brualdi猜想[1],但至今仍悬而未决.J.Jin于2011年定义了一类变换图G（R＊,S＊）[2],其中,R＊=（r1,r2）且S＊=（1,…,1）.本文根据G（R＊,S＊）中最大团的性质找到G（R＊,S＊）的递归构造方法.     

图的反全符号控制数

设G=（V,E）是一个非空图,对于一个函数f∶V（G）∪E（G）→{-1,1},则称f的权重为w（f）=∑x∈V（G）∪E（G）f（x）。若x∈V（G）∪E（G）,定义f[x]=∑y∈NT[x]f（y）。如果对所有的x∈V（G）∪E（G）都有f[x]≤1,则称f是图G的一个反全符号控制函数。G的反全符号控制数定义为γ＊...     

B（H）上广义Jordan triple可导映射

利用算子论方法,证明了YA∈（B）（B）,若δ满足δ（AA＊ A）=δ（A）A＊A-Aδ（A）＊A＋AA＊δ（A）,则（E） S,T∈（B）（B）和λ∈{C＼R}∪{0},且S＊-S=T＊-T=λi,使得（a） A∈（B）（B）有δ（A）=SA-AT.     

关于几类DNA标号图和DNA图的结果

在分子生物学中,DNA链的杂交测序的计算和重构阶段可用DNA图作为数学模型,因此,DNA图得到广泛的研究^[1.2]．为了读取DNA序列,Blazewicz等人提出了可（α,k）-标号有向图的概念,并称有向图D是DNA图,如果D是可（4,k）-标号的．2008年,原军等证明了可（α,k）-标号的有向路和有向圈的充要条件．本文证明了有向路和有向圈可（α,k）-标号的一个性质,并利用有向线图的理论证明了本文所指的伪二部单向完全图D0（A,B）、k部广义路P（V0,V1,…,VK-1）、k部广义圈C（V0,V1,…,Vk-1）以及k部广义树T（V0,V1,…,Vk-1）均是DNA标号图．进而给出并证明了二部单向完全图D（V1,V2）和k部广义路P（V0,V1,…,Vk-1）为DNA图的充要条件．     

几类图的均匀邻点可区别全染色

 邻点可区别全染色是在正常全染色的定义下,使得任两相邻顶点的色集不同。设G（V,E）为一个简单图,f为G的一个k-邻点可区别全染色,若f满足||Vi∪Ei|－|Vj∪Ej||≤1（i≠j）,其中,Vi∪Ei={v|f（v）=i}∪{e|f（e）=i},记C（i）=Vi∪Ei,则称f为G的k-均匀邻点可区别全染色,简记为k-EAVDTC,并称χeat（G）=min{k|G存在k－均匀邻点可区别全染色}为G的均匀邻点可区别全染色数。本文给出了路、圈、风车图K t 3、图Dm,4和齿轮图■n的均匀邻点可区别全染色,以及它们的均匀邻点可区别全色数的确切值。     

完全二部有向图的(C_(2k),α)-因子分解

K*m,n表示对称的完全二部有向图,C2k表示2k长有向圈。如果K*m,n的子有向图F满足(1)F的有向弧集可分解为若干个有向圈C2k,(2)K*m,n的每一个点都恰好出现在F的"个C2k中,则称F为K*m,n的(C2k,")-因子。如果K*m,n的有向弧集可以划分为K*m,n的(C2k,")-因子的和,则称K*m,n存在(C2k,")-因子分解。文章利用直接构造法,得到对称的完全二部有向图K*m,n存在(C2k,")-因子分解的充分必要条件:m=n#0(mod"k/d),其中d是"和k的最大公约数。     

关于2G与路的并的优美标号

设G是有q条边的优美二部图,优美标号为θ,pm是有m条边的简单路,C=k 0〈k〈q,k≠θ（v）,v∈V（G{）},a=maxC,b=minC,h=min q-a＋2,b{}＋2.图G∪G∪Pm是两个图G与一条简单通路的不交并.证明了：当m=1或m≥h时,图G∪G∪Pm是优美的.应用此结论,得到：对所有的s≥2,t≥2,当m=1或m≥3时,图Ks,t∪Ks,t∪Pm是优美的.     

密花美登木叶化学成分研究

运用正相硅胶柱层析、MCI柱层析和半制备高效液相色谱分离了纯化密花美登木叶的化学成分,并采用NMR谱学和质谱技术鉴定了其结构.结果表明:从密花美登木叶中分离得到了5个化合物,分别鉴定为海棠果醇(1)、木栓酮(2)、山奈酚(3)、山奈苷(4)、胡萝卜苷(5),其中化合物2⁵为首次从该植物中分离得到.     

不含3圈的平面图的无圈边染色

图的无圈边染色是图的染色理论中的一个重要问题,2001年,Alon等猜想任意简单图G的无圈边色数都不超过△（G）＋2,其中△（G）为图G的最大顶点度。为了研究该猜想对平面图是否成立,利用差值转移方法,证明了不包含三角形的平面图G的无圈边色数不超过△（G）＋3．     

图 S＊的边幻和标号以及超边幻和标号

研究了对？n∈N＊图 S＊的边幻和标号以及超边幻和标号，得到了两种标号的算法 A 和 B，给出了对？n∈N＊图 S＊具有超边幻和常数 C1=5n＋6以及边幻和常数 C2=7n＋6，其中图 S＊由具有 n＋1个顶点星图 S（u）和 n＋1个顶点星图 S（v）组成，从而证明了 S＊不仅是边幻和图，而且还是超边幻和图等结论。     

关于Brualdi-Anstee猜想

著名的组合图论专家Brualdi和Anstee于1980年独立地提出了下述猜想:设R=(r1,r2,…,rm)、R'=(r'1,r'2,…,r'm)、S=(s1,s2,…,sn)、S'=(s'1,s'2,…,s'n)是非负整数向量,u(R,S)表示具有行和向量为R、列和向量为S的{0,1}-矩阵类,则存在矩阵A∈u(R,S),B∈u(R',S'),使A+B∈u(R+R',S+S')的充要条件是u(R,S)、u(R',S')和u(R+R',S+S')均非空.1986年,陈永川找到Brualdi-Anstee猜想的反例.对猜想的已知条件作补充,使得该猜想成立并证明之,并且由此得到了两个新定理.