有向图的广义支配集及其求解算法-山东大学学报理学版.PDFVIP

　第４８卷　第８期 山　东　大　学　学　报　（理　学　版） ２０１３年８月　 　 　 　 　 　 　Ｖｏｌ．４８　 Ｎｏ．８　 　 　 　 　 ＪｏｕｒｎａｌｏｆＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ（ＮａｔｕｒａｌＳｃｉｅｎｃｅ） Ａｕｇ．２０１３　 　文章编号：１６７１９３５２（２０１３）０８００１８０３　　　ＤＯＩ：１０６０４０／ｊ．ｉｓｓｎ．１６７１９３５２０２０１３００１ 有向图的广义支配集及其求解算法 郭仪昊，许少亚 （中国矿业大学理学院，江苏 徐州２２１１１６） 摘要：定义了有向图的广义支配数，确定了无圈有向图以及一般有向图的广义支配集及其求解算法。 关键词：有向图；广义支配集；算法 中图分类号：Ｏ１５７５　　　文献标志码：Ａ Ｇｅｎｅｒａｌｉｚｅｄｄｏｍｉｎａｔｉｎｇｓｅｔｏｆｄｉｇｒａｐｈｓａｎｄｉｔｓａｌｇｏｒｉｔｈｍ ＧＵＯＹｉｈａｏ，ＸＵＳｈａｏｙａ （ＣｏｌｌｅｇｅｏｆＳｃｉｅｎｃｅ，ＣｈｉｎａＵｎｉｖｅｒｓｉｔｙｏｆＭｉｎｉｎｇａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｘｕｚｈｏｕ２２１１１６，Ｊｉａｎｇｓｕ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｈｅｇｅｎｅｒａｌｉｚｅｄｄｏｍｉｎａｔｉｎｇｓｅｔｏｆｄｉｇｒａｐｈｓｉｓｄｅｆｉｎｅｄ，ａｎｄｇｅｎｅｒａｌｉｚｅｄｄｏｍｉｎａｔｉｎｇｓｅｔｏｆｄｉｇｒａｐｈｓａｎｄｉｔｓａｌ ｇｏｒｉｔｈｍａｒｅｄｅｔｅｒｍｉｎｅｄ． Ｋｅｙｗｏｒｄｓ：ｄｉｒｅｃｔｅｄｇｒａｐｈｓ；ｇｅｎｅｒａｌｉｚｅｄｄｏｍｉｎａｔｉｎｇｓｅｔ；ａｌｇｏｒｉｔｈｍ ０　引言 本文研究的是顶点个数和边数都为有限值的有向图，允许存在重边或对称边。没有介绍的概念参考文 献［１］。 称有序三维数组（Ｖ（Ｄ），Ａ（Ｄ）， ）为有向图，其中，非空集合 Ｖ（Ｄ）为顶点集，它包含的元素为顶点； ψ Ｄ 集合Ａ（Ｄ）为弧集，它包含的元素为弧（或有向边）；函数 使得Ｄ的每一条弧对应一个有序顶点对。 ψ Ｄ 称能表示图顶点之间相邻关系的矩阵为图的邻接矩阵。记为Ａ′（Ｄ）＝［ａ］，其中ａ是连接ｖ和ｖ的 ｉｊ ｉｊ ｉ ｊ 边的数目。 如果ａ是一条弧，ｕ和ｖ是两个顶点，且满足 （ａ）＝（ｕ，ｖ），那么，称ａ连接ｕ和ｖ，ｕ为ａ的起点，ｖ为 ψ Ｄ ａ的终点。 － 设ｖ是Ｄ的顶点，称以ｖ为终点的弧的条数为ｖ的入度，记为ｄ（ｖ）；同样，称以ｖ为起点的弧的条数为 Ｄ ＋ ｖ的出度，记为ｄ（ｖ）。 Ｄ 如果有序顶点序列ｐ＝ｖｖ…ｖ的顶点各不相同，且存在从ｖ到ｖ 的弧，ｉ＝１，…，ｋ－１，则称ｐ是长为 １ ２ ｋ ｉ ｉ＋１ ｋ－１的有向（ｖ，ｖ）路，ｖ为ｐ的起点，ｖ为ｐ的终点。 １ ｋ １ ｋ 如果ｐ＝ｖｖ…ｖ和ｐ＝ｖ ｖ …ｖ 的顶点各不相同，且存在从