不含3圈和4圈的1-平面图是5-可染的

若图G能画到平面上,且允许每条边至多出现一个交叉点,则图G是1-平面图。图G的一个正常点染色是指存在一个顶点集到颜色集的映射φ:V(G)→{1,2,…,k},对于G中的任意两个相邻的点u和v,φ(u)≠φ(v)。图G的一个k染色是指图G能够正常点染色所需的色数至少为k,图G有一个k染色又称图G是k-可染的。通过权转移的方法证明了不含3圈和4圈的1-平面图是5-可染的。     

不含4-和5-圈的平面图的均匀染色

一个图G是均匀k-可染的,如果G有一个k-染色(V1,V2,…,Vk),使得对任何i,j∈{1,2,…,k}有||Vi|-|Vj||≤1.应用细致的结构分析和经典的discharging方法证明了:最大度5≤Δ≤6且没有4-,5-圈的平面图是均匀Δ-可染的.     

4-圈不共点的平面图的线性2-荫度

图G的线性2-荫度la₂(G)是指可以使G分解为k个边不相交森林的最小整数k, 其中森林的每个分支是长度至多为2的路。 证明了若G是4-圈不共点的平面图,则la₂(G)≤「Δ/2+5。     

没有某些圈的平面图的3可选择性

设G=(V,E)是一个图,对G的每一点v给一颜色集L(v).G称为L列表可染的,如果存在G的点染色f满足:f(u)≠f(v),(u,v)∈E(G),且f(u)∈L(u),u∈V(G).G称为k可选择的,对于任何列表L(v)(这里每一个L(v)恰有k个元素)G都是L列表可染的.本文研究了没有某些圈的平面图的可选择性,证明了没有4,5,7,10圈的平面图是3可选择的.     

不含l-圈平面图的全染色猜想

给定一个图G,G的全k染色(全k可染)是指至多用k种颜色,对G的顶点和边同时进行染色,使得相邻的两个元素(点和边)染不同颜色。Δ(G)是G的最大度。关于图的全染色有猜想:任何一个简单图一定是全Δ 2可染的。而对不含l-圈的平面图,l∈{3,4,5,6},全染色猜想成立。     

无4-圈和5-圈的平面图的k-frugal列表染色

在图G的一个正常点染色c中,对于图中任意一点v,如果每种颜色在点v的邻点中至多出现k-1次,这个染色就称为图G的一个k-frugal染色。关于无4-圈和5-圈的平面图的k-frugal列表染色问题,有以下两个结论:(1)对于一切不含4-圈和5-圈的平面图,如果其最大度满足Δ≥3k+8,其k-frugal列表色数小于等于「Δ/(k-1)+2;(2)一切不含4-圈和5-圈的平面图,则其k-frugal列表色数小于等于「Δ/(k-1)+5。     

不含4-,5-圈且无相交3-面的平面图的星边染色

图 G 的星边染色是指 G 的一个正常边染色满足 G 中无长为4的路（或圈）是2-边染色的.使得图 G 有星边染色的最小颜色数 k 称为 G 的星边色数,记为 χ^′_st (G ) .证明了若平面图 G 不含4-5-圈且无相交3-面,则χ^′_st (G )≤ [1.5]Δ + 10     

不含3,4-圈的平面图的均匀染色

图的正常点染色称为均匀的,若每个色类所含的顶点数至多相差1.利用平面图的性质及换色法技巧.证明了若图G是Δ(G)≥6且不含3,4-圈的平面图,则对任意的m≥Δ(G),图G是均匀m-可染的.     

没有7-圈的平面图的BB-染色?

研究了没有7-圈的连通平面图的BB-染色问题。应用经典的Discharging方法,证明了没有7-圈且不含相邻4-圈的连通平面图G,存在G的一棵生成树T,使得( G,T)是BB-4-可染的。这一结果进一步拓展了平面图的BB-4-可染的充分条件。     

围长为4的无7-,8-圈和15-圈平面图的3-选色

图G的选色数(记为χ_l(G)), 定义为最小的自然数k, 满足当对任一顶点给定k种颜色的列表, 且染色时每个顶点的颜色只能从自身的颜色列表 中选择时, 存在图G顶点的一个正常着色. 应用Discharging方法对上述问题进行研究, 证明了每个围长至少为4且不含7-圈, 8-圈和15-圈的平面图是3-可选择的.     

剖分Q-邻接冠图的广义特征多项式及其应用

设正则图G₁和G₂的剖分Q-邻接点冠图G₁□·_QG₂是由Q(G₁)和|V(G₁)|个点不交的G₂的拷贝,通过连接V(G₁)中第i 个顶点的所有邻点与第i个G₂的拷贝的所有点后得到的图; 剖分Q-邻接边冠图G₁□—〓_QG₂是由Q(G₁)和|I(G₁)|个点不交的G₂的拷贝,通过连接 I(G₁)中第 i个顶点的所有邻点与第i个G₂的拷贝的所有点后得到的图。其中Q(G₁)是由图G₁的每条边上插入一个新点且当图G₁的2条边相邻时对应的2个新点之间连接一条边后得到的图, I(G₁)是图G₁中每条边上插入的新点所构成的集合。分别确定了剖分Q-邻接点冠图G₁□·_QG₂和剖分Q-邻接边冠图G₁□—〓_QG₂ 的广义特征多项式及其相应的Φ-谱。得到了G₁□·_QG₂和G₁□—〓_QG₂的规范拉普拉斯谱, 同时也构造了一些Φ-同谱无穷类。     

