# Problema del menaje

En combinatoria, el problema del menaje o problema de las parejas de comensales consiste en determinar el número de maneras diferentes en las que es posible sentar a un grupo de parejas de hombres y mujeres en una mesa de comedor redonda para que se alternen hombres y mujeres y nadie se siente al lado de su pareja. Este problema fue formulado en 1891 por Édouard Lucas e independientemente, unos años antes, por Peter Guthrie Tait en relación con la teoría de nudos. Para un número de parejas igual a 3, 4, 5, ... el número de maneras distintas de sentarlas es:
    12, 96, 3120, 115200, 5836320, 382072320, 31488549120, ... (sucesión A059375 en OEIS).
Los matemáticos han desarrollado fórmulas y relaciones de recurrencia para calcular estos números y las secuencias de números relacionadas. Junto con sus aplicaciones a la etiqueta y la teoría de nudos, estos números también tienen una interpretación en la teoría de grafos: cuentan los números de emparejamientos y de ciclos hamiltonianos en ciertas familias de grafos.

## Fórmula de Touchard

Sea M$_n$ el número de posibles distribuciones de asientos para n parejas.Touchard (1934) obtuvo la fórmula
    $M_{n}=2\cdot n!\sum _{k=0}^{n}(-1)^{k}{\frac {2n}{2n-k}}{2n-k \choose k}(n-k)!.$
Gran parte del trabajo posterior se ha centrado en pruebas alternativas para esta fórmula y en varias versiones generalizadas del problema.
Mediante el se dispone de
Una fórmula umbral diferente que involucra a los polinomios de Chebyshov de primera especie fue dada por Wyman y Moser (1958) para M$_n$.

## Números de menaje y soluciones para damas primero

Hay 2×n! maneras de sentar a las mujeres: hay dos juegos de asientos que se pueden disponer para las mujeres, y hay n! maneras de sentarlas en un conjunto particular de asientos. Para cada disposición de asientos de las mujeres, hay
    $A_{n}=\sum _{k=0}^{n}(-1)^{k}{\frac {2n}{2n-k}}{2n-k \choose k}(n-k)!$
formas de sentar a los hombres; esta fórmula simplemente omite el factor 2×n! de la fórmula de Touchard. Los números más pequeños resultantes (de nuevo, a partir de n = 3), son
    1, 2, 13, 80, 579, 4738, 43387, 439792, ... (sucesión A000179 en OEIS)
y se llaman números de menaje. El factor ${\frac {2n}{2n-k}}{2n-k \choose k}$ es el número de maneras de formar k pares no superpuestos de asientos adyacentes o, de manera equivalente, el número de emparejamientos de k vínculos en un grafo ciclo de 2n vértices. La expresión para A$_n$ es el resultado inmediato de aplicar el principio de inclusión-exclusión a disposiciones en las que se requiere que las personas sentadas en los extremos de cada vínculo sean los miembros de una de las parejas de invitados.
Hasta el trabajo de Bogart y Doyle (1986), las soluciones al problema del menaje consistían en encontrar primero todas las disposiciones de asientos para las mujeres y luego contar, para cada una de estas disposiciones de asientos parciales, el número de formas de completarlas sentando a los hombres lejos de sus parejas. Bogart y Doyle argumentaron que la fórmula de Touchard puede derivarse directamente al considerar todas las disposiciones de asientos a la vez en lugar de descartar la participación de las mujeres. Sin embargo,Kirousis y Kontogeorgiou (2018) encontró la solución aún más sencilla de dar prioridad a las mujeres descrita anteriormente al hacer uso de algunas de las ideas de Bogart y Doyle (aunque se cuidaron de reformular el argumento en un lenguaje sin género).
Los números de menaje satisfacen la relación de recurrencia
    $A_{n}=nA_{n-1}+{\frac {n}{n-2}}A_{n-2}+{\frac {4(-1)^{n-1}}{n-2}}$
y la recurrencia más simple de cuatro términos
    $\displaystyle A_{n}=nA_{n-1}+2A_{n-2}-(n-4)A_{n-3}-A_{n-4},$
a partir de la cual se pueden calcular fácilmente los propios números de menaje.

## Interpretaciones en teoría de grafos

