几类图的带宽问题-应用数学专业论文.docxVIP

摘要／带宽问题是从稀疏矩阵计算，纠错码，数据结构，V 摘要 ／带宽问题是从稀疏矩阵计算，纠错码，数据结构，V LS!及分 子生物学等中提取出来的数学模型，有着广泛的应用背景(㈨吼[31)。 矩阵的带宽问题起源于二十世纪五十年代，当时结构专家们 首次通过结构矩阵的计算来分析钢结构：为了使得象求逆以及求 特征值这样的矩阵运算花费尽量少的时间，专家们试图找到一个 等价的矩阵，在这个矩阵中，所有的非零元素皆位于以主对角线 为中心的一条窄带内，因此也就出现了。带宽”这个术语。 图的带宽同题是在1962年由Pasadena的Jet Propu!．sion实验 室(简记为JPL)的专家们提出的：一个6位代码中的单个误差可 以由正立方体的边差来表示，这个正立方体的顶点是代码中的字 符。在JPI．，L H．Harper和A W．Hales寻找能使得最大绝对误差和 平均绝对误差达到最小的代码。因此，也就产生了带宽和带宽和 问题(至少对于立方体是这样)(【4】)。在这以后不久，R．R Korfhage 开始研究图的带宽问题；F Harary在Prague的一次会议上公布 了这个问题([5】，【6】1【7】)。从那以后，关于带宽问题就陆续有了大量 的文妙 在第一章综述之后，在已有的研究成果基础上，第二、三章 对类路树、类路图进行了研究，求出了它们的带宽和带基数。在第 四章中，求出了最大度为3的树的二维带宽，还给出了一个求任 意树点带宽上界的算法。广F厦列出了本文的主要结论： 1，类路树的带宽和带基数 图G=(K E)、”∈V，如果G—u的每—个连通片都是路， 则称”是G的奉原点。容易看出，路的每一个点都是本原点。如 果图G至少有一个本原点，则称G为类路的。易见，类路图具 有遗传性，即类路图的每一个子图均是类路的。若一个类路图c? 有遗传性，即类路图的每一个子图均是类路的。若一个类路图c? 是树，则称G为类路树。 关于类路树的主要结论如下： 定理??1 阶不大于7的树7皆为类路树，其带基数bs(r) 满足l S bs(T)≤3。 定理2．2 2关于类路树Z的带基数bs(E)，l≤i≤4有 (1)设R，P2， ，R为n中的k条路(包括本原点)，f。，l。， ，f女 为Pl，P2， ，R的长度(指所含边数)，规定f·≤l。≤ ≤“，对n 分两种情况： (·)当It～12·一lk时，bs(n)=f扎 (ii)当lt,12， ，fI不全相同时， 『钉≤bs(孔)≤k (2)2≤bs(T2)S 3 (3)bs(T3)=2； (4)bs(T4)=1． 定理2．3．1关于类路树正的点带宽B僻)，1≤i≤4有 (1)对n分两种情况： (i)当It=12= =It时，B(n)=『扎 (ii)当Ix,12， ，Ii不全相同时，『钉≤Bm)≤f半1 (2)B(T2)=3； (3)B(T3)=2； (4)B(Tt)=1． 定理2．4．1设P1，P2， ，B为孔中的k条路，记路的长度为 fl，12，．一，fI，且规定f．≤也≤．．．≤“则当1．=1，或ll=L=··．=／女 fl，12，．一，fI，且规定f．≤也≤．．．≤“则当1．=1，或ll=L=··．=／女 时，边带宽t3’(Tt)=k一1 定理?4二若f。≥二，且1．、o一．“不全相等，则边带宽IjI(，1、t)= 二 类路图的带宽和带基数 关于类路图的带宽和带基数，主要结论如下： 定理3 1 l若G=(1r(G)，E(G))是一类路图，且卜(G)l=n 则点带宽BtG)5『；1。 定理3 1二若H是G的予图，则bs(H)≤bs(G)。 定理3 1 3 G～。为第一类完全类路图，则 (i)当11=／2．．．一lk时，bs(c71)=『纠； (ii)当／1，12， ，“不全相等时，『郭≤bs(G1)≤严n+rk]。 定理3 1 4 G1为第一类类路图，则 (i)当f-=f2-．一“时， 陶≤bs(Gz)≤嘲； (ii)当z。，I。， ，f^不全相等时，『钾s bs(G。)≤『学]。 定理3 1．5 0、为第一类完全类路图，则 (i)当f。=z。_．．·=“时，B(0·)=『纠； (ii)当f，，f：， ，?^不全相等时，B(0-)=『学1。 定理3 1 6 Gl为第一类类路图，则 (i)当1·=12= =lk时，『鞠≤B(c0≤『訇； (ii)当lt，z：， ，lk不全相等时，陶2≤B(O·)≤『业2]。 定理3 1 7 G。为第二类类路图，则 (-)当PI，R、R，，’t的阶相同时，?≤R(c。)S『；1+l；(i-)当Pt，R，f々，R的阶不全相等时，二≤B(G：)≤『字]“。 (-)当PI，R、R，，’t的阶相同时，?≤R(c。)S『；1+l； (i-)当Pt，R，f