[论文解读] Iterative Rounding for the Closest String Problem

Jingchao Chen|arXiv (Cornell University)|May 4, 2007

Algorithms and Data Compression参考文献 11被引用 10

一句话总结

该论文提出了一种针对NP难的最接近字符串问题的多项式时间迭代取整算法，将问题重新表述为整数规划（IP）并利用贪心取整方法求解。该方法在最多3个字符串的情况下，能保证解与最优解相差不超过1，且在实验中频繁找到精确或近似最优解，其速度和可扩展性显著优于现有的分支定界方法。

ABSTRACT

The closest string problem is an NP-hard problem, whose task is to find a string that minimizes maximum Hamming distance to a given set of strings. This can be reduced to an integer program (IP). However, to date, there exists no known polynomial-time algorithm for IP. In 2004, Meneses et al. introduced a branch-and-bound (B & B) method for solving the IP problem. Their algorithm is not always efficient and has the exponential time complexity. In the paper, we attempt to solve efficiently the IP problem by a greedy iterative rounding technique. The proposed algorithm is polynomial time and much faster than the existing B & B IP for the CSP. If the number of strings is limited to 3, the algorithm is provably at most 1 away from the optimum. The empirical results show that in many cases we can find an exact solution. Even though we fail to find an exact solution, the solution found is very close to exact solution.

研究动机与目标

• 为解决现有分支定界方法在最接近字符串问题上计算效率低下的问题，这些方法存在指数时间复杂度。
• 开发一种多项式时间算法，通过在整数规划公式上应用迭代取整，高效逼近最接近字符串。
• 在输入字符串数量限制为3的情况下，提供可证明的近似保证——即解与最优解的差距在1以内。
• 通过实验评估该算法在各种实例中寻找精确或近似精确解的性能。

提出的方法

• 将最接近字符串问题重新表述为整数规划（IP），以捕捉最小化与输入字符串集合最大汉明距离的目标。
• 对IP松弛问题应用贪心的迭代取整技术，逐步将变量固定为整数值，同时保持可行性。
• 在每次迭代中，根据其对目标函数的影响，选择并取整分数值最高的变量，向0或1方向取整。
• 重复取整过程，直到所有变量均为整数值，从而生成原始问题的可行解。
• 该算法旨在保持IP的结构，并确保在多项式时间内收敛。

实验结果

研究问题

• RQ1 迭代取整技术能否有效应用于最接近字符串问题，以实现比现有分支定界方法更快的计算速度？
• RQ2 当输入字符串数量较小时（例如3个），迭代取整方法的近似质量如何？
• RQ3 在实际中，该算法多频繁能找到精确最优解？当未能找到最优解时，解与最优解的接近程度如何？
• RQ4 在特定条件下，能否证明该迭代取整方法能产生与最优解有界距离的解？

主要发现

• 对于输入字符串数不超过3的实例，迭代取整算法可保证解与最优汉明距离的差距不超过1。
• 该算法运行时间在多项式时间内，相较于Meneses等人提出的指数时间分支定界方法具有显著加速。
• 实验结果表明，该算法在许多情况下能频繁找到精确最优解，即使在理论保证不成立时亦如此。
• 当未能找到精确最优解时，解始终非常接近最优，展现出强大的实际性能。