UK 
EnglishТипова
Polski🔢 Принцип Включень-Виключень — Діаграми Венна і Підрахунок
Принцип включень-виключень: діаграми Венна, підрахунок об'єднань множин і класичні задачі комбінаторики крок за кроком.
Про принцип включень-виключень
Ця симуляція візуалізує принцип включень-виключень — комбінаторне правило для підрахунку елементів в об'єднанні множин, що перетинаються, без подвійного рахування їх спільних частин. Для двох множин він дає |A∪B| = |A| + |B| − |A∩B|, а для трьох множин |A∪B∪C| = |A| + |B| + |C| − |A∩B| − |A∩C| − |B∩C| + |A∩B∩C|. Принцип почергово додає та віднімає розміри перетинів, щоб кожен елемент рахувався рівно один раз.
Ви обираєте режим 2-Set або 3-Set, потім перетягуєте повзунки регіонів (лише A, лише B, A∩B, а для трьох множин ще A∩C, B∩C, A∩B∩C), щоб змінити форму діаграми Венна відносно універсуму зі 100 елементів. Кнопки перегляду перемикаються між зображенням Венна, покроковим розкладом формули та розібраними прикладами — такими як підрахунок подільності, дерангементи, сюр'єкції та решето, показуючи, де принцип застосовується в реальній комбінаториці.
Часті запитання
Що таке принцип включень-виключень?
Це правило підрахунку, яке знаходить, скільки елементів входить в об'єднання кількох множин, додаючи розміри окремих множин, потім віднімаючи розміри всіх попарних перетинів, додаючи назад потрійні перетини і так далі. Знакозмінні доданки виправляють елементи, які інакше були б пораховані більше одного разу.
Чому ми віднімаємо перетин?
Коли ви додаєте |A| та |B|, кожен елемент, що належить обом множинам, рахується двічі — по разу в кожній. Віднімання |A∩B| прибирає рівно одне з цих подвійних рахувань, залишаючи кожен спільний елемент порахованим лише раз. Симуляція виділяє цю поправку в режимі «Формула».
Яка формула для трьох множин?
|A∪B∪C| = |A| + |B| + |C| − |A∩B| − |A∩C| − |B∩C| + |A∩B∩C|. Окремі множини додаються, три попарні перетини віднімаються, а центральний потрійний перетин додається назад, бо його спершу порахували тричі, а потім тричі відняли.
Що контролюють повзунки регіонів?
Кожен повзунок задає кількість елементів в одному непересічному регіоні діаграми Венна: лише A, лише B, A∩B у режимі двох множин, плюс лише C, лише A∩C, лише B∩C і A∩B∩C у режимі трьох множин. Повні розміри множин, наприклад |A|, отримують сумуванням регіонів усередині кола A.
Що означає універсум із 100?
Пунктирний прямокутник з позначкою 𝒰 = 100 — це загальна кількість елементів, що розглядаються. Результат «Жодна» показує, скільки з цих 100 елементів опиняються поза всіма множинами, обчислюючись як 100 мінус розмір об'єднання. Він не може опуститися нижче нуля.
У чому різниця між режимами 2-Set і 3-Set?
Режим 2-Set показує два кола, що перетинаються, і простішу двочленну поправку, тоді як режим 3-Set додає третє коло з сімома окремими регіонами й довшу знакозмінну формулу. Перемикання режимів змінює, які повзунки з'являються та як обчислюється об'єднання.
Чи математично точна ця симуляція?
Так. Оскільки ви вводите кількості непересічних регіонів безпосередньо, об'єднання — це просто їх сума, а режим «Формула» відтворює ту саму суму через розклад включень-виключень. Обидва методи завжди збігаються, що демонструє, що знакозмінні суми справді уникають подвійного рахування.
Як принцип включень-виключень узагальнюється на n множин?
Для n множин об'єднання дорівнює сумі розмірів окремих множин, мінус усі попарні перетини, плюс усі потрійні перетини і так далі, зі знаком кожного доданка, що визначається як (−1) у степені на один менше за кількість перетнутих множин. Кількість доданків зростає як 2 у степені n мінус один.
Що таке безлад (дерангемент) і як його рахують?
Дерангемент — це перестановка, у якій жоден елемент не залишається на своєму початковому місці. Включення-виключення над подіями «елемент i залишився на місці» дає знакозмінну факторіальну суму D(n) = n! · Σ (−1)^k / k! для k від 0 до n. Режим «Приклади» показує, що D(4) = 9.
Де на практиці застосовується принцип включень-виключень?
Він лежить в основі підрахунку подільності та простих чисел у теорії чисел, решета Ератосфена, підрахунку сюр'єктивних функцій, ймовірності об'єднань подій та багатьох задач баз даних і пошуку з категоріями, що перетинаються. Панель «Приклади» розбирає кілька таких випадків.