关于图的路连通性的几个结果

本文仅考虑无向简单图,若图G中任两点间均存在H路,则称图G是Hamilton连通的,记P_m(u,v)为图G中长为m—1的u—v路,若对图G中任两点u,v,G中均     

氮化硅纳米粒子的量子限制效应

G是一个连通图,SV(G)和u∈V(G),我们记 N(S)={v∈V(G)\S:存在w∈S使得vw∈E(G)}, N(u)={v∈V(G):uv∈E(G)},分别称为S和u点在G中的邻域.进一步,N(u)=N(u)∪{u},u点的闭邻域,和 G(u)=G[N(u)]     

关于连通图幂中边不交1-因子

我们总假设G=(V,E)为p阶连通简单图,n为自然数.G的n次幂图G~n定义如下:V(G~n)=V(G),E(G~n)={uv:d_G(u,v)≤n,u,v∈V(G)},式中d_G(u,v)是u和v在G中的距离. 1984年,Nebesk(?)证明了:当P为偶数     

冠C_(2n)☉K_1协调猜想的证明

一个图G=(V,E)称为是协调的(harmonious),如果存在一个单射h:V(G)→Z_q,其中Z_q={0,1,……,q-1},q=|E(G)|,由此导出的边标号h~*(u,v)=h(u)+h(v)(modq)是1-1的。若G是树,则允许有且仅有两点的标号相同,这时h称为G的一个协调标号。若上述映射导出     

度序列已给定的部分标定图的重构问题

设G=(V,E)是简单、无向的p阶部分标定图,V={v_1…,v_p},p≥3。设u,v∈V,X,Y(?)V。记N_Y(v)为顶点v在Y中的邻集,d_Y(v)=|N_Y(v)|为v关于Y的度,为v关于Y的邻接向量,它的第i个分量为0(或1),对应于v与y的第i个顶点不邻接(或邻接)。若d_Y(u)=d_Y(v),称u,v,关于Y等度;若u,v(?)Y,且u(Y)=v(Y),称u,v,关于Y     

2连通无爪图的最长圈

本文所涉及的图都是有限无向简单图。设G是一个图,总用V(G)、E(G)、c(G)分别表示G的顶点集、边集、周长,而令p=|V(G)|。设U(?)(G),总用G[U]表示G中由U导出的子图。如果对于任意U(?)V(G),总有G[U](?)K_(1,3),则称G为无爪图。设λ=min{d(u)+d(v)|u,v∈V(G),uv(?)E(G)},δ=min{d(u)|u∈V(G)},其     

几类由PLD确定的连通图

给定简单图G=(V,E),其中V是顶点集,E是边集。若对V的两个顶点u,v,在G中存在含有i个顶点的一条(u,v)路,则称性质P_i(u,v)成立。令S_i(2≤i≤n)是G中有性质P_i(u,v)的无序顶点     

n-可扩图的局部邻域条件娄定俊

设G是阶为v的图且具有完美对集。设n是正整数,满足n≤(v-2)/2.G称为n-可扩的,是说:G中任意n条独立边包含在G的一个完美对集中。 设G是一个图且v∈V(G)。定义N_k(v)={u|u∈V(G)且d(u,v)=k}。设u,v∈V(G)满足d(u,v)=2.记I(u,v)=|N(u)∩N(v)|。定义散度α~*(u,v)如下: n_(u+v)(W)=max{|S||w∈N(u)∩N(v),S是G[{w}∪N_G(w)]中包含u和v的独立集},     

1坚韧图最长圈的新的充分条件

本文所涉及的图都是有限无向简单图。设G是一个图,用V(G),B和c(G)分别表示G的顶点集、边集和周长,d(u,v)表示u和v间的距离,且设p=|V(G)|。     

Ore-2型图中存在两个边不相重的Hamilton圈

本文讨论的图都是无向的简单图。设G是一个图,分别用V(G)和E(G)表示图G的顶点集和边集。又设“、v∈V(G),用d(v)表示v的次数,用vu表示连结u、v的边。     

不完全区组设计与测地块的构造

我们只讨论有限、无向、简单图。 设图G连通,如果对G中任二点x,y,x到y的最短路均唯一,则称G为测地图。如果G是二连通的测地图,则称G为测地块。 测地块的构造问题是测地图的研究中一个十分重要而又相当困难的问题。在这方面,     

