拟阵的基关联图

给出了拟阵的基关联图的概念,证明了若拟阵M为简单拟阵,M的秩为ρ=ρ(M)≥2,则M的基关联图△(M)的连通度等于它的最小度．     

二连通、无爪图是Hamilton图的一个充分条件

1985年,M.M.Matthews和D.P.Sumner证明了:若G是二连通无爪图,且δ(G)≥1/3(p-2),则有Hamilton圈。本文证明了:若G是二连通无爪图,且对手G的任意两个不相邻的顶点u和v,有d(u)+d(v)≥2/3(p-2),则G有Hamilton圈。     

拟阵基关联图中的路

证明了如果M=(E,B)是一个简单拟阵，拟阵M的秩ρ=ρ(M)至少为2，E中的每一个元素都包含在M的某一个圈中，Δ(M)=Δ(E,B,F)为拟阵M的基关联图，则Δ(M)中存在一条路P，使得P覆盖E中的所有元素.     

拟阵的单扩张与分裂子的确定

研究用拟阵的单扩张M′=M+Ee来确定拟阵族N的分裂子的方法。首先证明了M′=M+Eer(M′)=r(M),并且对每个M中包含e的极小圈C,都有|C|=r(M)+1。讨论了拟阵AG(3,2)和拟阵P6的性质。给出了拟阵M具有性质(P)的充要条件。由以上结果用两种方法证明了:若M=AG(3,2),E=E(M),令N={M:M不含有幼阵同构于w3或P6},则M+Ee是N的一个分裂子。     

拟阵族N的分裂子M(K_5)

研究拟阵族N的分裂子M(K5)。先应用分裂子定理和拟阵的单扩张定理证明:若N={M:M是二元域拟阵且M不含有同构于F*7的拟阵},则F7是N的一个分裂子。据此证明了两个结论:1.若N={M:M是正则拟阵且M不含M(K3,3)-幼阵},则M(K5)是N的一个分裂子;2.M(K5)是EX(U2,4,F7,M(K3,3))和EX(U2,4,F7*,M(K3,3))的分裂子,并得到了这两个拟阵族的正则拟阵分解表示。     

极小圈模对(C_1,C_2)与二元域拟阵M的特征

对极小圈模对的性质及用它陈述二元域拟阵的特征进行了研究.首先证明了若M是在E上的二元域拟阵,则V(C0(M))是V(n,2)的一个子空间.其次证明了C1,C2是极小圈模对的充分必要条件,得到的主要结果有:证明了极小圈模对命题的逆命题是正确的,由C1,C2∈C0(M)∈C0(M)都有 C1ΔC2∈C(M)得到一系列用极小圈模对(C1,C2)表达的二元域拟阵M的特征,由此极简单地证明了命题7(White 1971).     

