Twierdzenie Mateusza Morawieckiego: Różnice pomiędzy wersjami

Z PUTwiki
Przejdź do nawigacjiPrzejdź do wyszukiwania
Utworzono nową stronę "'''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 <math>E = {E_1, E_2,…"
 
 
Linia 2: Linia 2:


== Treść twierdzenia ==
== Treść twierdzenia ==
Niech <math>E = {E_1, E_2, \ldots, E_n}</math> oznacza zbiór wszystkich <math>n</math> klas równoważności zbioru danych <math>D</math>.
Niech:


Niech <math>N = {N_1, N_2, \ldots, N_n}</math> będzie multizbiorem liczności rekordów w odpowiadających im klasach <math>{E_1, E_2, \ldots, E_n}</math>.
* <math>E = \{E_1, E_2, \ldots, E_n\}</math> oznacza zbiór wszystkich <math>n</math> klas równoważności zbioru danych <math>D</math>.
* <math>N = \{N_1, N_2, \ldots, N_n\}</math> oznacza multizbiór liczności rekordów w odpowiadających im klasach <math>{E_1, E_2, \ldots, E_n}</math>.


Wówczas, jeśli
Wówczas, jeśli
<math>k \leq \min(N)</math>,
<math>k \leq \min(N)</math>,
to zbiór danych <math>D</math> jest <math>k</math>-anonimowy.
to zbiór danych <math>D</math> jest <math>k</math>-anonimowy.

Aktualna wersja na dzień 14:50, 18 sty 2026

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

[edytuj | edytuj kod]

Niech:

  • E={E1,E2,,En} oznacza zbiór wszystkich n klas równoważności zbioru danych D.
  • N={N1,N2,,Nn} oznacza multizbiór liczności rekordów w odpowiadających im klasach E1,E2,,En.

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