话题
搜索

图形次要项


一张图表小时是图形的次项G公司如果是的副本小时可以从以下位置获得G公司通过重复的边缘删除和/或边缘收缩.

这个Kuratowski约化定理声明任何非平面图完成图表 K_5完全二部图 K_(3,3)作为未成年人。此外,任何陷阱彼得森图据推测,作为未成年人由Tutte(1967;West 2000,p.304)和Robertson证明等。

图子项的确定是一个NP-hard问题对于这些问题,没有好的算法是已知的,尽管像那些由于罗伯逊、桑德斯和托马斯的存在。

每个次要图形都是拓扑次项,但是反之不一定成立。

对于任何固定图小时,可以测试小时是给定图形的次曲线G公司在多项式时间内,所以如果一个禁止的次要特征可用,则通过删除和收缩保留的任何图形属性可在多项式时间内识别(费罗斯和兰斯顿,1988年,罗伯逊和西摩1995).

截至2022年,平面和投影平面是唯一一个因图形嵌入而被禁止的未成年人的完整列表已知的曲面(Mohar和Škoda 2020)。

一张图表小时称为图的拓扑子图G公司如果是图形展开属于小时同构于的子图G公司每个拓扑次项也是次项,但反过来并不一定正确。


另请参见

边缘收缩,被禁止的未成年人,Kuratowski约化定理,投影平面交叉数,罗伯逊-西摩定理,拓扑次要

此条目由贡献Ed Pegg,年少者。(作者链接)

与Wolfram一起探索| Alpha

工具书类

Demaine,E.D。;哈加伊,M。;算法图次要理论:分解、近似和着色第46届IEEE计算机科学基础年度研讨会论文集(FOCS 2005),匹兹堡,宾夕法尼亚州,2005年10月23日至25日第637-646页。德曼,E.D.公司。;哈加伊,M。;和Kawarabayashi,K.-I.“次要算法图理论:改进的网格小边界和瓦格纳收缩。“输入算法和计算。第17届国际研讨会(ISAAC 2006)会议记录2006年12月18日至20日,加尔各答(编辑T.Asano)。柏林:斯普林格,2006年,第3-15页。Fellows,M.R。和Langston,M.A。“非破坏性证明多项式时间决定性的工具。"美国临床医学杂志 35, 727-739,1988Mohar,B.和Škoda,P.“克莱因案排除的未成年人瓶子I.低连通性案例。“2020年2月1日。https://arxiv.org/abs/2002.00258.罗伯逊,N。;桑德斯,D.P。;西摩,P.D。;和Thomas,R.“的新证明四色定理。"电子。Res.公告。阿默尔。数学。Soc公司。 2,17-25, 1996.罗伯逊,N。;桑德斯,D.P。;和Thomas,R.“The四色定理。"http://www.math.gatech.edu/~thomas/FC/fourcolor.html.罗伯逊,N.和西摩,P.D。“图未成年人。XIII.不相交路径问题。”J.Combina.Th.,序列号。B类 63, 65-110, 1995.W.T.塔特。《四色问题的几何版本》组合数学。及其应用(编辑R.C.Bose和T.A.Dowling)。北卡罗来纳州教堂山:北卡罗莱纳大学出版社,1967年。D.B.韦斯特。介绍图论,第二版。新泽西州恩格尔伍德克利夫斯:普伦蒂斯·霍尔,2000年。

引用的关于Wolfram | Alpha

图形次要项

引用如下:

小Ed Pegg。“次要图形。”来自数学世界--Wolfram Web资源,创建人埃里克·韦斯特因.https://mathworld.wolfram.com/GraphMinor.html

主题分类