由对称群构造的有向图.docVIP

由对称群构造的有向图 1. 预备知识 定义 一个集，假如它不是空集，并且满足下面四个条件，就叫做群： (1) 有一个闭合的结合法，这就是说，中任意两元,?的结合仍然是中元. (2) 的结合法适合结合律，也就是说，对于中任意三元，，，我们有 . (3)对于中任意元，在中（最少）有一个（左）单位元，满足 . (4)对于中任意元，在中（最少）有一个满足 的（左）逆元，这里就是上面的（左）单位元. 定义 如果群只有有限个元素，则称为有限群. 定义 假设是元数为的有穷集，那么集的所有变换满足群的四个条件，所以所有这些变换形成为群，叫做次对称群，或简称为对称群. 定义一个有向图是一个二元组，即，其中， (1) 是一个非空的集合，称为的顶点集. (2) 是卡氏积的多重子图，其元素称为有向边. 定义与到的双射函数，使对任意的，，当且仅当，则称图和同构. 定义 设，是两个图若，且，则称是的子是的母图，记作定义 设为一有向图，，称作为边的始点的次数之和，为的出度，记作；称作为边的终点的次数之和为的入度，记作；称作为边的端点的次数之和，为的度数，简称度，记作显然，所有结点均有相同次数的图称为正则图定义 给定图设中顶点和边的交替序列为，若满足如下件：和是的端点（在是有向图时，要求是的始点，是的终点），，则称为顶点到的通路 和分别称为此通路的起点和终点.当=时，此通路称为回路. 定义中，若从结点到有通路，则称可达. 定义的有限条边的序列，其中任意边的终点是边的始点，则称这样的边序列是图的路径. 定义中，如果任意两个结点间存在一条路径，则称图是连通图. 否则是非连通图. 定义 设是一个有向图，如果略去中各有向边的方向后所得无向图是连通图，则称是连通图，或称是弱连通图若中任意两顶点至少一个可达另一个，则称是单向连通图若中任何一对顶点都是相互可达的，则称是强连通图定义 经过图中每个顶点一次且仅一次的通路（回路）称为哈密顿通路（回路）存在哈密顿回路的图称为哈密顿图定义 设有一有向图，，令 则此矩阵称为的邻接矩阵.定义 设为一有向图，，令 称为的可达矩阵. 为顶点集，取的非单位元构成一个边集，如上构作可得一个有向图. 在图中为，其中的24个元素为： 2.2 令 2.21 用元素作用可得以下等式 2.2.2 由此所得的有向图为 2.2.3 任取2.2.1中一对等式，如 ，, 中3，4都对应着本身，所以只调换中1，2所置换的对象，因此对用连续作用两次，则会回到本身. 2.3 令 2.3.1用元素作用可得以下等式 2.3.2 由此所得的有向图为 2.3.3 任取2.3.1中一对等式，如，，中2，4都对应着本身，所以只调换，中1，3所置换的对象，因此用对连续作用两次，则会回到本身. 注 由2.2，2.3可得，中任一对换作用于，所得有向图均为12条有向线段. 2.4 令 2.4.1 用元素作用可得以下等式 2.4.2 由此所得的有向图为 任取2.4.1中一组等式，如，，，中4对应着本身，所以只使，，中1，2，3所置换的对象发生轮换.因此用连续作用三次以后，即可回到本身. 2.5令 2.5.1用元素作用可得以下等式