5 votos

Inyección biyectiva entre derangements y permutaciones buenas

Una buena permutación es una permutación de los números $1$ a $n$, tal que $i$ no es seguido por $i+1$ en ninguna posición de la permutación, para cualquier $i \in \left\{1,2,\ldots,n-1\right\}$. Llama al número de tales permutaciones $S(n)$.

Además, $D(n)$ es el número de derangements de $\left\{1,2,\ldots,n\right\}$.

Se me pide mostrar que $S(n) = D(n) + D(n-1)$.

Nota que una solución algebraica es posible, pero necesito un argumento combinatorio es decir, mostrando bijecciones entre los dos conjuntos.

2 votos

¿Por qué necesitas algo así?

0 votos

@MarianoSuárez-Alvarez Las demostraciones biyectivas/combinatorias de identidades como estas suelen dar más ideas sobre el problema en cuestión, en comparación con una solución algebraica. Yo, por supuesto, necesito esto para una tarea ;) (Pero no te preocupes, ¡he pensado lo suficiente antes de publicar aquí! :) )

0 votos

Esta pregunta ha sido re-formulada y una respuesta se da en la nueva pregunta.

3voto

DiGi Puntos 1925

Esto de hecho no funciona; ver los comentarios. Luego ver las respuestas a esta pregunta.

Pista: Sea $\pi=\pi_1\pi_2\dots\pi_n$ una permutación de $[n]=\{1,\dots,n\}$. Defina un mapa

$$\hat\pi:[n]\to[n]:\pi_k\mapsto\begin{cases} \pi_{k+1}-1,&\text{si }k

$\hat\pi$ es una permutación de $[n]$, y de hecho el mapa $\pi\mapsto\hat\pi$ es una biyección en $S_n$, el conjunto de permutaciones de $[n]$.

Suponga que $\pi$ es buena. Entonces $\hat\pi$ no tiene ningún punto fijo en $[n-1]=\{1,\dots,n-1\}$. ¿Puede completar los detalles y terminar a partir de allí?

0 votos

Puede que me equivoque, Brian, pero creo que el resto es la parte más difícil. (Por supuesto, el OP no ha respondido a tu pista, tampoco).

0 votos

Suena bien. ¡Gracias :)

0 votos

@Anvit: De nada.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X