Tackling the Minimal Superpermutation Problem
arXiv:1408.5108
Abstract
A superpermutation on symbols is a string that contains each of the permutations of the symbols as a contiguous substring. The shortest superpermutation on symbols was conjectured to have length . The conjecture had been verified for . We disprove it by exhibiting an explicit counterexample for . This counterexample was found by encoding the problem as an instance of the (asymmetric) Traveling Salesman Problem, and searching for a solution using a powerful heuristic solver.
5 pages