具有g个零强分支的有向图的传递指数.pdfVIP

2008年3月 纯粹数学与应用数学 Mar．2008 Pureand Mathematics Vbl．24NO．1 第24卷第1期 Applied 具有g个零强分支的有向图的传递指数 罗国湘，李修清 (桂林航天工业高等专科学校计算机系，广西桂林541004) 摘要：研究了传递矩阵的图论，及布尔矩阵幂的若干图论性质，给出了有向图(布够 阵)传递指数的上、下界估计，从而改进了已有的结果． 关键词：传递指数；不可约矩阵；本原矩阵；有向图 中图分类号：0157．5 1引言 法得到了一些有用的结果．2003年蒋志明博士利用图论方法给出了布尔矩阵传递指数的一个 上、下界估计【引，本文研究了传递矩阵伴随有向图的若干性质，深入研究了布尔矩阵幂的若干图 论性质，给出了有向图(布尔矩阵)传递指数的上、下界的一个新估计，从而改进了蒋志明的结 果． 2定义及引理 设【厂是一个有限集合，笛卡尔积U×U上的任何一个子集R称为U上的一个二元关系， 素，R是矽上的一个二元关系，则我们知道冗对应一个礼阶(0，1)矩阵，这个矩阵可看成是定 称关系矩阵是传递矩阵．用玩表示n阶布尔矩阵的全体的集合，易见它们对于布尔矩阵的乘 法构成半群． 定义1设A∈Bn是一个布尔矩阵，如果存在正整数8使A。是传递的，则称这样的s中 的最小者为布尔矩阵A的传递指数，记为t(A)． 易证，传递指数t=t(A)是满足As≥A知的最小正整数t． 任取耽，蚴∈V，若既有从耽到峪的途径，又有从吩到魄的途径，则我们称耽和吻两点之间 是强连通的，结点之间的强连通关系是等价关系，按强连通关系可将有向图D(A)=(KE)的 强连通分支(简称为强分支)．若某个强分支只含有一个没有自环的结点，则称该强分支为零强 分支． 收稿日期l2005-09-21． 基金项目{广西壮族自治区教育厅科研基金资助([2000]20号) 作者简介l罗围湘(1962-)，副教授，研究方向：组合数学． 第l期 罗鬻湘等：其脊g伞零强分支的寄囱图瀚传递指数 103 一卜1二卜 ㈣ ∑％眦lⅧ。j≠0 3主要结果 支，则 A拳 l≤g鼍犯 ， ≤2) ，-I(1l一， 9．旌 黜扩叠 g=0 证明 因为A是传递的，由引理2知A≥A2麓…≥An≥…。所以下砥只须证 明A≤A2或Ag篓Ag+l。 一 +， 帆扣脯 疆锄郎 ，．、 醪支有 甜一胤M舻因魄 鼢Ⅲ珉～一～ 一f#g 哪帆～一驰～渤一的∞列平 蟠设揲卿明A 滞㈧甄妣灏