步长为1和n/2循环图的导出匹配可扩性研究

如果一个图的任何一个导出匹配都能包含在一个完美匹配当中,就称之为导出匹配可扩的.对有2n个顶点x1,x2,…,x2n的图,如果对于i-j≡±1(mod2n)或者i-j≡±n2(mod2n)的i和j,均有xixj∈E(G),则称其为步长为1和n2的循环图,记为C2n(1,2n).本文的主要结论为:C2n(1,2n),n#4,是导出匹配可扩的.     

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阶循环图是导出匹配可扩的.     

拟轮图的导出匹配可扩性

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

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

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

关于丢番图方程x3+p3n=Dy2

设D是大于 2且不含σk +1之形素因数的无平方因子正整数 ,p是适合p D的素数。本文证明了 :当p>3且p ± 1(mod 12 )时 ,如果D有素因数q适合q≡ 1(mod 4) ,则方程x3 +p3n =Dy2 没有适合gcd(x ,y) =1的正整数解 (x,y ,n)。     

图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是优美的.     

蛛网图的偶匹配可扩性(英文)

图G的匹配M是偶匹配,如果G[V(M)]是偶图.图G是k-偶匹配可扩的(1≤k≤(V(G)-2)/2),如果G的每一个基数不大于k的偶匹配都可以扩充为G的一个完美匹配.研究蛛网图的偶匹配可扩性得出的结论是:蛛网图不具有偶匹配可扩性和2-偶匹配可扩性.     

关于丢番图方程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无正整数解.     

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

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

循环差集存在的一个必要条件和素数的一个性质

定义　设υ,ｋ,λ是正整数.模υ的ｋ个互不同余的整数组成的集合Ｄ={ｄ1,ｄ2,…,ｄｋ}叫做一个(υ,ｋ,λ)-循环差集,如果对于每一个α0(ｍｏｄυ),恰好在Ｄ中有λ个有序对(ｄｉ,ｄｊ),使得α≡ｄｉ-ｄｊ(ｍｏｄυ).由于一个循环差集可以展开为一个循环对称区组设计,由著名的ＢｒｕｃｋＲｙｓｅｒＣｈｏｗｌａ定理,有如下结论:定理1[1]　设1≤λ<ｋ<υ-1.若(υ,ｋ,λ)-差集存在,则ⅰ)λ(υ-1)=ｋ(ｋ-1),ⅱ)当υ为偶数时,ｋ-λ为平方数;当υ为奇数时,不定方程ｚ2=(ｋ-λ)ｘ2 (-1)(υ-1)/2λｙ2(1)有不全为零的整数解ｘ,ｙ,ｚ.判定不定方程(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)。     

关于Diophantine方程x~3±1=Dy~2

利用数论中的同余,勒让德符号的性质及其它一些方法,研究丢番图方程x3±1=Dy2(D=D1p,D是无平方因子的正整数,其中D1是不能被3或6k+1之形的素数整除的正整数,p=3(12r+7)(12r+8)+1,r是正整数)的解的情况。证明了当D1≡7(mod12)时,方程x3+1=Dy2无正整数解;当D1≡5,8(mod12)时,方程x3-1=Dy2无正整数解。     

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

称图G是偶匹配可扩的,是指G的每一个偶匹配M都可以扩充为G的一个完美匹配.判定图是否是偶匹配可扩的是co-NP-完全问题,根据图的k-偶匹配可扩性完全刻画了循环图C2n(1,4)的偶匹配可扩性.     

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)的边优美指标集.     

平面图线性2-荫度的一个上界

设图G为最大度为Δ的平面图。图G的线性2-荫度是将图G的边集合分解成k个线性森林的最小整数k,其中每个分支树为长至多为2的路,记为la2（G）。得到了平面图线性2-荫度的上界：若Δ≡0,3（mod 4）,则la2（G）≤「Δ/2棢＋8;若Δ≡1,2（mod 4）,则la2（G）≤「Δ/2棢＋7。