最大度为4的图的无圈列表边染色

对于图G=(V(G),E(G)),如果一个映射φ:E(G)→{1,2,…,k},使得G中任意相邻的两边e₁,e₂满足φ(e₁)≠φ(e₂),并且G中不含有双色圈,则称φ为G的一个无圈边染色.对于给定的列表分配L={L(e)|e∈E(G)},如果存在图G的一个无圈边染色φ,使得对于任意边e∈E(G),均有φ(e)∈L(e),则称染色φ为G的一个无圈L-边染色.如果对于任意的列表分配L,当对所有的边e∈E(G)满足|L(e)|≥k时,图G均存在无圈L-边染色,那么称G是无圈k-边可选的.使图G无圈k-边可选的最小的正整数k,称为G的无圈列表边色数,用a’_l(G)表示.本文证明了对于最大度△≤4的连通图G,如果|E(G)|≤2|V(G)|-1,则a’_l(G)≤6,扩展了Basavaraju和Chandran文[J.Graph Theory,2009,61(3):192-209]的结果.     

Discussions on Orthogonal Factorizations in Digraphs

Let m, t, r and ki(1 ≤ i ≤ m) be positive integers with ki ≥((t+3)r)/2, and G be a digraph with vertex set V(G) and arc set E(G). Let H₁, H₂, · · ·, H_t be t vertex-disjoint subdigraphs of G with mr arcs. In this article, it is verified that every [0, k₁ + k₂ + · · · + k_m-(m-1)r]-digraph G has a [0, ki]₁~m-factorization r-orthogonal to every Hi for 1 ≤ i ≤ t.     

与任意图正交的[0,ki]1^m—因子分解

设G是一个图,k1,…,km,是正整数,若图G的边能分解成m个边不交的[0,k1]-因子 F1,…,[0,]-l因子Fm,则称F＝{F1,…,Fm}是G 的一个[0,ki]1^m-因子分解,如果H是G的一个有m条边的了了图且对任意的1≤i≤m有E（H）E（Fi)=1,则称F与H正交,证明了若G是一个[0,k1 ,…, km-m 1]-图,。H是G的一个有m条边的子图,则图G有一个[0,ki]1^m-因子分解与H正交。     

与任意图正交的[0,k_i]_1~m-因子分解

设G是一个图 ,k1,… ,km 是正整数·　若图G的边能分解成m个边不交的 [0 ,k1]_因子F1,… ,[0 ,km]_因子Fm,则称 F =F1,… ,Fm 是G的一个 [0 ,ki]m1_因子分解·　如果H是G的一个有m条边的子图且对任意的 1≤i≤m有｜E(H) ∩E(Fi) ｜=1,则称 F与H正交·　证明了若G是一个 [0 ,k1 … km-m 1]_图 ,H是G的一个有m条边的子图 ,则图G有一个 [0 ,ki]m1_因子分解与H正交     

两点连图的Tutte多项式及应用

设G和H为两个连通图,将G中的两个顶点与H中的两个顶点分别粘合,得到的酲就是G与H的二点连图G:H.本文主要研究了两点连图的Tutte多项式,给出了T(G:H;x,y)的一个分拆方程.并利用得到的结果,研究了两类复杂网络模型的生成树数目和广义书图的Tutt多项式,均计算出了具体的表达式.最后,我们还考虑了正多边形链,得到了其Tutte多项式的一个递归表达式.     

IC-平面图的线性荫度

图G的边分解是指将G分解成子图G₁,G₂,...,G_m,使得E(G)-E(G₁)∪…∪.E(G_m),且对任意i≠j,有E(G_i)∩E(G_j)=?.若一个森林的每个连通分支都是路,则称该森林为线性森林.图G的线性荫度la(G)是指使得G可以边分解为m个线性森林的最小整数m.本文证明了Δ(G)≥15的IC-平面图G的线性荫度为[Δ(G)/2],这里Δ(G)是图G的最大度.     

