Considere dos listas: $(1,2,\dots,n)$$(a_1,a_2,\dots,a_n)$, donde el segundo de la lista es una permutación de la primera. ¿Existe un constante $c$ tal que para cualquier $n$ y para el segundo de la lista, se puede elegir un subconjunto $A\subseteq\{1,2,\dots,n\}$ del tamaño en la mayoría de los $n/2+c$, de modo que para cualquier prefijo y sufijo de la lista de cualquier longitud $k\in[1,n]$, al menos $k/2$ de los elementos son en $A$?
El $n/2$ es necesario que: incluso si sólo tenemos la lista de $(1,2,\dots,n)$ y requieren de la condición en el prefijo, la hora de tomar $k=n$ tenemos ya necesidad de incluir, al menos, $n/2$ elementos. Si sólo queremos los prefijos y sufijos de la primera lista, podemos optar $A=\{1,3,5,\dots\}$ a lo largo de con $n$ (si no está ya incluido), la que viene en la mayoría de las $n/2+1$ elementos.