Given an alphabet with $n$ characters, what is the shortest sequence that contains all $n!$ permutations as subsequences?


A subsequence can be obtained from a sequence by deleting any characters, thus it's different from a substring, whose elements have to be contiguous in the original sequence. I say this because the similar problem of finding the shortest sequence having all permutations as substrings seems to be more studied, but it's different from what I'm asking here.


Some examples of shortest supersequences:


* $n=2\quad-\quad121$ (length 3)
* $n=3\quad-\quad1213121$ (length 7)
* $n=4\quad-\quad1234123142134$ (length 13 - not proven to be shortest).


It's easy to see that $n^2$ is an upper bound, since a sequence 
$$12\ldots n\, 12\ldots n\, \ldots\, 12\ldots n $$
 ($n$ times) contains all permutations. A simple lower bound is $n(n+1)/2$, basically because 
$$12\ldots n\; 12\ldots (n-1)\; 12\ldots (n-2)\;\ldots $$
 is too short (this can be proven rigorously). Is anything more known about this problem?


The question was asked on [stack exchange](https://math.stackexchange.com/questions/48808/shortest-sequence-containing-all-permutations/48813#48813), but the answer there is far from satisfactory since it gives only a broken link and no reference. 



Shortest supersequence of all permutations of $n$ elements
This seems to be an open problem. It is listed in the OEIS as sequence [A062714](http://oeis.org/A062714), as noted by Ilya. Summarising the most important results:


Let $m$ be the length of such a sequence. Then [Newey](http://infolab.stanford.edu/pub/cstr/reports/cs/tr/73/340/CS-TR-73-340.pdf) (amongst others) describes a simple algorithm to generate them with
$$m = n^2 -2n +4.$$
This is not, however, the best one. [Radomirovic](http://www.combinatorics.org/ojs/index.php/eljc/article/view/v19i4p31) proves that the shortest sequences obey the tighter upper bound of
$$m \le \left\lceil n^2 - \frac73 n + \frac{19}3\right\rceil.$$
A lower bound better than the trivial one shown by OP is given by [Kleitman and Kwiatkowski](http://www.sciencedirect.com/science/article/pii/0097316576900571):
$$m \ge n^2 - C\_\epsilon n^{7/4+\epsilon},$$
for any $\epsilon > 0$.


