首先OV (至于 OV 是什么, 待会再说) 被规约到了这个问题, 说明这个问题可能很难有n2−ϵ的算法. 但它的难度不止于此, 进一步地, (Abboud, Dueholm, Vassilevska, Williams, 2016) 证明了: 存在一个常数M, 如果 LCS 存在O(n2/(logn)M)的算法, 那么NEXP⊄NC1. 由于现在认为NC1很强, 这个结论...