Δ—匹配与边面全色数

设Ｇ为Δ（Ｇ）≥５的外平面图且ｘｅｆ（Ｇ）为Ｇ的边面全色数。本文证明了：Δ（Ｇ）≤ｘｅｆ（Ｇ）≤Δ（Ｇ）＋１,且ｘｅｆ（Ｇ）＝Δ（Ｇ）,当且仅当Ｇ含有一个由内边组成且覆盖Ｇ的每一个最大度点的匹配。     

具有最大控制数的连通图的刻画

设Ｇ为一个Ｐ阶图,γ（Ｇ）表示Ｇ的控制数．显然γ（Ｇ）≤［ｐ／２］．本文的目的是刻画达到这个上界的连通图．主要结果：（１）当ｐ为偶数时,γ（Ｇ）＝ｐ／２当且仅当Ｇ≈C₄或者Ｇ为某连通图的冠;（２）当ｐ为奇数时,γ（Ｇ）＝(p-1)/2当且仅当Ｇ的每棵生成树为定理３．１中所示的两类树之一．     

无K_4-图子式的图的谱半径(英文)

Ｇ是一个无Ｋ４－图子式、顶点数为ｎ的简单图,ｐ（Ｇ）是图Ｇ的谱半径．本文得出一个关于ｐ（Ｇ）的上确界：等式成立当且仅当 Ｇ ≌Ｋ２　（ｎ－２）Ｋ１,其中 Ｇ１　Ｇ２是由 Ｇ１∪Ｇ２组成、并且Ｇ１中的第一个点和Ｇ２中的每一个点之间都有一条边相连：（ｎ－２）Ｋ１表示（ｎ－２）个孤立点的集合．     

gr－正则环和矩阵环的gr－正则性

本文主要证明了（１）当Ｇ是有限群时，Ｇ－型分次环Ｒ是ｇｒ－正则的当且仅当ＲＧ是正则的当且仅当Ｍ＿Ｇ（Ｒ）是ｇｒ－正则的当且仅当对每个和Ｇ的任意非空子集Ｈ和Ｆ，Ｍ＿（ＨＸＦ）（Ｒ）的每个矩阵都有１－逆。（２）当Ｇ是任意群，Ｇ－型分次环只是反ｇｒ－正则的当且仅当Ｆ是反正则的当且仅当对每个和Ｇ的任意作非空子集Ｈ和Ｋ，ＦＭ＿（Ｈ×Ｆ）（Ｒ）的每个矩阵有２－逆当且仅当ＦＭ＿Ｇ（Ｒ）是ｇｒ－反正则的。     

gr—正则环和矩阵环的gr—正则性

本文主要证明了（１）当Ｇ是有限群时，Ｇ－型分次环Ｒ是ｇｒ－正则的当且仅当Ｒ＃Ｇ是正则的当且仅当ＭＧ（Ｒ）是ｇｒ－正则的当且仅当对每个λ∈Ｇ和Ｇ的任意非空子集Ｈ和Ｆ，ＭＨ×Ｆ（Ｒ）的每个矩阵都有１－逆。（２）当Ｇ是任意群，Ｇ－型分次环Ｒ是反ｇｒ－正则的当且仅当Ｆ（Ｒ＃Ｇ）是反正则的当且仅当对每个λ∈Ｇ和Ｇ的任意非空子集Ｈ和Ｋ，ＦＭＨ×Ｆ（Ｒ）的每个矩阵有２－逆当且仅当ＦＭＧ（Ｒ）是ｇｒ－反正则的。     

△（G）≤4的外平面图的邻强边色数

研究了△（Ｇ）≤４的外平面图的强边染色,证明了△（Ｇ）≤Ｘ′ａｓ（Ｇ）≤△（Ｇ）＋１,且Ｘ′ａｓ（Ｇ）＝△（Ｇ）＋１当且仅当存在两具最大度点相邻,其中△（Ｇ）和Ｘ′ａｓ（Ｇ）分别表示图Ｇ的最大度和邻强边色数,并且提出了如下猜想：如果Ｇ是一个｜Ｖ（Ｇ）｜≥３（Ｇ≠Ｃ５）的２－连通图,则△（Ｇ）≤Ｘ′ａｓ（Ｇ）≤△（Ｇ）＋２。     

几类凝聚图的轮廓

