梯子细分图L*n的排斥(下整)和数

(下整)和标号与排斥(下整)和标号是图的一种压缩表示.一个图G称为下整和图,若它同构于某个SQ+的下整和图.图Pn×K2称为梯子.本文给出了梯子细分图Ln*的定义,并确定了梯子细分图Ln*的排斥(下整)和数.     

梯子图P_n□P_2的整和数

Nicholas等人证明梯子图L_n(=P_n□P_2,n≥2)的和数与整和数都是3,并且L_n都是排斥图.结果证明了这个结论是错误的.我们证明了n≥3时,L_n的整和数是0,这就说明n≥3时,所有的L_n的和数与整和数并不相等.还证明当n=3,4,5时,Ln的和数是2,从而它们也不是排斥图.     

图C_（4n＋2）×P_（4k＋3）的优美性

图Ｃ＿（４ｎ＋２）×Ｐ＿（４ｋ＋３）的优美性杨燕昌，王广选（北京工业大学应用数学系，北京１０００２２）（北京密云县医院计算机室，北京　１０１５００）关键词乘积图，标号，优美图．分类号ＡＭＳ（１９９１）０５Ｌ７８／ＣＣＬＯ１５７．５关于一般乘积图Ｃ＿ｌ...     

非整指数的丢番图不等式

本文证明了如下结果：设非零实数λ１，…，λｓ不具有同样的符号、其中至少有两数之比为无理数．设ｋ＞１２且ｋ不是整数，则存在一个绝对常数ｃ＞０，使得如果ｓ≥ｃｋｌｏｇｋ，则对任意实数。及ε＞０，不等式有无穷多组正整数解ｘｉ，这里［ｙ］表示ｙ的整数部分．     

图类^-αKα∪βCP（b）中的整谱图

设图G是一个简单图,图G的补图记为^-G,如果G的谱都是整数,就称G是整谱图．鸡尾酒会图CP（n）=K2n-nK2（K2n是2n阶完全图）和完全图Kα都是整谱图．本文确定了图类^-αKα∪βCP（b）中的所有整谱图．     

关于（ξ,k）—临界图

设G为连通图,且ξ（G）=k≥1,若对G中任意边e,均有ξ（G\e）=k-1,则称G为(ξ,k)-临界图。本文刻划了ξ-1-临界图的若干性质,给出了一个图为ξ-1-临界图的一些充分或必要条件,以及一些ξ-1-临界图类。     

On the Factorizations of （mg, mf）-graph

Let G be an (mg, mf)-graph, where g and f are integer-valued functions defined on V(G) and such that 0≤g(x)≤f(x) for each x ∈ V(G). It is proved that(1) If Z ≠ , both g and f may be not even, G has a (g, f)-factorization, where Z = {x ∈ V(G): mf(x)-dG(x)≤t(x) or dG(x)-mg(x)≤ t(x), t(x)= f(x)-g(x)>0}.(2) Let G be an m-regular graph with 2n vertices, m≥n. If (P1, P2,..., Pr) is a partition of m, P1 ≡ m (mod 2), Pi ≡ 0 (mod 2), i = 2,..., r, then the edge set E(G) of G can be parted into r parts E1 , E2,...,Er of E(G) such that G[Ei] is a Pi-factor of G.     

图的L(2,1)标号与移动通讯频率分配问题

图G的L（2，1）标号是一个从顶点集V（G）到非负整数集的函数f(x)，使得若d(x,y)=1，则|f(x)-f(y)|≥2；若d(x,y)=2，则|f(x)-f(y)|≥1。移动通讯频率分配问题可以转化为图的L（2，1）标号问题。本文首先给出平面格子图的L（2，1）标号，然后通过平面格子图及相关图的L（2，1）标号得到平面近正六边形剖分图的L（2，1）面标号，从而解决了移动通讯的频率分配问题。     

图类^－αKα,αUβCP（b）中的一类特殊整谱图

图G是一个简单，图G的补图记为^－G，如果G的谱完全由整数组成，就称G是整谱图，鸡尾酒会图CP（n）=K2n-nK2（K2n是完全图）和完全二部图Kα,α都是整谱图^[1]。^—μ1表示图类^－αKα,αUβCP（b）的一个主特征值，本文确图了当^-μ1=2b＋1时，图类中^－αKα,αUβCP（b）的所有的整谱图。     

