组合计数的群论与计算机方法.PDF

第 26 卷第 1 期 数 　学 　进 　展 Vol. 26 ,No. 1 1997 年 2 月 ADVANCES IN MATHEMATICS Feb. ,1997 组合计数的群论与计算机方法 胡冠章 (清华大学应用数学系 , 北京 , 100084) 摘要 　本文综述组合数学和图论中解决计数问题的群论与计算机方法及其最新发展. 传统的计数方法得到有限的计数公式或递推公式等 , 然而许多复杂的问题很难得到有限的 表达式 , 即使能得到 , 公式也往往非常复杂. 由于计算机技术的发展不仅使复杂的计数公 式有了实际意义 , 而且可以设计恰当的计算方法进行数值计算 , 使计数问题有更为广阔的 发展领域. 另一方面 , 为了计算不同构的图或组合结构 , 最有效的方法是群论方法 , 因此 把群论方法与计算机方法结合起来就成了解决计数问题的有效途径. 本文着重介绍由作者 和 R. C. Read 教授提出的压缩图法 , 采用群论与计算机方法解决计数问题所取得的一些 成果 , 并论述图的计数问题与一些其它组合结构的计数问题的联系. 关键词 　计数问题 ; 图和组合结构; 群和计算机方法 ; 压缩图法 MR ( 1991) 主题分类 　05C30 1 　引言 图和组合结构的构造与计数问题在理论与实际上都具有重要意义 , 例如研究化学分 子结构 , 设计满足一定要求的网络 , 设计一组实验方案等等. 下面我们先讨论一般的图 的构造与计数问题. 设 G = ( V , E) 是一个顶点集为 V , 边集为 E 的图 , | V | = n 称为图的阶 , 本文所用的术语在一般的组合数学和图论书中均可找到[ 1] . 图的顶点集可 表为 V = { v , v , …, v } 或简单地表为 V = { 1 , 2 , …, n} , 边集 E 是由 V 的 1 2 n 一些无序对 ( i , j ) 组成. 表示顶点的记号又称顶点的的标号 , 有些不同的图只要改变 它们顶点标号可以变成完全相同 , 我们称它们是同构的 , 即设 G = ( V , E ) , G = 1 1 1 2 ( ) σ V 2 , E2 是两个图 , 若存在一个双射 : V 1 →V 2 使 ( v , v ) ∈E ( σ( v ) , σ( v ) ) ∈E , 1 2 1 1 2 2 则称 G 与 G 同构 , 记作 G G . 1 2 1 2 设 Ω是顶点集为 V 的某一类图的集合 , Γ是 V 上的一个置换群 , 我们定义群 Γ对 集合 Ω的作用如下: σ Γ ( ) Ω σ( ) ( σ( ) ) ∈ , G = V , E ∈ , 　 G = V , E , σ( ) ( σ( ) σ( ) ) ( )