Dedekind-getal

In de wiskunde is het $n$ -de dedekind-getal $M(n)$ het aantal monotone booleaanse functies met $n$ variabelen. De dedekind-getallen vormen een snel stijgende rij en zijn genoemd naar de Duitse wiskundige Richard Dedekind, die ze in 1897 definieerde. Een equivalente definitie is het aantal antiketens van deelverzamelingen van een verzameling met $n$ elementen of het aantal elementen in een vrije distributieve tralie met $n$ generatoren.

Exacte waarden voor $M(n)$ zijn tot 2023 slechts bekend voor $n\leq 9$ . Nauwkeurige asymptotische schattingen voor $M(n)$ en een exacte uitdrukking als een sommatie, zijn wel bekend. Het probleem van Dedekind om de waarden van $M(n)$ te berekenen, blijft daarentegen moeilijk: er is geen uitdrukking bekend voor $M(n)$ die het mogelijk maakt deze getallen te berekenen met een eindig aantal bewerkingen.

De complexiteit van het algoritme neemt dubbelexponentieel toe. Computertechnologie groeit slechts exponentieel. Het duurde 32 jaar om $M(9)$ – een getal van slechts (!) 42 cijfers – exact te berekenen; het vergt niet alleen een supercomputer maar een steeds complexer algoritme.^[1] Vermoedelijk zou $M(10)$ pas worden gevonden tegen 2044.