k元n方体的边容错性

k元n方体是并行与分布式处理系统最常用的互连网络拓扑结构之一.研究了k元n方体中不存在k元(n-m)方体子结构的最小边故障数目fn,m,其中k≥3是奇数,证明了fn,0=1,kn≤fn,m≤n(mm)k,fn,n-1=nkn-1以及fn,1=k+k/(n-1).     

含有故障点的4元n方体中无故障路的嵌入

k元n方体是传输信息的一种重要网络.本文研究含有故障点的4元n方体,证明了当其故障点数f（≤n-1）时,对每个奇数l∈{2n-1,2n-3,…,4n-2f-1},任意两个相邻的非故障两点之间存在长度为l的无故障路.     

非连通图Wmk∪G的优美性

文章证明了对任意自然数n≥1,p≥1,k≥1,当m1=2p+3或2p+4时,图W(k)m1∪Kn,p为优美图,其中Wm1(k)为由k个轮Wmi(i=1,2,…,k)的中心顶点合并后构成的连通图;当m1≥3,n≥[m1/2]时,非连通图Wm1(k)∪St(n)为优美图;对任意自然数p≥1,图W2p+2+i(k)∪Gip为优美图,其中,Gpi表示p条边的i-优美图(i=1,2);对任意自然数n≥1,当m1=2n+5时,图Wm1(k)∪(C3∨■)为优美图。     

Gracefulness of disconnected graphs W(k)m∪G

文章证明了对任意自然数n≥1,P≥1,K≥1,当m1=2p+3或2p+4时,图W(k)m1U Kn,p为优美图,其中W(k)m1为由k个轮Wmi(i=1,2,…,k)的中心顶点合并后构成的连通图;当m1≥3,n≥[m1/2]时,非连通图W(k)m1∪St(n)为优美图;对任意自然数P≥1,图W(k)2p2+i∪Gpi为优美图,其中,Gpi表示p条边的i-优美图(i=1,2);对任意自然数n≥1,当m1=2n+5时,图W(k)m1∪(C3VKn)为优美图.     

广义Ramsey数p(n,k)的若干性质

设n ,k≥ 3为自然数 ,p(n ,k)是最小的正整数p ,使得对任何阶图G ,或者G有n点导出子图至少有n - 1条边 ,或者G有k点独立集 ,则本文证明 :( 1 )p(n ,k) ≥max{p(n ,k-1 ) ,p(n- 1 ,k) },( 2 )当n<3k - 4时有p(n ,k) ≥ 2k- 2 + [n/3],这里 [·]是最大取整函数 .     

广义轮图的友好性

引入标号参数的概念,给出了广义轮图Wkn(n≥3,k≥1)的友好指标集,证明了对自然数s≥1,n≥3,n≠2(mod4),W2sn是亲切的;n≠3(mod4),W2s 1n是亲切的.     

与两两正交拉丁方最大个数N(n)有关的一个定理

关于两两正交拉丁方的最大个数N(n),有一个熟知的结果:对任意的自然数k,存在常数c(k),使对任意自然数n≥c(k),都有N(n)≥k.文中首次给出了c(k)的一个具体的表达式。     

半群On(k,m)的秩

设O_n是有限链[n]上的保序变换半群.对任意1≤k≤n-1且2≤m≤n,研究了半群O_n(k,m)={α∈O_n|kα≤k,mα≥m}的幂等元秩和秩.     

关于Smarandache幂函数的注记

 对于正整数n,Smarandache幂函数SP(n)定义为最小的正整数m使得n整除mm。本文在研究数列{SP(n)}性质的基础上,通过对SP(n)的一次均值及其渐近公式、无穷数列SP(n)的收敛性及其相关的恒等式、方程SP(nk)=φ(n)(k=1, 2, 3)的可解性（φ(n)为Euler函数）及其所有的正整数解等相关问题的讨论,应用解析方法研究了SP(n)的k次方幂的分布性质。针对任意的实数x≥3、给定的实数k,l（k>0,l≥0）,及对所有的素数p、任意的正数ε和Riemann Zeta-函数,给出并证明了其相应的渐近公式;对于任意的实数x≥3及给定的实数k′>0的情况,也给出并证明了其相应的渐近公式;对于任意的实数x≥3及给定的实数l≥0,其相应的渐近公式也一并给出并加以证明。由此,给出■nl(SP(n))k及■■（k>0,l≥0）的渐近公式。在l=0,k=1/k′情况下,以及k=1, 2, 3且ζ(2)=π2/6,ζ(4)=π4/90情况下,可以看出该定理是对相关结论的进一步推广。     

广义四元数群的全自同构群

