Αρχή Εγκλεισμού-Αποκλεισμού
ΠροχωρημένοΕισαγωγή στην Αρχή Εγκλεισμού-Αποκλεισμού
Η αρχή εγκλεισμού-αποκλεισμού (ή αρχή συμπερίληψης-αποκλεισμού) είναι ένα ισχυρό εργαλείο της συνδυαστικής για τον υπολογισμό του πλήθους στοιχείων σε ενώσεις συνόλων. Μας επιτρέπει να αποφύγουμε τη διπλή καταμέτρηση στοιχείων που ανήκουν σε περισσότερα από ένα σύνολα.
Η Αρχή για Δύο Σύνολα
Για δύο σύνολα και :
Ερμηνεία: Αθροίζοντας και , τα στοιχεία της τομής μετρώνται δύο φορές. Αφαιρούμε μία φορά το για να διορθώσουμε.
Διάγραμμα Venn
Η αρχή απεικονίζεται εύκολα με διαγράμματα Venn, όπου φαίνεται ότι η τομή «επικαλύπτεται» στο άθροισμα.
Η Αρχή για Τρία Σύνολα
Για τρία σύνολα , , :
Ερμηνεία:
- Αθροίζουμε τα τρία σύνολα (κάποια στοιχεία μετρώνται πολλαπλές φορές)
- Αφαιρούμε τις δυαδικές τομές (διορθώνουμε τη διπλή καταμέτρηση)
- Προσθέτουμε την τριαδική τομή (αυτά τα στοιχεία αφαιρέθηκαν υπερβολικά)
Γενική Μορφή
Για σύνολα :
ή συμβολικά:
Εφαρμογή: Πλήθος Συμπληρώματος
Αν είναι το σύμπαν και υποσύνολα του , το πλήθος στοιχείων που δεν ανήκουν σε κανένα είναι:
Κλασική Εφαρμογή: Η Συνάρτηση Euler
Η συνάρτηση του Euler μετρά πόσοι ακέραιοι από 1 έως είναι πρώτοι μεταξύ τους με το .
Αν , τότε:
Εφαρμογή: Πρόβλημα Αναστατώσεων
Μια αναστάτωση (derangement) είναι μια μετάθεση όπου κανένα στοιχείο δεν βρίσκεται στην αρχική του θέση.
Ο αριθμός αναστατώσεων στοιχείων είναι:
Παράδειγμα: Για :
Εφαρμογή: Surjective Functions
Ο αριθμός επί συναρτήσεων από σύνολο στοιχείων σε σύνολο στοιχείων:
όπου είναι ο αριθμός Stirling δεύτερου είδους.
Βασικοί Τύποι
Παραδείγματα
Παράδειγμα 1: Σε τάξη 30 μαθητών, 18 μαθαίνουν Αγγλικά, 15 Γαλλικά και 8 και τα δύο. Πόσοι μαθαίνουν τουλάχιστον μία γλώσσα;
Λύση: μαθητές
Παράδειγμα 2: Από τους αριθμούς 1-100, πόσοι δεν διαιρούνται ούτε με το 2 ούτε με το 5;
Λύση: , ,
Άρα: αριθμοί
Παράδειγμα 3: Πόσες αναστατώσεις υπάρχουν για 5 γράμματα;
Λύση:
αναστατώσεις
Παράδειγμα 4: Σε 100 άτομα: 60 παίζουν ποδόσφαιρο, 45 μπάσκετ, 35 βόλεϊ. 25 παίζουν ποδόσφαιρο-μπάσκετ, 20 ποδόσφαιρο-βόλεϊ, 15 μπάσκετ-βόλεϊ, 10 και τα τρία. Πόσοι δεν παίζουν τίποτα;
Λύση:
Δεν παίζουν: άτομα