Las soluciones al problema del menaje pueden interpretarse en términos de la teoría de grafos, como grafos de corona con ciclos hamiltonianos dirigidos. Un grafo de corona se forma eliminando un emparejamiento perfecto de un grafo bipartito completo K$_{n,n}$; tiene 2n vértices de dos colores, y cada vértice de un color está conectado a todos menos uno de los vértices del otro color. En el caso del problema del menaje, los vértices del grafo representan hombres y mujeres, y las aristas representan parejas de hombres y mujeres que pueden sentarse uno al lado del otro. Este grafo se forma eliminando la combinación perfecta formada por las parejas hombre-mujer de un grafo bipartito completo que conecta a cada hombre con cada mujer. Cualquier disposición de asientos válida puede describirse mediante la secuencia de personas en orden alrededor de la mesa, que forma un ciclo hamiltoniano en el grafo. Sin embargo, dos ciclos hamiltonianos se consideran equivalentes si conectan los mismos vértices en el mismo orden cíclico independientemente del vértice inicial, mientras que en el problema del menaje la posición inicial se considera significativa: si, como en la fiesta del té de Alicia en el país de las maravillas, todos los invitados cambian sus posiciones en un asiento, se considera una disposición de asientos diferente aunque esté descrita por el mismo ciclo. Por lo tanto, el número de ciclos hamiltonianos orientados en un grafo de corona es menor por un factor de 2n que el número de disposiciones de asientos, pero mayor por un factor de (n − 1)! que los números de menaje. La secuencia de números de ciclos en estos grafos (como antes, comenzando en n = 3) es
    2, 12, 312, 9600, 416880, 23879520, 1749363840, ... (sucesión A094047 en OEIS).
También es posible una segunda descripción teórica de grafos del problema. Una vez que las mujeres se han sentado, las posibles disposiciones de asientos para los hombres restantes se pueden describir como emparejamientos perfectos en un grafo formado al eliminar un solo ciclo hamiltoniano de un grafo bipartito completo; el grafo tiene aristas que conectan los asientos restantes con los hombres, y la eliminación del ciclo corresponde a prohibir a los hombres sentarse en cualquiera de los asientos libres adyacentes a sus esposas. El problema de contar coincidencias en un grafo bipartito, y por lo tanto a fortiori el problema de calcular números de menaje, puede resolverse utilizando los permanentes de ciertas matrices formadas por 0-1. En el caso del problema del menaje, la matriz que surge de esta vista del problema es la matriz circulante en la que todos los elementos adyacentes de la fila generadora excepto dos son iguales a 1.

## Teoría de nudos

La motivación de Tait para estudiar el problema del menaje provino de tratar de encontrar una lista completa de nudos matemáticos con un número de cruces dado, como por ejemplo n. En la notación de Dowker para diagramas de nudos, una forma temprana utilizada por Tait, los puntos 2n donde un nudo se cruza a sí mismo, en orden consecutivo en el nudo, están etiquetados con los números 2n del 1 a 2n. En un diagrama reducido, las dos etiquetas en un cruce no pueden ser consecutivas, por lo que el conjunto de pares de etiquetas en cada cruce, usado en la notación de Dowker para representar el nudo, puede interpretarse como una coincidencia perfecta en un grafo que tiene un vértice para cada número en el rango de 1 a 2n y una arista entre cada par de números que tiene diferente paridad y no son consecutivos módulo 2n. Este grafo se forma eliminando un ciclo hamiltoniano (conectando números consecutivos) de un grafo bipartito completo (conectando todos los pares de números con diferente paridad), por lo que tiene un número de coincidencias igual a un número de menaje. Para nudos alternos, esta coincidencia es suficiente para describir el diagrama de nudos en sí; para otros nudos, se debe especificar un signo positivo o negativo adicional para cada par de cruces con el fin de determinar cuál de los dos hilos del cruce se encuentra por encima del otro hilo.
Sin embargo, el problema del listado de nudos tiene algunas simetrías adicionales que no están presentes en el problema del menaje: se obtienen diferentes notaciones de Dowker para el mismo diagrama de nudos si se comienza el etiquetado en un punto de cruce diferente, y todas estas notaciones diferentes deben contarse como que representan el mismo diagrama. Por esta razón, dos coincidencias que difieren entre sí por una permutación cíclica deben tratarse como equivalentes y contarse solo una vez.Gilbert (1956) resolvió este problema de enumeración modificado, mostrando que el número de coincidencias diferentes es
    1, 2, 5, 20, 87, 616, 4843, 44128, 444621, ... (sucesión A002484 en OEIS).