话题
搜索

弧传递图


弧传递图,有时也称为标记传递图,是其图自同构群在其上传递作用的图图表圆弧(Godsil和Royle,2001年,第59页)。

一般来说,a图表 G公司被称为秒-反传递(或简单地“秒-及物)s> =1如果它有-路线如果总是有图自同构属于G公司发送每个-路线到任何其他秒--路线(哈拉里,1994年,第173页)。换句话说,图是秒-如果是可传递的自同构对所有-路线(霍尔顿和希恩,1993年,第203页)。请注意,不同的作者更喜欢符号秒,例如n个(Harary 1994,第173页)或t吨.

电弧传递性比边缘传递性顶点传递性,所以弧传递图具有很高的对称性。

0-传递图是顶点传递的一个1-传递图被简单地称为“反传递图”,甚至是“传递图”。更令人困惑的是,弧传递图(和因此事实上秒-传递的的图形s> =1)有时被称为对称图(戈德斯尔和Royle 2001,第59页)。这种术语冲突尤其令人困惑因为,正如鲍尔(1970年)首次展示的那样,图的存在对称的(在边传递和顶点传递的意义上)但不是弧传递的,最小的已知示例是道尔图.

对称的非弧传递图首先由Tutte(1966)考虑,他指出任何这样的图都必须有规律的均匀度。第一个例子是鲍尔(1970)给出的,他给出了一个建设性的连接的证明第2个-所有整数的正则对称弧不传递图n> =2.最小的鲍尔图有54个顶点四次方的。另一个示例对称的非弧传递图是111个顶点上的6正则非平面直径3图由G.Exo发现(E.Weisstein,2018年7月16日)。

连通图G公司没有端点(即具有最小顶点度增量(G)>=2)据说是严格的秒-及物(带s> =1)如果G公司秒-可传递但不可传递(s+1)-及物(Holton和Sheehan,1993年,第206页)。这样的图形也被称为秒-常规(Tutte 1947,Coxeter 1950,Frucht 1952)和秒-单位及物(Harary 1994,第174页)。严格来说是A秒-传递图G公司只有一个自同构阿尔法这样的话字母W_1=W_2任何两个秒-路线第1周第2周属于G公司(哈拉里,1994年,第174页)。

这个循环图 C_n(_n)(用于n> =3)是秒-可传递给所有人s> =0,按原样千立方厘米对于任何正整数k个(霍尔顿和希恩,1993年,第204页)。

上的弧传递图的个数n=1, 2, ... 顶点是0、1、1、3、2、6、2、8、5。。。(组织环境信息系统A180240型),如下表所示,哪里P_n(_n)表示路径图,C_n(_n)循环图,nP2型是一个梯形梯级图,K_n(未知)完全图,K_(m,n)完全二部图表,K_(m,n,p)完全三部图,问题(_n)超立方体图,Ci_n(k_1,…,k_m)循环的图表、和公斤图形并集属于k个的副本G公司.

2第2页
C_3号
42P2型,C_4号机组,K_4型
5C_5,K_5号机组
6K_6公司,C_6,3P2型,八面体图 顺_6(1,2),2C_3型,效用图 K_(2,3)
7K_7公司,C_7
8顺_8(2,4),K_8公司,K_(4,4),立体图问题3,C_8,第4页第2页,16细胞图 顺_8(1,2,3),2C_4型
9C_9,K_9公司,3C_3型,广义四边形 GQ(2,1),K_(3,3,3)

上连通弧传递图的个数n=1, 2, ... 顶点是0、1、1、2、2、4、2、5、4、8。。。(组织环境信息系统A286280型).

可能是秒-可传递但不可传递(s-1)-传递的。例如明星图表 S_n(_n)具有n> =2是边缘传递和2传递,但1-传递。然而秒-不是树的传递图是k个-传递的为所有人0<=k<s(Holton和Sheehan,1993年,第204页),因此被最明确地称为“严格秒-传递的。"

这个路径图 P_(s+1)秒-及物(Holton和Sheehan,1993年,第203页),以及循环图 C_n(_n)(n> =3)是英菲-及物(Holton和Sheehan,1993年,第204页和209,练习6)。

如果G公司是一个秒-传递的图形,然后nG公司也是秒-传递的对于任何n> =1(霍尔顿和希恩,1993年,第204页)。但如果G公司断开连接,而不是n个复制单一类型的图形,则不是顶点传递的因此不是弧传递的。因此,断开连接的图要么具有相同的秒-及物性作为其相同的连接元件,或不是弧传递的(如果其元件不完全相同)。这个秒-因此,不连通图的传递性是微不足道的。