关于polynomial自同构的一个注记

设φ是群G的自同构, 如果对于任意的x∈G, 都有φ(x)=(v^-1₁x^ε₁v₁)(v^-1₂x^ε₂v₂)…(v^-1_mx^ε_mv_m),其中ε_i=±1, v₁,v₂,…,v_m是G中固定的元素,那么称φ是G的polynomial自同构。证明了如果G是幂零类为c的幂零群被导长为d的可解群的扩张, 那么G的polynomial自同构生成的群是幂零类至多为c-1的幂零群被导长至多为2d的可解群的扩张。     

关于函数域中相交多项式的一个注记

以Z表示有理整数环。设L为一个特征为p的域, f(x)=∑ⁿ_j=0a_jx^j∈L［x］,L［x］表示L上的多项式环。假定在L的某个代数闭包上, f(x)=a∏^r_i=1(x-η_i)^e_i。此处,a∈L,一切η_i是两两不同的,r,e₁,e₂,…,e_r是正整数,且r≥2, n=∑^r_j=1e_j。f的半判别式Δ(f)被定义为Δ(f)=a^2n-1∏_{1≤i,j≤ri≠j}(η_i-η_j)^{e_i e_j}。证明了下面的结果: 如果n1,e₂,…,e_r)有关的正整数m与G∈Z［x₀,x₁,…,x_n］,使得Δ(f)=1/mG(a₀,a₁,…,a_n)且m|n!。此外,当L为有限域时,还应用此结果研究了与环L［x］上相交多项式有关的一个问题。     

整可逆图的克罗内克积的逆

图G₁和G₂的克罗内克积G₁⊗G₂具有点集V(G₁)⊗V(G₂),在G₁⊗G₂中两个点(u₁,v₁)和(u₂,v₂)相邻当且仅当 u₁u₂∈E(G₁)且 v₁v₂∈E(G₂)。对整可逆图(即图的邻接矩阵的逆矩阵中只包含整数)的克罗内克积的逆进行刻画。     

不含相交5-圈的平面图的线性2-荫度

设G是不含相交5-圈的平面图,证明了如果G是连通的并且δ(G)≥2,则G包含一条边xy,使得d(x)+d(y)≤10或者一个2-交错圈。由这个结果可以得到G的线性2-荫度la₂(G)≤「Δ/2+5,改进了不含5-圈的平面图的线性2-荫度的已知上界。     

二阶脉冲微分方程Dirichlet问题非平凡解的存在性及多解性

研究了二阶脉冲微分方程Dirichlet问题{u″(t)+f(t,u(t))=0, t∈(0,1), t≠t_i,Δu|_t=ti=α_iu(t_i), i=1, 2,…,k,u(0)=u(1)=0非平凡解的存在性及多解性。其中α_i>-1, i=1, 2,…,k 为给定常数, 0=t₀12<…kk+1=1 为给定的脉冲点。Δu|_t=ti=u(t⁺_i)-u(t^-_i), u(t⁺_i), u(t^-_i)分别表示u在t=t_i处的右极限和左极限。 f∈C(［0,1］×R, R)。 本文的主要结果推广和改进了一些已有的关于二阶脉冲微分方程Dirichlet问题非平凡解的存在性及多解性的结论。 主要结果的证明基于López-Gómez在2001年建立的分歧定理。     

有限交换环上Ramanujan单位一-匹配双凯莱图

设R是有单位元1≠0的有限交换环,R上的单位一-匹配双凯莱图记为G_R=BC(R; R^×, R^×, {0}),其中R^×表示R单位的集合。若一个k-正则图G的任意具有|λ|≠k的特征值λ满足|λ|≤2(k-1)^1/2,则称这个k-正则图是Ramanujan图。给出R上的单位一-匹配双凯莱图G_R及其线图是Ramanujan图的充要条件。     

形式三角矩阵环上的n-Gorenstein投射模

设n是整数,T=(A 0U B)是形式三角矩阵环,其中A,B是环,U是左B右A双模,_BU是投射模,U_A的平坦维数有限。证明了若左T-模(M₁M₂)_φ^M是n-Gorenstein投射模,则M₁是(n-1)-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射。反过来,若M₁是n-Gorenstein投射左A-模,M₂/Im(φ^M)是n-Gorenstein投射左B-模,并且 φ^M:U⊗_AM₁→M₂是单射,则左T-模(M₁M₂)_φ^M是n-Gorenstein投射模。     

单圈图的边幻和全标号

对于图G(p,q),若存在一个映射f:V(G)∪E(G)→{1,2,…,p+q},使得任意边uv∈E(G),满足f(u)+f(v)+f(uv)=K,K为常数,则图G(p,q)为边幻和图。设计了一种算法对16个点以内的单圈图进行标号,依据得到的结果,找到了两类特殊单圈图的标号规律,定义C_nSymbolQC@〓S_m和C_nΔS_m来刻画此两类特殊单圈图,并给出其相关定理及证明。结果表明,点数小于等于16的所有单圈图均具有边幻和全标号,且其中绝大部分是超级边幻和全标号,从而猜测点数多于16的单圈图也具有边幻和全标号。     

图的路(无符号)拉普拉斯谱半径及其能量

图G的顶点集V(G)={v₁,v₂,…,v_n},其路矩阵记为P(G)=(p_ij)_n×n,p_ij表示图中v_i,v_j之间内部顶点不相交路径的最大数目。定义路拉普拉斯矩阵和路无符号拉普拉斯矩阵并得到了其谱半径和能量的界。