含有全部K元排列的短数列

设n,k都是正整数,k≤n。设函数F(n,k)具有下述性质:存在一个长度为F(n,k)的数列S_(n,k,)对每一个i,1≤i≤k,它的前F(n,i)项以1,2,…,n的全部i元排列为其子数列,并且任何长度小于F(n,k)的数列不再满足这一条件。本文证明了下面的, 定理设1≤k≤n-1,F(n,k)的定义如上所述,则 F(n,k)≤k(n-1) 1-[k/6]-[(k 2)/6]这里[x]表示实数x的整数部分。