一种新的改进的判定图同构的遗传算法.pdfVIP

第33卷第1期 云南师范大学学报 V01．33No．1 ofYunnanNormal 2013年1月 Journal University Jan．2013 一种新的改进的判定图同构的遗传算法。 金雄伟， 梁立 (云南师范大学信息学院，云南昆明650500) 摘要： 针对判定图同构的遗传算法存在收敛速度慢和误断率高的问题，提出了一种新的改进的判定 图同构的遗传算法。算法设计了新的适应值函数，通过设计交叉算子避免亲近繁殖，设计变异算子对变 异的无方向性进行优化。实验表明，新算法具有合理性和高效性。 关键词：图同构；遗传算法；遗传算子 0050—06 中图分类号：TP311．13文献标志码：A 文章编号： 1007--9793{2013)01 1 引 言 判定图的同构问题是图论基本问题之一，但是要判断两个图是否同构却并不容易。迄今为止，没有 人证明过图的同构判定是否是NPC问题[1]，虽然大多数学者认为它是NPC问题。显然图同构判定问 题是NP问题，研究图同构判定算法是很重要的。 如今，图的同构判定问题不再只是一个理论问题，而是一个有着非常广泛应用的实际问题，图的同 构判定问题主要应用在工程设计、机械设计、模式识别、电路设计等领域[2]．穷举法简单但复杂度太高 0(以!)，实际应用是不可行的。 智能算法对求解空间很大的NP问题有很大的优势。作为一种智能算法，有人将遗传算法用于图 的同构判定中‘3I，取得了较好的成果，但是遗传算法依然存在容易陷入局部最优、早熟、误断率高等缺 陷。对此，本文提出了一种改进的用于图同构判定的遗传算法，算法对适应值函数和交叉算子、变异算 子进行了设计。实验表明，算法在全局搜索的性能和收敛速度两个方面都取得了比较好的结果。 2图同构概念 厂(训)相邻，记为G兰H。简单来说，就是两图的结构完全相同或两图只是顶点编号不同‘4。． 根据图同构的定义，可知G与H同构的充要条件是存在一个置换矩阵P，使P’M(G)P—M(H)成 7为P的转置矩阵。 立。其中M(G)和M(H)分别为图G和H的邻接矩阵，P *收稿Ft期：2012—11—27 基金项目：国家自然科学基金资助项目 作者简介：金雄伟(1987--)，男，湖北仙桃人，硕士研究生，主要从事图论算法方面研究． 通信作者：梁立(1965--)，男，重庆潼南人，教授，主要从事智能决策支持系统、图论方面研究 万方数据 第1期 金雄伟，等：一种新的改进的判定图同构的遗传算法 ·51· 例1：图G与H如图1所示。 y )，1 (G)(H) 图1两个同构图G与H H Two Gand Fig．1 IsomorphicGraphs 图1中图G和H的邻接矩阵分别为 0111 0O11 1010 OO11 M(G)一 M(H)一 1101 110