M是连通拟阵与G(D#)是连通图的关系

研究M是连通拟阵与G(D#)是连通图的关系.证明了M中有一个基B,使得C1,C2,…,Cn-r是M中全体对应于基B的基本极小圈,等价于对任意j∈1,2,…,n-r,Cj∪i≠jCi.由此证明了(Cunningham 1973,Krogdahl 1977)M是连通拟阵等价于B∪e∈E(M)-BCM(e,B),并且对任意X∩Y=φ,X∪Y=E(M)-B都有∪e∈XCMe,B∩∪e∈YCM(e,B)≠φ.得到结果为M是连通拟阵等价于G(D#)是连通图.     

等密拟阵在图论中的一个应用

研究等密拟阵在图论中的一个应用。由τc(G)的表示式,讨论了F∈β〔M′〔n-c〕〕的等价条件。证明了η〔M′〔n-c〕〕=τc(G)。结合等密拟阵的定义推得(ⅰ)τc(G)≥k的充要条件;(ⅱ)τc(G)=s等价条件;(ⅲ)当c=1时τc(G)的图论意义。     

基-meso紧空间的若干性质

着重证明了:(1)设X是meso紧空间,X=∪i∈NFi,Fi为相对于X的基-meso紧闭子集,则X是基-meso紧的.(2)X是基-meso紧空间,若MX是Fσ集,且ω(M)=ω(X),则M为基-meso紧空间的.(3)设f:X→Y是基-meso紧映射,ω(X)≥ω(Y),如果Y是正规的基-meso紧空间,那么X是基-meso紧空间.     

拟阵Q_6与W~4可F-线性表示的构造

对拟阵 Q6与W4可F-线性表示的构造进行了研究.用E(G)在R上的链群F0(G,R)表示G的圈拟阵M(G);用松弛拟阵M的极小圈超平面X的方法得到拟阵M′.得到主要结果为:(1)用链群表示了M(K4),M(W4);(2)用松弛极小圈超平面的方法从M(K4)构造了Q6,从M(W4)构造了W4,找出了W4可线性表示的所有域F.     

拟阵基图的Hamilton圈性质

设G是拟阵的基图,对于拟阵基图的哈密顿性质,证明了在简单拟阵的基图中,如果|V(G)|≥5并且拟阵的子拟阵基图不同构于W5,那么对于任意的两条边e与e’,存在包含e且不包含e’的Hamilton圈。     

准模糊图拟阵

在作者前期工作的基础上继续讨论国圈好模糊拟阵的基础性质，给出圈好模糊拟阵的“模糊圈公理”；然后，研究了“基好模糊拟阵”及其与圈好模糊拟阵的等价性；最后，总结圈好模糊拟阵与“基好模糊拟阵”的性质，提出“准模糊糊图拟阵”的概念，证明了“准模糊图拟阵”的“模糊基公理”和导出拟阵序列特征。刻画了“准模糊图拟阵”的内在本质，提供了一种构造“准模糊图拟阵”的方法。     

超环面图上的约束数

非空图G的约束数b(G)是指使得图G的控制数γ(G)增大而删除的最少的边数.[Fischermann M, Rautenbach D, Volkmann L. Remarks on the bondage number of planar graphs. Discrete Math,2003,260:57-67\]已经证明,对于一个围长为g(G)的平面图G,如果g(G)≥4则b(G)≤6,如果g(G)≥5则b(G)≤5,如果g(G)≥6则b(G)≤4,如果g(G)≥8则b(G)≤3.我们把这个结果推广到连通的超环面图中.     

边可消去图的[a,b]-因子的存在性

图G的孤立韧度定义为I(G)=min{|S|/i(G-S)|S■V(G),i(G-S)≥2},若G不是完全图;否则,令I(G)=|V(G)|-1.本文证明了:若G的最小度满足δ(G)≥a n以及孤立韧度I(G)≥a-1 (a 2n)/b,其中a,b,n都是非负整数且1≤a相似文献   

围长≥7最大度≥5的平面图的无圈列表边染色

对图G的一个正常边染色,如果图G的任何一个圈至少染3种颜色,则称这个染色为无圈边染色.若L为图G的一个边列表,对图G的一个无圈边染色φ,如果对任意e∈E(G),都有φ(e)∈L(e),则称φ为无圈L-边染色.用a′_(list)(G)表示图G的无圈列表边色数.论文证明:若图G是一个平面图,且它的最大度Δ≥5,围长g(G)≥7,则a′_(list)(G)=Δ.     

准模糊图拟阵基的性质

本文主要研究准模糊图拟阵模糊基的一些重要性质。通过模糊拟阵的初等模糊集方法、导出拟阵序列法和基交换法等方法,得到了若导出拟阵所含基的个数都相同,则这个准模糊图拟阵是闭正规模糊拟阵;得出了用初等模糊集描述的准模糊图拟阵模糊基的结构定理,即存在数组{λ1,λ2,…,λl},使得μ∈Θ,μ=∨eijk∈suppμω({eijk},λjk);找到了准模糊图拟阵模糊基与导出拟阵序列的基的一一对应关系;最后在参考文献[3]的基础上,得到了结果更强的准模糊图拟阵模糊基交换定理——准模糊图拟阵模糊基对称交换定理,即若Θ是准模糊图拟阵的模糊基集,u1,u2∈Θ,则对任意的e∈supp u1,都有e′∈supp u2,使得(u1\e)‖u2e′∈Θ,(u2\)e′‖u1e∈Θ。     

k-连通无爪图中的生成圈和控制圈

用张存铨在文[2]中的方法!本文通过疏远边的度和给出k-连通无瓜图中存在汉密尔顿圈和控制圈的充分条件,作为文中定理的推论,证明了若对任意■∈E(G) d(k)+d(v)≥3n/k-6,则G有汉密尔顿圈;若对任意■∈E(G) d(k)+d(v)≥3n/(k+1)-3,则G有控制圈,这里G是k-连通无爪图。     

Modular拟阵的参数特征

得到无环Modular拟阵M的一个参数特征,给出使Seymour等式成立的两类拟阵。     

拟阵S(M_1,M_2)与P(M_1,M_2)的基及其应用

对拟阵S(M1,M2)与P(M1,M2)的基及其应用进行了研究.用CS的定义证明了B∈B(S(M1,M2))的充分必要条件.用基的相互关系证明了r(S(M1,M2))和r(P(M1,M2))的计算公式,并由此推出:(1)P(M1,M2)=S(M1,M2);(2)若M/p=M1⊕M2,则M=P(M-E(M1),M-E(M2)).     

牛顿—莱布尼兹公式的一个推广

本文将证明牛顿—莱布尼兹公式对于 schwarz 导数亦成立。设函数 f(x)定义在[a,b]上,若对于 x∈(a、b)(?)(f(x+h)-f(x-h))/(2h)存在,则该极限值为 f(x)在点 x 的 schwarz 导数。记作 f~s(x)引理1 设 f(x)是[a,b]上的连续函数,f~s(x)在(a、b)上存在,若 f(b)>(<)f(a),则存在点,c∈(a,b),使得:f~s(c)≥0(≤0)引理2 设 f(x)在[a,b]上连续,f~s(x)在(a,b)上存在,f(a)=f(b)=0,则存在点 x_1,a相似文献