一个有限群Q4n称为广义四元群,若Q4n=〈a,b|a2n=1,b2＝an,ab=a-1〉,n≥3.根据广义四元群Q4n的结构和性质,利用群的扩张理论,先确定了Q4p与Q4pm的全自同构群的结构,由此归纳出一般的广义四元群Q4n的全自同构群的结构如下:设p1为n的最小素因子,n=pr11 pr22…prkk为n的素数分解,那么(a)当p1＞2时,Aut(G)=〈α〉:(〈η1〉×〈η2〉×…×〈ηk〉);(b)当p1＝2时,Aut(G)=〈α〉:(〈η2〉×…×〈ηk〉), r1＝1〈α〉:(〈γ〉×〈η2〉×…×〈ηk〉), r1＝2〈α〉:(〈μ〉×〈ν〉×〈η2〉×…×〈ηk〉), r1≥3.     

竞赛图的广义本原指数及其极图

证明了n(n≥7)阶本原竞赛图D的第1个广义本原指数expD(1)＝3,并给出了第k(1≤k≤n)个广义本原指数expD(k)的最大值和最小值及广义指数达到最大值和最小值的极图刻画.     

二分图中含有经过给定点的大圈的2-因子的度条件

设G=(V1,V2;E)是一个二分图, 其顶点数目满足V1=V2=n≥sk,s和k是满足s≥3并且k≥2的两个正整数. 如果σ1,1≥2「(1-1/s)n」+k, 那么G对的任意k个顶点v1,v2,…,vk,G有一个包含k个点不交圈G1,G2,…的因子,使得vi∈V(ci)且Ci≥2s.     

二分图中存在包含经过给定边的大圈的2-因子的度条件

该文主要证明了若G=(V1,V2;E)是一个满足|V1|=|V2|=n≥sk的二分图,其中k,s,n为3个正整数且k≥2,s≥4,如果σ1,1(G)≥2「(1-1/s)n k﹁,那么对G的任意k条独立边e1,…,ek,G有一个包含k个点不交的圈C1,…,Ck的2-因子,使得ei∈E(Ci),且|Ci|≥2s.     

k元n方体网络的4-限制边连通度

l-限制边连通度是边连通度的推广,可更精确地度量网络的可靠性.k元n方体网络因其特殊的结构和良好的性质成为多处理机系统最常用的互连网络之一.证明了k元n方体的4-限制边连通度和它的最小4-度相等,并确定了它们的值.所得结果说明,当用4-限制边连通度作为度量指标时k元n方体是可靠的.     

联结数与分数（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＇）-临界消去图．     

关于概率多项式时间谱系的一些结果

研究概率多项式时间谱系的结构性质,证明了:(1)如果BP∑_(k+1)~pBP∑_k~P,则PH=BP∑∏_K~P;(2)如果BP∑_k~PBP∏_k~P,则;PH=BP∑_K~PP;(3)对任意n,k≥0,BP∑_K~P(BP∑_n~P)=BP∑_(n+k)~p,BP∑_n~P(BP△_(k+1)~P)=BP∑_(n+k)~n;(4)对任意n,k≥1,BP∑_n~P(BP∑_k~p∩BP∏_k~P)=BP∑_(n+k-1)~P这些结果说明概率多项式时间谱系与多项式时间谱系有相同的结构性盾,但也有差别.     

二分图中存在包含经过给定边的大国的2-因子的度条件

该文主要证明了若G=（V1，V2：E）是一个满足｜V1｜=｜V2｜=n≥sk的二分图，其中k,s,n为3个正整数且k≥2,s≥4，如果σ1,1（G）σ2[（1-1/s）n＋k]，那么对G的任意k条独立边e1，…,ek,G有一个包含k个点不交的圈C1,…Ck的2-因子，使得ei∈E（Ci）,且｜Ci｜≥2s.     

关于完全三部图色唯一性的判定

G是简单图,用P(G,λ)表示图的色多项式.若对任意简单图H当P(H,λ)=P(G,λ)时,都有HG,则称G是色唯一图.Liu R.,Zhao H. X.和Ye C.已经证明:当n和k为整数且满足n≥k 2≥4,完全三部图K(n-k,n,n)是色唯一的;当n和k满足n≥2k≥4时,完全三部图K(n-k,n-1,n)是色唯一的.在本文中,证明了当k是奇数且n≥k2/4 15/4≥6,或k是偶数且n≥k2/4 4≥5时,完全三部图K(n-k,n-2,n)是色唯一的;当k是奇数且n≥k2/4 19/4≥7,或k是偶数且n≥k2/4 5≥9时,K(n-k,n-3,n)是色唯一的.     

5色K_4问题与正常边着色

设Kn是具有n个顶点的完全图,k(n)是满足下列条件的最小正整数:对于任意的正整数m≥k(n),存在Kn的一个正常m边着色,使得Kn中的任一个K4至少含5种颜色.f5(n)是满足下列条件的最小正整数:对于任意的正整数m≥f5(n),存在Kn的一个m边着色,使得Kn中的任一个K5至少含9种颜色.确定f5(n)的问题称为9色K5问题.给出了关于9色K5问题的充要条件和f5(n)的下界,同时证明了当n是偶数时,并且(n-1)不是3的整数倍,则k(n)=n-1;当n是奇数时,并且n不是3的整数倍,则k(n)=n.     

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

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证明了猜想的正确性.