完全二部多重图的K_(1,p)~k因子分解(英文)

研究了完全二部多重图λKm ,n 的K1,k 因子分解 ,给出pkKm ,n 存在K1,pk 因子分解的必要条件和充分条件 :(1)m ≤pkn ;(2 )n≤pkm ;(3)pkm-n≡pkn-m≡ 0 (mod(p2k- 1) ) ;(4) (pkm-n) (pkn-m)≡ 0 (mod(pk- 1) (p2k- 1) (m n) .其中p为质数 ,k为正整数 .     

枫叶图的奇优美性和奇强协调性

首先提出了枫叶图的概念,然后证明了当m≡0(mod2)且k=2m和m≡1(mod2)且k=2m-1,m≥2时,枫叶图的奇优美性和奇强协调性.     

关于对角圈系统

给出了k≡1(mod4)且k≥13时C(k-1)2kGD(2k 2)的存在性,从而解决了当υ≡2k 2(mod4k 2),k≡1(mod4),k≥13时对角2k长圈系统的存在性.     

图CnUP4的优美性

证实了圈CnUP4，当n＝12k＋1（k≥5），n＝12k＋3(k≡0，1，5（mod6），且k≥5），n＝12k＋5（k≡1，2（mod4），且k≥5）时的优美性。     

整数集合的sum-free集(无和集)分拆的一个注记

本文根据g(n,k)的值证明了:φ(n,1)=[(n+1)/2](n≡1(mod2));φ(n,2)=n-[n/5](n≡4(mod(5)).ψ(n,1)=[(n+1)/2](p≡0(mod2));ψ(n,2)=n-[n/5](p≡0(mod5)).及其n和p取其他值与k≥3时,给出了φ(n,k)与ψ(n,k)的范围.并说明了g(n,k)与ψ(n,k)在求Ramsey数的作用.     

Fermat小定理的一个注记

沿袭了文献 [1 ]的方法 ,将文献 [2 ,3 ]中的结论作了进一步推广 :设 Q是交换环 R的一个素理想 ,如果存在整数 n >1使 an≡ a(mod Q)对任何 a∈ R都成立 ,则 char(R/Q) =p,且 (1 )当|R/Q|≥ n时 ,存在 k∈ N使 n =pk;(2 )当 |R/Q|0及 k≥ 0使 n =r(|R/Q|- 1 ) +pk。     

关于不定方程x2+4n=y11的整数解

应用代数数论以及同余法等初等方法讨论不定方程x~2+4~n=y~(11)的整数解情况,证明了不定方程x~2+4~n=y~(11)在x为奇数,n≥1时无整数解;不定方程x~2+4~n=y~(11)在n∈{1,8,9,10}时均无整数解;不定方程x~2+4~n=y~(11)有整数解的充要条件是n≡0(mod 11)或n≡5(mod 11),且当n≡0(mod 11)时,其整数解为(x,y)=(0,4~m);当n≡5(mod 11)时,其整数解为(x,y)=(±2~(11m+5),22m+1),这里的m为非负整数,验证了k=11时猜想1成立。     

广义Petersen图G(n,k)的邻强边染色

研究了若干广义Petersen图G(n,k)的邻强边染色,证明了若n≡0(mod 4),k(≠)0(mod 4),则x'as(G(n,k))=4.     

广义彼得森图意大利控制数

图的罗马控制来源于古罗马帝国的军事防御问题.图的意大利控制是一种泛化的罗马控制.确定图的意大利控制数是NP困难的.一般情况下,很难确定某一类图意大利控制数的精确值,只能给出其上界或下界.通过构造可递推的意大利控制函数,得到了广义彼得森图P(n,k)(k≥4)的意大利控制数紧的上界.结合前人给出的意大利控制数的下界,确定了当k≡2,3(mod 5)且n≡0(mod 5)时,P(n,k)(k≥4)意大利控制数的精确值.     

完全多重图λKν的{p2*,p3}-因子分解

λKν是完全多重图.如果λKν的边集可以划分成一个p2-因子和若干个p3-因子的并,则称λKν存在{p2*,p3}-因子分解.文章主要研究完全多重图λKν的{p2*,p3}-因子分解的充分必要条件为:(1)λ≡1(mod 4),ν≡6(mod 12)或(2)λ≡3(mod 4),ν≡0(mod 12).     

荷花图Dn,4*2 pm* St的优美性和奇强协调性

给出荷花图Dn,4^2＊pm＊St的概念,并证明当m≡0,1（mod4且m≥4）时,荷花图是优美且奇强协调的.     

关于Diophantine方程x~2＋4~n=y~3

证明了不定方程x2＋4n=y3（n∈N,x≡0（mod2）,x,y∈Z）,其中当n≥3时整数解仅有（x,y,n）=（0,4k,3k）,（±2×8k,2×4k,3k＋1）,（±11×8k,5×4k,3k＋1）,k∈N＋.     

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

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

R(4,1×n)型图的边标号

证明当n≡1（mod 2）时,R（4,1×n）型图是k-边优美图、超边优美图和边友好图.     

完全二部有向图的(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的最大公约数。     

谱V（1）稳定同伦群中的新元素

设奇素数p≥11,q=2（p-1）,A为模p的Steenrod代数．证明了在Adams谱序列中,b1k0∈ExtyA^4,p2q＋2pq＋q是永久循环且不是dT边缘,从而收敛到π＊V（1）中的非零元．     

联结数与分数（k，n’）一临界消去图

设G是一个图,若删除G中任意n’个顶点的剩余子图依然是分数k-消去图,则称G为分数（k,n＇）-临界消去图．笔者证明了若k≥2,n,≥0,bind（G）≥^（n＇＋1）且6（G）≥k＋n＇＋1,则G是分数（k,n＇）-临界消去图．     

平面图线性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。     

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

非连通图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条边的优美图.