图的匹配与拉普拉斯特征值

设G=(V(G),E(G))是一个图,M是E(G)的—个子集.如果M中任意两条边均无公共端点,则称M为图G的匹配.如果图G的一个匹配M中的边恰好关联G的每一个顶点,则称M为图G的完美匹配.如果图G中除了一个顶点以外,其他所有顶点都与匹配M中的边相关联,则称M为图G的几乎完美匹配.如果对任意v∈V(G), G-v均有完美匹配,则称G是因子临界的.本文中,我们给出了判定一个图有完美匹配、或者几乎完美匹配或者是因子临界的拉普拉斯谱条件.     

对于X-join不可分解的无三角形的图

本文中的图都是有限简单图.仅含一个点的图叫作平凡图,不含边的图叫作空图.V(G)与 E(G)分别表示图 G 的点的集合与边的集合.有时以 G 代替 V(G),以 x∈G代替 x∈V(G).对 x∈G,N_G(x)={y∈G|xy∈E(G)}叫作 x 的邻域.下面的概念是 Sabidussi 引入的:令{G_x|x∈X}是图的一个族,指标取自另一个图 X.令#表示 X 中的邻接关系,⊥_x表示 G_x 中的邻接关系,则这一族图的 X-join 是指图 G,G=(?)(G_x×{x}),且 G 中的邻接关系⊥定义为:对 G 中任两个点(a,r)与(b,s),(a,r)⊥(b,s)当且仅当 r#s 或r=s 且 a⊥_rb.     

图的孤立韧度与分数k-消去图

设G是一个图,k(?) 2是一个整数,若对于图G的任一条边e,G-e都存在一个分数k-因子,则称G是一个分数k-消去图.图G的孤立韧度I(G)定义为:若G是完备图,I(G)=+∞;否则,I(G)=,其中i(G—S)表示G—s中的孤立点数目.本文证明了当I(G)>k,并且δ(G)(?)k+1时,G是分数k-消去图.     

平面图上的团横贯数与独立数

设G为简单图,若G的点子集S与图中的每个团都有非空的交,则称S是图G的一个团横贯集,这里G的团是指图中的极大完全子图且至少包含两个点.图G的最小团横贯集所含点的数目称为G的团横贯数,记作τC(G).如果G的每条边至少包含在一个t阶完全子图中且τC(G)≤|V(G)|/t,则称G具有〈t〉一性质.提出了平面图分离4-团的概念.首先证明了最大度不超过5的平面图具有〈t〉-性质.其次,对任意平面图G,若它不含分离4-团且每条边都包含在一个4-团之中,得到了它的横贯数的上界和独立数的可达下界.     

有趣的图论(续)

5.点染色问题 设G是一个平面图,由G我们可以按下述方式构造出G的一个对偶图G~*,G~*中的点对应于G的面,G~*中两个点i和j有边相连,当且仅当G中对应的面i和j相邻,另外G~*的边与G的边是一一对应的。例如图2.11中的实线图为G而虚线图为G~*     

(a,b,C_k)临界图的判定

设G是一个图且a,b是非负整数,a≤b.如果消去G中的任意一个k-圈,剩下的图有[a,b]-因子,则称图G是(a,b,C_k)-临界图.给出了图是(a,b,C_k)-临界图的充分条件.     

Halin-图的点强全染色

图G(V,E)的一个k-正常全染色f叫做一个k-点强全染色当且仅当对任意v∈V(G), N[v]中的元素被染不同色,其中N[v]={u|uv∈V(G)}∪{v}．χTvs(G)=min{k|存在图G的k- 点强全染色}叫做图G的点强全色数．对3-连通平面图G(V,E),如果删去面fo边界上的所有点后的图为一个树图,则G(V,E)叫做一个Halin-图．本文确定了最大度不小于6的Halin- 图和一些特殊图的的点强全色数XTvs(G),并提出了如下猜想:设G(V,E)为每一连通分支的阶不小于6的图,则χTvs(G)≤△(G) 2,其中△(G)为图G(V,E)的最大度．     

一类完全三部图的K1,3-因子大集

令G是一个有限图,H是G的一个子图.若V(H)=V(G),则称H为G的生成子图.图G的一个λ重F-因子,记为Sλ(F,G),是G的一个生成子图且可分拆为若干与F同构的子图(称为F-区组)的并,使得V(G)中的每一个顶点恰出现在λ个F-区组中.一个图G的λ重F-因子大集,记为LSλ(F G),是G中所有与F同构的子图的一个分拆{B_i}_i,使得每个B_i均构成一个Sλ(F,G).当λ=1时,λ可省略不写.本文中,我们证明了当v≡4 mod 24时,存在LS(K1,3,Kv,v,v).     

哈密顿线图的一个新结果

设G是一个简单图,G1∈G,G1在G中的度定义为d（G1）=∑v∈V（G）d（v）,其中d（v）为v在G中的度数．主要结果是：设G是n≥3阶几乎无桥的简单连通图,且G≠K（1,n-1）、Q1和Q2,若对G中任何同构于四个顶点路的导出子图I,有d（I）≥2n-6,则G有一个D-闭迹,从而G的线图L（G）是哈密顿图．     

