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

在本专著中，提出将图的边割和边循环的谱作为解决图同构问题的基本数学结构。边割由一条边及其 incident 顶点定义。与生成迭代边图不同，我们考虑由边割生成的原始图的迭代链，由边割决定并由递推关系决定。边循环由图的等距循环集合定义。该专著考察了构建图的边割谱 Ws 和边循环谱 Tc 的问题。证明了谱的形成基于图的 incidence 矩阵。展示了图结构构建与顶点和边编号的独立性。证明了边割谱和边循环谱判定图结构同构的必要性和充分性。讨论了图的内部结构与 Whitney 定理之间的关系。