图的全符号控制数

本文考虑的图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本文得到了全符号控制数的精确值.     

具有非线性阻尼项的p-方程组非线性扩散波的Lp-衰减率

讨论了具有非线性阻尼项的p-方程组的Cauchy问题解的L^p(2≤ p≤ +∞) 收敛率. 具体地说, 当相应的初始扰动(w₀(x), z₀(x))Î(H³´ H²)(R), 并且|v₊-v_-|+||w₀||₃+||z₀||₂充分小时, 对应的Cauchy问题存在唯一的整体解(v(x,t), u(x,t)), 并且依时间渐近收敛到由Darcy定律得到的非线性扩散波. 此外, 还得到了解的L^p(2≤ p≤ +∞)收敛率.     

图和有向图的测地数

图G内的任意两点u和v, u-v测地线是指u和v之间的最短路. I(u,v)表示 位于u-v测地线上所有点的集合, 对于子集SÍV(G), I(S)表示所有I(u,v)的并, 这里u,vÎ S. 图 G的测地数g(G)是使得I(S)=V(G)的点集S的最小基数. 对于有向图D, 类似地可定义g(D). 图G 的测地谱是G的所有定向图的测地数的集合, 记为S(G). G的下测地数g^-(G)=minS(G), 上测地数g⁺(G)=maxS(G). 文中主要研究了连通图G的g(G), g^-(G)和g⁺(G)之间的关系. 同时,还给出g(G)和g(G× K₂）相等的充分必要条件, 从而推广了 Chartrand, Harary 和 Zhang 的相关结论.     

交错群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-群.     

二部多重图路因子分解的存在谱

若二部多重图λK_m,n的边集可以划分为λK_m,n 的P_v-因子,则称 λK_m,n存在P_v-因子分解.当v是偶数时, Ushio和Wang及本文的第二作者给出了λK_m,n存在P_v-因子分解的充分必要条件.同时提出了当v是奇数时λK_m,n存在P_v-因子分解的猜想.最近我们已经证明当v=4k-1时该猜想成立. 对于正整数k,文中证明λK_m,n 存在P_4k+1-因子分解的充分必要条件是: (1) 2km ≤ (2k+1)n, (2) 2kn ≤(2k+1)m, (3) m+n ≡ 0 (mod 4k+1), (4)λ (4k+1)mn/[4k(m+n)]是整数. 即证明:对于任意正整数k, 当v=4k+1时上述猜想成立，从而最终完成了该猜想成立的证明.     

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

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

非正规 Cayley 图的两个充分条件及其应用

群G的Cayley图Cay(G, S)称为是正规的, 如果G的右正则表示R(G)在Cay(G, S)的全自同构群中正规. 给出了非正规 Cayley图的两个充分条件. 应用该结果, 构造了5个连通非正规Cayley图的无限类, 并决定了A₅的所有连通5度非正规 Cayley图,从而推广了徐明曜和徐尚进关于A₅的连通3、4度Cayley图正规性结果. 此外, 决定了A₅的所有连通5度非CI Cayley图.     

完全二部图的P4k-1-因子分解

如果完全二部图K_m,n的边集可以划分为K_m,n的P_v-因子,则称K_m,n存在P_v-因子分解. 当v是偶数时, Ushio和Wang 给出了K_m,n存在P_v-因子分解的充分必要条件. Ushio同时提出了当v是奇数时K_m,n存在P_v-因子分解的猜想, 但是至今为止仅知当v=3时Ushio猜想成立. 对于正整数k,本文证明K_m,n存在P_4k−1-因子分解的充分必要条件是: (1) (2k−1)m ≤2kn, (2) (2k−1)n ≤ 2 km, (3) m+n ≡ 0 (mod 4k−1), (4) (4k−1)mn/[2(2k−1)(m+n)]是整数. 即证明了对于任意正整数k, 当v=4k−1时Ushio猜想成立.     

二部图中求正交于星的(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)-染色的一个多项式算法并证明了此结果是最好的可能.     

一般薄膜方程的不变集和不变解

主要讨论了1+2维一般薄膜方程的不变集和不变解. 证明了对于这类方程，有一族解在集合 E₀={u: u_x=v_xF(u), u_y=v_yF(u)} 中不变，其中 v 为关于 x和y的光滑函数，F为u的光滑函数. 文中的结果推广了Galaktionov中关于1+1维非线性发展方程的结论.     

关于赋权图中重圈的一个范型定理

设G=(V, E; w)为赋权图,定义G中点v的权度d_G^w(v)为G中与v相关联的所有边的权和.该文证明了下述定理: 假设G为满足下列条件的2 -连通赋权图: (i) 对G中任何导出路xyz都有w(xy)=w(yz); (ii)对G中每一个与K_1,3或K_1,3+e同构的导出子图T, T中所有边的权都相等并且min{max{d_G^w(x), d^w_G(y)}:d(x,y)=2,x,y∈ V(T)}≥ c/2. 那么, G中存在哈密尔顿圈或者存在权和至少为 c 的圈. 该结论分别推广了Fan^[5], Bedrossian等人^[2]和Zhang等人^[7]的相关定理     

G-旋模型观测量代数间的C*-指标

在取值于有限群G的二维格子旋系统模型中, 可以定义场代数F. 群G的Double代数D(G), 进而由子群H决定的子Hopf代数D(G;H), 在F上有自然作用, 使得F成为模代数. 给出F的D(G; H)-不变子空间A_H的具体结构, 通过构造A_H到A_G的条件期望γ_G的拟基, 得到γ_G的C^*-指标, 等于子群H在G中的指标.     

图的三阶边连通度的优化问题

设F是图G的一个边子集,若G-F不连通且它的每个连通分支至少有3个顶点, 则称F为G的一个三阶边割. 若G有三阶边割, 把G的最小的三阶边割所含有的边数叫作G的三阶边连通度,记作λ₃(G). 研究λ₃(G)的优化问题, 首先引进λ₃(G)的极大性和超级性这两个组合优化概念,然后分别给出λ₃(G)实现极大性和超级性的Ore型充分条件. 这些概念和结果在网络可靠性分析中有重要应用.     

基于重数延长法提升加细向量函数的逼近阶

基于任意给定的伸缩因子为a的正交多尺度函数, 给出一种提升其逼近阶的算法. 设Φ(x)=[φ₁(x),x)=[φ₂(x),…,φ_r(x)]^T是伸缩因子为a,逼近阶为m的正交多尺度函数,则可以构造出一个重数为r+s,逼近阶为m+L(LÎZ₊)的新正交多尺度函数Φ^new(x)=Φ^T(x),φ_r+1(x), φ_r+2(x),…, φ_r+s(x)^T. 换言之, 通过增加多尺度函数的重数提升了它的逼近阶. 另外, 讨论了一个特殊情形：如果所给的正交多尺度函数Φ(x)=[φ₁(x),φ₂(x),…,φ_r(x)] ^T是对称的,则新构造的多尺度函数 Φ^new(x)不仅能提升其逼近阶, 而且还保持对称性. 给出了若干构造算例.     

完全二部图存在路因子分解的Ushio猜想的证明

如果完全二部图K_m,n的边集可以划分为K_m,n的P_v-因子, 则称K_m,n存在P_v-因子分解. 当v是偶数时, Ushio 和 Wang 给出了K_m,n存在P_v因子分解的充分必要条件. Ushio在其综述文章中提出了当v是奇数时K_m,n存在P_v-因子分解的猜想. 已经证明当v=4k-1时Ushio猜想成立. 对于正整数k, 本文证明K_m,n存在P_4k+1-因子分解的充分必要条件是: (1) 2km ≤ (2k+1)n, (2) 2kn ≤ (2k+1)m, (3) m+n ≡0 (mod 4k+1), (4) (4k+1)mn/[4k(m+n)]是整数. 即证明: 对于任何正整数k, 当v=4k+1时Ushio猜想成立，从而最终完成了Ushio猜想成立的证明.     

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

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

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的一般情形, 证明了该猜想成立.     

两类广义Petersen 图的Euler亏格

广义 Petersen 图 P(n, m) 是这样的一个图:它的顶点集是{u_i, v_i | i=0,1, ^… , n-1}, 边集是 {u_iu_i+1, v_iv_i+m, u_iv_i | i=0,1, ^…, n-1}, 这里 m, n 是正整数、加法是在模n 下且 m<|n/2| . 这篇文章证明了P(2m+1, m)(m≥ 2) 的 Euler 亏格是1, 并且 P(2m+2, m)(m≥ 5) 的 Euler 亏格是2.     

二部多重图的P4k-1-因子分解

如果二部多重图λK_m,n的边集可以划分为λK_m,n 的P_v-因子, 则称 λK_m,n存在P_v-因子分解. 当v是偶数时,Ushio, Wang和本文的第2作者给出了λK_m,n存在P_v-因子分解的充分必要条件. 同时提出了当v是奇数时λK_m,n存在P_v-因子分解的猜想, 但是至今为止仅知当v=3时该猜想成立. 对于正整数k,本文证明λK_m,n存在P_4k-1-因子分解的充分必要条件是：(1)(2k-1)m ≤2kn, (2) (2k-1)n≤2km, (3) m+n ≡0(mod 4k-1), (4) λ(4k-1)mn/[2(2k-1)(m+n)]是整数, 即证明:对于任何正整数k, 当v=4k-1时上述猜想成立.     

有向三元系超大集的存在谱

一个v 阶有向三元系,记为DTS(v,λ), 是指一个对子(X, B),这里X为v元集, B为X上一些可迁三元组(简称区组) 构成的集合, 使得X上每个由不同元素组成的有序对都恰在B的λ个区组中出现. 一个有向三元系的超大集,记为 OLDT(v,λ), 是指一个集合(Y{y}, A_I)_I, 其中Y为v+1元集, 每个(Y{y}, A_I)是一个DTS(v,λ), 并且所有 A_I 形成 Y上全部可迁三元组的分拆. 讨论OLDTS(v,λ)的存在性问题, 并且给出结论: 存在OLDTS(v,λ) 当且仅当 λ=1 且v≡0,1 (mod 3), 或 λ=3且v≠2.