Permutaciones pares contra impares.
La paridad de una permutación es un concepto fundamental en combinatoria y teoría de grupos que le asigna un "signo" ($+1$ o $-1$) a cada permutación de un conjunto finito. Una permutación es un reordenamiento de elementos, y cualquier permutación la puedes descomponer en una secuencia de transposiciones (intercambios de dos elementos). Aunque puedes escribir una permutación específica como un producto de transposiciones de muchísimas formas, la paridad del número de transposiciones que uses es un invariante. Si puedes escribir una permutación con un número par de intercambios, le decimos permutación par; si requiere un número impar, es una permutación impar. Es imposible que una permutación sea par e impar al mismo tiempo.
Este concepto es una herramienta muy potente en "pruebas de imposibilidad" y análisis de invariantes. En las olimpiadas de matemáticas, vas a ver la paridad de las permutaciones muy seguido para determinar si un acertijo tiene solución (como el juego del 15 o subconjuntos del Cubo de Rubik) o para analizar estados en procesos algorítmicos. Si el estado que buscas requiere una permutación par respecto al estado inicial, pero los movimientos permitidos solo generan permutaciones impares (o al revés), entonces ese estado es inalcanzable. El concepto también es la base para definir el determinante en álgebra lineal.
De forma intuitiva, también puedes entender la paridad a través de las