稠密k子图问题的双非负松弛-运筹与管理.PDF

第２４卷　第５期 运　 筹　 与 　管　 理 Ｖｏｌ．２４，Ｎｏ．５ ２０１５年 １０月 ＯＰＥＲＡＴＩＯＮＳＲＥＳＥＡＲＣＨＡＮＤＭＡＮＡＧＥＭＥＮＴＳＣＩＥＮＣＥ Ｏｃｔ．２０１５ 　 　 稠密ｋ子图问题的双非负松弛 郭传好，　单而芳 （上海大学 管理学院 管理科学与工程系，上海 ２００４４４） 摘　要：稠密 ｋ子图问题是组合优化里面一类经典的优化问题，其在通常情况下是非凸且 ＮＰ难的。本文给出 了求解该问题的一个新凸松弛方法双非负松弛方法，并建立了问题的相应双非负松弛模型，而且证明了其在一 定的条件下等价于一个新的半定松弛模型。最后，我们使用一些随机例子对这些模型进行了数值测试，测试的 结果表明双非负松弛的计算效果要优于等价的半定松弛。 关键词：组合优化；双非负松弛；半定松弛；稠密 ｋ子图 中图分类号：Ｏ２２１．７　　　文章标识码：Ａ　　　文章编号：１００７３２２１（２０１５）０５０１４４０７ ＤｏｕｂｌｙＮｏｎｎｅｇａｔｉｖｅＲｅｌａｘａｔｉｏｎｆｏｒＤｅｎｓｅｓｔｋｓｕｂｇｒａｐｈＰｒｏｂｌｅｍ ＧＵＯＣｈｕａｎｈａｏ，ＳＨＡＮＥｒｆａｎｇ （ＤｅｐａｒｔｍｅｎｔｏｆＭａｎａｇｅｍｅｎｔＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｃｈｏｏｌｏｆＭａｎａｇｅｍｅｎｔ，ＳｈａｎｇｈａｉＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ ２００４４４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｄｅｎｓｅｓｔｋｓｕｂｇｒａｐｈｐｒｏｂｌｅｍｉｓａｃｌａｓｓｉｃａｌｐｒｏｂｌｅｍｏｆｃｏｍｂｉｎａｔｏｒｉａｌｏｐｔｉｍｉｚａｔｉｏｎ，ｗｈｉｃｈｉｓｎｏｎｃｏｎｖｅｘ ａｎｄＮＰｈａｒｄｉｎｇｅｎｅｒａｌ．Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｐｒｏｐｏｓｅａｎｅｗｃｏｎｖｅｘｒｅｌａｘａｔｉｏｎｍｅｔｈｏｄ，ｉ．ｅ．，ｄｏｕｂｌｙｎｏｎｎｅｇａｔｉｖｅ ｒｅｌａｘａｔｉｏｎｍｅｔｈｏｄ，ｆｏｒｓｏｌｖｉｎｇｔｈｉｓｐｒｏｂｌｅｍ，ａｎｄｅｓｔａｂｌｉｓｈｔｈｅｃｏｒｒｅｓｐｏｎｄｉｎｇｄｏｕｂｌｙｎｏｎｎｅｇａｔｉｖｅｒｅｌａｘａｔｉｏｎｍｏｄｅｌ ｆｏｒｔｈｅｐｒｏｂｌｅｍ．Ｍｏｒｅｏｖｅｒ，ｗｅｐｒｏｖｅｔｈａｔｔｈｅｄｏｕｂｌｙｎｏｎｎｅｇａｔｉｖｅｒｅｌａｘａｔｉｏｎｍｏｄｅｌｉｓｅｑｕｉｖａｌｅｎｔｔｏａｎｅｗｓｅｍｉｄｅｆ ｉｎｉｔｅｒｅｌａｘａｔｉｏｎｍｏｄｅｌｕｎｄｅｒｓｏｍｅｃｏｎｄｉｔｉｏｎｓ．Ｆｉｎａｌｌｙ，ｓｏｍｅｒａｎｄｏｍｅｘａｍｐｌｅｓａｒｅｔｅｓｔｅｄｂｙｔｈｅｓｅｒｅｌａｘａｔｉｏｎｍｏｄ ｅｌｓ．Ｔｈｅｎｕｍｅｒｉｃａｌｒｅｓｕｌｔｓｓｈｏｗｔｈａｔｔｈｅｄｏｕｂｌｙｎｏｎｎｅｇａｔｉｖｅｒｅｌａｘａｔｉｏｎｉｓｍｏｒｅｐｒｏｍｉｓｉｎｇｔｈａｎｔｈｅｃｏｒｒｅｓｐｏｎｄｉｎｇ ｓｅｍｉｄｅｆｉｎｉｔｅｒｅｌａｘａｔｉｏｎ． Ｋｅｙｗｏｒｄｓ：ｃｏｍｂｉｎａｔｏｒｉａｌｏｐｔｉｍｉｚａｔｉｏｎ；ｄｏｕｂｌｙｎｏｎｎｅｇａｔｉｖｅｒｅｌａｘａｔｉｏｎ；ｓｅｍｉｄｅｆｉｎｉｔｅｒｅｌａｘａｔｉｏｎ；ｄｅｎｓｅｓｔｋｓｕｂｇｒａｐｈ ０　引言 对于一个给定的图Ｇ（Ｖ，Ｅ），其中 Ｖ表示图的顶点集，Ｅ表示图的边集．图 Ｇ的稠密 ｋ子图（Ｄｅｎｓｅｓｔ ＫＳｕｂｇｒａｐｈ，简记 ＤｋＳ）问题就是指：对任给一个参数ｋ，寻找图Ｇ中一个具有ｋ个顶点的子图，使得由这ｋ 个顶点所张成的子图的所有边所对应的权和最大．通常 １＜ｋ＜｜Ｖ｜，｜Ｖ｜表示图Ｇ的顶点个数，该问题通常 ［１］ 是 ＮＰ难的．ＤｋＳ问题最初由Ｃｏｒｎｅｉｌ和Ｐｅｒｌ 提出，其也可以视为是最大团（ＭａｘｉｍｕｍＣｌｉｑｕｅ）问题的一种 ［２］ 自然