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)     

de Bruijn-Good图的同态

设F_2~n是二元域F_2上的n维向量空间,其中n≥1。以F_2~n的2~n个元作顶点,从每一个顶点a=(a_0,a_1,…,a_(n-1))出发,向顶点b=(a_1,a_2,…,a_(n-1),0)和b′=(a_1,…,a_(n-1),1)各做一条有向弧,得到一个有向图G_n,称为n级de Bruijn-Good图。从顶点a=(a_0,a_1,…,a_(n-1))到顶点b=(a_1,…,a_(n-1),a_n)的有向弧记作a→b或记作(a_0,a_1,…,a_(n-1),a_n)。因此G_n是以F_2~n为顶点集,F_2~(n 1)为弧集的有向图,即有G_n=(F_2~n,F_2~(n 1))。     

环Z/(2e)上本原序列最高权位的0,1分布(Ⅱ)

设f(x)=x~n c_(n-1)x~(n-1) … C_0是Z/(2~e)上首一多项式,适合关系式a_(i n)=-(c_0a_i c_1a_(i 1) … c_(n-1)a_(i n-1)),i=0,1,2,…(1)的Z/(2~e)上序列a=(a_0,a_1,…)称由f(x)生成的线性递归序列,由f(x)生成的Z/(2~e)上的所有序列的集合记为G(f(x))_e,并记G’(f(x))_e={a∈G(f(x))_e│a≠0 mod 2}.递归式(1)等价于关系式f(x)a=0=(0,0,…),其中x表示移位算子,即xa=(a_1,a_2,a_3,…).Z/(2~e)上序列a有唯一权位分解a=a_0 a_12 … a_(e-1)2~(e-1),其中a_i=(a_(i0),a_(i1),…)是0,1序列,并称a_i是a的第i权位序列,称a_(e-1)为a的最高权位序列.对Z/(2~e)上首一n次多项式f(x),若f(0)(即c_0)是可逆元,则由文献[1],f(x)的周期per(f(x))_e≤2~(e-1)(2~n-1).当per(f(x))=2~(e-1)(2~n-1)时,称f(x)是Z/(2~e)上n次本原多项式,并称G’(f(x))_e中序列为f(x)生成的本原序列.文献[2]给出了本原多项式的系数     

关于本原矩阵严格Hall指数的一个猜想

设B_n是所有n阶布尔矩阵的集合,对A=(a_(ij)),B=(b_(ij))∈B_n,若a_(ij)≤b_(ij),i,j=1,2,…,n,则记A≤B。如果存在正整数k,使A~k=J_n(全1方阵),那么A∈B_n称为本原矩阵。这样最小的k称为A的本原指数,记作γ(A)。B_n中所有本原矩阵的集合记为P_n。如果存在置换矩阵Q,使Q≤A,那么A∈B_n     

超越连分数

一、引言和结果如果(a_n)和(b_n),n=1,2,…,是两个正整数序列,在Perron的记号下,实无理数A和B分别定义为简单连分数[a_1,a_2,a_3,…]和[b_1,b_2,b_3,…]。本文的目的是在比文献[2]和[3]给出的稍微弱的条件下,建立如下的结果:     

区间对称矩阵渐近稳定的充要条件和充分条件

对区间对称矩阵G[B,C]={A|A=(a_(ij))_(n×n)=A~T,b_(ij)≤a_(ij)≤a_(ij)},(1)B=(b_(ij))_(n×n)=B~T,C=(C_(ij))_(n×n)=C~T∈R~(n×n),Bialas研究了G[B,C]渐近稳定的充要条件.后经有关文献(略)得到结论:G[B,C]渐近稳定当且仅当其子集H[B,C]={A|A=(a_(ij))_(n×n)∈G[B,C],a_(ij)=b_(ij)或C_i}(2)渐近稳定.我们进一步构造K[B,C]如下:     

一类序列的多项式表示

一、引言设a=(a_0,a_1,…,a_t,…),a_t∈F_q,a_(t+q)~n=a_t,(?)_t≥0,这是有限域F_q(q=p~m,p是素数)上周期为q~n的序列。对于F_q上任一形如(1)式的序列a,存在唯一的一个多项式     

布尔矩阵广义逆的一个充要条件

β={0,1}为二元布尔代数,矩阵A=(a_(ij)),a_(ij)∈β,称A为布尔矩阵。给定矩阵A,若存在矩阵G使AGA=A。称G是A的广义逆。如果A有一个广义逆B=(b_(ij)),对A的任何广义逆G=(g_(ij))     

位数码之和的幂的平均阶

用s(n)表示正整数n的十进制表示中位数码之和,例如,若n=b_r10~r+b_(r-1)10~(r-1)+…+b_110+b_0,则s(n)=b_r+b_(r-1)+…+b_1+b_0. 1/x sum from n≤x (s(n))~k=(9/2)~klog~kx+O(log)~(k-1/3x)。 Cooper与Kennedy证明了对于任何固定的k∈N,有他们还明了     

一有限自动机的误差传播有界弱逆的结构

定义 设M=和M′=是两个有限自动机。任何s∈S和s′∈S′,若对任何x_0,x_1,…∈X都存在x_(_t),…,x_(-1)∈X使得λ′(s′,λ(s,x_0x_1…))=x_(-t)…x_(-1)x_0x_1…成立,且对任何l≥n≥0,任何x_0,…,x_l∈X和任何y_0~′,…,y_(n_1)~′,y_0,y_1,…,y_l∈y,都可由y_0…y_l=λ(s,x_0…x_l)推出λ′(s′,y_0 … y_l)=_(n+c)λ′(s′,y_0~′…y_(n-1)~′y_n…y_l),则称(s,s′)为延迟t步误差传播长度不大于e的匹配对,其中e是一非负整数,a_0a_1…a_l=_tb_0b_1…b_l表示a_t…a_l=b_t…b_l。对任何     

