关于Borel的一个定理

Borel的一个经典性定理是,如果两组整函数G_i(Z)(i=1,2,…,n)和H_i(Z)(i=1,2,…n)满足恒等式sum from j=1 to n G_i(Z)e~Hj~(Z)≡0 并且如果G_i(1≤i≤n)的增长性,在某种意义下,较慢于e~Hj~(-H)k(1≤j,k≤n,j≠k)的增长性,则G_i(Z)≡0 (i=1,2,…,n),在本文中得出了这个定理的几个推广。     

隔离性定理另证

这篇短文给出了下述定理的一个简明证明.定理 设F_1,F_2,…,F_n是数直线上的互不相交的非空闭集,则存在开集G_i(i=1,2,…,n)使得 G_i(?)F_i(i=1,2,…,n)且(?)_i∩(?)_j=φ(i≠j)     

半CAP-子群与有限群的p-超可解性

设G为有限群,H为G的子群.称H为G的半CAP-子群,如果存在G的一个主群列1=G_0 G_1…G_n=G,使得对每一个i=1,2,…,n,H或者覆盖G_i/G_(i-1),或者远离G_i/G_(i-1).该文主要利用Sylowp-子群的极大及极小子群的半覆盖-远离性来刻画有限群的结构,得到群为p-超可解或者p-幂零的几个充分或必要条件.     

Corona图P_nｏF_(1,m)、C_nｏC_m与C_nｏF_(1,m)的b-染色数

在图G=(V,E)的一个正常染色{V_1,V_2,…,V_k}中,若i,j,1≤i≠j≤k,■u∈V_i,v∈V_j,使得uv∈E,称该染色为b-染色.令b(G)=max{k|V_1,V_2,…,V_k:i,j,1≤i≠j≤k,■u∈V_i,v∈V_j,uv∈E},称b(G)为图G的b-染色数.一个图G是b-连续的,如果k:χ(G)≤k≤b(G),用k种颜色可实现对G进行b-染色.通过构造特殊染色方案,研究了Corona图P_noF_(1,m)、C_noC_m与CnoF_(1,m)的b-染色数与b-连续性.     

随机关系数据库的证据生成与合成

本文提炼出随机关系数据库,并给出了随机关系数据库的生成与合成方法. 设Ω={ω}为基本事件集,|P为Ω上的概率分布.X为Ω上的随机变量,且取值全体为称为外延空间.不妨设p_x(x_i)=P{ω;X(ω)=x_i}0(i≤N)。设θ_j(j≤M)为Ω上一组随机变量,记为属性集,称为内涵空间.用W_i表示θ_i(i≤M)的所有可能取值集合,W=(?)W_i为W_i(i≤M)的笛卡尔乘积空间.映射I:W_x→W称为X×(?)上的关系,(X×(?),I,W)称为随机关系数据库.例如,W_i={0,1}(i≤M),I(x)表示一个M维向量,且每个分量仅取0和1.用I_j(x)表示第j个分量取值,则     

同阶双轨道连通图的超圈边连通性

对于图G,如果G-F是不连通的且至少有两个分支含有圈,则称F为图G的圈边割.如果图G有圈边割,则称其为圈可分的.最小圈边割的基数叫作圈边连通度.如果去除任何一个最小圈边割,总存在一分支为最小圈,则图G为超圈边连通的.设G=(G_1,G_2,(V_1,V_2))为双轨道图,最小度δ(G)≥4,围长g(G)≥6且|V_1|=|V_2|.假设G_i是k_i-正则的,k_1≤k_2且G_1包含一个长度为g的圈,则G是超圈边连通的.     

一类二阶广义Sturm—Liouville边界条件多点边值问题的可解性

应用Leray-Schauder延拓定理,得到了二阶常微分方程多点边值问题x″(t)=f(t,x(t),x′(t)) e(t), t∈(0,1)αx(0)-βx′(0)=∑m-2i=1aix(ξi), γx(1) δx′(1)=∑n-2j=1bjx(τj)解的存在性,其中f:[0,1]×R2R满足Caratheodory条件,e(·)∈L1(0,1),ai,bj∈R,ξi,τj∈(0,1),i=1,2,…,m-2,j=1,2,…,n-2,0＜ξ1＜ξ2＜…＜ξm-2＜1,0＜τ1＜τ2＜…＜τn-2＜1.     

