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$.

Niech $N=N_1,N_2,\dots ,N_n$ będzie multizbiorem 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.