几类图的pebbling数

金芳蓉定义了图 G上的一个 pebbling 移动是从一个顶点处移走两个pebble 而把其中的一个移到与其相邻的一个顶点上. 图G的pebbling数f(G)是最小的整数n, 使得不管n 个pebble 如何放置在G的顶点上, 总可以通过一系列的 pebbling 移动把一个pebble 移到 G的任一个顶点上. Graham 猜测对于任意的连通图G和H有f(G×H)≤f(G)f(H). 计算了两个扇图的积和两个轮图的积的pebbling数, 作为推论, 当G和H同时是扇图或轮图时, Graham 猜想成立.     

几类二部图的pebbling数

Chung定义了图G上的一个pebbling移动是从一个顶点移走两个pebble而把其中的一个移到与其相邻的一个顶点上.连通图G的pebbling数f(G)是最小的正整数n,使得不管n个pebble如何放置在G的顶点上,总可以通过一系列的pebbling移动把一个pebble移到G的任意一个顶点上.Graham猜测对于任意的连通图G和H有f(G×H)≤f(G)f(H).作者们验证了三类二部图的2-pebbling性质以及当H为此类二部图,G为一个2-pebbling性质的图时,Graham猜想成立.     

广义友谊图乘积上的Graham pebbling猜想

连通图G的pebbling数f(G)是最小的正整数n,使得不管n个pebble如何放置在G的顶点上,总可以通过一系列的pebbling移动把一个pebble移到图G的任意一个顶点上.Graham猜测对于任意的连通图G和H有f(G×H)≤f(G)f(H).文中证明了当H为友谊图或广义友谊图,G是一个具有2-pebbling性质的图时,Graham猜想成立.作为一个推论,文中也证明了当G和H是友谊图或广义友谊图时,Graham猜想成立.     

圈的中间图pebbling数和Graham猜想

图G的一个pebbling移动是从一个顶点移走2个pebble, 而把其中的1个pebble移到与其相邻的一个顶点上. 图G 的pebbling数f(G)是最小的正整数n, 使得不论n个pebble 如何放置在G的顶点上, 总可以通过一系列的pebbling移动, 把1个pebble移到图G的任意一个顶点上. 图G 的中间图M(G) 就是在G 的每一条边上插入一个新点, 再把G 上相邻边上的新点用一条边连接起来的图. 对于任意两个连通图G和H, Graham猜测f(G\times H)\leq f(G)f(H). 首先研究了圈的中间图的pebbling 数, 然后讨论了一些圈的中间图满足Graham猜想.     

完全$r$部图乘积上的Graham猜想

图G的Pebbling数f(G)是最小的正整数n,使得不论n个Pebble如何放置在G的顶点上,总可以通过一系列的Pebbling移动把1个Pebble移到任意一点上,其中Pebbling移动是从一个顶点处移走两个Pebble而把其中一个移到与其相邻的一个顶点上.Graham猜测对于任意的连通图G和H有f(G×H)≤f(G)f(H).本文证明对于一个完全γ部图和一个具有2-Pebbleing性质的图来说,Graham猜想成立.作为一个推论,当G和H均为完全γ部图时,Graham猜想成立.     

多扇图的Pebbling数和Graham猜想

图G的pebbling数f(G)是最小的整数n,使得不论n个pebble如何放置在G的顶点上,总可以通过一系列的pebbling移动把1个pebble移到任意一个顶点上,其中一个pebbling移动是从一个顶点处移走两个pebble而把其中的一个移到与其相邻的一个顶点上。Graham猜想对于任意的连通图G和H有f(G×H)f(G)f(H)。多扇图F_n1,n2,…,nm是指阶为n₁+n₂+…+n_m+1的联图P₁∨(P_n1∪P_n2∪…∪P_nm)。本文首先给出了多扇图的pebbling数,然后证明了多扇图F_n1,n2,…,nm具有2-pebbling性质,最后论述了对于一个多扇图和一个具有2-pebbling性质的图的乘积来说,Graham猜想是成立的。作为一个推论,当G和H都是多扇图时,Graham猜想成立。     

完全r部图乘积上的Graham猜想

图G的Pebbling数f(G)是最小的正整数n,使得不论n个Pebble如何放置在G的顶点上,总可以通过一系列的Pebbling移动把1个Pebble移到任意一点上,其中Pebbling移动是从一个顶点处移走两个Pebble而把其中一个移到与其相邻的一个顶点上。Graham猜测对于任意的连通图G和H有f(G×H)≤f(G)f(H)。本文证明对于一个完全r部图和一个具有2-Pebbleing性质的图来说,Graham猜想成立。作为一个推论,当G和H均为完全r部图时,Graham猜想成立。     

完全γ部图乘积上的Graham猜想

图G的Pebbling数f(G)是最小的正整数n,使得不论n个Pebble如何放置在G的顶点上,总可以通过一系列的Pebbling移动把1个Pebble移到任意一点上,其中Pebbling移动是从一个顶点处移走两个Pebble而把其中一个移到与其相邻的一个顶点上.Graham猜测对于任意的连通图G和H有f(G×H)≤f(G)f(H).本文证明对于一个完全γ部图和一个具有2-Pebbleing性质的图来说,Graham猜想成立.作为一个推论,当G和H均为完全γ部图时,Graham猜想成立.     

星形图乘积的pebbling数

