Twierdzenie Mateusza Morawieckiego

Twierdzenie Mateusza Morawieckiego - jedno z ważniejszych teorii matematyczno-informatycznych, powstałe w 2010 roku po Nominacji Bronisława Komorowskiego. Jego głównym założeniem jest rozprzestrzenianie się chaosu głównie w nieliniowych układach różniczkowych i różnicowych w arytmetyce przedziałowej.

Treść twierdzenia

Niech:

• $E=\{E_1,E_2,\dots ,E_n\}$ oznacza zbiór wszystkich $n$ klas równoważności zbioru danych $D$.
• $N=\{N_1,N_2,\dots ,N_n\}$ oznacza multizbiór liczności rekordów w odpowiadających im klasach $E_1,E_2,\dots ,E_n$.

Wówczas, jeśli $k\le \min (N)$, to zbiór danych $D$ jest $k$-anonimowy.