稠密平分子图与表压缩问题的近似算法.pdfVIP

中国科学 A 辑数学 2∞5， 35仍: 745 ,756 745 稠密平分子图与表压缩问题的 近似算法* 徐大Jll 科 (北京工业大学应用数理学院，北京 10∞22) 韩继业 (中国科学院数学与系统科学研究院应用数学研究所，北京附∞80) 杜东雷 (Faculty of Administration, University of New Bruns飞;vick， P. O. Box 4400 , Fredericton, NB E3B 5A3 ,Canada) 搞要 给出两个 NP 问题(稠密平分子图和表压缩)的改进去告近但算法.基于 半定规起 (SDP) 松弛和巧妙的合入技巧，苦先给出辑蜜平分子图问题 (DSP) 的 0.5982- 近叙算法，表压缩问题(TCP) 的 0.5970- 近叙算法.然后，通过增加三角 不等式得到更紧的 SDP 松弛，把前面的比莹分别改进到 0.6243 和 0.6708. 针对 TCP得到的结果改进了篱单贪婪算法的0.5 近似比，自此回答了Anderson 提出的 未解决问题. 关键退 稿密平分子11.11可题表压攘问题半定规划 近似比 1 主 i 言 我们考虑两个相关的NP 问题z 事毒密平分子圈问题和表压缩问题，分别定义 如下z 定义1.1(璃密平分子图问题(DSP)) 设G 二 (V， 码是一个无向圈，顶点个数 饥二 IVI 为偶数.对边定义一个对称非负的权函数也:E →Jæ.+我们要寻找一个 顶点个数为n/2 的子集 ScV， 使得自 S 导出的子图的所有权和最大. 2∞5-03-31 收稿 *国家自然科学基金(批准号， 101711邸， 10271∞2， 和北京工业大学博士科研 启动基金及NSERC 基金 资助项目 时 E-mail: xudc@ SCIENCE IN CHINA Ser. A Mathematics 746 中国科学 A辑数学 第35 卷 DSP 可以化为下面的二次整数规如=定义二值变量工:如果￡ ε5，同= 1 ，否 则取-1， maxiZM+zz+23÷Mj) ij 、 飞 ， / ， 霉 飞 、 tA S.t. LXj 斗， x; - 1, j = 1, . . . , n j=l 定义 1.2(表压缩!可题 (TCP)) 设忡， B， E) 是一个二部图，其中 IAI = IBI = n 归是偶数). A 和B是两个分离的顶点集合，边集E 中的边只连结A 和B 中的 点.对边定义一个对称非负的权画数 W: E →lR+我们要寻找两个子集 A C A 1 和 B C B， 使得(A1 ， BI) 之间的权和，即艺。， j) εE喧任A ，jξB Wij 达到最大，并旦 1