Número de Dedekind

En combinatoria, los números de Dedekind son una sucesión entera de rápido crecimiento cuyo nombre se dio póstumamente en honor a Richard Dedekind, quien las definió por primera vez en 1897. El número de Dedekind M(n) corresponde, equivalentemente, a lo siguiente: El número de funciones booleanas monótonas de n variables. El número de anticadenas de subconjuntos de un conjunto de n elementos. El número de elementos en un retículo distributivo libre con n generadores. El número de juegos simples irredundantes definibles sobre n jugadores. El número de hipergrafos minimales completos, definibles sobre un conjunto base de cardinalidad n. El número de familias de Sperner sobre un conjunto de n elementos.Encontrar una expresión matemática de forma cerrada para M(n) se conoce como el Problema de Dedekind. Aunque existen aproximaciones asintóticas que estiman este número, y una expresión exacta en forma de sumatoria, el cómputo de M(n) sigue siendo ineficiente, y sus valores exactos sólo se conocen para valores n ≤ 8.