不可约与几乎可约布尔矩阵的幂敛指数

§1.引言 布尔矩阵是指元素按如下规则运算的(0,1)矩阵:a+b=max{a,b},a·b=min{a,b}(a,b∈{0,1}),n阶布尔方阵的集合记为B_n。一个布尔方阵A的幂敛指数k(A)是满足如下条件的最小非负整数k: 条件:存在正整数p,使A~k=A~(k+p), (1.1)而称满足条件A~(k(A))=A~(k(A)+p)的最小正整数p为A的周期,记作p(A)。 对布尔矩阵的幂序列及幂敛指数的研究在有限自动机理论、二元关系理论及遍历指     

具有i个强分支的有向图的幂敛指数集

本文给出了ｎ阶具有ｉ个强分支的有向图的幂敛指数集Ｒ（ｎ，ｉ）的一个明显表达式。     

不可约布尔矩阵的幂敛指数集

本文在[m/p]≥35时([x]表示x的整数部分),刻画了周期为p的n阶不可约布尔矩阵的幂敛指数集I_n,p给出了I_n,p的一个表达式.     

一类极小本原对称图的指数集

运用有向图方法完全确定出顶点带环的n阶极小本原对称有向图的本原指数集,所得的结论是:1)顶点全部自带环的n阶极小本原对称有向图所成的子图类之本原指数集E1={2,3,…,n-1};2)顶点不全带环的n阶极小本原对称有向图所成的子图类之本原指数集E2={2,3,…,2n-2}\S,其中S是{n,n+1,…,2n-2}中的所有奇数之集;3)顶点带环的n阶极小本原对称有向图所成的特殊图类之本原指数集En=E1∪E2={2,3,…,2n-2}\S.     

布尔矩阵的幂敛指数集

给出了不含非零对角元的ｎ阶布尔矩阵的幂敛指数集的明显表达式,从而完全解决了布尔矩阵依赖于非零对角元个数的幂敛指数集的刻画问题。     

关于可约布尔矩阵幂敛指数的一个Brualdi─Ross型上界

本文证明了可约布尔矩阵幂敛指数的一个Ｂｒｕａｌｄｉ－Ｒｏｓｓ型上界，并给出了幂敛指数达到此上界的矩阵的完全刻划．     

可约布尔矩阵的幂敛指数

本文证明了关于布尔矩阵幂敛指数的一个上界k(A)≤n+s_0(n_0/f_0-2),并由此得到了所有n阶可约布尔矩阵幂敛指数的最大值为(n-2)~2+2,给出了幂敛指数达到此上界的短阵的完全刻划。我们还进一步讨论了n阶可约布尔矩阵的类和所有n阶布尔矩阵的类的幂政指数集中缺数段的存在性。     

关于可约布尔矩阵幂敛指数的一个Brualdi—Ross型上界

本文证明了可约布尔矩阵幂敛指数的一个Ｂｒｕａｌｄｉ－Ｒｏｓｓ型上界，并给出了幂敛指数达到此上界的矩阵的完全刻划。     

迹非零几乎可约分块布尔矩阵的幂敛指数

设H_n(d)是恰含d个正对角元的n阶几乎可约分块布尔矩阵的集合,1≤d≤n,对任何矩阵A∈H_n(d),本文证明了■其中s_n=|(2n-5-(4n-3)~(1/2))/2|,同时刻画了H_n(d)中幂敛指数达到最大值的极矩阵．     

圈布尔矩阵类的幂敛指数集

在布尔运算下, 布尔矩阵A的幂敛指数和周期分别是使A^k=A^k+p成立的最小非负整数k和最小正整数p. 人们对周期的认识已经相当完善.给定满足一个不等式的正整数n和s, 利用组合分析确定了有向图含至少一个s -圈的n×n布尔矩阵的幂敛指数可以取得的数值.     

组合合成阵本原指数的一个上界

讨论n阶正对角元本原矩阵A的r级组合合成Cr(A)，得到了它的本原指数的上界：r(Cr(A))≤n-r，r=1，2，…，n，解决了文[4]中的一个猜想．进而得出，设Mr={Cr(A)|A是n阶正对角元本原矩阵}，Mr中所有合成阵的本原指数集填满{1，2，…，n-r}．     

本原对称有向图上广义指数的极图

设D是n阶有向图(允许有环但不允许有重复弧),X C V(D),集指数expD(X)是这样的最小正整数P,使得对D中每个点v,存在从X的至少一个点到V的长为P的途径.若这样的正整数P不存在,则定义expD(X)=∞.D的第k重上广义指数F(D,k):=max{expD(X)| X C V(D),|X|=k},1≤k≤n.如果F(D,k)<∞,则称D是k-上本原的.本文完全刻划了k-上本原对称有向图的第k重上广义指数的极图.     

恰有t行含s圈正元的布尔矩阵幂敛指数的估计

设D_n,s(t)是恰有t行含s圈正元的n阶布尔矩阵的集合,本文得到了当s为素数时D_n,s(t)中矩阵的幂敛指数的一个新上界。     

On weakly cospectral graphs

We prove that any set of pair-wise nonisomorphic strongly connected weakly cospectral pseudodigraphs whose set of nilpotency indices is finite also is finite.     

恰含d个非零对角元的本原矩阵的广义最大密度指数集

设Ａ是一个具有周期ｐ的ｎ×ｎ不可约布尔矩阵,文［１］定义了矩阵的广义最大密度指数ｈＡ（ｋ）令ＤＩＳｎ,ｄ（ｋ）＝｛ｈＡ（ｋ）｜ Ａ ＰＭｎ（ｄ）｝,其中ＰＭｎ（ｄ）是所有恰含ｄ个非零对角元的ｎ×ｎ本原矩阵的集合．本文证明了另外,我们定义矩阵Ａ的范数,用Ａ表示,为Ａ中１的个数,并且刻划了具有最小范数的极矩阵．     

线有向图的幂敛指数

采用有向图的矩阵表示,得到了线有向图的幂敛指数和周期的有关结果.     

有向全图的幂敛指数和周期

设G是有向图,T(G)表示G的有向全图.本文得到了它们的幂敛指数k(G)和k(T)之间的关系:对任何有向图G,周期p(T(G))=1;当G是本原图时,k(T)≤k(G)+1,文中给出了取得k(G)+1的两类图;当G是无圈图时,k(T)=2k(G)-1,当G是有向圈时,k(T)=2|V(G)|-1,当G是强连通时得到了k(T)的一些估计.     

具有对称的集合和完备度量空间上两个自映射的共同不动点

本文给出了具有对称的集合上两个自映射有唯一共同不动点的充要条件.同时,还给出了完备度量空间上两个自映射有共同唯一不动点的条件.