基于标准型矩阵的自补图构造方法.pdfVIP

长江大学学报(自科版) 2013年8月号理工上旬刊第10卷第22期 of Sci No．22 Journal Y柚gtj豫University(NatEdit)Aug．2013，V01．10 基于标准型矩阵的自补图构造方法 舒 涛 (四川民族学院网络信息中心，四JII康定626001) 肖红德 (中科方德软件有限公司，北京100190) [摘要]现实世界中的交通网络、计算机网络等网络的模型构建都可以用图的构造方法来实现，研究满足 某一性质图的构造方法具有十分重要的意义。提出了一种采用自补图标准型矩阵构造自补图的方法，并 给出了具体实现算法。结果表明，利用该方法可以解决自补图构造过程中计算量过大的问题。 [关键词]自补图；补图；标准型矩阵；算法优化 [中图分类号]0157．5；TP393[文献标志码]A 自补图是一种具有与其补图同构的特殊图，其计数问题在文献[-13中已有具体描述。而对于给定 顶点数量时的所有不同构自补图的寻找问题，当顶点数为8和9的时候，很容易找到所有不同构自补 图。实际上，要直接计算给定的2个图是否同构是一个非常困难问题，因为其计算量随着顶点规模的增 加呈指数级增长嘲。下面，笔者在自补图计数理论‘33的基础上，给出了标准型矩阵的定义，这为判断一个 1由蹙否为自补图以及2个图是否同构提供了重要思路，并最终解决了同构图判定中计算量过大的问题。 ¨、图的标准型矩阵 ．eO[一a周矩阵的标准型定义如下卧‘5]：用和顶点数相等的阶数的方阵来表示自补图，0表示2顶点间无边相 ‘t淫；i主‘表示2顶点间有边相连，并且矩阵的行和列所代表的顶点按照主对角线对称表示。把该矩阵的度序 列按照由大到小的顺序排列，且度序列相等的行(若把一行从左到右看成一个整数的话)排在前面的比排 在后面的大(或小)，所有符合这样的要求的矩阵中的最大(或最小)者。 上述定义的标准型矩阵为判断一个图是否为自补图以及是否为不同构的自补图提供了方便。因为对于 。疵个给定的自补图，由整数的良序性质可知，其所对应的标准型矩阵是唯一的，通过对其标准型矩阵进行 比较立即可以得出它们是否为不同构的自补图。另外，在判断一个图对应的矩阵是否为自补图的遍历方面 妒也提供了方便。依据上述标准，只需对所有度序列相等的结点的顺序作全遍历即可，则要大大减少了遍历 的次数，从而提高程序的执行效率。 2 4n阶和4n+1阶自补图的构造 2．I 4n阶自补图的构造 7。 数i，使得dl=d7l，d2一d7z，…，d卜1一d7H，di≤d7；，则称7【1小于7c 定理1一个单调递减的图序列兀一(铆，，移：，…，蕾。)是可自补度序列的充要条件丌是相配的。 定理2 设7c一(d。，d。，…，d。)，P三0，1(mod4)是一个非负递增的整数序列并且满足d；+d升。一。= r 元一(孑，，一d。，…，孑。)满足不等式乏：万i≥r2，r=1，2，…，扎。 二了 1)4，z阶可自补度序列的构造下面给出可自补度序列构造的步骤： Stepl [收稿日期]2013一05—14 [基金项目]四川省教育厅一般项目(12ZB086)。 [作者简介]舒涛(1980一)，男，硕士，讲师。现主要从事计算机应用、计算机网络方面的教学与研究工作。 万方数据 第10卷第22期 舒涛等：基于标准型矩阵的自补图构造方法 ·7‘ Step2应用定理1，把亓一(孑。，d一。，…，孑。)全部计算出来。 Step3应用定理2，求出每个亓对应的可白补度序列7【。 2)4n阶自补图的构造步骤4n阶自补图的构造包括2个步骤，具体内容如下[6]。 Stepl构造4n阶的全部可自补度序列。 对每个可自补度序列，构造出与其对应的全部自