C_2cm_×C_2cn_×C_2ck_的上、下强迫测地数.pdfVIP

第一章引言 第一章 引言 题，这也使他成为了图论与拓扑学的创始人．但七桥问题的解决并未引起当时数 学界的重视，在随后的两百多年里，图论的发展甚为缓慢，直到上个世纪计算机的 出现，研究离散对象的图论才得到了长足的发展．1936年，匈牙利数学家Kbnig 出版了第一部图论专著《有限图与无限图理论》，标志着图论正式成为一个新的 数学分支． 作为一个新兴的数学分支，图论在近几十年中发展迅速，它为任何包含二元 关系的系统提供了数学模型，使之广泛的应用于物理，化学，运筹学，计算机科学， 电子学，信息论，控制论，网络理论，管理科学，社会科学等几乎所有的学科领域． 同时，图论也与其它数学分支，如群论，矩阵理论，概率论，数值分析等有着密切的 联系． 图论本身的分支很多，如算法图论，极值图论，代数图论，随机图论，拓扑图论 等，但不论哪一分支，都是以图的结构性质为研究基础．图的结构性质作为图论研 究的一个主要内容，具有重要的理论和应用价值，如大规模集成电路的分析与设 计，印刷电路板的设计与布线，传递网络与通讯网络的稳定性与可靠性研究等，都 是以图的结构性质指导实际工程技术．因此，对反映图的本质结构的参数(如图的 独立数，控制数，匹配数等)的研究便成为十分有意义的研究方向．本文主要介绍 关于图的测地数和上、下强迫测地数的研究进展以及本人在这方面所做的研究 工作和成果． 1．1图的一些基本概念 定义1．1一个图G是一个三元组：顶点集y(G)，边集E(G)和一个关联关系，该 关系使得每一条边和两个顶点(不一定是不同的顶点)相关联，并将这两个顶点 称为这条边的端点．Jy(G)J和|E(G)J分别称为图G的阶和大小． 一个自环(100p)是一条边，它的两个端点是相同的．重边是具有同一对端点 的多条边．一个简单图是不含自环和重边的图．在本论文中，我们讨论的图均是有 限图(即图的阶有限)和简单图． 1 第一章引言 顶点V的度(degree)是其关联边的数目(自环算作两条关联边)． 定义1．2一条U．V途径(walk)是由顶点和边构成的一个序列 u，V称为它的端点，其它顶点称为内顶点．一条u．V通道，当u≠V时，称它是开 的，当U=V时，称它是闭的．迹(trail)是无重复边的通道．路(path)是无重复顶点 的迹，阶数为n的路记作R．圈(cycle)是无重复内顶点的闭迹，佗个顶点的圈记 作G．通道，迹，路或圈的长度(1ength)是指其中边的数目． (否则，称G是非连通的)．如果G中存在U．V路，则称u连通到V． 1．2图的测地数和上、下强迫测地数背景介绍及相关概念 图的测地数(geodeticnumber)概念最早出现于参考文献【l】中，由E Buckley 和EHarary提出．测地线(geodesic)原是测量学术语，表示两点间的最短连线，被 引入到图论中后，它表示两个顶点之问的最短路．以下介绍测地数的相关概念及 其与其它数学问题的联系． 定义1．4在连通图G中，项点u和秽的距离dG(u，u)是指钍一v路的最短长度．最 短的u-口路称为让一口测地线(geodesic)．记如(札，u)={zIdc(u，V)=dc(乱，z)+ dG(z，u)，z∈y(G))(即z∈Ivu，u)当且仅当z位于某条钍一V测地线上)，对任意 Iv(u，u)，其 x，y∈y(G)，记Iv(x，y)=Uu∈x艇yIv(u，口)．集合IV(D)=Uu艇D 中D是V(C)的非空子集，称为D的测地闭包． 如果z∈IV(D)，则称顶点z被IG(D)覆盖．如果顶点集S的每一个元素都 被IV(D)覆盖，则称S被如(D)覆盖． 别简记为d(u，u)，S(u，)，I(X，Y)和，(D)． 2 第一章引言 定义1．6如果I(D)=y(G)，则称顶点集D是图G的测地集．特别地，基数最小 的测地集称为图G的最小测地集(简记为g．集)，它的基数称为图G的测地数， 记作夕(G)【16】．