最大简单共享问题的快速近似算法（及指南.docVIP

最大简单共享问题的快速近似算法(? 李 建 1+, 张 韬1, 谢之易1, 朱 洪1 1(复旦大学 计算机科学与工程系,上海 200433) An Efficient Approximation Algorithm for Maximum Simple Sharing Problem LI Jian1+, ZHANG Tao1, XIE Zhi-Yi1, ZHU Hong1 1(Department of Computer Science and Engineering, Fudan University, 200433, China) + Corresponding author: Phn: +86-21-5507-5121, Fax: +86-**-****-****, E-mail: lijian83@, /~lijian Received 2006-08-29; Accepted 2007-01-23 Abstract: For many circuit design problems, it is imperative to carefully study the effect of physical implementation constraints. Under some circumstances, it is very difficult to fabricate wire crossings. In this paper, we introduce a crossing elimination model based on a node duplication method and we want to minimize the number of duplication. We relate it with an artificial problem, called the maximum simple sharing problem. First we prove it is NP-hard, then we show that a simple greedy algorithm can achieve an approximation factor of 3. We then introduce the maximum disjoint simple sharing problem, which is naturally a 2-approximation of the maximum simple sharing problem, and show that it can be solved optimally by reducing to the perfect matching problem in a series of carefully constructed graph. At last, we further improve the approximation factor to 12/7 with a local search technique. Key words: approximation algorithm; crossing elimination; node duplication; NP-hard; maximum simple sharing 摘 要: 对于很多电路设计问题，很多物理实现的限制是必须要仔细研究并处理的。在某些条件下，线路交叉是非常难以实现的。本文中，我们介绍了一种基于复制结点的消除线路交叉的模型，该模型向我们提出了一个优化问题，就是最小化结点复制的数量。我们同时提出一个自定义问题“最大简单共享问题”，并证明最小化结点复制的数量与最大共享问题是等价的。我们证明的最大简单共享问题是NP-hard的，然后我们给出了一个简单的贪心算法，并证明该贪心算法的近似度为3。然后我们引入一个“最大互斥简单共享问题”，该问题是最大简单共享问题的2-近似。我们将其转化为在一系列图上的完美匹配问题，使得该问题可以在多项式时间内完美解决。最后，我们在最大互斥简单共享的基础上，用局部搜索的方法将近似度提高到12/7。 关键词: 近似算法; 线路交叉；结点复制；NP-难；最大简单共享 中图法分类号: ****　　　文献标识码: A 分类号 前言 在一些电路设计问题中，实现线路交叉不是不可能就是非常昂贵。例如在分子级量子元胞机(quantum dot cellular automata，QCA)线路中[1,3,4]，想实现线路交叉对化学家来说是非常困难的事情（至少目前来说）[5]。因为QCA线路的逻辑操作和数据传输是通过库仑作用而不是电流。有大量的关于设