子图覆盖定理.pptVIP

973项目：数学与其它领域交叉的若干专题（2006.6-2010.12)课题：大规模集成电路设计中的图论与代数方法负责人：范更华承担单位：福州大学参加单位：北京大学、南开大学、山东大学 国家重点基础研究发展计划新一轮973项目：信息及相关领域若干重大需求的应用数学研究（2011.1-2015.12)课题：大规模集成电路物理设计中关键应用数学理论和方法负责人：范更华承担单位：福州大学参加单位：北大、南开、山东大学、四川大学 国家重点基础研究发展计划研究大规模集成电路设计中的电路划分、布图、布线等问题。以图论、组合优化、算法设计为主，为研制具有自主知识产权的大规模集成电路设计应用软件提供理论支持，提高我国在EDA（ElectronicDesignAutomation）工具研制这一领域的基础理论研究水平。973课题概述电路划分布局布线原理图输入芯片制造版图验证数据导出芯片版图设计三个主要部分：电路划分、布图、布线涉及大量图论问题芯片版图设计大规模集成电路设计的关键一步，其结果会影响后续的布局、布线等过程。由于需要布局的电路太大，且输入输出引脚数目受到芯片封装工艺的限制，需要将整个电路划分成若干模块，要考虑模块的大小、模块间的连线等。电路划分是一个多约束、多目标的优化问题。它的理论抽象是图论中的点集划分（VertexPartition）问题:给定一个图G及边集E(G)上的一个权函数w.对正整数k≤t，求点集V(G)的一个划分(A1,A2,...,Am)使得k≤|Ai|≤t，1≤i≤m，且∑ijw(Ai,Aj)尽可能小。电路划分最简单情形：二部划分且对每部分的点数不加限制，则等价于在给定赋权图（允许负权）中找最大生成二部子图。就一般图而言，这是NP-困难。平面图有多项式算法。其主要思想是：将所有奇圈（长度为奇数的圈）破坏，剩下的图就是一个二部子图。电路划分求平面图G的最大二部子图求G中最小权和的边集E使得G\E不含奇圈在对偶图G*中求奇度点间的一组权和最小的路P使得G*\P不含奇度点在以奇度点为点集的赋权完全图中求最小完美匹配（Edmonds多项式算法）电路划分若对每部分的点数加以限制，则有下述至今未解决的难题：平面图二部划分问题：对任何n顶点平面图，是否存在一个顶点集的二部划分(X,Y)使得：||X|-|Y||≤1且X与Y之间的边的数目至多为n.电路划分哥尼斯堡七桥问题欧拉定理(图论最古老的定理,1735年)：无奇度数点的连通图(欧拉图)存在欧拉回路（一笔划）,且可被边不交的圈覆盖。次此定理未能回答需要多少个圈。二百多年来，人们一直试图回答这个问题。子图覆盖Hajos猜想：n个点的欧拉图可被[n/2]个边不交的圈覆盖。Erdos-Goodman-Posa猜想(1966):存在常数c,n个点的欧拉图可被cn个边不交的圈覆盖。定理(范更华，2003年)：n个点的欧拉图可被[n/2]个圈覆盖，且每条边恰好被覆盖奇数次。子图覆盖圈k-覆盖:给定一个图，对哪些正整数k，存在一组圈，使得图中的每条边恰好在k个圈上?这样一组圈称为该图的一个圈k-覆盖。 当k为奇数时，这个问题已解决；然而当k为偶数时，至今仍未完全解决。60年代中，Edmonds（JohnvonNeumann奖得主）的匹配多面体理论为人们提供了有力工具，得以证明圈k-覆盖对某个偶数k存在，但无法确定这个偶数的值。子图覆盖定理(BJJ1983)：当k是4的倍数，圈k-覆盖存在。定理(Fan1992)：当k是6的倍数，圈k-覆盖存在。推论：当k是大于2的偶数时，圈k-覆盖存在。 唯独k=2未能解决。圈2-覆盖也被称为圈双覆盖，至今仍是图论界的一个著名难题。它是曲面拓扑中的强嵌入猜想的一个弱形式。子图覆盖圈双覆盖猜想（CycleDoubleCoverConjecture）每个2-边连通图存在圈2-覆盖。?强嵌入猜想（StrongEmbeddingConjecture）每个2-连通图可嵌入到某个曲面上，使得每个面的周界是一个圈（2-cell-embedding:eachfaceishomeomorphictoanopendisk）。子图覆盖若我们不要求每条边恰好在k个圈上，而只要求每条边至少在一个圈上，这样一组圈称为该图的一个圈覆盖。所有这些圈的边数之和称为该圈覆盖的长度。短圈覆