关于 L(S)的一点结果

设A_(m×n)是行和为R=(r_1,r_2,…,r_m)、列和为Q=(q_1,q_2 …,q_n)的(0,1)矩阵。设δ_i=(1,…,1,0,…,0),其中前r_i个位置为1,其余为0,A_(m×n)=称为A_(m×n)的极左矩阵,记其列和向量为S.设L(S)={S|SS,S的分量递降且为非负整数}。若S、TεL(S),S≠T,ST,且不存在V L(S),V≠S,V≠T,满足SVT,则称S是T的直接后继。设S=(S_1,S_2,…,S_n),T=(t_1,t_2,…,t_n),我们有定理1 若S是T的直接后继,则存在i、j’满足S_i+1=t_i,S_j-l=t_j,S_k=t_k(1≤k≤n,     

非线性三种群的空间周期解

其中x_i是第i个种群的数量,r_i是第i个种群的生长率,实系数a_i,b_i,c_i反应了种群自身及相互间的关系.May讨论了当方程(1)满足:i) r_1=r_2=r_3>0,ii) b_1=c_2=a_3=-α,iii)c_1=a_2=b_3=-β三组条件时,存在空间周期解的条件及解的几何性质.文献[1]的结论引起了生物数学工作者的极大兴趣,其后出现了对方程(1)讨论的一系列文章.但在空间周期解方面均未见有好的结果,甚至当方程(1)描述捕食与被捕食系统时是否存在空间周期解都不知道.本文将用齐次向量场的基本理论来解决这一问题.如果方程(1)中r_1=r_2=r_3,就一定可化为     

二元周期序列相关函数的估计

引言一个二元序列是指a=(a_1,a_2,…,a_n,…),其中a_n=+1或-1.(1)以A_n表示满足条件a_1=a_(n+1) (i=1,2,…)的二元序列全体,显然|A_n|=2~n。这里|A_n|表示集合A_n的元素个数。设(1)式中的二元序列a∈A_n,在数字通信等领域中广泛采用下面两种自相关函数:     

多孔介质中两相不可压流驱动问题的新数值方法及理论分析

多孔介质中渗流驱动问题的一般数学模型是关于压力和浓度的耦合非线性偏微分方程组.本文考虑不可压二相流驱动问题,采用一种新的数值方法求解浓度方程,建立了可显式计算的数值格式,即在每个离散时间层上直接给出近似解的显式表达式,克服了用有限元或差分法进行数值计算时必须解大型代数方程组的困难.由于求解是显式的,容易实现并行计算,计算格式是无条件稳定的.文中给出近似解的最优阶误差估计和格式的稳定性分析.1 数值格式考虑二相不可压混溶流(对不混溶情况可完全类似地讨论)驱动问题的初边值问题其中Ω=(a_1,b_1)×(a_2,b_2)是R~2中的有界矩形区域.J=(0,T],p是压力,u=(u_1,u_2)是Darcy速度,c是一相流体的浓度,φ是岩石的孔隙度,是扩散矩阵,n是(?)Ω单位外法向量,其余参数的物理意义见文献[1～6].相容性和唯一性条件分别是     

关于从属函数的一个不等式

设F(z)=sum from n=0 to ∞ a_nz~n和f(z)=sum from n=1 to ∞ b_nz~n都是单位圆{|z|<1}上的正则函数.记S_F是单位圆经ω=F(z)映照所成的黎曼面,若b_0=a_0,且f(z)的一切函数值都落在S_F上,则我     

一类非自治非线性系统零解的稳定性

dx_i/dt=A_i(t)x_i,(i=1,…,r) (3)的一个线性关联。这里x_i=col(x_1~((i)),…,x_(ni)~((i)))(i=1,…,r),n_1 … n_r=n,x~T=(x_1~T,…,x_r~T),A_i(t)为n_i×n_i(i=1,…,r)阶实对称矩阵,其特征方程的根关联项A_(ij)(t)为n_i×n_j阶矩阵,A(t)的每一元素连续有界,设|a_(ij)(t)|     

关于一类变系数线性微分差分方程组稳定性探讨

本文主要研究变系数及变时滞线性微分差分方程组其中a_(if)(t),b_(if)(t)(i,j=1,2,…,n)均为连续有界的实函数,时滞r(t)>0为连     

相关模型中的Edgeworth展开与随机加权逼近

考虑如下线性相关模型Y=X’β e, (1)其中X=(x_1,…,x_p)’是R~p上的随机向量,Y是R~1上的随机变量,β=(β_1,…,β_p)’是R~p中未知参数向量,e是R~1上的随机误差变量.这里,只有(X’,Y)’是可观测的.我们假定(A.1)E(e\X)(?)0,E(e~2\X)(?)σ~2,0<σ<∞,0相似文献   

具有给定理想类群的代数数域的算术刻划

众所周知,代数数域K的理想类数h(K)等于1的充要条件是域K的整数环O_k为唯一因子分解整区,后者是说,如果a_1…,a_n,b_1,…,b_m均是环O_K中的不可约元素,并且a_1…a_n～b_1…b_m(这里a～b是指a和b在O_K中是相结合的),则     

利用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时有解,当