New sublinear algorithms and lower bounds for LIS estimation

Ilan Newman, Nithin Varma

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Estimating the length of the longest increasing subsequence (LIS) in an array is a problem of fundamental importance. Despite the significance of the LIS estimation problem and the amount of attention it has received, there are important aspects of the problem that are not yet fully understood. There are no better lower bounds for LIS estimation than the obvious bounds implied by testing monotonicity (for adaptive or nonadaptive algorithms). In this paper, we give the first nontrivial lower bound on the complexity of LIS estimation, and also provide novel algorithms that complement our lower bound. Specifically, we show that for every ∈ ∈ (0, 1), every nonadaptive algorithm that outputs an estimate of the LIS length in an array of length n to within an additive error of ∈n has to make logΩ(log(1/∈)) n queries. Next, we design nonadaptive LIS estimation algorithms whose complexity decreases as the number of distinct values, r, in the array decreases. We first present a simple algorithm that makes Õ (r/∈3) queries and approximates the LIS length with an additive error bounded by ∈n. This algorithm has better complexity than the best previously known adaptive algorithm (Saks and Seshadhri; 2017) for the same problem when r ≪ poly log(n). We use our algorithm to construct a nonadaptive algorithm with query complexity Õ(√r · poly(1/λ)) that, when the LIS is of length at least λn, outputs a multiplicative Ω(λ)-approximation to the LIS length. Our algorithm improves upon the state of the art nonadaptive LIS estimation algorithm (Rubinstein, Seddighin, Song, and Sun; 2019) in terms of the approximation guarantee. Finally, we present a O(log n)-query nonadaptive erasure-resilient tester for monotonicity. Our result implies that lower bounds on erasure-resilient testing of monotonicity does not give good lower bounds for LIS estimation. It also implies that nonadaptive tolerant testing is strictly harder than nonadaptive erasure-resilient testing for the natural property of monotonicity.

Original languageEnglish
Title of host publication48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
EditorsNikhil Bansal, Emanuela Merelli, James Worrell
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959771955
StatePublished - 1 Jul 2021
Event48th International Colloquium on Automata, Languages, and Programming, ICALP 2021 - Virtual, Glasgow, United Kingdom
Duration: 12 Jul 202116 Jul 2021

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
ISSN (Print)1868-8969


Conference48th International Colloquium on Automata, Languages, and Programming, ICALP 2021
Country/TerritoryUnited Kingdom
CityVirtual, Glasgow

Bibliographical note

Publisher Copyright:
© 2021 Ilan Newman and Nithin Varma.


  • Distance estimation
  • Longest increasing subsequence
  • Monotonicity
  • Sublinear algorithms

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'New sublinear algorithms and lower bounds for LIS estimation'. Together they form a unique fingerprint.

Cite this