循环图中部分图类的导出匹配可扩性

如果一个图的任何一个导出匹配都能包含在一个完美匹配当中,就称之为导出匹配可扩的.对有2n个顶点x1,x2,…,x2n的图,如果对于i-j≡±1(mod2n)或者i-j≡±k(mod2n)的i和j,均有xixj∈E(G,)则称其为步长为1和k的循环图,记为C2n(1,k.)通过详细讨论循环图的导出匹配可扩性,具体给出了循环图中的部分图类的导出匹配可扩性。     

拟轮图的导出匹配可扩性

从导出匹配可扩图的定义、结构出发,研究了拟轮图的性质, 构造了一类新的导出匹配可扩图Γn. 主要结果如下:(1)判定具有奇数个顶点的图几乎导出匹配可扩性是co-NP-完全的. (2)Γn中的任何一个图均是边数为5n-6的导出匹配可扩的拟轮图.     

n-正则(n-2)-边可删的导出匹配可扩图

设图G是有2n个顶点的简单图,如果对于E(G)的任一满足|F|=k的子集F,G-F均为导出匹配可扩的,则称图G是k-边可删的导出匹配可扩图.证明了n-正则(n-2)-边可删的导出匹配可扩图只有Kn,n,其中n≠4k,k≥3.     

循环图C_(2n)(1,3)的2-偶匹配可扩性

设图G是一简单的且有完美匹配的连通图,称图G是k-偶匹配可扩的,是指G的每一个基数不大于k(1≤k≤(│V(G)│-2)/2)的偶匹配M都可以扩充为G的一个完美匹配.刻画了循环图C2(n1,3)的2-偶匹配可扩性,得到结论:对于任意的n(n≥3),C2(n1,3)是2-偶匹配可扩性的.     

步长为1和 (2n+1)/3的2n阶循环图的导出匹配可扩性

根据原晋江在《导出匹配可扩图》一文中给出的图的导出匹配可扩性的概念,采用把图的任意匹配扩充为完美匹配的方法,研究了步长为1和(2n 1)/3的2n阶循环图的导出匹配可扩性,得出主要结论为:当n≥4时,步长为1和(2n 1)/3的2n阶循环图是导出匹配可扩的.     

关于丢番图方程2py~2=2x~3+3x~2+x的解

本文运用初等数论简单同余法、分解因子法及反证法等,得到丢番图方程2py2=2x3+3x2+x,(p为素数)无正整数解的情况.(1)当p≡1(mod 8),p≡5(mod 8),p≡7(mod 8)时,则方程无正整数解;(2)当p≡3(mod 8)时,Un+Vnp(1/2)=(x0+y0p(1/2))n.其中x0,y0是Pell方程x2-py2=1的基本解,当n≡0(mod 2)时,则方程无整数解;当n≡1(mod 2)时,若2|x0,则方程无整数解.特别是p≡3(mod 8)且p100时,2|x0,则方程无整数解.     

图wn*pk的优美性

提出图wn*pk的概念,并在n≡0(mod 2)且n≥4,k≡1(mod 2),k≡0(mod 2)和n≡1(mod 2)且n≥5,k≡1(mod 2),k≡0(mod 2)时,证明图wn*pk是优美的.     

关于丢番图方程x~3±27=py~2

利用初等方法得出了:p=3(3k+1)(3k+2)+1(k≡1,2(mod4))为奇素数时,丢番图方程x3+27=py2无正整数解;p=3k(k+1)+1≡1(mod8)(n≡k(mod 13))为奇素数时,丢番图方程x3-27=py2无正整数解.     

关于不定方程 x2+4n=y3

利用代数数论的方法,证明了不定方程x2+4n=y3(其中n∈N,x≡1(mod2),x,y∈Z)仅有整数解(x,y,n)=(±11,5,1)。     

一类1-边可删的导出匹配可扩图的刻画

设图G是有2n个顶点的简单图,如果删去G的任意k条边后得到的图是导出匹配可扩的,则称G是k-边可删的导出匹配可扩图.给出了4-正则、不包含K1,4作为导出子图、1-边可删的导出匹配可扩图的完全刻画.     

