PL 
EnglishDomyślny
Українська🔢 Zasada włączeń i wyłączeń — diagramy Venna i zliczanie
Nakładaj dwa lub trzy zbiory na diagramie Venna i zobacz, jak zasada włączeń i wyłączeń poprawnie liczy sumy, nieporządki i surjekcje.
O zasadzie włączeń i wyłączeń
Ta symulacja wizualizuje zasadę włączeń i wyłączeń — regułę kombinatoryczną służącą do liczenia elementów sumy nakładających się zbiorów bez podwójnego liczenia wspólnych części. Dla dwóch zbiorów daje |A∪B| = |A| + |B| − |A∩B|, a dla trzech zbiorów |A∪B∪C| = |A| + |B| + |C| − |A∩B| − |A∩C| − |B∩C| + |A∩B∩C|. Zasada na przemian dodaje i odejmuje wielkości przecięć, dzięki czemu każdy element jest liczony dokładnie raz.
Wybierasz między trybem 2-zbiorowym a 3-zbiorowym, a następnie przeciągasz suwaki regionów (tylko A, tylko B, A∩B, a dla trzech zbiorów także tylko C, A∩C, B∩C, A∩B∩C), aby zmieniać kształt diagramu Venna wobec uniwersum 100 elementów. Przyciski widoku przełączają między obrazem Venna, rozbiciem na poszczególne wyrazy wzoru a rozwiązanymi przykładami, takimi jak liczenie podzielności, nieporządki (derangementy), suriekcje i sito, pokazując, gdzie zasada jest wykorzystywana w praktycznej kombinatoryce.
Najczęściej zadawane pytania
Czym jest zasada włączeń i wyłączeń?
To reguła zliczania, która wyznacza liczbę elementów sumy kilku zbiorów przez dodanie wielkości poszczególnych zbiorów, a następnie odjęcie wielkości wszystkich przecięć parami, dodanie z powrotem przecięć potrójnych i tak dalej. Naprzemienne znaki korygują elementy, które w innym wypadku zostałyby policzone więcej niż raz.
Dlaczego odejmujemy przecięcie?
Gdy dodasz |A| i |B|, każdy element należący do obu zbiorów jest liczony dwukrotnie — raz w każdym z nich. Odjęcie |A∩B| usuwa dokładnie jedno z tych powtórzeń, dzięki czemu każdy wspólny element jest liczony tylko raz. Symulacja podkreśla tę korektę w widoku Wzór.
Jaki jest wzór dla trzech zbiorów?
|A∪B∪C| = |A| + |B| + |C| − |A∩B| − |A∩C| − |B∩C| + |A∩B∩C|. Pojedyncze zbiory są dodawane, trzy przecięcia parami są odejmowane, a centralne potrójne przecięcie jest dodawane z powrotem, ponieważ najpierw zostało policzone trzykrotnie, a potem usunięte trzykrotnie.
Co kontrolują suwaki regionów?
Każdy suwak ustala liczbę elementów w jednym rozłącznym regionie diagramu Venna: tylko A, tylko B, A∩B w trybie 2-zbiorowym, a dodatkowo tylko C, tylko A∩C, tylko B∩C i A∩B∩C w trybie 3-zbiorowym. Pełne wielkości zbiorów, takie jak |A|, są wyznaczane przez zsumowanie regionów wewnątrz okręgu A.
Co przedstawia uniwersum równe 100?
Przerywany prostokąt oznaczony 𝒰 = 100 to całkowita populacja rozważanych elementów. Wynik „Żaden" pokazuje, ile spośród tych 100 elementów znajduje się poza każdym zbiorem, obliczane jako 100 minus wielkość sumy. Nie może spaść poniżej zera.
Jaka jest różnica między trybem 2-zbiorowym a 3-zbiorowym?
Tryb 2-zbiorowy pokazuje dwa nakładające się okręgi i prostszą dwuwyrazową korektę, podczas gdy tryb 3-zbiorowy dodaje trzeci okrąg z siedmioma odrębnymi regionami oraz dłuższy naprzemienny wzór. Zmiana trybu zmienia, które suwaki się pojawiają i jak obliczana jest suma.
Czy symulacja jest matematycznie dokładna?
Tak. Ponieważ wprowadzasz liczby elementów w rozłącznych regionach bezpośrednio, suma jest po prostu ich sumowaniem, a widok Wzór odtwarza tę samą wartość całkowitą poprzez rozwinięcie zasady włączeń i wyłączeń. Obie metody zawsze się zgadzają, co pokazuje, że naprzemienne sumy rzeczywiście unikają podwójnego liczenia.
Jak zasada włączeń i wyłączeń uogólnia się na n zbiorów?
Dla n zbiorów suma jest równa sumie wielkości pojedynczych zbiorów minus wszystkie przecięcia parami, plus wszystkie przecięcia potrójne i tak dalej, przy czym znak każdego wyrazu jest dany przez (−1) podniesione do potęgi o jeden mniejszej niż liczba przecinających się zbiorów. Liczba wyrazów rośnie jako 2 do potęgi n minus jeden.
Czym jest nieporządek (derangement) i jak się go liczy?
Nieporządek to permutacja, w której żaden element nie pozostaje na swojej pierwotnej pozycji. Zasada włączeń i wyłączeń zastosowana do zdarzeń „element i jest ustalony" daje D(n) = n! · Σ (−1)^k / k! dla k od 0 do n. Widok Przykłady pokazuje, że D(4) = 9.
Gdzie w praktyce stosuje się zasadę włączeń i wyłączeń?
Leży u podstaw liczenia podzielności i liczb pierwszych w teorii liczb, sita Eratostenesa, liczenia funkcji suriektywnych, prawdopodobieństwa sum zdarzeń oraz wielu problemów baz danych i wyszukiwania obejmujących nakładające się kategorie. Panel Przykłady omawia szczegółowo kilka takich przypadków.