关于两类图的整和数

本文中的图均指无向简单图,以N,Z分别表示全体自然数及全体整数集合.对子集S(?)Z(N),S上的整和(和)图定义为图G=(S,E),满足条件对u,v∈S,uv∈E当且仅当u v∈s.此时,S称为G的一个整和(和)标号.一个图称为整和(和)图,如果它同构于某一子集S(?)Z(N)上的整和(和)图.容易验证,对一个有m条边的n阶图G,G∪mK_1是一个和图,只需标定G的顶点为2~i,1≤i≤n,同时对v_i,v_j∈E(G),标定对应的孤立点2~i 2~j即可.因此,对每一个图G,存在一个最小的非负整数r,使G∪rK_1为和图,记σ(G)=r,并称为G的和数.图的整和数ξ(G)类似定义,只是标号范围放宽到整数集上.容易看到ξ(G)≤σ(G).     

循环群的最小图

设c(n)是n阶循环群,自同构群与c(n)同构且顶点最少的图称为c(n)的最小图。本文要构造c(n)的最小图。当n=3,4,5和p~t(p≥7,p是素数)时,c(n)的最小图已被人们构造出来了。要构造c(n)的最小图,只要构造c(m)的最小图就行了。这里m为:     

一类超完整三角和的估计

命(1)表一个k次整系数的多项式。三角和当m=q时,称为完整三角和,并记S_q(g,f(x))=S(q, f(x)));当mq时,称S_m(q, f(x))为超完整三角和。     

无界正规算子的整因子与抽象Cauchy问题

设A是Banach空间X上的闭算子,记C~∞(A)=(?)D(A~n).x∈C~∞(A)称为A的一个n=1整因子(或解析因子),如果sum from n=0 to ∞(t~n/n~!)||A~nX||<∞对所有t>0成立.A的全体整因子记作ε(A).众所周知,自伴算子有稠密的整因子集,本文利用近几年发展起来的C-半群理论证明了更广的(无界)正规算子亦有此性质(定理6).从而当A是正规算子时,对某个稠密集中的初始值x,抽象Cauchy问题(ACP)存在整解(指可扩充为整函数的解).而且这样得到的解是唯一的和deLaubenfels意义下适定的.本文始终假定C是单的有界算子,ImC表C的值域.定义1 Banach空间X上的有界算子族称为一个整C-群,如果Ζ→W(Ζ)是整函数且W(O)=C,CW(Ζ_1 Ζ_2)=W(Ζ_1)W(Ζ_2)(Ζ_1 Ζ_2∈C)整C-群的生成元定义为C-半群的生成元.文献指出,讨论C-半群与ACP之间关系时起作用的不是生成元而是次生成元.     

关于禁用子图与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]定义     

利用Fuzzy矩阵的Schein秩求本征集

e=(1,1,…,1)~T,对应本征方程为 AX=X,E.Sanchez证明了定理1 A的最大本征元X_M=A_(n+1)X_1=A_e~n。利用Schein秩定义,王鸿绪等证明了定理2 A的Schein秩ρ_s(A)=s的充要条件是不定方程A=X_(n×m)Y_(m×n)当m=s时有解,当     

混合Ramsey数x_2(m,K_(1,n))的下界

一个图G的全色数x_2(G)是指着色G的边和顶点使相邻、关联元素均着不同颜色所需要的最少颜色数。对于正整数m和星形图K_(1,n),混合Ramsey数x_2(m,K_(1,n))是这样的最小正整数p,使得任一p阶图H或者     

关于完全3-分图同构因子分解

