arXiv preprint ·
A Non-constant Lower Bound for Grammar-Based Compression with Greedy
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
We prove a lower bound of Ω(log n/ log log n) on the approximation ratio of the global grammar-based compression algorithm Greedy. To our knowledge, the previously best lower bound was a constant, and the existence of a nonconstant lower bound had remained open for more than twenty years. Our bound holds on an infinite family of words of length n, over alphabets of growing size, for every execution using left-to-right occurrence replacement and arbitrary tie-breaking. The lower bound is also formally verified in Lean 4.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Data Structures & Algorithms
Quiescence in Concert: Composing Multi-Channel Time-Outs for IOCO
Characterizing Language Generation in the Limit: Finite Witnesses and a Separation-Width Hierarchy
Stringological sequence prediction III: layered ziplines and a tradeoff between efficiency and expressivity
Length Generalization for Transformers via Compression
Fast and Robust Temporal Logic Planning via ADMM-based Trajectory Optimization
Get the few papers worth your time in Data Structures & Algorithms every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.