图K_n—E(K_r),K_rK_n的整和数

Z表示所有整数的集合。一个有限子集SZ上的整和图是指图（S,E）中uv∈E当且仅当u＋v∈S。图G是整和图,如果它同构于某个子集SZ上的整和图。图G的整和数是指使（GmK1）成为一个整和图时加入的孤立顶点的最少个数m。1994年Harary在[3]中提出了4个未决的问题,本文完整地回答了其中的第一个问题,即确定了图（Kn－E（Kr））的整和数。具体结论如下：其中n≥5,r≥2,[x]表示不小于x的最小整数。     

关于完全二分图的整和数的研究

提出了正整数的真ｒ－剖分的定义并利用它解决了１９９４ 年Ｆ．Ｈａｒａｒｙ 在［３］中提出的一个未决问题,即确定完全二分图Ｋｒ,ｓ的整和数和和数．得到如下结果：σ（Ｋｒ,ｓ）＝ ζ（Ｋｒ,ｓ）＝ ｓｋ＋ ｒ－ １,其中ｓｒ２,ｓｋ 是整数ｓ的真ｒ－剖分的最末项。此外,在这篇文章中我们还举例说明了Ｎ．Ｈａｒｔｓｆｉｅｌｄ和Ｓｍ ｙｔｈ 在［１１］中给出的一个结论σ（Ｋｒ,ｓ）＝ ［（３ｒ＋ ｓ－ ２）／２］是错误的。     

图Kn-E(Kr),Kr(∪)Kn的整和数

Z表示所有整数的集合.一个有限子集S(∪)Z上的整和图是指图(S,E)中uv∈E当且仅当u+v∈S.图G是整和图,如果它同构于某个子集S(∪)Z上的整和图.图G的整和数是指使(G∪mK1)成为一个整和图时加入的孤立顶点的最少个数m.1994年Harary在[3]中提出了4个未决的问题,本文完整地回答了其中的第一个问题,即确定了图(Kn-E(Kr))的整和数.具体结论如下:ζ(Kn-E(Kr))={0(r=n,n-1)n-1(n-2≥r≥[2n/3]-1)3n-2r-4([2n/3]-1＞r≥n/2)2n-4([2n/3]-1＞n/2≥r≥2)其中n≥5,r≥2,[x]表示不小于x的最小整数.