恰有k条非基本边的极小3连通图

设G是简单3连通图．G\e(删除边e)和G/e(收缩边e)都不是简单3连通图,则e称为G的基本边．对于3连通图中的非基本边．Tutte证明了：唯一没有非基本边的简单3连通图是轮．Oxley和Wu确定了至多有3条非基本边的所有极小3连通图以及恰有4条非基本的极小3连通图．Reid与Wu确定了至多有5条非基本边的极小3连通图．在本文中,我们在极小3连通图中定义了三种运算,然后通过轮利用这些运算的逆运算给出恰有k(k■2)条非基本边的极小3连通图的一种构造方法．     

1-平面图的线性荫度

图G的边分解是指将G分解成子图G₁,G₂,…,G_m,使得E(G)=E(G₁)∪…∪E(G_m),且对任意i≠j有E(G_i)∩E(G_j)=?.若一个森林的每个连通分支都是路,则称该森林为线性森林.图G的线性荫度la(G)是指使得G可以边分解为m个线性森林的最小整数m.本文利用权转移方法证明了Δ(G)≥25的1-平面图G的线性荫度为[Δ(G)/2],这里Δ(G)是图G的最大度.     

给定P3的无桥图的定向直径

设G是一个无向多重图,G的定向直径是指G的所有强连通定向中直径的最小值.Dankelmann,Guo,Surmacs [J.Graph Theory,2018,88:5-17]证明了n阶无桥图G的定向直径至多为n-Δ+3,这里Δ是G的最大度.设H是G的一个生成子图,定义■,利用上述结论他们还证明了,给定边e的无桥图G的定向直径至多为n-|N_G(e)|+5,以及给定无桥子图H的无桥图G的定向直径至多为n-|N_G(H)|+3.设P₃=uvw是G的一条长为2的路.易见P3包含两条边且这两条边均是P3的桥.本文利用将一条路收缩为一点的方法证明了给定P3的无桥图G的定向直径的上界为n-|N_G(P₃)|+5.特别地,若P3在一个4圈上或P3不在一个圈上但uv,vw分别在一个3圈上,定向直径至多为n-|N_G(P₃)|+4.最后举例说明了上述上界是紧的.     

超欧拉图、可折叠图及匹配

如果图G有一个生成的欧拉子图,则称G是超欧拉图.用α′(G)表示G中最大独立的边的数目.本文证明了:若G是一个2-边连通简单图且α′(G)≤2,则G要么是可折叠图,要么存在G的某个连通子图H,使得对某个正整数t≥2,约化图G/H是K_(2.t.)推广了[Lai H J,Yan H.Supereulerian graphs and matchings.Appl.Math.Lett.,2011,24:1867-1869]中的一个主要结果.并且证明了上述文献中提出的一个猜想:3一边连通且α′(G)≤5的简单图是超欧拉图当且仅当它不可收缩成Petersen图.     

对“对人教版A选修2-1一道习题答案的质疑”的质疑

文[1]的解答是错误的,《教师用书》的答案是正确的,理由如下:1课本定义的正确理解设e₁,e₂,e₃为有公共起点O的三个两两垂直的单位向量（我们称它们为单位正交基底）,以e₁,e₂,e₃的公共起点O为原点,分别以e₁,e₂,e₃的方向为x轴,y轴,z轴的正方向建立空间直角坐标系     

Multicolored Bipartite Ramsey Numbers of Large Cycles

For an integer r≥ 2 and bipartite graphs H_i,where 1 ≤i≤r,the bipartite Ramsey number br(H₁,H₂,…,H_r) is the minimum integer N such that any r-edge coloring of the complete bipartite graph K_N,N contains a monochromatic subgraph isomorphic to H_i in color i for some 1≤i≤r.We show that if ■     

太阳图与路的笛卡儿积图的任意可分性（英文）