路和平方路笛卡尔乘积图的r-多彩着色（英文）

图G的r-多彩k-着色是图G的一个正常k-着色,并满足G中的每一个顶点的邻点的颜色数至少为这个顶点的度d(v)和r的最小值.使得图G具有r-多彩k-着色的最小整数k称为图G的r-多彩色数,用X_r(G)表示.本文研究了路和平方路的笛卡尔乘积图的r-多彩着色,得出了其r-多彩色数的确切值.     

Qualitative Analysis of Bifurcating Solutions in the Lengyel-Epstein Model

One of the most fundamental problems in theoretical biology is to explain the mechanisms by which patterns and forms are created in the＇living world. In his seminal paper ＂The Chemical Basis of Morphogenesis＂, Turing showed that a system of coupled reaction-diffusion equations can be used to describe patterns and forms in biological systems. However, the first experimental evidence to the Turing patterns was observed by De Kepper and her associates（1990） on the CIMA reaction in an open unstirred reactor, almost 40 years after Turing＇s prediction. Lengyel and Epstein characterized this famous experiment using a system of reaction-diffusion equations. The Lengyel-Epstein model is in the form as follows     

(0,1 ;0)-INTERPOLATION ON INFINITE INTERVAL (-∞, +∞)

In this paper, we study the explicit representation and convergence of (0, 1; 0)-interpolation on infinite interval, which means to determine a polynomial of degree ≤ 3n - 2 when the function values are prescribed at two set of points namely the zeros of Hn(x) and H′n(x) and the first derivatives at the zeros of H′n(x).     

RECENT PROGRESS ON SPHERICAL HARMONIC APPROXIMATION MADE BY BNU RESEARCH GROUP ——In memory of Professor Sun Yongsheng

As early as in 1990, Professor Sun Yongsheng, suggested his students at Beijing Normal University to consider research problems on the unit sphere. Under his guidance and encouragement his students started the research on spherical harmonic analysis and approximation. In this paper, we incompletely introduce the main achievements in this area obtained by our group and relative researchers during recent 5 years （2001-2005）. The main topics are： convergence of Cesaro summability, a.e. and strong summability of Fourier-Laplace series; smoothness and K-functionals; Kolmogorov and linear widths.     

A REPRESENTATION FORMULA RELATED TO SCHR(O)DINGER OPERATORS

Schr(o)dinger operator is a central subject in the mathematical study of quantum mechanics.Consider the Schrodinger operator H = -△ V on R, where △ = d2/dx2 and the potential function V is real valued. In Fourier analysis, it is well-known that a square integrable function admits an expansion with exponentials as eigenfunctions of -△. A natural conjecture is that an L2 function admits a similar expansion in terms of "eigenfunctions" of H, a perturbation of the Laplacian (see [7], Ch. Ⅺ and the notes), under certain condition on V.     

Journal of the Operations Research Society of China Special issue on Operations Research in Healthcare Management

正Guest Editors:Hong Chen,Shanghai Jiao Tong University,Shanghai,China Guohua Wan,Shanghai Jiao Tong University,Shanghai,China David Yao,Columbia University,New York,USA Scope:Healthcare delivery worldwide has been fraught with high cost,low efficiency and poor quality of patient care service.For the field of operations research(OR),healthcare offers some of the biggest challenges as well as best opportunities in     

ANALYSIS IN THEORY AND APPLICATIONS Vol. 30, 2014 CONTENTS

正~~     

An alternative mathematical algorithm for the photo- and videokeratoscope

Due to the resolution of current laser technology, the accuracy of corneal topography as measured by the videokeratoscope is no longer adequate to provide precise enough data for refractive surgery or for the fitting of customized contact lenses. We present an algorithm for recovering corneal topography that makes use of modern differential geometric techniques and numerical descent in Sobolev spaces. We believe this algorithm may be used with the photo- and videokeratoscope to increase the accuracy of the recovered corneal topography.     

A note on Sobolev orthogonality for Laguerre matrix polynomials

Let {Ln(A,λ)(x)}n≥0 be the sequence of monic Laguerre matrix polynomials defined on [0, ∞) by Ln(A,λ)(x)=n!/(-λ)n∑nk=0(-λ)κ/k!(n-1)! (A I)n[(A I)k]-1 xk,where A ∈ Cr×r. It is known that {Ln(A,λ)(x)}n≥0 is orthogonal with respect to a matrix moment functional when A satisfies the spectral condition that Re(z) ＞ - 1 for every z ∈σ(A).In this note we show that forA such that σ(A) does not contain negative integers, the Laguerre matrix polynomials Ln(A,λ) (x) are orthogonal with respect to a non-diagonal SobolevLaguerre matrix moment functional, which extends two cases: the above matrix case and the known scalar case.     

CONTENTS OF VOLUME 30

正~~