[论文解读] One-variable word equations in linear time

Artur Jeż|arXiv (Cornell University)|Feb 14, 2013

Natural Language Processing Techniques参考文献 2被引用 6

一句话总结

本文提出了一种基于重压缩技术的线性时间算法，用于求解单变量字方程，通过确定性地压缩子串和变量来高效验证可满足性。主要贡献是在RAM模型下实现O(n)的时间复杂度，优于先前的复杂度界限，并与该问题的最佳已知复杂度相匹配。

ABSTRACT

In this paper we consider word equations with one variable (and arbitrary many appearances of it). A recent technique of recompression, which is applicable to general word equations, is shown to be suitable also in this case. While in general case it is non-deterministic, it determinises in case of one variable and the obtained running time is O(n + #_X log n), where #_X is the number of appearances of the variable in the equation. This matches the previously-best algorithm due to Dąbrowski and Plandowski. Then, using a couple of heuristics as well as more detailed time analysis the running time is lowered to O(n) in RAM model. Unfortunately no new properties of solutions are shown.

研究动机与目标

• 开发一种高效算法来求解单变量字方程，该问题已知属于P类，但此前运行时间次优。
• 通过消除对非均匀模型的依赖，并将时间复杂度优化至RAM模型下的线性时间，弥补现有算法的不足。
• 利用重压缩技术——此前用于语法压缩字符串——将其适配至单变量字方程场景，实现确定性行为。
• 通过启发式方法和精细化分析优化算法，实现线性时间性能，与该问题的最佳已知复杂度一致。

提出的方法

• 将重压缩技术应用于单变量字方程，使用成对压缩（将子串ab替换为新字符）和块压缩（将a^ℓ替换为新字符）。
• 使用局部变量更新：当从X的替换中压缩a^ℓ时，将X更新为X'，使得新替换更短，同时保持正确性。
• 引入基于周期性的测试策略，通过基于gcd的周期检测来验证含变量X的两个表达式是否具有相同的字符串值。
• 使用范围最小值查询（RMQ）和类似后缀数组的结构，高效比较重压缩过程中的子串。
• 通过跳过X自身比较中相同的a^k前缀，在O(1)时间内完成，将成本分配给先前的测试，以保持总时间的线性性。
• 使用会计方法界定周期性测试的总时间开销，表明其整体仅贡献O(n)时间。

实验结果

研究问题

• RQ1 重压缩技术能否被适配用于确定性地、线性时间求解单变量字方程？
• RQ2 是否可能在RAM模型下实现单变量字方程的O(n)运行时间，优于O(n + #_X log n)的已有界限？
• RQ3 能否在不增加运行时间的前提下消除对范围最小值查询的依赖？
• RQ4 重压缩方法能否扩展以改进单变量字方程解的数量的复杂度界限？
• RQ5 重压缩方法能否用于加速双变量字方程求解算法？

主要发现

• 通过结合重压缩与启发式优化及详细的时间分析，该算法在RAM模型下实现了O(n)的运行时间。
• 重压缩技术在一般字方程中为非确定性，但在单变量情况下变为确定性，从而支持高效的线性时间处理。
• 候选解的数量被限制在O(log n)以内，算法通过周期性和基于gcd的检查高效测试这些解。
• X与自身比较的代价通过先前操作进行摊销，仅对总时间贡献常数因子。
• 该算法在RAM模型下达到与Dąbrowski和Plandowski（O(n + #_X log n)）相同的最佳已知复杂度，但进一步优化为O(n)。
• 该方法未揭示解的新结构性质，但提供了一种更简单、统一的单变量字方程求解方法。