判别Hamilton图的一个方法

本文研究寻找Hamilton的圈的一个方法,证明了如下定理:设G是单图,V(G)={V_1,V_2,…,V_n},则G是Hamilton图的充分必要条件是X_(ki)取1或0时,方程组(*)有解,其中sum from i=1 to n sum from j=1 to n x_(ki)x_(k+1)jV_iV_j=1而x(n+1)j=x_(1j) sum from i=1 to n x_(ki)~2=1 sum from i=1 to n x_(ik)~2=1 而V_iV_i=1 当V_i和V_j邻接时, 0 当V_i和V_j不邻接时。     

阀门布局问题的一个最优性判别条件

给定非空点集x及其n对非空子集x_i,y_i,x_i∩y_i=φ(i=1,2,…,n)。找出一个图G,满足条件(a)V(G)=x;(b)对i=1,2,…,n,G皆有连通子图G_i,使x_i(?)V(G_i)和y_i∩V(G_i)=φ,且使|E(G)|最小。本文指出上述问题的一个最优性判别条件;并利用Hall定理及若干引理给出严格的数学证明。     

非线性项有非线性增长的高阶多点边值问题

考虑以下高阶多点边值问题({ у(n)=f(t,y,y',…,y(n-1),0≤t≤1,у(i)(ξj)=0,0≤i≤nj-1,j=0,1,…,k,(k∑j=0)nj=n),其中0=ξ0＜ξ1＜…＜ξk=1,关于f有非线性增长的情况,利用基于度理论的不动点定理,对上述边值问题建立了解的存在唯一性定理.     

关于二分图根积和串接的优美性

定义1 设H是有m个顶点h_i(1≤i≤m)的树,令B={图G_■|1≤i≤m,G_i∩H=φ,G_■∩G_■=φ,i≠j},设 X_i∈V(G_■)为G_■的根.所谓 H 与B的根积是把H的顶点 h_j与G_■的顶点 x_■(1≤i≤m)分别叠合起来所得的图,记为H(B).若G_■(1≤i≤m)均同构于二分图G,G_■的根X_■是G中任意指定的同一个顶点 X 的同构象,则记H(B)为H(G).     

半正多点边值问题正解的存在性

利用锥上的不动点定理讨论多点边值问题u" λf(t,u)=0,t∈(0,1),u'(0)=0,u(1)=m-2∑i=1aiu(ξi)正解的存在性,其中:f(t,u)≥-M,而M＞0;λ＞0,ai≥0,i=1,2,…,m-2,0＜ξ1＜ξ2＜…＜ξm-2＜1:特别的,不要求f满足超线性或次线性条件.     

图可重构性的一点注记

设图G的顶点集为{u_1,u_2,…,u_n}。G的途径矩阵D(G):(d_(ij)是n阶方阵,此处d_(ij)是G中从u_i出发长为j的途径数,D(G)的行向量集X的子集{x_1,x_2,…,x_r}称为X的最小线性相关集,如果{x_1,x_2,…x_r}线性相关且对x的任一(r-1)之子集均是线性无关。称数r为G的最小线性相关数。当X线性无关时,定义G的最小线性相关数r=∞。对1≤i≤n,记d_i为点u_i在G中的次,G_i是图G剔除点u_i以及与u_i关联的边而得到子图。设r_i是G_i的最小线性相关数,我们有下列定理:如果存在某一数i使r_i>2d_i,则G是可重构的。特别,我们重新得到下述结果:如果存在某一子图G_,使得G_i的所有特征向量均不与C=(1,…,1)~t正交,则G是可重构的。     

On the Spectral Moment of Quasi-Unicyclic Graphs

A connected graph G=(V(G),E(G)) is called a quasi-unicyclic graph,if there exists u_0∈V(G) such that G-u_0 is a unicyclic graph.Denote Q(n,d_0)={G:G is a quasi-unicyclic graph of order n with G-u_0 being a unicyclic graph and d_G(u_0)=d_0}.Let A(G) be the adjacency matrix of a graph G,and let λ_1(G),λ_2(G),…,λ_n(G) be the eigenvalues in non-increasing order of A(G).The number■(k=0,1,…,n-1) is called the k-th spectral moment of G,denoted by S_k(G).Let S(G)=(S_0(G),S_1(G),…,S_(n-1)(G)) be the sequence of spectral moments of G.For two graphs G_1,G_2,we have■ if for some k(k=1,2,…,n-1), and we have S_i(G_1)=S_i(G_2)(i=0,1,…,k-1) and S_k(G_1)S_k(G_2).In this paper,we determine the second to the fourth largest quasi-unicyclic graphs,in an S-order,in the set Q(n,d_0),respectively.     

Ms—的一个算法

设a_1,a_2,…,a_s均为正整数,(a_l,a_2, …,a_s)=1,线性型f_i=a_1x_1 a_2x_2 … a_ix_i,x_i≥0,i=1,2,…,s,所不能表出的最大整数记为M_i。本文证明了,M_s可以表示为 sum from i=2 to s(a_ik_i)-sum from j=1 to s(h_ja_j), h_j≥1.其中k_i(i=1,2,…,s)是使等式 a_ik_i=a_1x_(1i) …a_(i-1)x_((i-1),i)i a_(i 1)x_((i 1),i) … a_sx_(si),x_(1i)≥0,…,x_((i-1),i)≥0,x_((i 1),i)≥0,…,x_(si)≥0成立的最小正整数。并通过h_i的确定,给出M_s的一个算法。     

拟线性分数阶高阶脉冲微分方程边值问题解的存在性

研究了以下一类拟线性分数阶高阶脉冲微分方程边值问题{Dq0+y(t)=A(t,y)y(t)+f(t,y(t),Φy(t),Ψy(t)),■t∈[0,1],q∈(n-1,n],y(i)(0)=0,Δy(i)|t=tk=0,1≤i≤n-2,k=1,2,…,p,Δy|t=tk=Ik(y(t k)),Δy(n-1)|t=tk=Jk(y(tk)),k=1,2,…,p,y(0)=y0+g(y),y(n-1)(1)=y1+∑m-2j=1bjy(n-1)(ξj)解的存在性。通过定义一个压缩映射并利用Banach不动点定理和Krasnoselskii's不动点定理,得到了边值问题存在唯一解和至少存在一个解的充分条件,最后分别给出一个例子来验证主要结果。     

关于一类图的Hamilton性

设G=(V,E)为n阶简单图,如果存在V的一个分划(V_0,V_1,…,V_m)使得: (ⅰ)或者V_0为G的团,或对每一v∈V_0,d(υ)≥n/2, (ⅱ)对于i=1,…,m,V_i是G的团,并且N(V_i)V_0UV_i, 则称G为范型图。本文给出关于这类图的Hamilton性的两个结果。     

图C_m·K_n的邻强边染色

将顶点集和边集分别为V={v_(ij)┃i=1,2,…,m;j=0,1,…,n-1},E={v_(10)v_(20),v_(20)v(30),…,v_(m0)v_(10)}U(Uim-1)(ij)ik┃j≠k,j,k=0,1,…,n-1}的图简记为Cm·Kn.利用图分解和色集置换的方法,给出了图Cm·Kn的邻强边色数。     

多复变函数在广义多圆柱区域上的黎曼边值问题

本文考察了二元复变函数的 Riemann 边值问题(边界条件 F~(++)=G_1F~(+-)+G_2F~(-+)+G_3F~(--)+f).利用二元复函数柯西型积分的索霍茨基公式,给出了当 G_i(i=1,2,3)是相应区域内不为零的二元解析函数时解的表达式;考察了 G_j=z_1~(k_(1j))z_2~(k_(2j))(k_(ij),i=1,2;j=1,2,3,是整数)时的可解情况,并将G_j 的是前一种情况时的结果推广到了方程组:W_(2_j)=gi(i=1,2)的解类.     

完全图上的锥的D(2)-点可区别正常边染色

设G是顶点集合为V(G)={v_(0i)|i=1,2,…,p}的简单图,n是正整数,称M_n(G)为G上的锥(或广义Mycielski图),如果V(M_n(G)={v_(01),v_(02),…,v_(0p);v_(11),v_(12),…,v_(1p);…v_(n1),v_(n2),…,v_(np),w}) E(M_n(G))=E(G)∪{v_(ij)v_((i 1)k)|v_(0j)v_(0k)∈E(G),1≤j,k≤p,i=0,1,…,n-1}∪{v_(nj)w|1≤j≤p}.在这篇文章里,我们讨论了完全图上的锥的$D(2)$-点可区别的正常边染色,并给出了相应色数.