图 G的 pebbling数 f(G)是最小的整数 n,使得不论 n个 pebble如何放置在 G的顶点上 ,总可以通过一系列的 pebbling移动把一个 pebble移到任意一个顶点上 ,其中的 pebbling移动是从一个顶点上移走两个 pebble而把其中的一个移到与其相邻的一个顶点上 .设 K1,n为 n+1个顶点的星形图 .本文证明了 (n+2 )(m+2 )≥ f K1,n× K1,m)≥ (n+1) (m+1) +7,n>1,m>1.     

k-临界2k-连通图

图G 称为(n, k)-图, 如果对任一SÍ V(G) (|S|≤k)有k(G-S)=n-|S|, 其中k(G)表示G的连通度. Mader猜想当k≥3时K_2k+2-(1-因子)是惟一的(2k, k)-图. M. Kriesell 解决了k = 3, 4的特殊情形. 对k≥5的一般情形, 证明了该猜想成立.     

一类运算图的匹配数

设G是一个简单图,把G的每条边e=(a,b)变换成一个三角形ae^*b而得到一个新图,记为R (G), 其中新增加的顶点e^*的度为2.本文证明R (G)的匹配数完全由图G的顶点度序列确定.     

不含4圈的平面图的全色数

用Δ(G), χ_ve(G)分别表示图G的顶点最大度和全色数.Vizing猜想: 对任何 简单图G, Δ(G) +1≤χ_ve(G)≤Δ(G)+2. 即使对于平面图, 这一猜想仍未获得完整的证明, 唯一待完成的困难情形是Δ(G)=6. 本文证明:若Δ(G)=6的平面图G不含有4圈, 则χ_ve(G)≤8.这一结果和以前在该问题上的已知结果表明：对于不含有4圈的平面图，Vizing猜想是正确的.     

二部图中求正交于星的(g, f)-染色的一个多项式算法

令G是一个具有顶点集V(G)和边集 E(G)的二部图, 且令g和f是定义在 V(G)上的两个非负整数值函数,使得对每个顶点x∈V(G)都有g(x)≤f(x). G的一个(g,f)-染色是一个推广的边染色,它满足在每个顶点x每一种颜色至少出现g(x)次且至多出现f(x)次. 给出了求二部图中满足某些约束条件且具有最小颜色数的(g,f)-染色的一个多项式算法并证明了此结果是最好的可能.     

独立数的一个下界

设G是一个图,其度序列为(d_v). 若由G的任意邻域导出子图的最大度至多为m, 则G的独立数至少是 ,这里当x>0, 函数f_m+1(x)大于 . 对于加权图G=(V,E,w), 证明了它的加权独立数至少是 ,这里w_v是顶点v的权重.     

系列平行图的除V*外的边覆盖划分

任意给定系列平行图G的一个顶点v^*, 则G的边集可划分为k=min {κ′(G)+1, δ(G)}个子集, 使得每一个边子集覆盖可能除v^*以外的所有顶点, 其中δ(G)为G的最小度, κ′(G)为G的边连通度. 另外, 证明了该结果是最好的可能, 并且通过此证明过程得到一个可找到该划分的多项式时间算法.     

某些有限群的自同构群

证明了: 若n是大于1的奇数, 使得对任意素数p都有p⁴æn, 则不存在有限群G, 使得|Aut(G)| = n.     

图中具有正交（g,f）因子分解的子图

设G是一个 (mg +k ,mf -k) -图 (1≤k 相似文献   

交错群A5的Cayley图同构的Li-Praeger猜想

设G是有限群, S是G＼{1}的子集,并满足S=S -1. 用X=Cay(G, S )表示G关于S的Cayley图. 称S为G的CI-子集, 如果对任意同构Cay(G, S )Cay(G, T )存在α∈Aut(G), 使得Sα=T .设m是正整数,称G为m-CI-群, 如果G的每个满足S =S -1和|S|≤m的子集S都是CI的. 证明了Li-Praeger猜想：交错群A₅是4- CI-群.     

图的全符号控制数

本文考虑的图G均为有限简单连通图, 是一个有顶点集合V边集合E的有限简单连通图，用V(G) 和E(G) 分别表示G的顶点集和边集. f 是一个从V(G)∪E(G)→{-1, 1}的函数. f 的权重定义为 w(f)=∑_{x∈V(G)∪E(G)}f(x). 对任一元素x∈V(G)∪E(G), 定义f[x]=∑_y∈NT[x]f(y). 图G的全符号控制函数f : V(G)∪ E(G)→{-1, 1}是一个对所有的x∈ V(G)∪ E(G), 都满足f[x]≥1的函数. G的所有全符号控制函数中最小的权定义为G 的全符号控制数，记作γ_s^*(G). 讨论了图的全符号控制数, 证明了图的全符号控制数的下界, 并对一些特殊的图类C_n 和P_n本文得到了全符号控制数的精确值.     

纯的四面体四元系

一个定向的四面体是由4个顶点和4个循坏三元组构成的集合，并满足: 4个顶点上的任意有序点对恰出现于一个循环三元组中. 一个n阶四面体四元系是一个对子(X, B)，其中X是一个n元集，B是X上的一些定向的四面体组成的集合，它满足: X上的任意循环三元组恰出现于一个定向的四面体中. 若一个四面体四元系不包含两个顶点集相同的定向的四面体，则称之为纯的.本文将证明一个n阶纯的四面体四元系存在的充分必要条件是n≡2,4 (mod 6)且n>4, 或者n≡1,5 (mod 12). 由此可得两个推论: 一个n阶单的2重四元系存在的充分必要条件是n≡2,4 (mod 6)且n>4, 或者n≡1,5 (mod 12); 对于n≡1,3 (mod 6)且n>3, 或者n≡0,4 (mod 12)，存在一个n阶纯的Mendelsohn三元系超大集.