El problema de los sombreros y similares.
Un desarreglo de un conjunto de $n$ elementos es una permutación $\sigma$ del conjunto donde ningún elemento queda en su posición original. De forma más formal, si el conjunto es ${1, 2, \dots, n}$, un desarreglo es una biyección $\sigma: {1, \dots, n} \to {1, \dots, n}$ tal que $\sigma(i) \neq i$ para todo $i$. Este concepto es clave en el famoso "Problema de los sombreros", que pregunta: si $n$ personas dejan sus sombreros en un guardarropa y se los regresan al azar, ¿cuál es la probabilidad de que nadie reciba su propio sombrero?
Los desarreglos son una aplicación clásica del Principio de Inclusión-Exclusión (PIE). Aunque contar el total de permutaciones es muy fácil ($n!$), contar permutaciones con restricciones específicas (como evitar puntos fijos) requiere que restes los casos donde hay una coincidencia, vuelvas a sumar los casos donde hay dos, y así te sigas. Esta estructura de suma alternada es la marca característica de la teoría de desarreglos.
Más allá de solo contar, los desarreglos te dan ideas profundas sobre la probabilidad asintótica. Conforme $n$ crece, la probabilidad de que una permutación aleatoria sea un desarreglo se acerca a $1/e$. Este resultado contraintuitivo implica que en un grupo muy grande, la probabilidad de que nadie reciba...