1947年,塔特表明,对于任何严格意义上的秒-传递连接三次曲线图,s≤5(霍尔顿和希恩1993年,第207页;哈拉里1994年,第175页;戈德西尔和罗伊尔2001年,第63页)。Weiss(1974)随后建立了深的结果为任何严格正则连接秒-度传递图r> =3,s≤5s=7(霍尔顿和希恩1993年,第208页;戈德希尔和罗伊尔2001年,第63页)。

如果X(X)是一个顶点传递的 立方体的图表n个顶点和G公司是它的吗自同构群,则如果为3划分稳定器的顺序G_u(_u)顶点的u个,然后X(X)是反传递的(Godsil and Royle 2001,第75页)。

弧传递图

因为没有秒-传递的三次图对于s> 5个,也没有严格的秒-及物动词(Harary 1994,第175页)。这三个笼子是严格地秒-传递的对于3<=s<=7(哈拉里1994年,第175页),但也严格存在秒-的传递图s≤5哪些不是笼形图(哈拉里,1994年,第175页)。这些包括周长的严格1-传递图Frucht(1952)发现的432个节点上的12个节点被构造为凯利图表排列(2,1,5,8,3,6,7,4,9),8、5)和(4、3、2、1、5、7、6、8、9),现在更常见的是立方体的对称图 F_(432)C级; 严格的2-传递立方的,十二面体图,莫比乌斯·坎特图表 GP(8,3),瑙鲁图表; 和严格的3-传递Desargues图 GP(10.3)(考克塞特1950)。一些严格来说秒-传递图如上所示,并在下表(部分基于Coxeter 1950和Harary 1994给出的表,第175页)。


另请参见

买家图,三次对称图,Doyle图,过渡边图表,图形圆弧,集团动态观察,k个-传递组,-路线,对称图形,可传递的,传递性闭合,可传递的有向图,传递组,顶点传递图表

与Wolfram一起探索| Alpha

工具书类

顶点和边可传递,但不是1-可传递图加拿大。数学。牛市。 13, 231-237, 1970.Conder公司,M.和Nedela,R.《小围长对称三次图》J.组合。Th.序列号。B类 97, 757-768, 2007.Conder,M.“全对称订单2至30的图表”,2014年4月。https://www.math.auckland.ac.nz/~冷凝器/symmetricgraphs-orderupto30.txt.考克塞特,H.S.公司。米。“自对偶配置和正则图。”牛市。阿默尔。数学。Soc公司。 56, 413-455, 1950.多伊尔,P.G。传递图。高级论文。马萨诸塞州剑桥,哈佛学院,1976年4月。多伊尔,P.“一个27维图,它是顶点传递的和边传递的,但不是L-传递。“1998年10月。网址:http://hilbert.dartmouth.edu/~doyle/docs/bouwer/buwer/bouwer.html.弗鲁希特,R.“三次单正则图”加拿大。数学杂志。 4,240-247, 1952.图中的弧传递性夸脱。数学杂志。 24, 399-407, 1973.Gardiner,A.“电弧传递性在图II中。"夸脱。数学杂志。 25, 163-167, 1974.加德纳,A.“图III中的弧传递性”夸脱。数学杂志。 27,313-323, 1976.Godsil,C.和Royle,G.《弧传递图》通道4英寸代数图论。纽约:Springer-Verlag,第59-76页,2001年。哈拉里,F、。图表理论。马萨诸塞州雷丁:Addison-Wesley,第174-175页和第200页,1994年。霍尔特,D.F.公司。“边可传递但非弧可传递的图形。”J。图形Th。 5, 201-204, 1981.霍尔顿,D.A。和Sheehan,J。这个彼得森图表。英国剑桥:剑桥大学出版社,第202-210页,1993Lauri,J.和Scapellato,R。话题在图的自同构和重构中。英国剑桥:剑桥大学出版社,2003年。斯基纳。实施离散数学:组合数学和图论与Mathematica。阅读,马萨诸塞州:Addison-Wesley,第162和174页,1990年。新泽西州斯隆。答:。序列A180240型A286280型在“整数序列在线百科全书”中塔特,W.T.公司。“立体图族”程序。剑桥菲洛斯。Soc公司。 43,459-474, 1947.W.T.塔特。连接性在图表中。加利福尼亚州多伦多:多伦多大学出版社,1966年。韦斯,风险管理。“优步秒-格拉芬国王。"J.Combina.Th.序列。B类 16,229-233, 1974.

参考Wolfram | Alpha

弧传递图

引用如下:

埃里克·魏斯坦(Eric W.Weisstein)。“弧传递图。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Arc-TransitiveGraph.html

主题分类