Problem
LCBS asks for a longest common subsequence of two ordered sequences that increases up to a single peak and then decreases, with either phase allowed to be empty.
arXiv ยท revised January 2026
A preprint by Md. Tanzeem Rahat and Md. Manzurul Hasan on exact algorithms for longest common bitonic subsequences.
LCBS asks for a longest common subsequence of two ordered sequences that increases up to a single peak and then decreases, with either phase allowed to be empty.
Bitonic patterns model rise-fall structure in signals, finance, biological sequences, and ordered data. Exact computation becomes difficult when dense dynamic programming scales poorly.
The work combines increasing and decreasing common subsequence structure around common peaks, then develops an instance-sensitive view based on matching pairs.
The paper gives a dense exact baseline and a match-sensitive algorithm using dominance dynamic programming, improving when the number of matches is much smaller than the dense grid.
The key challenge is coordinating the increasing and decreasing halves around peaks while keeping the algorithm sensitive to the actual match structure of the input.