设Ｇ是个图，｜Ｖ（Ｇ）＝ｎ｜对Ｇ上的任一个标号ｆ：Ｖ（Ｇ）→｛１，…，ｎ｝记，且当ｊ≠ｉ时，Ｇ中有边以ｆ（－１）（ｊ）及ｆ（－１）（ｉ）为两端点｝）．称Ｐ（Ｇ）＝ｍｉｎ｛Ｐ（ｆ）：ｆ是Ｇ上的标号｝为图Ｇ的轮廓．对以Ｗ表示Ｇ中Ｗ的边界．本文证明：ｉ）若Ｇ是凝聚图，ｆ及ｆ是Ｇ上一对互逆标号，则Ｐ（Ｇ）＝Ｐ（ｆ）的充要条件是ｆ为凝聚标号，且此时若Ｇ，Ｈ均是凝聚图，则存在阶梯标号。使得路、回、完全留之间的下列乘积图也是凝聚图，且其轮廓为     

三角形蛇图的调和性

称有ｅ条边的简单图Ｇ为调和图，若存在单射ｈ：Ｖ（Ｇ）→Ｚ_ｅ，Ｚ_ｅ是模ｅ的整数群，其导出映射ｈ^*：Ｅ（Ｇ）→Ｚ_ｅ；ｈ^*（ｖｖ）≡ｈ（ｎ）＋ｈ（ｖ）（ｍｏｄｅ），ｎ，ｖ∈Ｖ（Ｇ）是一个双射，称ｈ为Ｇ的一个调和标号三角形蛇图是一个其所有块都是三角形且其块－割点图为一条路的连通图。本文证明了具有ｔ个块的三角形蛇图足调和的，当且仅当ｔ≠２（ｍｏｄ４）。     

L_2（q）的一个特征性质

设Ｇ是有限群，πｓ（Ｇ）为Ｇ的极大子群阶之集．本文证明了若ｑ＝ｐｎ＞２，ｐ素，则Ｇ≌Ｌ２（ｑ）当且仅当πｓ（Ｇ）＝πｓ（Ｌ２（ｑ））．对一些其它的单群也证明了同样的结论．     

GL(n,Z)中的局部有限子群的一点注记

证明了：若Ｇ是一般线性群ＧＬ（ｎ,Ｚ）中的局部有限子群,则Ｇ含有一个２~ｍ阶的初等阿贝尔２－子群,且 Ｇ同构于 ＧＬ（ｎ,Ｚ_ｐ）的一个子群,其中户为任意奇素数．当 ｎ＝１,２,３,４时,Ｇ的阶分别是 ２,３· ２~ｋ（ｋ＝ｍｉｎ（４,ｍ＋１）,０≤ｍ≤４）,３·２~ｋ（ｋ＝ｍｉｎ｛５,ｍ＋１｝,０≤ｍ≤５）,３~２·５·２~ｋ（ｋ＝ｍｉｎ｛９,ｍ＋６｝,０≤ｍ≤９）的一个因子,而当ｎ≥５时,Ｇ的阶是（ｐ~ｉ－１）的一个因子,其中ｐ为任意素数．     

EDGE-FACE CHROMATIC NUMBER OF 2-CONNECTED PLANE GRAPHS WITH HIGH MAXIMUM DEGREE

The edge-face chromatic number Xef (G) of a plane graph G is the least number of colors assigned to the edges and faces such that every adjacent or incident pair of them receives different colors. In this article, the authors prove that every 2-connected plane graph G with△(G)≥|G| -2△9 has Xef(G)=△(G).     

Proof-theoretical analysis of order relations

A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajns theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.Mathematics Subject Classification (2000): 03F05, 06A05, 06A06     

给定匹配数和独立数时图零度的上界

设G是一个有n个点的简单图,分别记η(G),m(G)和α(G)为图G的零度、匹配数和独立数.设θ(G)是一个非负整数,定义为使图G成为二部图至少需要从G的边集中删去的边数.本文运用二部划分运算,证明了对于有n个点并且不含有圈长为2的倍数的圈为子图的简单图G,有η(G)≤n-2m(G)+20(G)和η(G)≤2α(G)+2θ(G)-n.     

THE MINIMAL CLOSED NON-TRIVIAL IDEALS OF TOEPLITZ ALGEBRAS ON DISCRETE GROUPS