一个图G=(V,E)的同构因子分解是边集合E的一个分划:{E_1,E_2,…,E_t}使得支撑子图(V,E_1),(V,E_2),…(V,E_t)都彼此同构。如果存在把图G分成t个子图的同构因子分解,就说t能整除G,记为t|G。显然t|G的必要条件是t||E(G)|。t||E(G)|被称为关于G和t的可分条件。Harary等人证明了,当t=2,和4时,可分条件对t|K(m,     

Halin图的边面全色数

定义1 将点数至少为4、所有非一度点(内点)度数至少为3的树T嵌入到平面内,再作一圈C_n.连接T的n个一度点(叶点)所成的平面图,称为Halin图;T称为Halin图的特征树;以C_n为边界的面称为Halin图的外面,其他面称为内面;面边界上的点数为奇数时,称该面为奇面,否则为偶面.平面图两面相邻,当且仅当两面至少有一条公共边.定理1 若G是Halin图,则(i)当G的最大度△(G)≥6时,有X_(ef)(G)=△(G);(ii)当△(G)=3时,有4≤X_(ef)(G)≤5,而X_(ef)(G)=5当且仅当外面f_0的边界上存在一条路P,使得P上的任一边均在点数不     

关于不定方程x~(1/n)+y~(1/n)=z~(1/n),x~(m/n)+y~(m/n)=z~(m/n)的整数解以及代数数域Q(p_1~(1/n),p_2~(1/n),…,p_r~(1/n))的次数

本文研究不定方程 x~(m/n) y~(m/n)=z~(m/n),m,n是正整数,(m,n)=1,n>1 (1)的非零整数解(本文所说“整数”都是指有理整数)。我们约定,对于整数a,记号a~(1/n)当2|n时表示方程x~n—a=0的唯一的实根,当2|n时表示该方程的非负实根;记号a~(m/n)表示实数(a~(1/n))~m。于是当2|n时,a~(1/n)和a~(m/n)仅对a≥0才有意义,我们自然只研究(1)式的正整数     

再论有限群中元的阶之集

设G为有限群,π_e(G)为G的元的阶之集.对正整数集的任一子集m,令h(m)为满足π_e(G)=m的有限群G的同构类类数.文献[1]中作者提出了如下猜想:对正整数集的所有子集,h(m)∈{0,1,∞}.最近,Mazurov证明了如下结果:如果m=π_e(L_3(5)),则h(m)=2.于是他给出了上述猜想的一个否定回答.本文将给出h(m)=2的另一个例子.定理 设G是有限群.则π_e(G)=π_e(L_3.(9)),当且仅当G≌L_3(9)或L_3(9).2_1.由于没有找到集合m满足h(m)=3,我们提出如下问题.问题 是否存在一个正整数k,使得对正整数集的任一子集m,总有h(m)∈{0,     

全着色边临界图的全色数

定义 对于简单图G(V,F),(?)e∈E(G),当 χ_T(G)>△(G)+1, χ_T(G-e)=△(G-e)+1时,则称G为全着色边临界图.其中厶(G)表示G的最大度,χ_T(G)表示G的全色数。 引理1 对图G(V,E)。(?)e∈E(G),若△(G)≥2,则 χ_T(G-e)≤χ_T(G)≤χ_T(G-e)+1。 定理1 若图G(V,E)是全着色边临界图,则 χ_T(G)=△(G)+2。     

无爪图中圈的弦的最大数目

本文讨论无向简单图。设C=v_1v_2…v_mv_1是图G的一个圈,G的边v_iv_i称为C的一条弦,如果i(?)j±1(其中v_(m+1)=v_1)。我们用σ(C)表示圈C的弦数,σ(G)表示图G中弦的最大数目。     

t可约m×n 二部分竞赛图的得分表偶

设(X,Y)是m×n 二部分竞赛图T_(m,n)的顶点集合V(T_(m,n))的有序分划,其中X=(x_1,x_2,…,x_m},Y={y_1,y_2,…,y_n},x_i、y_j 在T_(m,n)中的得分分别为a_i、b_j,l≤i≤m,l≤j≤(?),且a_1≤a_2≤…≤a_m,b_1≤b_2≤…≤b_n.记A=(a_1,a_2,…,a_m),B=(b_1,b_2,…,b_n),则T_(m,n)     

GCD整环与UFD分式理想的刻划

设R是整环,其商城为K.设I≤K是R的分式理想,令I~(-1)=|X∈K|XI≤R|,I_υ=(I~1)~(-1)及 _t=|B_υ|B是I的有限生成子分式理想|.当I=I_υ时,I称为υ-分式理想,当I=I_t时,I称为t-分式理想.在许多情形下,可用υ-理想与t-理想成功地刻划某些整环 也可以定义ω分式理想并用ω理想成功地刻划GCD整环与UFD.称R的一个分式理想I为ω-分式理想,指的是若J_x≤I,其中x∈K,J是有限生成的理想且J~(-1)=R,则必有X∈I.对任何分式理想I,Iω=|X∈R|存在一个有限生成理想J,使得J_(-1)=R,J_X≤I|,这是包含I的最小的ω分式理想.称I是有限型分式理想,如果存在一个有限生成子分式理想B≤I,使得B_ω=I_ω,这是有限生成概念的一个自然推广、我们有定理1 对整环R,以下各条等价:     

背角无齿蚌蚌壳中发现方解石和霰石之间的固态胞状相界面

由X射线衍射和扫描电镜的研究,证明背角无齿蚌(Anodonta woocliana wocdiana)蚌壳系由内层(间距为0.37μm的层片状霰石)和外层(直径为25--82μm的棱柱状方解石)构成,并发现棱柱状方解石和层片状霰石的相间面是胞状的(图1a和b)。方解石柱晶中存在一些间距为2—11μm的弧形生长线(图1a),其形状与胞状相界面的形状相符。     

Slater猜想的证明

图G称为k临界n连通的,如果对每一V′(?)V(G),其中|V′|≤k,有k(G-V′)=n-|V′|。这里k(G)表示G的连通度。一个k临界n连通图简称为(n,k)图。这一概念最早由Maurer与Slater在文献[1]中引进。Slater在文献[1]中提出如下猜想: 猜想A 当2k>n时,完全图K_(n+1)是唯一的(n,k)图。     

保持广义可合数值域的线性算子

设G是对称群S_m的子群.记CG是所有函数f:G→C的集合.称f是半正定的,如果存在c∈CG,使得对任意的r∈G有f(r)=sum from σ∈G (c(στ)c(σ)特别地,G的不可约特征标是半正定的.记C_n×m为n×m复矩阵集.对于f∈CG,广义矩阵函数d_f:C_m×m→C定义为d_f(A)=sum from σ∈G (f(σ))multipy fromu=l to a_iσ(i),其中A=(a_i,)∈C_m×m 设 1≤ m≤n,f∈CG,A∈C_n×n.如果f是非零的和半正定的,则定义A的f可合数值域为集合W_f(A)=|d_f(X~*AX)|X∈C_n×m,d_f(X~*X)=1|当m=1且f=1时,W_f(A)即是A的经典数值域外W(A)=|x~*Ax|x∈C_n×1,x~*x=1|.f-可合数值域相关于张量对称类的可合元素.设c∈CG对任意的,τ∈G满足(1)式记V为带有标准内积的向量空间C_n×1.则张量空间(?)V是酉空间,其诱导内积满足(x(?),     

几乎所有的图都含不动边

我们考虑简单图,并使用文献[1]中的术语和记号.设G=(V(G),E(G))是一个图,e∈E(G)是G的一条边,如果对G—e的任意满足G—e e’(?)G的加边e’,都有e’=e,则称e为G的不动边.如果对满足G—e e’(?)G的加边e’,都存在G—e自同构映射将e的两个端点分别映到e’的两个端点,则称e为同构不动边.由此定义可知,当e是不动边时,它也是同构不动边.不动边的概念来源于图的边重构猜想.Sheehan首先提出不动子图的概念,并用之研究了边重构猜想.当不动子图仅为一条边时,即为不动边.文献[3]中的强迫边(forced edge)也是不动边.反之,一个边可重构图中的不动边也必是强迫边.这样,就可以通过证明一个图的     

二次系统（Ⅲ）m=0极限环的唯一性

文献[1]§20研究了二次系统极限环(2,2)分布的不可能性,其中p.553脚注1)猜想:二次系统(Ⅲ)m=0 在条件 下,当1 ax=y交椭圆