Dec, 2014

编辑距离无法在强次二多项式时间内计算(除非 SETH 为假)

TL;DR本文提供了证据表明计算编辑距离的时间复杂度可能是近二次的。具体来说,我们展示了如果编辑距离可以在 O(n2−δ)的时间内计算,则可以在时间 M^{O (1)} 2^{(1−ε) N} 内解决带 N 个变量和 M 个子句的命题范式的满足性问题,这将违反强指数时间假设。