有限离散结构的算法方法. 非可分离图的自同构

本专著考察了构成图的自同构群的问题。图的自同构是指将顶点集合映射 onto itself 且保持相邻性的映射。由此类自同构构成的集合称为图的顶点群或简称为图群。构成图的自同构群的基础是轨道概念。轨道的构建与图中顶点或边的定量评估密切相关，该定量评估称为权重。为确定元素的权重，使用基于边割光谱和边循环光谱构建的图不变量。图元素的权重允许识别生成循环并形成轨道。给出了一些图类型构建自同构群的例子。