毛毛虫树三角和四边形变换下的割宽不变性.pptVIP

毛毛虫树三角和四边形变换下的割宽不变性 福州大学离散数学研究中心 目录 1、摘要 摘要：　　 　　图的割宽问题指的是将图G嵌入到一条路上使得最大的跨越两点的重叠边数最小化。在一般情形下，它是NP难的， 但对于树的情形有多项式算法。 本文对于毛毛虫树(毛毛虫树是一种树，去掉它所有的叶子以后，得到的是一条路)，给出了对其进行三角和四边形变换后,割宽保持不变的充分必要条件。 2、背景介绍 1°割宽的定义 　割宽是互连网络中的一个重要参数，它在超大规模集成电路的设计中发挥着重要的作用[2, 4]。通俗的说，割宽问题就是对图的顶点找到一个线性排列以及在线上用弧连接两点作为边的画法，使得垂直划分连续两点的最大边割最小化。 割宽问题对于所有的图来说目前为止还是NP难的[5]，但是对于树来说是可以找到多项式时间算法的[8]。人们意识到割宽问题的困难性，进而将兴趣转移到割宽跟其他的图的参数之间关系的研究，如带宽，路宽和树宽[2, 3, 6]。 2、背景介绍 2、背景介绍 2°三角变换 　文献［１］中分别定义T(G), 为图G经过三角变换后形成的新图,如图1 如果存在 且d(c)=1,d(x)=3,则 T(G)=G-xc-xa-xb+ca+cb+ab 如果存在 且 d(c)=2, 则 图1. 三角变换 2、背景介绍 3°四边形变换 本文在[1]的三角变换的基础上定义Q(G)， 为图G在经过四边形变换后形成的新图, 如图2所示， 如果存在 且 d(c)=1, d(d)=1, d(x)=4, 则 Q(G)=G-xc-xa-xb-xd +ca+cb+ad+bd， 同样我们可以定义它的逆运算 如下： 如果存在 且 d(c)=2, d(d)=2, 则 图2. 四边变换 2、背景介绍 4°毛毛虫树 毛毛虫是一种树，满足它所有点都在一条中心的脊柱(一条路)上或者最多有一条边伸到脊柱(路)外。(换句话说，将毛毛虫的所有叶子都去掉后就是一条路； Gallian 2007)。一个图被称作是毛毛虫树的三角变换图，如果它可以通过对毛毛虫树进行三角变换得到。一个图被称作是毛毛虫树的四边形变换图，如果它可以通过对毛毛虫树进行四边形变换得到。 2、背景介绍 5°引用定理 1. 对所有图G，有 2．对毛毛虫树G，有 [7] 3、三角变换后的割宽不变性 　　首先证明存在一类图通过三角变换后割宽发生改变，然后对于所有毛毛虫树通过三角变换后割宽保持不变给出了一个充分必要条件。 　 事实上，我们很容易就可以得到 c(G) ≤ c(T(G))， 　 而另一方面 c(G)≥ c(T(G))并不一定恒成立，我们举一类图来证明。 以下定理中图G的a , b均对应图1(a)中的左图中的点。 定理 2.1 假设图G是毛毛虫树，最大度设为 ⊿(G)=d(a) 且是一个偶数，记为2k，T(G)是G的三角变换图，则c(G)＜c(T(G))。 证明: 由 [7]，对于任意的毛毛虫树G，有 然而另一方面，⊿(T(G)) = 2k+1，因此由 [7] 这样我们就证明了对于任意图G， c(G) 并不一定等于c(T(G))。 、 3、三角变换后的割宽不变性 为了证明我们的主要结论定理2，我们先证明以下这个引理。 引理 2.2 对于毛毛虫G，T(G)是G的三角变换图，有 定理 2.3 假设图G是一个毛毛虫树，T(G)是毛毛虫树G的三角变换图，则c(G)=c(T(G)) 当且仅当 (1)⊿(G)≠d(a) 且 ⊿(G)≠d(b)，或者 (2)⊿(G)=d(a) 或⊿(G)=d(b)，且满足⊿(G)=2k+1。 推论 当G是一个最大度小等于4的毛毛虫树, 而T(G)是一个最大度小于等于4的毛毛虫树的三角变换图，则有 c(G)