n阶极大外平面图的构造法.pdfVIP

* n 阶极大外平面图的构造法 周建，林翠琴 清华大学数学科学系, 北京，100084 文摘：图的同构的判定是图论研究中的重要课题之一，非同构的极大外平面图的计数是一直未解 决的问题之一。提出一种判定图同构的方法，其原理是赋予每个无标号极大外平面图一个n ×(n −3) 阶 0 −1矩阵，证明了矩阵与极大外平面图一一对应，矩阵相同的图彼此同构。构造所有可能的 阶极大外 n 平面图，并用上述方法除去其中同构者，所有n 阶无标号极大外平面图被不重不漏地构造出来，同时得 到其总个数，解决了有关极大外平面图同构与计数问题。 关键词：极大外平面图；同构；Hamilton 圈 中图分类号：O 157.5 本文中所提到的图均为有限无向无标号的简单图。称平面图 G 为外平面图，如果 G 能被嵌入平面， * 使得其所有的顶点均在同一个面上。通常称这个面为外部面，其余的面称为内部面。称外平面图 G 为 G * u v uv G * 极大外平面图，如果对 的任一对不相邻的顶点 和 ，添加边 所得的图 +uv 都不再是外平面 图。 n 在文[ 1 ] 中，作者给出了计算 阶极大外平面图总个数的公式。在本文中，首先提出了一些符号和 —————————————————— 收稿日期：1999-12-30 作者简介：周建（1975-），女（汉），重庆，博士研究生 * 基金项目：国家自然科学基金（ ） 定义，证明了几个定理，然后根据定理提出一种不重不漏地构造所有n 阶极大外平面图的方法，伴随得 到n 阶极大外平面图的总个数On ，验证了文[ 1 ] 中的结果。 1 定义和符号 n G v G v 设G (V, E ) 是 阶极大外平面图，v ∈V (G) 为 的一个顶点。定义 在 中的度为与 关联的 边的数目，记为d G (v) ，称G 中所有顶点度的最大值为G 的最大度，记作∆(G) 。 定义 1 对 m 维 0-1 向量α (a , a , L, a ) ，定义α 的权 | α| a +L+a ，α 的倒序α 1 2 m 1 m (a ,a ,L,a ) 。 m m−1 1 定义 2 设m 维 0-1 向量α (a , a , L, a ) ，β (b ,b , L,b ) ，称α盖住β ，记为α β ( 或 1 2 m 1 2 m β α ) ， 若 | α | |β | ； 或 | α | | β | 且 a1 b1 ； 或 | α | | β | 且 存 在 i (2 ≤ i ≤m) ， 有 a