广义序同态的特征性质与扩张定理的一个逆定理

设L为完备格,在L上定义关系如下:xy当且仅当xL,y≤supX时,存在 x~*∈X使x≤X~*z,记↓x={y∈L:yx}与↑x={y∈L:xy},如果xx,则称x为L的完全并素元,PO(L)表示L     

一类分布参数系统的最优性条件

本文讨论如下的控制系统: 其中Ω((?)R~n)是一有界区域,其边界(?)Ω光滑。u(x)∈U={a,b},b>a>0。给出如下的允许控制集 在Ω上可测}。 (2)若问题(1)有解y(x)=y(x;u),则可定义如下的指标函数     

2-连通图的最长圈

设G=(V,E)是一简单、无向图,|V|=n,记N_i(u)={x∈V|d(x,u)=i},i≥1,其中d(x,u)表示点u到点x的距离。 设N_1(u)中点的度序列为d_0~1≥d_1~1≥…≥d_k~1。设N_2(u)中点的度序列为d_1~2≤…≤d_m~2。     

m-k_n×k_s残留图

本文将讨论m-k_u×k_s残留图。定义1 图G=(V,E)为简单图,u∈V,集合N~*(u)={v∈V|v与u邻接}U{u}叫做u的闭邻域。定义2 G叫做F残留图,F是指定的图,如果对每一点u∈V(G),G-N~*(u)≌F,(≌表示同构)递归地定义,图G叫做是m-F残留图,如果对     

关于边不交的Hamiltoh圈

本文所讨论的图均为无向的简单图。用δ(G)表示图G的最小度。一个图G称为Ore-(k)型图,如果任一对不相邻顶点“和v都有d(u)+d(v)≥|V(G)|+k(k为整数)。     

每个4-正则简单图包含一个3-正则子图

1973年,C.Berge猜想:每个4-正则简单图包含一个3-正则子图,1979年,v.Chvátal,H.Fleischner,J.Shechan和C.Thomassen猜想:设G是奇阶4-正则图。若λ_c(G)∈{6,8},则G存在一点x,使得G—x有3-正则生成子图。(λ_c(G)是图G的边圈连通度)。本文以更一般的形式证明这两个猜想为真。 一个图G是强4-边连通的,若G是4边连通的,且对任一个基数为4的边割集5,G—S有平凡     

变分不等式的并行Schwarz算法

设Ω为R~d中有界多角形区域,V为Sobo1ev空间H~k(Ω)的子空间,a(·,·)为V×V上连续强制对称双线性型,f∈V。为简单计,设V中元素在Ω上满足齐次边界条件。考虑变分不等式:求u∈K使 a(u,v—u)≥f(v—u), (?)v∈K, (1) 其中 K={v∈V:v≥φ于Ω},φ≤0于(?)Ω, (2) 或者 K={v∈V:φ≤v≤ψ于Ω}, φ≤0≤ψ于(?)Ω, (3) 且φ,ψ∈H~1(Ω)∩C~0(Ω)。 设V~h(?)H_0~1(Ω)是V的有限元逼近且其结点参数值包含在结点的函数值。问题(1),(2)或问题(1),(3)的有限元逼近为:求u_h∈K_h使     

关于禁用子图与Hamilton性的新结果

不含导出子图同构于K_(1,3)或F的图称{K_(1,3),F}-free图.设图G含有无弦的点控制圈(简称VD-圈):C=C_1C_2…C_kC_1,并假定依下标顺序给定一正向.用C_(ij)表示沿C的正向从C_i到C_j的一段道路.如果{C_i,C_j}是G的2-割集,当G无爪(K_(1,3)-free)时,G-{C_i,C_j}恰有两个分支.用G_(ij)表示G的满足G_(ij)∩C=C_(ij)的极大连通子图.设P=v_0v_1…v_(d-1)v_d是G的一条直径路,X={x∈V|d(x,P)>l}.当G是{K_(1,3),F}-free图且d≥3时,同文献[1]定义     

连通、局部连通、无爪图是点泛圈图

本文只讨论有限、无向、无环和多重边的简单图。V(G)、E(G)分别表示图G的顶点集和边集。如果S(?)V(G),用G[S]表示子集S在G中的导出子图。若u∈V(G),N(u)表示u点的邻域,即邻接于u点的全体顶点的集合。