Abstract:The longest common bitonic subsequence (LCBS) of two sequences A and B is the longest subsequence that increases to a single peak and then decreases while appearing, in order, in both inputs. Although LCBS naturally models rise-fall patterns in bioinformatics, finance, and signal analysis, the only previously documented solution was a quadratic dynamic program that needs {\theta}(nm) time and space. We show that this space barrier is not inherent: a refined rolling-row implementation evaluates the same recurrence in {\theta}(nm) time with only {\theta}(min(n, m)) additional memory. By isolating the M symbol matches and their C bitonic-compatible pairs, we…
Abstract:The longest common bitonic subsequence (LCBS) of two sequences A and B is the longest subsequence that increases to a single peak and then decreases while appearing, in order, in both inputs. Although LCBS naturally models rise-fall patterns in bioinformatics, finance, and signal analysis, the only previously documented solution was a quadratic dynamic program that needs {\theta}(nm) time and space. We show that this space barrier is not inherent: a refined rolling-row implementation evaluates the same recurrence in {\theta}(nm) time with only {\theta}(min(n, m)) additional memory. By isolating the M symbol matches and their C bitonic-compatible pairs, we cast LCBS as a longest-path problem in a sparse DAG and solve it in O((n + m) log n + M log M) time and O(M) space, which is asymptotically faster than the quadratic baseline whenever M << n m. These results make exact LCBS computation practical for inputs that were previously out of reach and expose a new fine-grained complexity landscape that invites further exploration.
| Comments: | 12 pages, 2 figres, In the process of submission to 37th Annual Symposium on Combinatorial Pattern Matching |
| Subjects: | Data Structures and Algorithms (cs.DS) |
| Cite as: | arXiv:2511.08958 [cs.DS] |
| (or arXiv:2511.08958v1 [cs.DS] for this version) | |
| https://doi.org/10.48550/arXiv.2511.08958 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Md. Tanzeem Rahat [view email] [v1] Wed, 12 Nov 2025 04:02:48 UTC (229 KB)