直径为2的无爪图的导出匹配可扩性

如果简单图G的每一个导出匹配都包含在它的一个完美匹配中，称图G是导出匹配可扩的，简称为IM-可扩的。研究了直径为2的无爪图的导出匹配性，证明了一个直径为2的无爪图G是IM-可扩的充分必要条件是：对任意满足|M|≤3的导出匹配M，G—V(M)没有奇分支。因而，直径为2的无爪图的IM-可扩性问题是多项式可解的。     

结合图的导出匹配可扩性

简单图G和H的结合图G[H]的顶点集为V(G)×V(H),其中(u,v)和(u′,v′)相邻的充分必要条件是:或者uu′∈E(G)或者u＝u′并且vv′∈E(H).研究了结合图G[H]的导出匹配可扩性,证明了若G和H是非平凡图,G是连通图,且G和H满足下列条件之一,则G[H]是导出匹配可扩的:(1) G和H中有一个是导出匹配可扩的;(2) G和H都有完美匹配;(3) G和H中一个有完美匹配,另一个有几乎完美匹配.     

关于有限内循环群边传递的图

所指的图是有限的、单的、无向的且无孤立点,p,q,t是素数,m,r是正整数且满足r■1≡rq(modp).获得了关于有限内循环群边传递的图的完全分类,结果为:设Γ是一个图,G是一个阶为pqm或t2或8的内循环群,且G≤Aut(Γ),则Γ是G-边传递的当且仅当Γ同构于下列图之一:(1)qm-eCpqe,0≤e1;(4)pCqm,(q,m)≠(2,1);(5)pK1,1,m=1;(6)Cay(Zp,C),C={±rμ|μ∈Zq},m=1;(7)B(Zp,C),其中C={1-rj|j∈Zq},m=1;(8)Kp,1,m=1;(9)pKqm,1;(10)Kpqm,1;(11)Kqm,p;(12)pqeK1,qm-e,1≤e≤m;(13)qeK1,pqm-e,1≤e≤m;(14)qeKqm-e,p,1≤e2;(16)2K1,1,t=2;(17)t2K1,1;(18)tKt,1;(19)Kt,t;(20)Kt2,1;(21)2C4;(22)8K1,1;(23)2K4,1;(24)4K2,1;(25)K8,1.     

完全多部图Kn(t)的{K3+e}分解

如果Kn(t)能分解成一族同构于G的边不交的子图的集合，那么称Kn(t)存在G分解，讨论了当G是K3 e时，Kn(t)的G分解的存在性并给出其充要条件是：参数n，t满足下列条件之一：(1)t为偶数且n≥3；(2)t为奇数且n≡0，1(mod8)。     

关于偶匹配可扩图中删去两个点

设G是含有完美匹配的简单图.称G是偶匹配可扩的,如果G中导出子图是偶图的匹配M都可以扩充为G的完美匹配.研究了在偶匹配可扩图中删去两个顶点后该图的性质.这些性质对于偶匹配可扩图的进一步研究会有帮助.     

K1×mCn的k-边优美指标集

设G=(V,E)是一个p点q边图.对于非负整数k,若存在双射f:E→{k,k+1,…,k+q-1},使得其导出映射f+:V→Zp,f+(u)≡∑(u,v)∈Ef(u,v)modp也是一个双射,则称此图G是k-边优美的.称EGI(G)={k:G是k-边优美的}是G的边优美指标集.在此彻底解决了图K1×mCn(mn≡0mod 2)的边优美指标集.     

树的匹配覆盖

设图G没有孤立点.图G的匹配覆盖数,记为mc(G),是指满足如下条件的最小正整数k:G有k个匹配M1,M2,…,Mk覆盖图G的所有顶点.证明了如果图G是一个树,则mc(G)∈{Δ0(G),Δ0(G) 1},其中Δ0(G)是指使得图G的某个顶点有l个一度邻点的l的最大值.而且,任给一个树G,给出了一个可以确定图G的匹配覆盖数的线性算法.