基于圈和三个孤立点的冠图的Q-谱确定性

设G是n阶图,H是m阶图,取n个H的拷贝,并将G的第i个点和第i个H中的每一点相连(i=1,2,…,n),所得到的(n+mn)阶图称为冠图,记为GH.对基于圈和3个孤立点的冠图的Q-谱确定性(无符号拉普拉斯谱确定性),即Cn3 K1的Q-谱确定性进行了研究,证明了当n≠32,64,128时,Cn3 K1由其Q-谱确定.     

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

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

2K2∨K1冠图的一般点可区别全染色

借助星的一般点可区别全染色, 讨论2K₂∨K₁冠图的一般点可区别全染色. 在星的一般点可区别全染色下, 采用将星悬挂边的颜色由小到大依次排列, 最终扩展为2K₂∨K₁冠图的一般点可区别全染色的方法, 确定冠图依赖于悬挂边数目的一般点可区别全色数.     

三个圈图的两类冠图的ABC指数

图G和H两者的点冠图,记作GH,定义为使图G的每一顶点分别与图H的一个拷贝的所有顶点相连。类似地,三个图的冠图记作G₁G₂G₃,定义为(G₁G₂)G₃,三个图G₁,G₂,G₃的剖分点—边冠图记为GS₁(GV₂GE₃)。图的ABC指数定义为:ABC(G)=∑uv∈E(G)d(u)+d(v)-2d(u)d(v),其中E(G)表示图G的边集,d(u),d(v)分别表示对应边的两顶点u,v的度。主要研究了三个圈图的这两类冠图的ABC指数。     

非连通图(P1∨Pn)∪Gr和(P1∨Pn)∪(P3∨r)及Wn∪St(m)的优美性

讨论非连通图((P₁∨P_n)∪G_r和(P₁∨P_n)∪(P₃∨_r)及W_n∪St(m)的优美性, 证明了如下结论： 设n,m为任意正整数, s=［n/2］, r=s-1, G_r是任意具有r条边的优美图, 则当n≥4时, 非连通图((P₁∨P_n)∪G_r和(P₁∨P_n)∪(P₃∨_r)是优美图； 当n≥3, m≥s时, 非连通图W_n∪St(m)是优美图. 其中, P_n是n个顶点的路, K_n是n个顶点的完全图, n是K_n的补图, G₁∨G₂是图G₁与G₂的联图, W_n是n+1个顶点的轮图, St(m)是m+1个顶点的星形树.     

赋权边冠图的广义谱

网络是由点集和边集构成的图形，它在现实世界中可以有效地表示许多系统.在实际生活中，许多网络本质上是赋权的，它们的边具有不同的权重.在很多情况下，网络的边权重是已知的，通常忽略权重可以更好地理解这些系统.本文中首先给出基于两个不同图的加权边冠图的定义；其次根据它们各自的特征值，确定了它们赋权边冠图的广义邻接、拉普拉斯和无符号拉普拉斯谱.最后应用这些结果，进一步研究了赋权边冠图的基尔霍夫指标和生成树的个数问题.     

偶圈冠图r-C_n的奇优美性及奇优美性算法

图G的一个奇优美标号是指存在一个双射函数L:V(G)→{0,1,2,…,2|E|-1}使得任意边e=uv∈E(G),由L′(e)=|L(u)-L(v)|决定的边标号L′为E(G)到{1,3,…,2|E|-1}的双射。根据奇优美图的定义,文章讨论了偶圈冠图r-Cn的奇优美标号问题,证明了当n≡0(mod 4)时,偶圈冠图r-Cn是奇优美图,给出的新奇优美标号算法不同于现有的文献结果。     

奇星对九阶轮的Ramsey数(英文)

给定两个图G₁和G₂,Ramsey数R（G₁,G₂）是指具有如下性质的最小正整数n:对任意的n阶图G,或者G包含G₁,或者G的补图包含G₂.令S_n表示n阶星,W_m表示m+1阶轮.当n≥6且n是偶数时,人们证明了R（S_n,W₈）=2n+2.本文证明了当n=5,7,9时, R（S_n,W₈）=2n+1.     

基于外心对偶剖分的有限体积元法

考虑基于外心对偶剖分的椭圆型与抛物型方程的有限体积元法. 设原始三角形剖分的任意三角形单元的重心Q和外心C的距离满足|QC|=O(h²), 在此条件下, 证明了二阶椭圆型方程基于外心对偶剖分的有限体积元法的L²误差估计, 以及抛物型方程基于外心对偶剖分的半离散和全离散有限体积元格式L²和H¹误差估计.     

不含4-圈或弦6-圈的平面图是(3,0,0)-可染的

设d₁,d₂,…,d_k是k个非负整数,若图G=(V,E)的顶点集V能被剖分成k个子集V₁,V₂,…,V_k,使得对任意的i=1,2,…,k,V_i的点导出子图G［V_i］的最大度至多为d_i,则称图G是(d₁,d₂,…,d_k)-可染的。关于平面图的染色,有以下结论:不含4-圈或弦6-圈的平面图是(3,0,0)-可染的。     

基于重叠函数和分组函数的蕴涵分配性

在模糊系统中,模糊蕴涵与某些特定的聚合函数(如三角模、三角余模、一致模、零模、半一致模、半t-算子等)间的分配性被广泛研究。作为两类特殊的聚合函数,重叠函数和分组函数因其在图像处理、分类和决策等方面的应用而被广泛关注。本文给出了有加法生成子对的重叠函数、分组函数与具有边界条件的二元函数满足蕴涵分配性方程I(O(x,y),z)=G(I(x,z),I(y,z))的充要条件,以及有加法生成子对的分组函数G1,G2和具有边界条件的二元函数I满足蕴涵分配性方程I(x,G1(y,z))=G2(I(x,y),I(x,z))的充要条件。     

形式三角矩阵环上的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投射模。     

形式三角矩阵环上的强Ding投射模和强Ding内射模

讨论了形式下三角矩阵环T=(A 0U B)上的强Ding投射模和强Ding内射模,证明了当U_A和_BU的平坦维数有限,并且(M₁M₂)_φ^M是强Ding投射左T-模时,M₁是强Ding投射左A-模,φ^M是单同态,M₂/Im φ^M是强Ding投射左B-模。     

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

以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］上相交多项式有关的一个问题。     

三角矩阵环上的(n,d)-内射模

设A,B是环,U是(B,A)-双模,n,d为非负整数,■是形式三角矩阵环,首先,证明了■是n-表现左T-模当且仅当M₁是n-表现左A-模,Coker φ^M是n-表现左B-模且φ^M:U?_AM₁→M₂是单同态。其次,证明了当■是(n,d)-内射左T-模时,M₁是(n,d)-内射左A-模,M₂是(n,d)-内射左B-模。     

关于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的可解群的扩张。     

二阶脉冲微分方程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年建立的分歧定理。     

折叠超立方体的广义3-连通度

设图G是一个连通图,S⊆V(G)。图G的一棵S-斯坦纳树是一棵包含S中所有顶点的树T=(V ',E '),使得S⊆V '。如果连接S的两棵斯坦纳树T和T ',满足E(T)∩E(T ')=且V(T)∩V(T ')=S,则称T和T '是内部不交的。定义κ(S)为图G中内部不相交S-斯坦纳树的最大数目。广义k-连通度(2≤k≤n)定义为κ_k(G)=min{κ(S)|S⊆V(G)且|S|=k},显然,κ₂(G)=κ(G)。证明了κ₃(FQ_n)=n,其中FQ_n是n-维折叠超立方体。