三类图的全图的l2,1—标号-l2,1 - label of complete graphs of three class diagrams.docxVIP

U 吕 U 吕 – – PAGE 10 – J 司 图论是一门富有趣味性且应用十分广泛的学科, 1736年欧拉(Euler)研究了 著名的哥尼斯堡七桥问题, 发表了图论的首篇论文, 开创了图论科学的研究. 从20世纪50年代以后, 计算机的迅速发展有力地推动了图论的发展, 使图论成 为数学领域中发展最快的分支之一. 图的标号理论来源于无线电领域的频率分配问题, 是某些图染色问题的 推广. 随着无线电技术的广泛应用, 频率分配问题作为资源优化问题急待人们 的解决与研究, 图的 L(p, q)-标号问题在通讯网络频道设计方面有广泛的应用, 得到了国内外同行的高度重视和广泛研究. 频率分配问题, 最早是由W.K.Hale[5]于1980年提出来的, 即对每个无线电 发射台分配一个频率, 使得相互干扰的无线电发射台的频率问隔在允许的范 围之内, Hale守此问题归结为T-染色问题(T是一个整数集, 给图的顶点染色, 使 得任意相邻两点颜色之差的绝对值都属于T). T-染色问题在二十年来得到了广 泛的研究[3,9,12,13]. 在Roberts与Griggs的个人交流中, 对频率分配问题提出了下面这种变化: 频率用非负整数表示, 相近发射台必须接收到不同的信号, 极近发射 台接收到的信号至少相差2. 把这个问题转化到图论中就是: 在一个图中, 用图 的顶点来表示发射台, 如果两个点相邻, 则表示这两个点极近, 这两个点 的标号至少相差2; 如果两个点之问的距离为2, 则表示这两个点相近, 这 两个点的标号必须不同. 受 到 这 个 问 题 的 启 发, Griggs和Yeh[4]于1992年 提 出 了 图 的 L(p, q)-标 号 的概念, 同时证明了对于一般图的 L(p, q)-标号问题是NP-完全问题. 图 G 的 一个 k ? L(p, q)-标号是指: G的顶点集 V (G) 到非负整数集 {0, 1, 2, 3, · · · , k} 的 一 个 映 射 f , 使 得 对? x, y ∈ V (G), 当 dG(x, y) = 1时, |f (x) ? f (y)| ≥ p; 当dG(x, y) = 2时, |f (x) ? f (y)| ≥ q. 这里 dG(x, y) 表示图 G 中两点 x, y 的距离. G的 L(p, q)-标号数λ(G) = min{k|G有一个k ? L(p, q)-标号}. L(2, 1)-标号问题作为 L(p, q)-标号问题的特殊情况, 研究得较多. 设 λ(G) 表示图 G 的 L(2, 1)-标号数, Griggs和Yeh[4]于1992年提出下面猜想: 若图 G 的 最大度?(G) ≥ 2, 则有 λ(G) ≤ ?2(G). 20多年来, 国内外对图 L(2, 1)-标号的研究内容之一是围绕着上面这个猜 想展开的. 一方面围绕对一般图类的 λ(G) 的上界的估计, 在这方面进展不是 很大; 另一方面是研究猜想成立的特殊图类. 本 文 主 要 讨 论 了 单 星 的 全 图 、 单 星 剖 分 图 的 全 图 以 及 双 星 的 全 图 的 L(2, 1)-标号, 给出了它们在一定条件下的 L(2, 1)-标号数 λ, 并且本文所讨论的 这三类图的全图的 L(2, 1)-标号数都是Griggs和Yeh猜想成立的特殊图类. 第 1 第 1 章 绪论 第 1 童 绪论 1.1 定义和记号 本文讨论的图都是无向的简单图, 涉及的一些概念如下: 定义1.1.1 图 G = (V (G), E(G), ψG), 其中 V (G) 为非空点集, E(G) 为与 V (G) 无关的边集, ψG 为联系 G 中的边和一对无序顶点的关联函数. 定义1.1.2 一条边的端点称作与此边相关联, 与同一条边相关联的两点 称为相邻的点. 定义1.1.3 环即具有同一端点的边, 重边即两个相邻顶点之间不止一条 边. 简单图即无环无重边的图. 定 义1.1.4 图 G 中 的 一 条 路 W 是 指 一 个 有 限 非 空 序 列 W = v0e1v1e2 · · · ekvk, 它 的 项 交 替 为 顶 点 和 边, 使 得 对 1 ≤ i ≤ k, ei 的 端 点 是 vi?1 和 vi, 称 W 是从 v0 到 vk 的一条途径; 若途径 W 的边 e1, e2, · · · , ek 互不 相同,则 W 称为迹; 若途径 W 的顶点 v0, v1, · · · , vk 也互不相同, 则 W 称为路, 其中整数 k 称为路 P 的长度. 定义1.1.5 图 G 中任意两点 u, v 之间最短路的长度, 称为点 u, v 的距离, 记为 d(u, v). 连通图 G 中最长两点间的距离