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的独立集},     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

Bi-2223相厚膜银夹套带材的力学行为

设0≤a≤b≤1,G°(I)表示区间I=[0,1]上所有连续自映射之集.对任f∈G°(I),如果存在常数α>1,使得对任x_1,x_2∈[a,b],都有|f(x_2)-f(x_1)|≥α|x_2-x_1|,则称f在[a,b]上是扩张的,称α是f[a,b]的一个扩张常数,若在I上存在着k 1个点0=c_0相似文献   

p-可解群的p-正则类的长和p-秩

本文目的是建立有限p-可解群G的p-正则类的长的p-部分和G的p-秩及p-长的关系.文中所说的群均指有限群.p总代表素数.G_p表示群G的Sylow p-子群.r_p(G)和 l_p(G)分别表示p-可解群G的p-秩和p-长.对任一个群G及X∈K≤G,Cl_k(x)表示K的含X的共轭类.Con(G):={C|C是G的共轭类}.对于C∈Con(G),|C|叫做共轭类C的长.G的p′-元叫p-正则元,p-正则元的共轭类叫做p-正则类.对于整数n,如果n=p~am,p(?)m,那么我们写ω_p(n)=a.对于群G,我们定义rc_p(G)=max{ω_p(|C|)C∈Con(G)且C是p-正则的}.     

新型铁基微晶合金磁性能的新水平

定义1 设G是一个有限群,S G\{1}且S~(-1)={s~(-1)|s∈G}=S,在G上的以S为特征集的Cayley图,记为Γ(S;G),定义为V(Γ(S;G))=G,E(Γ(S;G))={(g,sg)|g∈G,s∈S}。如果S生成G,则Γ(S;G)连通;否则它由[G:]个分支组成,每个分支同构于     

连续时间MDP及其与离散时间MDP的关系

本文讨论的连续时间MDP(Continuous Time MDP,简记为CTMDP)折扣模型为{S,(A(i),(i),i∈S),q,r,a},其中状态集S可列;行动集A(i)为任意非空集,(i)为其上的σ-代数,它包含A(i)的所有单点集;转移速率族q(j|i,a)满足:i∈S,a∈A(i)均有—∞相似文献   

(a,b,k)-临界图

本文所考虑的图皆指有限无向简单图。设G是一个图,具有顶点集合V(G)和边集合E(G)。文中未加说明的记号和定义参见文献[1]。设S(?)V(G),用G[S]表示G中由S导出的子图。用d_G(x)表示顶点x在G中的次数。设a和b是两个非负整数且a≤b。图G的一个[a,b]-因子是G的一个支撑子图H,使对任意的x∈V(H)有设。如果去掉图G的任意k个顶点所剩的图仍有[a,b]-因子,则称图G是(a,b,c)-临界图,或者说G是(a,b,k)-临界的。如果a=b=n,则简称(a,b,k)-临界图为(n,k)-临界图。如果n=1,则简称(n,k)-临界图为k-临界图。Plummer和Lovasz讨论了2-临界图的特征和性质。于青林给出了k-临界图的特征。刘桂真和于青林研究了(n,k)-临界图的特征。本文考虑a相似文献   

关于两类图的整和数

本文中的图均指无向简单图,以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).     

Lagrange插值多项式在复平面上的平均逼近阶

设D是复平面上以Jordan闭曲线Γ为边界的区域,w=Φ(z)是将闭区域的余集保角映射到|w|>1的函数,为反函数,在Γ上考虑点,其中,称为Fejer点组。 设A()是所有在D内解析,上连续的函数集合,对于f∈A(),考虑它的在Fejer点组{z_(n,k)}上的Lagrange插值多项式     

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

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

设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(?),     

分子格构成Fuzzy布尔代数的条件

设L为分子格,π为分子集,当a、b∈π对,若a≤b或b≤a,则称a与b具有可比关系,用a～b 表示.易见～是π上的等价关系.对a∈π,记(?)={b|b∈π,b～a},a_p=∨{b|b∈π,b∈(?)),显然a_p∈π.定又1 在π中规定一个二元运算“·”,它满足;i)a∈π,b∈π(?)a·b∈π;ii) c∈(?),d∈(?)c·d∈(?)b;称这个运算为π上的Fuzzy     

