细分 (图论)

✍ dations ◷ 2025-08-21 11:38:45 #图论

在图论中,细分(subdivision)或分割是指在一个图的其中一条边加入新的顶点,使这条边转变成由多个顶点构成之路径的变换,又称为扩展(expansion),为图子式理论中的基本算子之一,而变换完的像称为细分图。

在图论的一般情况下,细分通常是指对边的细分,而在一些领域中会有对面或其他结构的细分(如高维度的标记),例如重心细分(英语:Barycentric subdivision),有时会称为剖分及剖分图。

细分是一种作用于边上的变换,因此其需作用于特定的边,令其计为e,并令e所连接的两个顶点计为u和v,而细分会在顶点u和v之间加入一个新的顶点w,并使原本的边uv改成路径uwv则完成一次细分变换,换句话说,即先在uv边之间加入顶点w,移除uv边后将u和v连到w。

例如现在有一条边,计作,其由顶点和组成,计为{,}:

透过细分变换,产生了新的顶点w,将分割成两条边,分别计为12,皆连到新顶点w:

而细分变换存在逆变换,称为平滑(smoothing)变换。

细分变换的结果套用平滑变换会形成原像:

这两种变换的共通点是,其原像与变换像互为同胚。

更广义的,细分变换不一定只加入一个顶点,只要在边上有加入顶点的动作,都是一种细分,更精确地说,细分变换可以定义为将图G中的某一条边e替换为具有相同端点之路径,且构成该路径的顶点皆不在原本属于图G的顶点之中,且此路径也不会跟其他现有的顶点相连。

假设有二图G和H,若图H可以透过反复对图G套用细分变换而得,则图H可以称为图G的细分图。

扩展变换是指在一张图的某个边上,加入新的度为2之顶点,而产生的图可以称为原图的扩展。

当G'是G的细分时,则G'称为G的细分图,亦可以将G'称为G的扩展,计为TG,其中T表示扩展变换。G的原有的顶点若其位于细分作用的边上时,称为TG的分支顶点(branch vertex),在细分作用的边上加入之新的顶点称为TG的细分顶点(subdivision vertex),细分后产生的边称为细分边(subdivision edge),并且细分顶点具有度为2的特性。

细分的概念应用于图论,最早出现在1930年波兰数学家卡齐米日·库拉托夫斯基提出的一类禁用准则(指满足某种条件的图就一定无法具有某个性质)中,其所提出的库拉托夫斯基定理使用了细分图的概念。

细分可以用于几个与图论相关的证明和定理,例如判断两图是否同胚以及库拉托夫斯基定理中,对于简单图是否为平面图的准则,该定理为:如果一个简单图并不包含一个是 K5 或 K3,3 之细分图的子图,则该简单图是平面图,反之亦然,上述两条件为当且仅当关系。其中, K5 代表有 5 个点的完全图,K3,3 代表两部分各 3 个点的完全二分图,特别地,若一图的子图是K5或 K3,3之细分图,则该子图又称为库拉托夫斯基子图 。

此外,细分也可以用于将一般的图转换成简单图。

细分变换在图论中有一些不同的定义,例如重心细分(英语:Barycentric subdivision)在图论中就不是将多边形分割成三角形。

在图论中,重心细分(Barycentric subdivision)是指将图的所有边进行细分的变换,为一种特殊的细分变换,其变换的像总会是二分图,且是一个无回路(英语:Loop (graph theory))图,而任何无回路图的重心细分结果皆会是简单图。

重心细分可以被重复套用,任何图只要重复套用2次重心细分后结果总是简单图。

相关

  • APP1AAP, 1AMB, 1AMC, 1AML, 1BA4, 1BA6, 1BJB, 1BJC, 1BRC, 1CA0, 1HZ3, 1IYT, 1MWP, 1OWT, 1QCM, 1QWP, 1QXC, 1QYT, 1TAW, 1TKN, 1UO7, 1UO8, 1UOA, 1UOI, 1X11, 1Z0Q, 1ZE7
  • 构词学词法学(英语:morphology,“组织与形态”),又称形态学、构词学,是语言学的一个分支,研究单词(word)的内部结构和其形成方式。如英语的dog、dogs和dog-catcher有相当的关系,英语使用者能
  • 国内生产总额这是一份按照国内生产总值排列的经济体列表,是某经济体指定年份的经济中所生产出的全部最终成果(产品和劳务)的市场价值。这里的GDP是按照市场价值或政府官方汇率所估算,单位是
  • 拉尔夫·达伦多夫拉尔夫·达伦多夫,达伦多夫男爵,KBE(英语:Ralf Gustav Dahrendorf, Baron Dahrendorf,1929年5月1日-2009年6月17日),德国裔英国社会学家、哲学家、政治学家、自由派政治家,冲突理论的
  • 工商业工商业包括工业和商业两大部分。
  • 异硫氰酸盐异硫氰酸酯(Isothiocyanate)是一类通式为R-N=C=S的有机化合物,可看作是由异氰酸酯中的氧原子被硫替换后形成。异硫氰酸盐是硫氰酸根(SCN−)用氮原子配位时生成的化合物(M-N=C=S)。
  • 埃兰王国埃兰(英语:Elam; 埃兰语:
  • 胡锦胡锦(1947年3月10日-),电影演员、电视制作人,出演李翰祥系列风月片,《风流韵事》、《捉奸趣事》、《金瓶双艳》、《军阀趣史》等百余电影。胡锦生于江西,自小跟母亲马骊珠学京戏,演
  • 李晓勇李晓勇(1969年11月28号-),辽宁凤城人,中国篮球运动员,教练员,司职后卫,以准确的中远距离投篮和组织进攻出名,为九十年代中国男篮‘黄金一代’重要一员。1993年进入辽宁队,1995年10月选
  • 科恩群岛马伊斯群岛(西班牙语:Islas del Maíz),加勒比海西部的一组岛屿,属尼加拉瓜。主要包括大马伊斯岛和小马伊斯岛。人口约2500。17世纪至19世纪一直是海盗及海难遇险者的历史避难地