English

Beyond the Longest Letter-duplicated Subsequence Problem

Data Structures and Algorithms 2022-01-05 v2 Computational Complexity

Abstract

Given a sequence SS of length nn, a letter-duplicated subsequence is a subsequence of SS in the form of x1d1x2d2xkdkx_1^{d_1}x_2^{d_2}\cdots x_k^{d_k} with xiΣx_i\in\Sigma, xjxj+1x_j\neq x_{j+1} and di2d_i\geq 2 for all ii in [k][k] and jj in [k1][k-1]. A linear time algorithm for computing the longest letter-duplicated subsequence (LLDS) of SS can be easily obtained. In this paper, we focus on two variants of this problem. We first consider the constrained version when Σ\Sigma is unbounded, each letter appears in SS at least 6 times and all the letters in Σ\Sigma must appear in the solution. We show that the problem is NP-hard (a further twist indicates that the problem does not admit any polynomial time approximation). The reduction is from possibly the simplest version of SAT that is NP-complete, (2,1,3)(\leq 2,1,\leq 3)-SAT, where each variable appears at most twice positively and exact once negatively, and each clause contains at most three literals and some clauses must contain exactly two literals. (We hope that this technique will serve as a general tool to help us proving the NP-hardness for some more tricky sequence problems involving only one sequence -- much harder than with at least two input sequences, which we apply successfully at the end of the paper on some extra variations of the LLDS problem.) We then show that when each letter appears in SS at most 3 times, then the problem admits a factor 1.5O(1n)1.5-O(\frac{1}{n}) approximation. Finally, we consider the weighted version, where the weight of a block xidi(di2)x_i^{d_i} (d_i\geq 2) could be any positive function which might not grow with did_i. We give a non-trivial O(n2)O(n^2) time dynamic programming algorithm for this version, i.e., computing an LD-subsequence of SS whose weight is maximized.

Keywords

Cite

@article{arxiv.2112.05725,
  title  = {Beyond the Longest Letter-duplicated Subsequence Problem},
  author = {Wenfeng Lai and Adiesha Liyanage and Binhai Zhu and Peng Zou},
  journal= {arXiv preprint arXiv:2112.05725},
  year   = {2022}
}

Comments

18 pages

R2 v1 2026-06-24T08:12:44.056Z