Minimal superpermutation length $L(8)$

The length of the shortest string that contains each permutation of $8$ symbols as a contiguous substring.

Lower bound: $46085$ (46,085)
Upper bound: $46205$ (46,205)

Verified bounds

Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.

Updates from the literature