（mg＋k,mf—k）—图中正交于r个不相交子图的边不变的（g,f）—因子

设m,k和r为正整数,且使l≤k＜m.设G是一个具有顶点集合V(G)和边集合E(G)的图,并设g和f是定义在V(G)上的使对每个x∈V(G)有r≤g(x)≤f(x)的整数值函数.设H1,H2,…,Hr是G的r个顶点不相交的子图且|E(Hi)|=k,1≤i≤r.本文证明了每个(mg+k,mf-k)-图有k个边不相交的(g,f)-因子正交于Hi,1≤i≤r.     

关于K_（1，r）－free图的连通因子

本文证明了每个连通的Ｋ１，ｒ－ｆｒｅｅ图Ｇ，如果有［ｆ，ｇ］－因子Ｆ，则它就有包含Ｆ的［ｆ，ｇ＋ｒ－１］连通因子．     

群（Q＊，·）的一类指数有限的子群

本文构造了群（Ｑ＊，·）的一类（无限多个）指数有限的真子群．     

K_（1，r）－free图的次限制树多项式算法

设Ｇ＝（Ｖ，Ｅ）为一连通图，ｄ＞０整数．Ｇ中存在生成树Ｔ，使得Δ（Ｔ）小于ｄ吗？这一问题已被证明是ＮＰ－完全的，故不太可能有多项式解法．本文证明了当Ｇ是Ｋ１，ｒ－ｆｒｅ时，则有Ｏ（ｎ２）的算法求出Ｇ的生成树Ｔ，使Δ（Ｔ）≤ｒ，并用一个例子显示了这一结果是最好可能的     

算法的发现（Ⅱ）──对称差（的）分解法及其应用

本文摹仿古典数学的导数、差分概念，在组合优化中建立枚举章法下的一个方法一一对弥差分解法，给出一个求解某些问题的一般模式。用它统一地讨论组合最优化的六个基本图论问题：最短路问题，最小生成树问题，匹配问题，巡迥商问题，中国邮路问题和最大流问题。讨论表明，Ｂｅｌｌｍａｎ最优性原理，交错链，增值路等概念都是对称差分解法在具体问题中的自然结果。还表明，涉及上述大个问题的２０多个著名定理都是定理４的具体推论。     

混和幂的丢番图不等式（I）

本文证明了下面的定理设λ＿１，…，λ＿８为非零实数，其中至少有两个之比为无理数。ｋ＝４，５，…，１１。那么，对任意给定的实数ｋ及０＜σ＜σ＿ｋ，不等式有无穷多组整数解，这里（４ｋ１１）。     

具有｜V（G）｜＋2个最大匹配的因子临界图G^＊

在连通图G中,如果对任意的V∈V(G),G-v有完美匹配,则称G是因子临界图.该文刻画了具有|V(G)| +2个最大匹配的因子临界图.进而,刻画了一些特殊的双因子临界图.     

图中具有推广的正交（g，f）-因子分解的子图

设G是一个图，具有顶点集V（G）和边集E（G）．设g和f是定义在V（G）上的整数值函数且对每个x∈y（G）有g（x）≤f（x）．本文证明了如下的结果：若G是一个（mg＋kr，mf-kr）一图，且对每个x∈V（G）有g（x）≥r-1，H和G的任意给定的有kr条边的子图，则G中含有一个子图R，使R有（g，f）-因子分解r-正交于H，其中m，k和r是正整数且k〈m.     

一类裂变图的$L(^{0,1,2}_{d,d,1})$-标号数上界

将图的标号问题由每个琢真需要一个标号的情况推广到每个顶点需要多个标号的情况，给出裂变图的概念以及赋权图的L（0,1,2↑ d,d,1）-标号的概念，给出R．单位球图对应裂变图的L（0,1,2↑ d,d,1）-标号数的一个上界．     

ζ（3）的级数公式

给出ζ（3）的计算公式ζ（3）=π^2/7[1-4∑n=1^∞ζ（2n）/（2n＋1）（2n＋2）2^2n].     

一个有关素数幂的三元丢番图不等式（英文）

令1 1~c+p₂~c+p₃~c-N|1,p₂,p₃是可解的.这个结果改进了蔡迎春[Int.J.Number Theory,2018,14(8):2257-2268]的结果.