第二讲、区间图【信息技术】.pdfVIP

第二讲、区间图 本讲中，我们将考虑区间图的一些应用。我们将考虑区间图于其他图有什么不同，以 及各种区间图的共同点。 1．介绍 图论学习中常常要考虑一些特殊的图，区间图就是其中之一。我们之后将给出它的严 格定义。但目前可以把区间图看作一系列区间的一种表示。有关一系列区间的问题在实际中 有广泛的应用，例如日程安排问题、航班调度问题、交通灯的同步协调等。因此学习区间图 不仅使我们了解它的数学构形，而且有着在实践中发挥作用的潜力。 学习区间图时，我们首先给出一个更精确的定义，接着将考虑区间图的一些应用，然 后学习怎样判定一个图是否是区间图（同时看到一些不是区间图的图），最后看一些对区间 图的等价的不同的表示法。 2 ．定义 一个区间是有两个端点的线段，端点可以是开的或闭的。给定一些区间，可以定义一 个相交图（intersection graph ）。 定义1：给定一些区间，定义一个相交图的每个顶点v 代表一个区间Iv,顶点(v,w)间有 边，当且仅当Iv 交Iw 非空。 定义2 ：一个图G 是区间图，如果它是若干区间的相交图。 定义3 ：一个图G ＝（V ，E ）的诱导子图是由它的一个顶点子集S 与E 中所有两个端 点都在S 中的边组成的子图。 我们可以通过删去G 中的一些顶点及与它们相联的边得到一个诱导子图。 3 ．区间图 区间图在一系列领域中有应用前途，例如： 考古学[Spi97] 计划拟定[CLRS00] 生物学[WG86] 请读者参考PDF 文件的简述与参考文献。：-P 以下是一些不是区间图的例子： 1、k 阶简单环Ck （k=4 ）。 我们来看一下C4 （见图3 ），假设它是区间图。由于a 与b,c 相联，它们对应的区间必 须相交。但是b 和c 之间没有边，因此它们对应的区间不相交这样的情况只可能如图3 右图 所示。但由于d 与b,c 均相联，则d 对应的区间（简记为区间d ）与区间b, 区间c 都相交， 那么它必将与区间a 相交，这与a,d 间无边矛盾。 2 、任何以Ck （k ＝4 ）为一个诱导子图的图。 这表明区间图在删除顶点及收缩边的操作下是封闭的。具体地说，如果我们从区间图 中删除一个顶点，只要把它对应的区间从区间集中删去，结果仍是一个区间图。如果收缩一 条边，只要把其端点所对应的区间合并成一个区间即可。 3、形如图4 的树。 与 Ck 的方法类似，我们可以设计出前六个顶点对应的区间，但加入最后一个顶点 g 时，由于区间g 必须与区间f 相交，则它必须与区间a 相交，矛盾。 目前为止我们尚未给出开区间与闭区间或半开闭区间的区别。我们将证明知道它们是 等价的。 定理1：开区间、闭区间、半开闭区间对应的区间图是等价的。 注意这不是说我们可以随意地将开区间改为闭区间，或将闭区间改为开区间。这表示 给定一个区间图，我们总能设计出一个只包含开区间或闭区间的区间集，使它对应与给定的 图。 我们注意到如果不存在 “重点”，即一个区间恰在另一个区间开始的点上结束，那么 区间的开闭不影响区间图的形态，即区间的开闭可以随意改变。“重点”只可能有三种形态 （见图5，对称的情形被忽略了）。其中第一种情况下，两个区间相交，后两种情况则不相 交。 4 ．定理1 的证明 证明：我们只证明任意区间集能等价地转化为只包含闭区间的区间集。 首先看一些对于“重点”的操作。对于情况 2 ，两个区间不相交，我们将它们稍微拉 开一段很小的距离，并改为闭区间。情况3 同样可以这样操作。对于情况1，将它们 稍微拉近一段小距离（见图6 ）。 下面给出正式证明： 给定一个区间集 I={I1,I2,…,In}，其中每个区间 Ii={Si,Fi}两端可以是开的或闭的。我 们再定义I’={I1’,I2’,…,In’},其中Ii={Si’,Fs’}两端都是闭的，其中{Si’,Fi’}如下取值： 其中 的值将在之后给出。注意以上操作是之前提到的操作正式的定义。 引理1：对于任意 ,有 ，反之亦成立。 证明： 1、充分性 有两种情况，这两个区间或在某个“重点”相交，或有一段非空的公共开区间。