Pith. sign in

REVIEW 5 cited by

Suffixient Sets

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2312.01359 v3 pith:S46JWG5C submitted 2023-12-03 cs.DS

classification cs.DS
keywords suffixsuffixientedgefirstgivenlabelmemsnode
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

We define a suffixient set for a text $T [1..n]$ to be a set $S$ of positions between 1 and $n$ such that, for any edge descending from a node $u$ to a node $v$ in the suffix tree of $T$, there is an element $s \in S$ such that $u$'s path label is a suffix of $T [1..s - 1]$ and $T [s]$ is the first character of $(u, v)$'s edge label. We first show there is a suffixient set of cardinality at most $2 \bar{r}$, where $\bar{r}$ is the number of runs in the Burrows-Wheeler Transform of the reverse of $T$. We then show that, given a straight-line program for $T$ with $g$ rules, we can build an $O (\bar{r} + g)$-space index with which, given a pattern $P [1..m]$, we can find the maximal exact matches (MEMs) of $P$ with respect to $T$ in $O (m \log (\sigma) / \log n + d \log n)$ time, where $\sigma$ is the size of the alphabet and $d$ is the number of times we would fully or partially descend edges in the suffix tree of $T$ while finding those MEMs.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Comprehensive Analysis of Cellular Uplink Performance in a Dense Stadium Deployment

    cs.NI 2026-04 conditional novelty 8.0 of 10

    χ is reachable: every string admits an O(χ)-word substring-equation representation, computable in linear time, disproving the conjecture that χ is not reachable.

  2. Solving Square-Submatrix Equation Systems

    cs.DS 2026-08 conditional novelty 7.0 of 10

    Any system of square-submatrix equality constraints on an m by n matrix can be solved in O(|E|+mn) time, giving optimal O(b+mn) decompression of 2D square macro schemes.

  3. Testing Suffixient Sets

    cs.DS 2025-06 conditional novelty 7.0 of 10

    The authors introduce the SLPR array and use it to verify suffixiency and minimum suffixiency of a position subset in O(n) time.

  4. Smallest Suffixient Sets: Effectiveness, Resilience, and Calculation

    cs.FL 2025-06 unverdicted novelty 7.0 of 10

    The smallest suffixient set size chi is bounded by twice the number of BWT runs, can be at most doubled by reversing the string, and is incomparable with most copy-paste repetitiveness measures.

  5. Patching leaky tunnels in BWTs

    cs.DS 2026-08 conditional novelty 6.0 of 10

    A suffixient-set based index finds maximal exact matches in O(rho_P log m) time plus constant per suffix-tree edge, using O(rho_T + chi) space, when both text and pattern are run-length compressed.

Pith tools