RS_K积分与普通RS积分的关系

A.M.Russell定义并研究了RS_K积分.本文将研究各类RS_K积分与普通RS积分的关系,指出在所有RS_K 积分存在条件下,都可把它化成RS 积分.定义设f、g 是定义在[a′,b′]上的实函数,分法Γ(x_(K+1),…,x_(n+K-1)):a′≤x_(K+1)<…0,(?)δ(ε)>0,当‖Γ‖=max (x_i-x_(i-1))<δ(ε),ζ_i∈[x_i,x_(i+K)]     

关于一个改进的既约梯度法的收敛性质

设非线性规划问题(P):(?)f(x),R={x|Ax=b.x≥0}。其中x∈E~n是n维欧氏空间中的点,A是m×n阶矩阵(m≤n),其秩为m。b∈E~m。现在对问题(P)作如下的假设:     

基本域上的Bloch函数

设D={z∈C:|z|<1}是有限复平面C上的单位圆盘,而Γ为D上的Fuchs群.又设Ω={z∈D:|z|<|γz|,id≠γ∈Γ}是Γ作用下的基本域.如果Γ={id},那么就令Ω=D.若用Ω与(?)Ω分别表示Ω在D上的闭包与边界,则Ω具有如下三条性质:(i)当id≠γ∈Γ时,γΩ∩Ω=φ;(ii)(?)γ(?)=D;(iii)(?)Ω的二维Lebesgue测度为零.再用A(Γ)表示D上的关于Γ成自守的解析函数之全体.就f∈A(Γ)来说,如果     

一个边着色定理

Berge曾给出一个边着色定理,下面为使用方便起见,我们不妨称它为B定理。著名的Vizing定理和另外一些边着色的结果都可以作为B定理的推论。我们叙述这个定理如下:B定理 设G是一个无环重图,[a,b]_0是G的一条边,令G′=G—[a,b]_0,若G′是可q-边着色的,且q≥d_G(a),q≥d_G(b);d_(G′)(x) m_(G′)(a,x)≤q,则G也可q-边着色。这里d_G(x)表示顶点x在图G中的次;m_(G′)(x,y)表示在图G′中以x和y为端点的边数;Γ_(G′)(x)表示顶点x在G′中的邻点集合。     

MELT右V-环是von Neumann正则环

环R称为von Neumann正则的,如果对每个a∈R,存在b∈R使a=aba.称环R为强正则的,如果对每个a∈R,a∈a~2R.环R称为MELT的,如果R的每个极大本质左理想是R的一个理想.称环R为右V-环,如果每个单右R-模是内射的.多年来,vonNeumann正则环与有关环(如,完全幂等环,V-环)的关系得到了广泛的研究,得到了许多有趣的结果,也留下了不少公开问题.在文献[1]中,Yue提出了如下问题:一个MELT右V-环是von Neumann正则的     

张量代数的外齐次化与PBW定理

设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n (1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i j=n to (α_it~j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)R(作为分     

实Clifford分析中带共轭值的边值问题解的存在唯一性

给定连通开集,其边界Σ为光滑定向紧致Liapunov曲面;a(t)、b(t)、c(t)、d(f)、g(t),t∈Σ。寻求在Ω正则,在Ω+Σ连续的函数Φ(x)∈A_n(R),它适合     

大次和的1-坚韧图中的最长圈

给定一个图G,以‘(G)表示G的周长,并记一(。卜Mi·{客“(一):‘一,ng一Li的结果:设G是”阶2一连通图,若厅(G))n李3.则G是哈密尔顿图. 推论2设G‘留;,若生(3,一23)2,》15奇数;1一2r|l!|||夕、||||书纷we A\是G的无关集a3(G)(3,一16),》16偶数;·3(。卜Mi·{客己(一卜!愈N(一,!”(14。:,。2,,3}是G的无关集则G是哈密尔顿图. 该推论改进了G〔罗1,若内(G)Fa夕bender的结果:设、。)一Mi·{{(知一14),(,)1一2李|训州日N(,‘:{,,,,2,。丹是G的无关集·、(‘卜Mi·{{立N(一)卜{一提使自N(。)铃价的无关集13),则G是哈密尔顿图. 推论3.设G…