A polynomial-time factor-2 approximation for shortest common superstring (the question behind the Tarhio-Ukkonen greedy conjecture)

Lineage and corrections

VibeMathed record: A polynomial-time factor-2 approximation for shortest common superstring (the question behind the Tarhio-Ukkonen greedy conjecture) evidence for this event

Lean statement: Superstring.lean (comparator challenge) evidence for this event

Lean proof: OAI/Computability/Superstring/Main.lean evidence for this event

This event attributed to Unreleased internal OpenAI model

A polynomial-time factor-2 approximation for shortest common superstring (the question behind the Tarhio-Ukkonen greedy conjecture) parent of this event

Theorem 1.1: a deterministic algorithm, polynomial in the total encoded input size (including symbol labels), outputs for every finite family of explicitly represented strings a common superstring $T$ with $|T|\le2\,\mathrm{OPT}$. The proof builds a balanced hierarchical graph on all substrings from forced occurrence counts (a lower bound $W$ on the optimum), decomposes it into periodic layers and connects them at extra cost at most $W$. It does not show that Greedy or the Collapsing procedure attains factor 2 (Greedy is reported false by Shibata 2026), and gives nothing below factor 2. An August 2026 preprint of Chukhin, Kulikov, Mihajlin and Smal reported $7/3$. parent of this event

A polynomial-time factor-2 approximation for shortest common superstring (the question behind the Tarhio-Ukkonen greedy conjecture) evidence for this event

Tarhio and Ukkonen, A greedy approximation algorithm for constructing shortest common superstrings (1988) evidence for this event