一个阶为n的图G称为是任意可分的(简作AP),如果对于任一正整数序列τ=(n₁,n₂,…,n_k)满足n=n₁+n₂+…+n_k,总是存在顶点集V(G)的一个划分(V₁,V₂,…,V_k)满足:对于i∈[1,k],|V_i|=n_i,且子图G|V_i|是图G的V_i导出的一个连通子图.我们用S~*=S(n;m₁,m₂,…,m_n)来表示最大度△(S~*)=3的太阳图.本文讨论了图S~*P_m(m≥3)的任意可分性.     

（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.     

图有含(或不含)特殊边的[a,b]-因子的邻域条件

设G是一个n阶图.设1≤a＜b是整数.设H1和H2是G的任意两个边不交子图,它们分别具有m1和m5条边,以及δ(G)表示最小度.证明了若δ(G)≥a+m 2,n≥2(d+b-m2)(a+b-m1-1)/(b-m1),a≤b-(m1+m2),并且|NG(x)UNG(y)|≥an/(d+b-m1)+2m2对任意两个不相邻的顶点x和y成立,那么G有[a,b]-因子F使得F含有H1的边并不含H3的边.     

路的字典积的邻和可区别边染色

图G的正常[k]-边染色σ是指颜色集合为[k]={1,2,…,k}的G的一个正常边染色.用w_σ（x）表示顶点x关联边的颜色之和,即w_σ（x）=∑_e∋x σ（e）,并称w_σ（x）关于σ的权.图G的k-邻和可区别边染色是指相邻顶点具有不同权的正常[k]-边染色,最小的k值称为G的邻和可区别边色数,记为χ'_∑（G）.现得到了路P_n与简单连通图H的字典积P_n[H]的邻和可区别边色数的精确值,其中H分别为正则第一类图、路、完全图的补图.     

给定直径的单圈图的边修正Szeged指标的下界

连通图G的边修正Szeged指标Sz_e^*(G)定义为■,其中m_u(e|G),m_v(e|G),m₀(e|G)分别是G中到u点比到v点距离近的边的数目、到v点比到u点距离近的边的数目、以及到u,v两点距离同样近的边的数目.本文通过变换和计算得到了给定直径的单圈图的边修正Szeged指标的下界,并刻画了达到下界的极值图.     

路的字典积的邻和可区别边染色

图G的正常[k]-边染色σ是指颜色集合为[k]={1,2,...,k}的G的一个正常边染色.用w_σ(χ)表示顶点χ关联边的颜色之和,即■,并称w_σ(x)为x关于σ的权.图G的k-邻和可区别边染色是指相邻顶点具有不同权的正常[k]-边染色,最小的k值称为G的邻和可区别边色数,记为x′_Σ(G).现得到了路P_n与简单连通图H的字典积P_n[H]的邻和可区别边色数的精确值,其中H分别为正则第一类图、路、完全图的补图.     

一些由(无符号)拉普拉斯谱所确定的图类

设G是一个n阶图而H是任意一个图.符号G?H表示由G和n个顶点不交的图H通过把G的第i个顶点和第i个H的所有顶点都连一条边所得的图,其中1≤i≤n.设p≥3和q为两个正整数.令Cp和Kp分别表示p个顶点的圈和完全图.证明了Cp?qK_1和Kp?qK_1分别被它们的拉普拉斯图谱所确定,且当p为奇数时Cp?qK_1也被它的无符号拉普拉斯图谱所确定.文中的结果推广了[Bu Changjiang, et al.,(2014),Graphs Combin, 30:1123-1133],[Boulet R (2009). Discrete Math Theor Comput Sci, 11:149-160]和[Mirzakhah M, Kiani D (2010). Electron J Linear Algebra, 20:610-620]的相应结论.     

2-连通无爪图的连通因子

若图G不含有同构于K1,3的导出子图,则称G为一个无爪图.令a和b是两个整数满足2≤a≤b.本文证明了若G是一个含有[a,b]因子的2连通无爪图,则G有一个连通的[a,b 1]因子.