61. IntroductionLet G be a discrete (not necessarily abelian) group. For any subset G of G, we saythat (G, G ) is a quasi-partial ordered group if e 6 G , G ' G G G and G = G ' G ',where e is the unit of G and G ' = {g--' I g e G }; further, (G, G ) is referred to as aquasi-ordered group if G = G u G '. Note that when G7 = G n G ' = {e}, a quasi-partial ordered group (resp. quasi-ordered group) (G, G ) is known as a pajrtially ordered(resp. ordered) group.Let { 6, I g e G } b…     

关于一类极大子群的θ-偶

对于有限群G的极大子群M，令β（G：M）表示整除│G：M│的素因子个数，β（G）表示所有β（G；M）中的最大数．令μ（G）为使得β（G：M）=β（G）的极大子群的集合．通过对这一类极大子群的θ-偶赋予一定条件，得到了判断群G可解、超可解的新结果．     

图的拟拉普拉斯谱(英文)

设Ｇ是一简单无向图,Ｃ（Ｇ）表示 Ｇ的无向关联矩阵,Ｑ（Ｇ）＝Ｃ（Ｇ）Ｃ（Ｇ）～Ｔ． Ｑ（Ｇ）的特征值称为图Ｇ的拟拉普拉斯谱．在这篇文章,我们研究图的拟拉普拉斯谱,表明Ｇ＋ｅ,Ｌ（Ｇ）和Ｇ_１ＶＧ_２拟拉普拉斯的谱．     

关于分数可消去图的若干结果

令G=(V(G),E(G))是一个图,并令9和f是两个定义在V(G)上的整数值函数且对所有的x∈V(G)有g(x)≤f(z)成立．若对G的每一条边e都存在G的一个分数(g,f)-因子G_h使得h(e)=0,其中h是G_h的示性函数,则称G是一个分数(g,f)-消去图,若在G中删去E′■E(G),|E′|=k后,所得图有分数完美匹配,则称G是分数k-边-可消去的。本文给出了图是1-可消去,2-可消去和k-边-可消去的与韧度和孤立韧度相关的充分条件。证明了这些结果在一定意义上是最好可能的．     

最大亏格、点度和围长

用g(G)和δ(G)分别表示一个图G的围长和顶点最小度. ζ(G)为图G的Betii亏数,主要证明了以下2个结果1)设G为k-边连通简单图,若对G中任意圈C,存在点x∈C满足dG(x)＞|V(G)|/(k-1)2+2)+k-g(G)+2,k=1,2,3,则G是上可嵌入的.且不等式的下界是最好的;2)设G为k-边连通简单图,则ζ(G)≤{max{1,m},k=1,max{1,1/(k-1)m -1}K=2,3 其中m= |V(G)|g(G)-6/g(G)2+(δ(G)-2)g(G)-4'且不等式的上界是可达的.进而得到了最大亏格一个比较好的下界.     

图中推广的正交因子分解

设G是一个图,具有顶点集合V(G)和边集合E(G).设g和f是定义在V(G)上的整数值函数,使对每个x∈V(G),有g(x)≤f(x).图G的一个(g,f)-因子是G的一个支撑子图H,使对每个x∈V(G),有g(x)≤d_H(x)≤f(x).G的一个(g,f)-因子分解是E(G)的边不相交的(g,g)-因子的一个划分.设F={F-1,F_2,…,F_m}为G的一个因子分解,H是G的一个有mr条边的子图.如果每个F_i恰好与H有r条公共边,1≤i≤m,则称Fr-正交于H.本文证明每个(mg+kr,mf-kr)-图含有一个子图R,使R有(g,f)-因子分解r-正交于任意给定的有kr条边的子图,其中m,k和r为正整数且k相似文献   

图的倍图与补倍图

计算机科学数据库的关系中遇到了可归为倍图或补倍图的参数和哈密顿圈的问题．对简单图C，如果V（D（G））：V（G）∪V（G′）E（D（G））=E（C）∪E（C″）U{vivj′｜vi∈V（G），Vj′∈V（G′）且vivj∈E（G））那么，称D（C）是C的倍图，如果V（D（G））=V（C）∪V（G′），E（D（C））：E（C）∪E（G′）∪{vivj′}vi∈V（G），vj′∈V（G’）and vivj∈（G）），称D（C）是G的补倍图，这里G′是G的拷贝．本文研究了D（G）和D的色数，边色数，欧拉性，哈密顿性和提出了D（G） 的边色数是D（G）的最大度等公开问题．