arXiv subjects

Md. Tanzeem Rahat

Publications and source records attributed to Md. Tanzeem Rahat.

4 recordsLinked to original sources

arXiv2026

The Longest Common Bitonic Subsequence: Match-Sensitive Algorithms and Conditional Hardness

The longest common bitonic subsequence problem asks for a longest common subsequence of two ordered sequences whose values strictly increase and then strictly decrease; either phase may be empty. We formulate the problem through increasing and decreasing endpoint values at matching position pairs. This gives a constructive quadratic baseline and a matchsensitive algorithm based on two standard dominance-maximum passes. Its time is the sum of an input-sorting term and the number of matches times a squared logarithmic factor. We state the endpoint interface that permits reuse of increasing subsequence algorithms, and distinguish this specialization from new range searching machinery. A linear-size padding reduction transfers the conditional strongly subquadratic lower bound for longest common increasing subsequence to the bitonic problem. Reproducible implementations, exhaustive small-instance checks, and newly measured synthetic experiments document correctness and the practical tradeoff between sparse and dense processing.

cs.DS↗

arXiv2026

Competitive Analysis of Online Facility Assignment Algorithms on Discrete Grid Graphs: Performance Bounds and Remediation Strategies

We study the \emph{Online Facility Assignment} (OFA) problem on a discrete $r\times c$ grid graph under the standard model of Ahmed, Rahman, and Kobourov: a fixed set of facilities is given, each with limited capacity, and an online sequence of unit-demand requests must be irrevocably assigned upon arrival to an available facility, incurring Manhattan ($L_1$) distance cost. We investigate how the discrete geometry of grids interacts with capacity depletion by analyzing two natural baselines and one capacity-aware heuristic. First, we give explicit adversarial sequences on grid instances showing that purely local rules can be forced into large competitive ratios: (i) a capacity-sensitive weighted-Voronoi heuristic (\textsc{CS-Voronoi}) can suffer cascading \emph{region-collapse} effects when nearby capacity is exhausted; and (ii) nearest-available \textsc{Greedy} (with randomized tie-breaking) can be driven into repeated long reassignments via an \emph{oscillation} construction. These results formalize geometric failure modes that are specific to discrete $L_1$ metrics with hard capacities. Motivated by these lower bounds, we then discuss a semi-online extension in which the algorithm may delay assignment for up to $τ$ time steps and solve each batch optimally via a min-cost flow computation. We present this batching framework as a remediation strategy and delineate the parameters that govern its performance, while leaving sharp competitive guarantees for this semi-online variant as an open direction.

cs.DS↗

arXiv2026

Expected Cost of Greedy Online Facility Assignment on Regular Polygons (v3)

We study a greedy online facility assignment process on a regular $n$-gon, where unit-capacity facilities occupy the vertices and customers arrive sequentially at uniformly random locations on polygon edges. Each arrival is irrevocably assigned to the nearest currently free facility under the shortest edge-walk metric, with uniform tie-breaking among equidistant choices. Our main theoretical result is an exact value-function characterization: for every occupancy state $S\subseteq V$, the expected remaining cost $V(S)$ satisfies a finite-horizon integral recurrence obtained by conditioning on the random arrival edge and position. To make this recurrence computationally effective, we exploit dihedral symmetry of the regular polygon and show that $V(S)$ is invariant under rotations and reflections, enabling canonicalization and symmetry-reduced dynamic programming. For small $n$, we evaluate the recurrence accurately using deterministic numerical integration over piecewise-linear distance regions,; for larger $n$, we estimate the expected total cost via direct Monte Carlo simulation of the online process and report $95\%$ confidence intervals. Our computations validate the recurrence (including a closed-form check for the square, $n=4$) and indicate that the total expected cost increases with $n$, while the per-customer expected travel distance grows gradually as remaining free vertices become farther on average. \keywords{Online algorithms \and Facility assignment \and Expected cost \and Regular polygons \and Symmetry reduction \and Monte Carlo}

cs.DS↗

arXiv2026

Permutation Matching Under Parikh Budgets: Linear-Time Detection, Packing, and Disjoint Selection

We study permutation (jumbled/Abelian) pattern matching over a general alphabet $Σ$. Given a pattern P of length m and a text T of length n, the classical task is to decide whether T contains a length-m substring whose Parikh vector equals that of P . While this existence problem admits a linear-time sliding-window solution, many practical applications require optimization and packing variants beyond mere detection. We present a unified sliding-window framework based on maintaining the Parikh-vector difference between P and the current window of T , enabling permutation matching in O(n + σ) time and O(σ) space, where σ = |Σ|. Building on this foundation, we introduce a combinatorial-optimization variant that we call Maximum Feasible Substring under Pattern Supply (MFSP): find the longest substring S of T whose symbol counts are component-wise bounded by those of P . We show that MFSP can also be solved in O(n + σ) time via a two-pointer feasibility maintenance algorithm, providing an exact packing interpretation of P as a resource budget. Finally, we address non-overlapping occurrence selection by modeling each permutation match as an equal-length interval and proving that a greedy earliest-finishing strategy yields a maximum-cardinality set of disjoint matches, computable in linear time once all matches are enumerated. Our results provide concise, provably correct algorithms with tight bounds, and connect frequency-based string matching to packing-style optimization primitives.

cs.DS↗