SlideShare a Scribd company logo
1 of 112
Download to read offline
∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ
ΙΙ. Συνδυαστική
Μωυσής Α. Μπουντουρίδης
Μάθημα 2ου Εξαμήνου
Τμήμα Μαθηματικών Πανεπιστημίου Πατρών
Επικοινωνία: mboudour@upatras.gr
Μάρτιος 2014
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Περιεχόμενα Ενότητας Συνδυαστικής
Η Αρχή του Περιστερώνα
Ασκήσεις
Βασικές Αρχές Απαρίθμησης
Ασκήσεις
Μεταθέσεις και Συνδυασμοί
Ασκήσεις
Το ∆ιωνυμικό Θεώρημα
Ασκήσεις
Συνθέσεις και ∆ιαμερισμοί
Ασκήσεις
Αρχή Εγκλεισμού–Αποκλεισμού
Ασκήσεις
Γεννήτριες Συναρτήσεις
Ασκήσεις
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Η Αρχή του Περιστερώνα (Pigeon-Hole Principle)
Θεώρημα 1 (Η Βασική Αρχή του Περιστερώνα)
´Εστω ότι βάζουμε n (όμοιες) μπάλλες μέσα σε k (όμοια)
κουτιά, όπου n και k είναι θετικοί ακέραιοι τέτοιοι ώστε
n >k. Τότε υπάρχει τουλάχιστον ένα κουτί, στο οποίο
θα πρέπει να μπουν τουλάχιστον δυο μπάλλες.
´Εμμεση απόδειξη με αντίφαση: Ας υποθέσουμε το αντίθετο αυτού που
θέλουμε να αποδείξουμε, δηλαδή, έστω ότι δεν υπάρχει κανένα κουτί με
τουλάχιστον δυο (2) μπάλλες. Αυτό σημαίνει ότι κάθε κουτί περιέχει είτε
καμιά (0) ή μία (1) μπάλλα. ´Εστω ότι m είναι το πλήθος των κουτιών
χωρίς μπάλλες, οπότε 0 ≤ m ≤ k. ´Αρα, προφανώς, το πλήθος των κουτιών
με μια (1) μπάλλα μέσα του το καθένα είναι k − m, που σημαίνει ότι το
συνολικό πλήθος των μπαλλών είναι k − m. Αλλά, τότε k − m ≤ k <n, κάτι
που αντιφάσκει την υπόθεση ότι το συνολικό πλήθος των μπαλλών είναι
ίσο με n.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Πρώτο παράδειγμα της βασικής Αρχής του Περιστερώνα
´Εστω η ακολουθία 7,77,777,7777,.... Αποδείξτε ότι
υπάρχει κάποιος όρος αυτής της ακολουθίας, ο οποίος είναι
διαιρετός με το 2003.
Απόδειξη: Ας συμβολίσουμε την ακολουθία αυτή με {an}n=1,2,···, όπου, λόγω της (δεκαδικής)
αναπαράστασης των όρων της, an = 7 · n−1
k=0 10k, για κάθε θετικό ακέραιο n. Βασικά, θα
αποδείξουμε κάτι το ισχυρότερο: μεταξύ των πρώτων 2003 όρων της ακολουθίας αυτής, υπάρχει
κάποιος όρος διαιρετός με το 2003. Ας υποθέσουμε όμως το αντίθετο, δηλαδή, ότι, μεταξύ των
πρώτων 2003 όρων της ακολουθίας αυτής, κανένας όρος δεν είναι διαιρετός με το 2003. Αυτό
σημαίνει ότι, για κάθε 1 ≤ n ≤ 2003, αν το rn συμβολίζει το υπόλοιπο της διαίρεσης του an με το
2003, τότε θα είναι 1 ≤ rn ≤ 2002. Επειδή όμως συνολικά έχουμε 2003 υπόλοιπα (μπάλλες) και
2002 τιμές που το καθένα τους μπορεί να πάρει (κουτιά), η Αρχή του Περιστερώνα συνεπάγεται ότι
υπάρχουν δυο (διαφορετικοί) όροι, μεταξύ των πρώτων 2003 όρων της ακολουθίας αυτής, οι οποίοι
έχουν το ίδιο ακριβώς υπόλοιπο. Ας συμβολίσουμε με ai και aj τους όρους αυτούς, για
1 ≤ i < j ≤ 2002, και με r το κοινό τους υπόλοιπο. Προφανώς, τότε, υπάρχουν δυο μη αρνητικοί
ακέραιοι pi και pj τέτοιοι ώστε ai = 2003pi + r και aj = 2003pj + r, οπότε aj − ai = 2003(pj − pi),
δηλαδή, η διαφορά aj − ai είναι διαιρετή με 2003. Επιπλέον, όμως, aj − ai = 7 ·
j−1
k=0 10k
−7 · i−1
k=0 10k = 7 ·
j−1
k=i 10k = 7 ·
j−i−1
m=0 10m10i = aj−i10i και, καθώς το 10i δεν διαιρείται με
το 2003 (για κανένα i), έπεται ότι ο όρος aj−i θα διαιρείται.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
∆εύτερο παράδειγμα της βασικής Αρχής του Περιστερώνα
Σε ένα τουρνουά σκακιού παίζουν n σκακιστές μεταξύ τους
σε μονούς αγώνες (δηλαδή, κάθε ζευγάρι παίζει έναν
αγώνα). Αποδείξτε ότι, σε οποιαδήποτε χρονική στιγμή,
υπάρχουν δυο σκακιστές που έχουν παίξει τον ίδιο αριθμό
αγώνων.
Απόδειξη: Καταρχάς, παρατηρούμε ότι, σε οποιαδήποτε χρονική στιγμή,
ένας σκακιστής μπορεί να έχει παίξει είτε σε κανένα ή σε 1 ή το πολύ σε
n − 1 αγώνες. Επιπλέον, όμως, αν κάποια χρονική στιγμή ένας σκακιστής
έχει συμπληρώσει όλους τους n − 1 αγώνες του, τότε δεν θα υπάρχει
κανένας σκακιστής με 0 αγώνες, που σημαίνει ότι οι τιμές 0 και n − 1 δεν
μπορούν να εμφανίζονται μαζί για τον αριθμό των αγώνων που έχουν
παιχθεί ως οποιαδήποτε χρονική στιγμή. Με άλλα λόγια, οι δυνατότητες
για τον αριθμό των αγώνων (κουτιά) είναι το πολύ n − 1, ενώ οι παίχτες
(μπάλλες) είναι n και άρα, έπεται το ζητούμενα συμπέρασμα από την Αρχή
του Περιστερώνα.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Θεώρημα 2 (Η Γενικευμένη Αρχή του Περιστερώνα)
´Εστω ότι βάζουμε n (όμοιες) μπάλλες μέσα σε m (όμοια)
κουτιά, όπου n >rm, για n,m,r θετικούς ακέριαιους. Τότε
υπάρχει τουλάχιστον ένα κουτί, στο οποίο θα πρέπει να
μπουν τουλάχιστον r + 1 μπάλλες.
´Εμμεση απόδειξη με αντίφαση: Ας υποθέσουμε το αντίθετο, δηλαδή, ότι
κάθε κουτί μπορεί να περιέχει το πολύ r μπάλλες. Επομένως, τότε, σε όλα
τα κουτιά, συνολικά, θα μπορούσαν να τοποθετηθούν το πολύ rm μπάλλες,
αλλά, επειδή rm <n, αντιφάσκεται η υπόθεση ότι το συνολικό πλήθος των
μπαλλών είναι ίσο με n.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα της γενικευμένης Αρχής του Περιστερώνα
´Εστω 10 σημεία μέσα στο μοναδιαίο τετράγωνο (δηλαδή, τετράγωνο
μήκους ακμής 1). Τότε υπάρχουν δυο σημεία σε απόσταση μεταξύ τους
μικρότερη του 0.48 και τρία σημεία που καλύπτονται από δίσκο ακτίνας
0.5.
Απόδειξη: Πρώτα, χωρίζουμε το μοναδιαίο τετράγωνο σε 9 μικρότερα τετράγωνα (μήκους ακμής 1
3
το καθένα). Σύμφωνα με την γενικευμένη Αρχή του Περιστερώνα, θα υπάρχει τουλάχιστον ένα από
τα 9 μικρότερα τετράγωνα που περιέχει δυο από τα 10 σημεία. Τότε η μέγιστη απόσταση των
δυο αυτών σημείων θα φράζεται από την διαγώνιο του τετράγωνου μήκους ακμής 1
3 , δηλαδή, από
√
2
3 < 0.48. Από την άλλη μεριά, διαιρώντας το μοναδιαίο τετράγωνο, σε 4 ισοσκελή τρίγωνα (μέσω
των διαγωνίων του τετραγώνου), η γενικευμένη Αρχή του Περιστερώνα συνεπάγεται ότι
τουλάχιστον ένα από τα τρίγωνα αυτά θα περιέχει τρία από τα 10 σημεία και, άρα, τα σημεία
αυτά θα καλύπτονται από τον μικρότερο δίσκο που καλύπτει το τρίγωνο, δηλαδή, που έχει
διάμετρο ίση με 1.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παραδείγματα Εφαρμογών της Αρχής του Περιστερώνα σε Γράφους
´Ατυποι Ορισμοί της Θεωρίας Γράφων1
Γράφος ονομάζεται ένα αντικείμενο που αποτελείται από κόμβους (κορυφές) και συνδέσεις
(ακμές) που ενώνουν ζεύγη κόμβων.
Πλήρης γράφος ονομάζεται ένας γράφος, όταν περιέχει όλες τις δυνατές συνδέσεις μεταξύ
κόμβων, δηλαδή, όταν κάθε κόμβος συνδέεται με κάθε άλλον κόμβο.
Βαθμός ενός κόμβου ονομάζεται το πλήθος των συνδέσεων που έχει ο κόμβος αυτός.
∆ιαδρομή μεταξύ δυο κόμβων είναι μια ακολουθία διακριτών κόμβων που συνδέονται
διαδοχικά ο ένας μετά τον άλλο μέσω διακριτών συνδέσεων.
Κύκλος είναι μια κλειστή διαδρομή, δηλαδή, μια διαδρομή που ξεκινά και τερματίζει στον ίδιο
κόμβο.
Συνδεδεμένος λέγεται ένας γράφος, όταν, για κάθε δυο κόμβους, υπάρχει μια διαδρομή που
τους συνδέει.
∆ένδρο είναι ένας συνδεδεμένος γράφος που δεν περιέχει κανέναν κύκλο.
1
Αργότερα, στο τρίτο μέρος του μαθήματος, θα ασχοληθούμε διεξοδικότερα με την Θεωρία των
Γράφων.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: Κοινό πλήθος φίλων μεταξύ ατόμων
´Εστω ότι συναντώνται κάπου n (τυχαία) άτομα. ∆είξτε,
τότε, ότι υπάρχουν δυο άτομα που έχουν το ίδιο ακριβώς
πλήθος φίλων μεταξύ των n ατόμων. (Ας θεωρήσουμε ότι η
σχέση φιλίας είναι συμμετρική, δηλαδή, ότι το άτομο i είναι
φίλος του j αν και μόνον αν ο j είναι φίλος του i.)
Πρώτα, παρατηρούμε ότι, αν ένα άτομο δεν έχει κανένα φίλο μεταξύ των n
ατόμων, τότε δεν μπορεί να υπάρχει κάποιος με n − 1 φίλους (και
αντιστρόφως), δηλαδή, οι τιμές 0 και n − 1 δεν μπορούν να εμφανίζονται
μαζί στην καταμέτρηση του δυνατού πλήθους των φίλων που έχουν τα
άτομα της εν λόγω ομάδας. Αυτό σημαίνει ότι οι δυνατότητες για τα
πλήθη φίλων (κουτιά) είναι το πολύ n − 1, ενώ τα εμπλεκόμενα άτομα
(μπάλλες) είναι n και άρα, έπεται το ζητούμενα συμπέρασμα από την Αρχή
του Περιστερώνα.
Με άλλα λόγια, αναπαριστώντας τα άτομα ως κόμβους και τη σχέση φιλίας
μεταξύ δυο ατόμων ως σύνδεση μεταξύ των αντιστοίχων κόμβων,
σχηματίζεται ένας αυθαίρετος γράφος, στον οποίο (δείξαμε ότι) πάντα
υπάρχουν δυο (τουλάχιστον) κόμβοι που έχουν τον ίδιο βαθμό.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: Κοινός πρόγονος στο γενεαλογικό δένδρο
´Εστω ότι γνωρίζουμε το γενεαλογικό δένδρο ενός ατόμου X για τα
τελευταία 1000 χρόνια. ∆έξτε, τότε, ότι υπάρχει ένας πρόγονος A του X, ο
οποίος ήταν κοινός πρόγονος και του πατέρα και της μητέρας του X. (Ας
υποθέσουμε ότι κάθε γενιά διαρκεί 25 χρόνια και ότι ο τωρινός πληθυσμός
της γης είναι το πολύ 1010.)
Προφανώς, το γενεαλογικό δένδρο του X μπορεί να αναπαρασταθεί ως ένα δένδρο με ρίζα τον X
στο χαμηλότερο επίπεδο. Χάριν απλότητας, θα θεωρήσουμε το δυαδικό δένδρο, στο οποίο οι κόμβοι
είναι διατεταγμένοι σε επίπεδα, που αντιστοιχούν σε γενιές. Οι ‘‘γονείς’’ (‘‘πατέρας’’ και ‘‘μητέρα’’ )
ενός κόμβου είναι οι δυο κόμβοι του ανώτερου επιπέδου, με τους οποίους ο κόμβος αυτός συνδέεται,
ενώ το ‘‘παιδί’’ ενός κόμβου είναι ο κόμβος του κατώτερου επίπεδου,
με τον οποίον ο κόμβος αυτός συνδέεται. Επιπλέον ένας κόμβος είναι
‘‘πρόγονος’’ ενός άλλου, αν βρίσκεται σε περισσότερα από δυο επίπεδα
ψηλότερα και συνδέεται με αυτόν μέσω μιας διαδρομής. (∆είτε σχήμα.)
Λαμβάνοντας υπόψη ότι 1000/25 = 40, θα έχουμε 40 γενιές, δηλαδή,
1 + 2 + 22 + · · · + 240 = 241 − 1 κόμβους (μπάλλες), στους οποίους
πρέπει να αντιστοιχίσουν (το πολύ) 40 · 1010 άνθρωποι (κουτιά), που είναι ο μέγιστος δυνατός
πληθυσμός της γης στις 40 γενιές. Επειδή 40 · 1010 < 241 − 1, η Αρχή του Περιστερώνα
συνεπάγεται ότι υποχρεωτικά κάποιος άνθρωπος A θα αντιστοιχεί σε δυο κόμβους, δηλαδή, ένας
ίδιος άνθρωπος θα ήταν πρόγονος και του πατέρα και της μητέρας του X.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: Πλήθος γνωριμιών μεταξύ ζευγαριών
Ο κος και η κα Σμιθ προσκαλούν στο σπίτι τους 4 ζευγάρια (συντρόφων).
´Ετσι, μαζεύονται συνολικά 10 άτομα (5 ζευγάρια) και μπορούμε να
υποθέσουμε ότι κάποιοι (ή κανένας) από αυτούς (δεν) γνωρίζονται μεταξύ
τους (χωρίς να υπολογίζουμε τη συντροφικότητα ως σχέση γνωριμίας). Αν,
εξαιρουμένου του κου Σμιθ, κανένας από τα υπόλοιπα 10 άτομα δεν έχει το
ίδιο ακριβώς πλήθος γνωστών με οποιονδήποτε άλλον, βρείτε πόσους
γνωστούς θα έχουν ο κος και η κα Σμιθ.
Ας φτιάξουμε ένα γράφο με 10 κόμβους, ένας από τους οποίους
αντιστοιχεί ρητά στον κο Σμίθ. Επιπλέον, με εξαίρεση τον κο Σμιθ, ας
γράψουμε δίπλα σε κάθε κόμβο (άτομο) το πλήθος των γνωστών του
(μεταξύ των υπόλοιπων με εξαίρεση τον/την σύντροφό του). Εξ
υποθέσεως, οι αριθμοί αυτοί θα είναι διαφορετικοί μεταξύ τους και θα
κυμαίνονται από 0 ως 8 (αφού από τον καθένα εξαιρείται η σχέση
γνωριμίας με τον/την σύντροφό του). (∆είτε σχήμα δεξιά.) Ισχυριζό-
μαστε ότι ο αντίποδας ως προς τον κο Σμιθ κάθε κόμβου πρέπει να εί-
ναι ο/η αντίστοιχος σύντροφος. Π.χ., αφού ο κόμβος 8 έχει 8 γνω-
στούς, αναγκαστικά θα πρέπει ο/η σύντροφός του να είναι ο κόμβος 0
κ.ο.κ., δηλαδή, τελικά η κα Σμιθ είναι ο κόμβος 4. Επομένως, και ο κος
και η και Σμιθ έχουν (βαθμό) 4 γνωστούς. (∆είτε σχήμα αριστερά.)
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: Το Πρόβλημα του Ramsey
´Εστω ότι συναντώνται κάπου 6 άτομα, τα οποία είτε γνωρίζονται μεταξύ
τους ή δεν γνωρίζονται. ∆είξτε ότι, μεταξύ των 6 αυτών ατόμων,
υπάρχουν πάντα 3 άτομα, τα οποία είτε και τα 3 γνωρίζονται μεταξύ τους
ή και τα 3 δεν γνωρίζονται μεταξύ τους.
Προφανώς, η ομάδα αυτή σχηματίζει έναν πλήρη γράφο 6 κόμβων (τα άτομα), του οποίου οι
συνδέσεις μεταξύ κάθε 2 κόμβων (ατόμων) μπορούν να χρωματισθούν με ένα από δυο χρώματα:
π.χ., είτε μπλε, όταν τα 2 άτομα γνωρίζονται ή κόκκινες, όταν δεν γνωρίζονται. Τότε θέλουμε να
δείξουμε ότι πάντα υπάρχει μέσα στον γράφο ένα μονοχρωματικό τρίγωνο, του οποίου όλες οι ακμές
είναι είτε μπλε ή κόκκινες. ´Εστω λοιπόν ο κόμβος V, που θα έχει 5 συνδέσεις (αφού ο γράφος είναι
πλήρης). Επειδή οι 5 συνδέσεις πρέπει να βαφούν με 2 χρώματα, η γενικευμένη Αρχή του
Περιστερώνα συνεπάγεται ότι υποχρεωτικά 3 συνδέσεις θα είναι μονοχρωματικές: ας πούμε, μπλε
(όπου στο διπλανό σχήμα, οι μπλε συνδέσεις αναπαριστώνται με συνεχείς γραμμές κι οι κόκκινες με
διακεκομμένες). ´Εστω X, Y και Z οι κόμβοι που συνδέοννται με το V στις συνδέσεις αυτές.
Θεωρούμε το τρίγωνο που σχηματίζεται από τα X, Y και Z. Αν όλες οι ακμές
του είναι του κόκκινες, τότε έχουμε ένα μονοχρωματικό (κόκκινο) τρίγωνο.
Αλλιώς, αν το τρίγωνο αυτό περιέχει τουλάχιστον μια μπλε ακμή, τότε
σχηματίζεται πάλι ένα μονοχρωματικό (αλλά μπλε) τρίγωνο με κορυφές το V και
δυο από τα X, Y και Z.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ασκήσεις
1 Βρείτε όλες τις τριάδες θετικών ακέραιων a <b <c
που είναι τέτοιοι ώστε 1
a + 1
b + 1
c = 1.
2 ´Εστω το σύνολο M αποτελούμενο από 9 θετικούς
ακέραιους, για κανέναν από τους οποίους δεν
υπάρχει ένας πρώτος διαιρέτης που να είναι
μεγαλύτερος του 6. Αποδείξτε ότι το M περιέχει 2
αριθμούς, των οποίων το γινόμενο είναι ίσο με το
τετράγωνο κάποιου ακέραιου.
3 Αποδείξτε ότι, μεταξύ 502 θετικών ακέραιων,
υπάρχουν πάντοτε 2 αριθμοί, που είναι τέτοιοι
ώστε είτε το άθροισμά τους ή η διαφορά τους να
είναι διαιρετή με 1000.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
4 ´Εστω ότι έχουμε 4 σωρούς από πέτρες, τους
οποίους τους ξαναχωρίζουμε σε 5 νέους σωρούς.
Αποδείξτε ότι τουλάχιστον 2 πέτρες από τους
πρώτους σωρούς θα πάνε σε ένα μικρότερο νέο
σωρό.
5 ´Εστω ότι ένα καλάθι περιέχει ένα άπειρο πλήθος
φύλλων χαρτιού, στο κάθε ένα από τα οποία
αναγράφεται ένας θετικός ακέραιος. Ας υποθέσουμε
ότι, για κάθε δυο φύλλα, η διαφορά των
αναγεγραμμένων αριθμών σε αυτά είναι ένας
αριθμός μικρότερος των 10 εκατομμυρίων.
Αποδείξτε ότι υπάρχει ένας ακέραιος που έχει
αναγραφεί σε άπειρα πολλά φύλλα χαρτιού.
6 Αποδείξτε ότι υπάρχει ένας θετικός ακέραιος n
τέτοιος ώστε το 44n
− 1 να διαιρείται με το 7.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
7 ´Εστω 5 θετικοί πραγματικοί αριθμοί, των οποίων
το άθροισμα είναι ίσο με 100. Αποδείξτε ότι,
μεταξύ των αριθμών αυτών, υπάρχουν δυο, των
οποίων η διαφορά είναι μικρότερη του 10.
8 ´Εστω 17 σημεία στο εσωτερικό ενός ισόπλευρου
τριγώνου ακμής ίσης με 1. Αποδείξτε ότι
υπάρχουν 2 από αυτά τα σημεία, των οποίων η
απόσταση είναι μικρότερη ή ίση του 1
4.
9 Αποδείξτε ότι η ακολουθία 1967,19671967,
196719671967,...περιέχει έναν όρο, ο οποίος είναι
διαιρετός με το 1969.
10 ´Εστω ότι παίρνουμε n + 1 διαφορετικούς ακέραιους
από το σύνολο {1,2,...,n}. Αποδείξτε ότι, μεταξύ
των αριθμών που διαλέξαμε, θα υπάρχουν πάντα
δυο, των όποιων ο μέγιστος κοινός διαιρέτης είναι
το 1 (δηλαδή, 2 πρώτοι μεταξύ τους).
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Βασικές Αρχές Απαρίθμησης
Υπενθύμιση Συμβολισμού
Για κάθε σύνολο X, συμβολίζουμε με |X| το πλήθος των στοιχείων του.
Ο Κανόνας του Αθροίσματος:
´Εστω ότι κάποιο πράγμα μπορεί να γίνει με a τρόπους και
κάποιο άλλο πράγμα μπορεί να γίνει με b τρόπους. Αν τα
δυο πράγματα δεν μπορούν να γίνουν μαζί (ταυτόχρονα),
τότε υπάρχουν a + b τρόποι για να γίνει είτε το ένα ή το
άλλο πράγμα.
Προφανώς, ο κανόνας αυτός γενικεύεται και για
πεπερασμένο πλήθος πραγμάτων.
Επιπλέον, συνολοθεωρητικά διατυπώνεται ως εξής: Αν
X1,X2,...,Xm είναι ανά δύο ξένα πεπερασμένα
σύνολα,2 τότε
|X1 ∪ X2 ∪ · · · ∪ Xm| = |X1| + |X2| + ... + |Xm|.
2
´Οταν X = X1 ∪ X2 ∪ · · · ∪ Xm και τα X1,X2,...,Xm είναι m ανά δύο
ξένα, τότε η συλλογή {X1,X2,...,Xm} λέγεται διαμερισμός του X.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: ´Ενα μάθημα μιας τάξης χωρίζεται σε δύο τμήματα με το
πρώτο τμήμα να έχει 25 και το δεύτερο τμήμα 29 άτομα. Πόσα άτομα
παρακολουθούν τα (άλλα) μαθήματα που γίνονται από κοινού χωρίς να
χωρισθούν σε τμήματα;
Προφανώς, 25 + 29 = 54 άτομα.
Παράδειγμα: Το πρώτο τμήμα ενός μαθήματος μιας τάξης αποτελείται από
27 άτομα, ενώ το πρώτο τμήμα ενός άλλου μαθήματος της ίδιας τάξης
αποτελείται από 25 άτομα. Αν η τάξη αποτελείται συνολικά από 100
άτομα, πόσα άτομα παρακολουθούν και το πρώτο τμήμα και το δεύτερο
τμήμα αυτού του μαθήματος;
Τώρα, το μόνο που μπορούμε να πούμε ότι ο αριθμός αυτός είναι μεταξύ 0
και 25.
Παράδειγμα: Το βάρος (σε κιλά) ενός ανθρώπου είναι ένας διψήφιος
αριθμός, που διαιρείται με 3, του οποίου το πρώτο ψηφίο είναι περιττός
αριθμός και το δεύτερο ψηφίο είναι μικρότερο του πρώτου και μικρότερο
του 5. Πόσο μπορεί να είναι το βάρος του;
Προφανώς, το πρώτο ψηφίο του βάρους θα είναι είτε 1 ή 3 ή 5 ή 7 ή 9
και το δεύτερο ψηφίο θα είναι, αντίστοιχα, είτε {0} ή {0, 1, 2} ή {0, 1, 2,
3, 4} ή {0,1,2,3,4} ή {0,1,2,3,4}. ´Αρα, συνολικά, το βάρος μπορεί να
είναι ένας αριθμός του συνόλου {10, 30, 31, 32, 50, 51, 52, 53, 54, 70, 71,
72, 73, 74, 90, 91, 92, 93, 94}. Αλλά επειδή πρέπει να διαιρείται με το 3,
οι μόνες πιθανές τιμές του βάρους αυτού είναι οι εξής 6 τιμές: 30, 51, 54,
72, 90, 93.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ο Κανόνας της ∆ιαφοράς:
´Εστω A πεπερασμένο σύνολο και B ⊆ A. Τότε
|A B| = |A| − |B|.
Προφανώς, ο κανόνας αυτός είναι συνέπεια του Κανόνα
του Αθροίσματος για τον διαμερισμό του A στα δυο
ξένα υποσύνολά του A B και B.
Παράδειγμα: Το πλήθος των θετικών ακέραιων, που είναι μικρότεροι ή ίσοι
του 1000 και έχουν τουλάχιστον δυο διαφορετικά ψηφία, είναι 973.
´Εστω λοιπόν A το σύνολο των θετικών ακέραιων, που είναι μικρότεροι ή
ίσοι του 1000, και B το υποσύνολο του A αποτελούμενο από εκείνους τους
αριθμούς στο A, των οποίων όλα τα στοιχεία είναι ένας ίδιος μονοψήφιος
αριθμός (από 1 ως 9). Προφανώς, |A| = 1000. Επιπλέον, η σύσταση του B
εξαρτάται από το πλήθος των (όμοιων) ψηφίων που περιέχει ένας αρισθμός
στο B. Αυτό σημαίνει ότι έχουμε τον διαμερισμό B = B1 ∪ B2 ∪ B3 με
B1 = {1,2,...,9},B2 = {11,22,...,99} και B3 = {111,222,...,999}, οπότε,
παρατηρώντας ότι |B1| = |B2| = |B3| = 27, ο Κανόνας του Αθροίσματος πάλι
συνεπάγεται πως B = 3 · 9 = 27 και, άρα, |A B| = |A| − |B| = 1000 − 27 =
973.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ο Κανόνας του Γινομένου:
´Εστω ένα σύνολο, του οποίου τα στοιχεία μπορούν να
περιγραφούν μέσω μιας διαδικασίας που γίνεται σε δυο
στάδια. Επιπλέον, υποθέτουμε ότι το πρώτο στάδιο της
διαδικασίας μπορεί να γίνει με a τρόπους, ενώ το δεύτερο
με b τρόπους, και τα δυο στάδια γίνονται ανεξάρτητα το
ένα με το άλλο. Τότε υπάρχουν a · b τρόποι για να γίνουν
τα στοιχεία του συνόλου αυτού.
Προφανώς, ο κανόνας αυτός γενικεύεται για σύνολα με
πεπερασμένο πλήθος (ανεξάρτητων) σταδίων
παραγωγής των στοιχείων τους.
Επιπλέον, συνολοθεωρητικά διατυπώνεται ως εξής: Αν
X1,X2,...,Xm είναι m πεπερασμένα σύνολα, τότε
|X1 × X2 × · · · × Xm| = |X1| · |X2| · ... · |Xm|.
Θυμίζουμε ότι το Καρτεσιανό γινόμενο των συνόλων
X1,X2,...,Xm ορίζεται ως
X1 × X2 × · · · × Xm = {(x1,x2,...,xm): x1 ∈ X1,x2 ∈ X2,...,xm ∈ Xm}.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: Τα καθίσματα μιας αίθουσας σινεμά είναι αριθμημένα ως εξής:
κάθε σειρά με ένα λατινικό γράμμα, ενώ σε κάθε σειρά υπάρχουν ακριβώς
20 καθίσματα. Πόσα είναι συνολικά τα καθίσματα της αίθουσας αυτής;
Προφανώς, είναι 26 · 20 = 520.
Παράδειγμα: ´Εχουμε 3 κουτιά, το πρώτο με 5 κόκκινες μπάλλες, το
δεύτερο με 6 πράσινες μπάλλες και το τρίτο με 4 μπλε μπάλλες. Πόσες
είναι οι δυνατές τρίχρωμες τριάδες από μπάλλες που μπορούν να
σχηματισθούν παίρνοντας μια μπάλλα από κάθε κουτί;
Προφανώς, είναι 5 · 6 · 4 = 120.
Παράδειγμα: ´Οταν ρίχνουμε 2 ζάρια, διαφορετικού χρώματος το κάθε ένα,
πόσα αποτελέσματα μπορούν να προκύψουν; Αν όμως τα ζάρια είχαν το
ίδιο χρώμα, πόσα αποτελέσματα θα προέκυπταν;
´Οταν τα ζάρια έχουν διαφορετικό χρώμα, προφανώς, προκύπτει ένα από
6 · 6 = 36 αποτελέσματα. Αν όμως τα ζάρια είχαν το ίδιο χρώμα, τα
δυνατά αποτελέσματα θα ήταν λιγότερα, γιατί τότε δεν μπορούμε να
διακρίνουμε τα ζάρια (αργότερα θα δούμε πόσα).
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ασκήσεις
1 Σε ένα πάρτυ βρίσκονται 15 ζευγάρια παντρεμέ-
νων ατόμων. Βρείτε το πλήθος των επιλογών ενός
άνδρα και μιας γυναίκας από τα άτομα αυτά έτσι
ώστε αυτοί (1) να είναι παντρεμένοι και (2) να μην
είναι παντρεμένοι.
2 Μεταξύ του συνόλου όλων των διψήφιων θετικών
ακέραιων, βρείτε το πλήθος (1) των άρτιων, (2)
των περιττών, (3) των άρτιων με διακριά στοιχεία
και (4) των περιττών με διακριτά στοιχεία.
3 ´Ενας κωδικός υπολογιστή αποτελείται από ένα
γράμμα ακολουθούμενο από 3 ή 4 μονοψήφιους
αριθμούς. Βρείτε το πλήθος (1) όλων των κωδικών
αυτής της μορφής και (2) των κωδικών αυτής της
μορφής χωρίς επαναλαμβανόμενα ψηφία.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
4 Μεταξύ των πρώτων 100 000 θετικών ακέραιων,
πόσοι περιέχουν ακριβώς ένα 3, ένα 4 και ένα 5
στην δεκαδική αναπαράστασή τους;
5 Βρείτε το πλήθος των τριψήφιων άρτιων αριθμών
που δεν έχουν κανένα επαναλαμβανόμενο ψηφίο.
6 Μια παλίνδρομη λέξη είναι αυτή που διαβάζεται με
τον ίδιο τρόπο είτε από αριστερά προς δεξιά ή
από δεξιά προς αριστερά. Βρείτε το πλήθος των
επταψήφιων και των οκταψήφιων παλίνδρομων
λέξεων με τον περιορισμό ότι κανένα από τα
γράμματά τους δεν επαναλαμβάνεται.
7 Αποδείξτε ότι κάθε παλίνδρομος (δεκαδικός) αριθμός
αρτίου μήκους διαιρείται με το 11.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Απεικονίσεις και Απαρίθμηση Συνόλων
Ορισμός 3
´Εστω δυο σύνολα X,Y και η απεικόνιση f: X → Y.
Η f ονομάζεται απεικόνιση ένα–προς–ένα (ή
αμφιμονοσήμαντη απεικόνιση), όταν, για κάθε
a,b ∈ X τέτοια ώστε f(a) = f(b), να ισχύει ότι a = b.
Η f ονομάζεται απεικόνιση επί (ή επιρριπτική
απεικόνιση), όταν, για κάθε y ∈ Y, υπάρχει x ∈ X
τέτοιο ώστε f(x) = y.
Η f ονομάζεται αμφιρριπτική απεικόνιση, όταν είναι
ένα–προς–ένα και επί ή, ισοδυναμα, όταν, για κάθε
y ∈ Y, υπάρχει μοναδικό x ∈ X τέτοιο ώστε f(x) = y.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Υπενθύμιση Συμβολισμού
Για κάθε θετικό ακέραιο n, συμβολίζουμε με [n] το σύνολο των θετικών
ακέραιων που είναι μικρότεροι ή ίσοι του n, δηλαδή, [n] = {1,2,...,n}.
Ορισμός 4
´Ενα μη κενό σύνολο X ονομάζεται πεπερασμένο, όταν
υπάρχει ένας θετικός ακέραιος n και μια ένα–προς–ένα και
επί απεικόνιση ϕ: [n] → X. Στην περίπτωση αυτή, η
πληθικότητα (cardinality) του X, που ορίζεται ως το πλήθος
των στοιχείων του X, είναι n, δηλαδή, συμβολικά, |X| = n.
Επιπλέον, θέτουμε |∅| = 0.
Θεώρημα 5
´Εστω δυο πεπερασμένα σύνολα X,Y. Τότε
1 |X| ≤ |Y| αν και μόνον αν υπάρχει μια ένα–προς–ένα
απεικόνιση f: X → Y.
2 |X| ≥ |Y| αν και μόνον αν υπάρχει μια επί απεικόνιση
f: X → Y.
3 |X| = |Y| αν και μόνον αν υπάρχει μια ένα–προς–ένα και
επί απεικόνιση f: X → Y.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ακολουθίες και Λίστες
Ακολουθίες ως Απεικονίσεις
´Εστω X ένα (τυχόν) σύνολο και {xn}n=1,2,... μια αριθμήσιμη ακολουθία
στοιχείων του X. Η ακολουθία αυτή μπορεί να ταυτισθεί με μια
απεικόνιση, με την έννοια ότι αντιστοιχεί σε αυτή μια απεικόνιση
ϕ: N+ → X τέτοια ώστε, για κάθε n = 1,2,..., να είναι ϕ(n) = xn.
Αλλά, και αντίστροφα, σε κάθε απεικόνιση ϕ: N+ → X αντιστοιχεί η
ακολουθία {xn}n=1,2,..., όπου xn = ϕ(n), για κάθε n = 1,2,....
Ορισμός 6
´Εστω X ένα (τυχόν) σύνολο και n ένας θετικός ακέραιος.
Κάθε πεπερασμένη ακολουθία στοιχείων του X ονομάζεται
λίστα μήκους n (ή n–λίστα). ´Οπως παραπάνω, κάθε λίστα
n στοιχείων του X μπορεί να ταυτισθεί με μια απεικόνιση
ϕ: [n] → X τέτοια ώστε
η ϕ είναι ένα–προς–ένα, όταν τα στοιχεία της λίστας
είναι διακριτά (μη επαναλαμβανόμενα) και
η ϕ είναι ένα–προς–ένα και επί, όταν η λίστα
ταυτίζεται με το X, το οποίο υποτίθεται ότι είναι
πεπερασμένο σύνολο.3
3
Εξ ορισμού, ένα πεπερασμένο σύνολο δεν έχει επαναλαμβανόμενα
στοιχεία. Αν είχε θα ονομαζόταν πολυσύνολο.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Λέξεις Τυπικών Γλωσσών
Ορισμοί 7
´Εστω Σ ένα περασμένο σύνολο με n στοιχεία, τα
οποία ονομάζονται σύμβολα, ενώ το Σ ονομάζεται
αλφάβητο.
Για κάθε θετικό ακέραιο k, θεωρούμε το Καρτεσιανό
γινόμενο Σk = Σ × Σ × ... × Σ (k φορές). Τα στοιχεία
του Σk ονομάζονται λέξεις (ή συμβολοσειρές) μήκους
k (οι οποίες σχηματίζονται από τα σύμβολα του
αλφαβήτου Σ).
Τυπική γλώσσα ονομάζεται μια συλλογή λέξεων
οποιουδήποτε μήκους.4
4
Η λέξη ε με μήκος 0 ορίζεται ως η λέξη που δεν περιέχει κανένα
σύμβολο.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Μεταθέσεις και Συνδυασμοί
Ορισμός 8
∆οθέντους ενός περασμένου συνόλου X με n στοιχεία,
ονομάζουμε μετάθεση5 (permutation) του X (ή του [n])
κάθε ένα–προς–ένα και επί απεικόνιση από το σύνολο
X (ή το σύνολο [n]) στον εαυτό του.
Παρατηρήσεις:
Ας υποθέσουμε ότι το X έχει n στοιχεία. Τότε μια μετάθεση του X μπορεί
να θεωρηθεί ως:
Μια n–λίστα που σχηματίζεται από τα στοιχεία του X διατεταγμένα
με οποιοδήποτε τρόπο, αλλά χωρίς επαναλήψεις.
Με άλλα λόγια, κάθε μετάθεση του συνόλου X με n στοιχεία είναι μια
διατεταγμένη τοποθέτηση ενός από n αντικείμενα σε n θέσεις, έτσι
ώστε κάθε θέση να περιέχει ακριβώς ένα αντικείμενο.
5
Μερικές φορές, η μετάθεση καλείται διάταξη.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Θεώρημα 9
Το πλήθος των μεταθέσεων ενός πεπερασμένου συνόλου
X με n στοιχεία είναι ίσο με n!, όπου, για κάθε n ∈ N, το
n!, που ονομάζεται n παραγοντικό, ορίζεται ως
n! =
n · (n − 1) · · · 2 · 1, για κάθε m θετικό ακέραιο,
1, για m = 0.6
Απόδειξη: Παρατηρώντας ότι, αν πάρουμε τα n αντικείμενα με τη σειρά, το
πρώτο από αυτά μπορεί να μπεί σε οποιαδήποτε από τις n θέσεις, αλλά
στη συνέχεια το δεύτερο αντικείμενο μπορεί να μπει μόνο σε μια από n − 1
θέσεις, ενώ για το τρίτο αντικείμενο μένουν n − 2 θέσεις κ.ο.κ., οπότε ο
Κανόνας του Γινομένου συνεπάγεται το ζητούμενο απότέλεσμα.
Πόρισμα 10
Για ένα αλφάβητο με n σύμβολα, υπάρχουν n! λέξεις
μήκους n με διαφορετικά σύμβολα η κάθε μια.
6
Το ότι 0! = 1 είναι συμβατό με την ύπαρξη μιας μόνο απεικόνισης
ένα–προς–ένα και επί από το ∅ στο ∅.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ορισμός 11
´Εστω ένα περασμένο σύνολο X με n στοιχεία και ένας
θετικός ακέραιος k ≤ n. Ονομάζουμε k–μετάθεση του X
(ή του [n]) κάθε k–λίστα διακριτών στοιχείων του X,
{xi}i=1,2,...,k, όπου xi ∈ X, για κάθε i ∈ [k], και xi = xj, για
κάθε i = j στο [k].
Θεώρημα 12
´Εστω n,k θετικοί ακέραιοι τέτοιοι ώστε n ≥ k και X
σύνολο n στοιχείων. Τότε το πλήθος των k–μεταθέ-
σεων του X (ή του [n]), που συμβολίζεται ως (n)k, είναι
ίσο με
(n)k = n(n − 1) · · · (n − k + 1) =
n!
(n − k)!
.
Απόδειξη: Προφανώς, έχουμε n επιλογές για τον πρώτο όρο της k–λίστας,
n − 1 για τον δεύτερο κ.ο.κ., έως ότου φθάσουμε στον k όρο, που είναι ο
τελευταίος, όπου θα έχουν μείνει n − k + 1 επιλογές.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Πόρισμα 13
´Εστω n,k θετικοί ακέραιοι τέτοιοι ώστε n ≥ k και X σύνολο n στοιχείων.
Τότε το πλήθος των k–μεταθέσεων του X (ή του [n]), όταν επιτρέπονται οι
επαναλήψεις στοιχείων, είναι ίσο με nk.
Πόρισμα 14
Για ένα αλφάβητο με n σύμβολα και για κάθε θετικό ακέραιο k, υπάρχουν nk
λέξεις μήκους k (ενδεχομένως με επαναλαμβανόμενα σύμβολα).
Πρόταση 1
Το πλήθος όλων των υποσυνόλων ενός συνόλου αποτελούμενου από n
στοιχεία είναι 2n.
Απόδειξη: Αν κατασκευάσουμε μια απεικόνιση ένα–προς–ένα και επί μεταξύ του συνόλου όλων των
υποσυνόλων ένος συνόλου n στοιχείων και όλων των λέξεων μήκους n, που σχηματίζονται από το
δυαδικό αλφάβητο {0, 1}, τότε η Πρόταση θα είναι απόρροια του Θεωρήματος 5.3. Πράγματι, η
απεικόνιση αυτή κατασκευάζεται ως εξής: για κάθε A ⊂ [n], έστω f(A) η λέξη στο {0, 1}, της οποίας
το σύμβολο στην θέση i είναι 1, όταν i ∈ A, και 0, διαφορετικά. Προφανώς, f(A) ∈ {0, 1}n, για κάθε
A ⊂ [n], και αν, για δυο A, B ⊂ [n] έχουμε f(A) = f(B), τότε είναι εύκολο να ελεχθεί ότι A = B, δηλα-
δή, η f είναι ένα–προς–ένα. Επιπλέον, για κάθε λέξη w = {wi}i∈[n] ∈ {0, 1}n, υπάρχει ένα υποσύνο-
λο C ∈ [n] τέτοιο ώστε C = {i ∈ [n]: wi = 1}, δηλαδή, f(C) = w, ήτοι η f είναι και επί.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: ´Εστω k θετικός ακέραιος. Το πλήθος όλων των θετικών
ακέραιων με k ψηφία είναι 9 · 10k−1.
Καθώς τώρα το αλφάβητο είναι το σύνολο {0,1,...,9}, προφανώς, έχουμε
9 επιλογές για τον πρώτο όρο ενός 9–ψήφιου αριθμού και, δεδομένου ότι
ακολούθως τα ψηφία μπορούν να επαναλαμβάνονται, υπάρχουν 10 επιλογές
για όλα τα άλλα ψηφία του αριθμού αυτού. ´Αρα, το ολικό πλήθος ψηφίων
είναι 9 · 10 · 10· · · · 10 = 9 · 10k−1.
Παράδειγμα: ´Εστω ότι κατασκευάζεται μια πόλη, στην οποία θα πρέπει να
υπάρχουν 10 διασταυρώσεις δρόμων. Κάποιες από τις διασταυρώσεις θα
έχουν φανάρια κυκλοφορίας και, σε κάποιες διασταυρώσεις με φανάρια, θα
υπάρχει επίσης και βενζινάδικο. Με πόσους τρόπους μπορεί αυτό να γίνει;
Θεωρούμε το αλφάβητο {A,B,C}, όπου το σύμβολο A αναπαριστά
διασταυρώσεις με φανάρια και βενζινάδικο, το B διασταυρώσεις μόνο με
φανάρια και χωρίς βενζινάδικο και το C διασταυρώσεις χωρίς ούτε φανάρια
ούτε βενζινάδικο. Τότε, κάθε 10–άδα διασταυρώσεων αναπαρίσταται ως
μια λέξη (λίστα) c = {ci}i∈[10] από το {A,B,C}, κάτι που σημαίνει ότι η
i–οστή διασταύρωση στην δεκάδα αυτή θα έχει φανάρια και βενζινάδικο,
όταν ci = A, θα έχει μόνο φανάρια, όταν ci = B, και δεν θα έχει ούτε
φανάρια ούτε βενζινάδικο, όταν ci = C (για κάθε i = 1,...,10). ´Ετσι,
σύμφωνα με το Πόρισμα 14, υπάρχουν 310 τέτοιες λέξεις, δηλαδή, 310
τρόποι κατασκευής των 10 διασταυρώσεων.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Μεταθέσεις Πολυσυνόλου
Θεώρημα 15
´Εστω n,k,a1,a2,...,ak θετικοί ακέραιοι τέτοιοι ώστε
a1 + a2 + ... + ak = n και X πολυσύνολο7, που έχει n στοιχεία,
από τα οποία τα ai στοιχεία είναι τύπου i, για κάθε i ∈ [k].
Τότε το πλήθος των μεταθέσεων του πολυσυνόλου X είναι
ίσο με
n!
a1! · a2! · · · · · ak!
.
Απόδειξη: ´Εστω x το ζητούμενο πλήθος μεταθέσεων του πολυσυνόλου X. Επειδή τα στοιχεία κάθε
τύπου i (ξεχωριστά), έχουν ai! μεταθέσεις, για κάθε i ∈ [k], ο Κανόνας Γινομένου συνεπάγεται ότι
x · a1! · a2! · · · · · ak! είναι το πλήθος των μεταθέσεων του n, που φυσικά είναι ίσο με n!, οπότε
έπεται το ζητούμενο αποτέλεσμα.
Παράδειγμα: Με πόσους τρόπους μπορούν να διαταχθούν τα γράμματα
της λέξης MISSISSIPPI;
Για τη λέξη αυτή, n = 11, ενώ υπάρχουν k = 4 τύποι γραμμάτων (M, I, S, P) με
a1 = 1, a2 = 4, a3 = 4, a4 = 2. Επομένως, υπάρχουν 11!
4!4!2!1!
= 34650 διαφορετικοί τρόποι, με τους
οποίους τα γράμματα της λέξης MISSISSIPPI μπορούν να διαταχθούν.
7
Αυτό σημαίνει ότι το X μπορεί να έχει πολλαπλά στοιχεία.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Συνδυασμοί
Ορισμός 16
´Εστω ένα περασμένο σύνολο X με n στοιχεία και ένας
θετικός ακέραιος k ≤ n. Ονομάζουμε k–επιλογή του X (ή του
[n]) κάθε υποσύνολο του X (ή του [n]), που έχει k στοιχεία.
Το πλήθος όλων των δυνατών k–επιλογών του X (ή του
[n]) ονομάζονται k–συνδυασμοί του X (ή του [n]) και
συμβολίζονται με n
k , το οποίο διαβάζεται ως ‘‘n ανά k’’ .8
Θεώρημα 17
´Εστω n,k ακέραιοι τέτοιοι ώστε n ≥ k ≥ 0 και X σύνολο
n στοιχείων. Τότε οι k–συνδυασμοί του X (ή του [n])
είναι ίσοι με
n
k
=
n!
k!(n − k)!
=
(n)k
k!
, για κάθε n > k > 0,
n
0
=
n
n
= 1.
8
Μερικές φορές, οι αριθμοί n
k ονομάζονται διωνυμικοί συντελεστές, όπως θα εξηγηθεί πιο κάτω.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Απόδειξη: Πρώρα, ας θεωρήσουμε την περίπτωση n >k >0 και έστω (n)k
το πλήθος των k–μεταθέσεων του X. Φυσικά, τα στοιχεία κάθε μιας από
τις k–μεταθέσεις είναι διατεταγμένα, ενώ σε κάθε μια από τις k–επιλογές
(δηλαδή, σε κάθε υποσύνολο k στοιχείων του X) δεν χρειάζεται να υπάρχει
καμιά διάταξη. ´Ομως, σύμφωνα με το Θεώρημα 9, οι μεταθέσεις κάθε μιας
από τις k–επιλογές είναι k! (δηλαδή, κάθε υποσύνολο k στοιχείων του X
μπορεί να εμφανισθεί με k! τρόπους, στους οποίους τα στοιχεία του
υποσυνόλου έχουν διαφορετική διάταξη κάθε φορά). Επομένως, το συνολικό
πλήθος των k–μεταθέσεων (από τον Κανόνα του Γινομένου) θα ισούται με
το πλήθος όλων των δυνατών επιλογών (δηλαδή, με το πλήθος των
k–συνδυασμών) επί k!, ήτοι (n)k = n
k · k! και, καθώς (n)k = n · (n − 1) · · ·
(n − k + 1), παίρνουμε το ζητούμενο αποτέλεσμα. Τέλος, όταν k = 0 ή k = n,
τότε υπάρχει μια μοναδική k–επιλογή του [n] (το ∅ ή το [n], αντιστοίχως),
οπότε n
k = 1.9
9
Ουσιαστικά, ο τύπος των k–συνδυασμών μπορεί να επεκταθεί έτσι ώστε να ισχύει, για κάθε
k ∈ Z, αφού, όταν k < 0 ή k > n, τότε δεν υπάρχουν k–επιλογές του [n], οπότε παίρνουμε n
k = 0.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Πιθανότητες στο Πόκερ
Ορισμός 18
´Εστω X το σύνολο των ενδεχόμενων που προκύπτουν ως τα δυνατά
αποτελέσματα ενός πειράματος τύχης. Υποθέτουμε ότι |X| = n. Αν A είναι
κάποια από τα ενδεχόμενα αυτά (δηλαδή, αν το A είναι υποσύνολο του X),
τότε η πιθανότητα του A ορίζεται ως |A|
n .
Παιχνίδι Πόκερ: Το παιχνίδι αυτό παίζεται συνήθως με τράπουλα 52
φύλλων, τα οποία ταξινομούνται σε τέσσερα χρώματα και κάθε χρώμα έχει
μια σειρά 13 φύλλων. Παίρνοντας (στην τύχη) πέντε φύλλα από την
τράπουλα, ποιές είναι οι πιθανότητες για τρία όμοια φύλλα, δύο ζεύγη,
κέντα και χρώμα;
´Οταν παίρνουμε 5 φύλλα στην τύχη, υπάρχουν συνολικά 52
5 = 2 598 960 ισοπίθανα ενδεχόμενα.
Για να πετύχουμε τρία όμοια φύλλα μέσα στα πέντε (ενώ τα άλλα δυο να μην ταιριάζουν),
υπάρχουν 13
1
4
3
12
2
4
1
4
1 = 54 912, δηλαδή, η πιθανότητα είναι
54 912/2 598 960 = 0.021128.
Για να πετύχουμε δύο ζεύγη μέσα στα πέντε φύλλα (ενώ το πέμπτο φύλλο να μην ταιριάζει),
υπάρχουν 13
2
4
2
4
2
44
1 = 123 552, δηλαδή, η πιθανότητα είναι
123 552/2 598 960 = 0.047539.
Για να πετύχουμε κέντα (δηλαδή, πέντε φύλλα στη σειρά,10 αλλά όχι του ιδίου χρώματος),
υπάρχουν 10 · 45 = 10 240, δηλαδή, η πιθανότητα είναι 10240/2 598 960 = 0.003940.
Για να πετύχουμε χρώμα (δηλαδή, πέντε φύλλα του ιδίου χρώματος), υπάρχουν
4 13
5 = 5148, δηλαδή, η πιθανότητα είναι 5148/2598960 = 0.001981.
10
Ο άσσος μπορεί να είναι είτε το αρχικό ή το τελικό φύλλο στη σειρά των πέντε φύλλων.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: Σε ένα παιχνίδι τύχης, υπάρχουν 90 αριθμη-
μένα σφαιρίδια σε ένα δοχείο και επιλέγονται τυχαία 5 από
αυτά, τα οποία βγαίνουν από την κληρωτίδα όλα μαζί. Αν
κάθε λαχείο περιλαμβάνει μια πεντάδα αριθμών, στην οποία
ποντάρει ο παίκτης, πόσα λαχεία πρέπει να πάρει κανείς
για να κερδίσει;
Προφανώς, για να κερδίσει κανείς, πρέπει να ποντάρει σε όλα τα δυνατά 5–μελή υποσύνολα του
[90], τα οποία είναι 90
5 = 43 949 268.
Παράδειγμα: ´Ενας ασκούμενος γιατρός πρέπει να δουλέψει
στο νοσοκομείο πέντε μέρες μέσα στον Ιανουάριο, αλλά όχι
διαδοχικές μέρες. Με πόσους συνολικά διαφορετικούς τρό-
πους μπορεί να επιλέξει τις μέρες εργασίας του στο
νοσοκομείο;
´Εστω a1, a2, a3, a4, a5 οι μέρες εργασίας. Καθώς αυτές είναι 5 μέρες από 31, αλλά δεν μπορούν να
είναι διαδοχικές, θα έχουμε ότι 1 ≤ a1 < a2 − 1 < a3 − 2 < a4 − 3 < a5 − 4 ≤ 27. Αυτό σημαίνει ότι,
προφανώς, υπάρχει μια απεικόνιση ένα–προς–ένα και επί μεταξύ των 5–μελών υποσυνόλων του
[31], που δεν περιέχουν κανένα ζεύγος διαδοχικών αριθμών, και των 5–μελών υποσυνόλων του [27].
Επομένως, αντί να επιλέξει ένα 5–μελές υποσύνολο του [31] χωρίς διαδοχικούς αριθμούς, αρκεί να
επιλέξει ένα 5–μελές υποσύνολο του [27] και υπάρχουν 27
5 = 80 730 τρόποι να το κάνουμε αυτό.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Πλεγματικοί ∆ρόμοι
Ορισμός 19
´Εστω N2 το πλέγμα των σημείων στο επίπεδο R, που
έχουν μη αρνητικές ακέραιες συντεταγμένες.
∆οθέντων δυο σημείων (x1,y1) και (xn,yn) ∈ N2 (για
κάποιο θετικό ακέραιο n) με x1 <xn και y1 <yn, ονο-
μάζουμε πλεγματικό δρόμο από το (x1,y1) στο (xn,yn)
κάθε τεθλασμένη γραμμή, η οποία ξεκινά από το (x1,y1)
και τερματίζει στο (xn,yn) διανύοντας ευθείες μόνο με
κατεύθυνση είτε προς τα δεξιά ή προς τα πάνω.
Με άλλα λόγια, κάθε πλεγματικός δρόμος είναι μια
διατεταγμένη ακολουθία {(xk,yk)}k=1,2,...,n σημείων του
N2 τέτοιων ώστε 0 ≤ xk+1 − xk ≤ 1 και 0 ≤ yk+1 − yk ≤ 1,
για κάθε k = 1,2,...,n − 1.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Πρόταση 2
Για κάθε θετικούς ακέραιους k,m, το πλήθος των πλεγματικών
δρόμων από (0,0) ως (k,m) είναι ίσο με k+m
k . Με άλλα
λόγια, για n ≥ k, οι k–συνδυασμοί του [n] είναι ίσοι με το
πλήθος των πλεγματικών δρόμων από (0,0) ως (k,n − k).
Απόδειξη: Εξ ορισμού, κάθε πλεγματικός δρόμος από (0, 0) ως (k, m) αποτελείται από συνεχόμενα
μοναδιαία ευθύγραμμα τμήματα, τα οποία τα διανύει ο δρόμος αυτός σε κάθε βήμα. Επειδή κάθε
τέτοιο ευθύγραμμο τμήμα μπορεί να κατευθύνεται είτε προς δεξιά ή προς τα πάνω, αντιστοιχούμε σε
αυτό είτε το 1, όταν κατευθύνεται προς τα δεξιά, ή το 0, όταν κατευθύνεται προς τα πάνω. Με
άλλα λόγια, σε κάθε τέτοιο πλεγματικό δρόμο αντιστοιχούμε μια λίστα από 0 και 1, όπου το
συνολικό πλήθος των 1 μπορεί να είναι το πολύ ίσο με k, το οποίο είναι το μέγιστο πλήθος των
βημάτων, που ο δρόμος αυτός μπορεί να διανύσει κατευθυνόμενος προς τα δεξιά (εφόσον οι
κατευθύνσεις προς τα πάνω συνεισφέρουν μόνο με 0). Επιπλέον, το συνολικό πλήθος των μοναδιαίων
ευθυγράμμων τμημάτων, που σχηματίζουν, έναν τέτοιο πλεγματικό δρόμο είναι k + m. Επομένως,
υπάρχει μια απεικόνιση ένα–προς–ένα από το σύνολο όλων των δυνατών πλεγματικών δρόμων από
(0, 0) ως (k, m) και το σύνολο όλων των δυνατών k–επιλογών του [k + m]. Αλλά το πλήθος του
δεύτερου συνόλου είναι οι k–συνδυασμοί του [k + m], κάτι που ολοκληρώνει την απόδειξη.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Συνδυαστική Απόδειξη – ∆ιπλή Απαρίθμηση
Ορισμός 20
Ονομάζουμε συνδυαστική απόδειξη μια απόδειξη, με
την οποίαν κάποιος τύπος, που θέλουμε να
αποδείξουμε, π.χ., η ισότητα δυο μη αρνητικών
ακεραίων a = b, ερμηνεύεται ως μια ισότητα μεταξύ
των πληθών των στοιχείων δυο πεπερασμένων
συνόλων A,B με πλήθη στοιχείων |A| = a και |B| = b.
Με άλλα λόγια, για να αποδείξουμε συνδυαστικά ότι
a = b αρκεί να βρούμε δυο πεπερασμένα σύνολα A,B με
|A| = a και |B| = b και να κάνουμε διπλή απαρίθμηση
των στοιχείων τους, βρίσκοντας ότι |A| = |B|.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Πρόταση 3
Για κάθε μη αρνητικούς ακέραιους n,k τέτοιους ώστε n ≥ k,
ισχύουν
n
k
=
n
n − k
.
Απόδειξη μέσω πλεγματικών δρόμων: Σύμφωνα με την Πρόταση 2, το
n
k
απαριθμεί το πλήθος
των πλεγματικών δρόμων από (0, 0) ως (k, n − k), ενώ το
n
n − k
απαριθμεί το πλήθος των
πλεγματικών δρόμων από (0, 0) ως (n − k, k). Αλλά οι δυο αυτές απαριθμήσεις πρέπει να
καταλήγουν στο ίδιο πλήθος, γιατί η ανάκλαση γύρω από την διαγώνιο (του επιπέδου) αντιστοιχεί
έναν πλεγματικό δρόμο από (0, 0) ως (k, n − k) σε έναν πλεγματικό δρόμο από (0, 0) ως (n − k, k).
Με άλλα λόγια, η ανάκλαση γύρω από την διαγώνιο αποτελεί μια απεικόνιση ένα–προς–ένα και επί
μεταξύ των συνόλων των δυο πλεγματικών δρόμων και, άρα, αυτά πρέπει να είναι ισοπληθή.
Απόδειξη μέσω του συμπληρώματος: Κατασκευάζουμε μια απεικόνιση f, που είναι ένα–προς–ένα και
επί, μεταξύ του συνόλου όλων των k–μελών υποσυνόλων του [n] και του συνόλου όλων των
n − k–μελών υποσυνόλων του [n] ως εξής. Για κάθε k–μελές υποσύνολο S του [n], θέτουμε f(S) = Sc
(το συμπλήρωμα του S στο [n]). Καθώς, για κάθε n − k–μελούς υποσυνόλου T του [n], υπάρχει
μοναδικό υποσύνολο S του [n] τέτοιο ώστε f(S) = T και φυσικά αυτό είναι το S = Tc, έπεται ότι η
απεικόνιση f είναι ένα–προς–ένα και επί, κάτι που αποδεικνύει τα δυο σύνολα, που απαριθμούνται
είτε ως
n
k
ή ως
n
n − k
, πρέπει να είναι ισοπληθή.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Συνδυασμοί με Επαναλήψεις
Ορισμός 21
´Εστω ένα περασμένο σύνολο X με n στοιχεία και ένας
μη αρνητικός ακέραιος k. Ονομάζουμε k–επιλογή με
επαναλήψεις του X (ή του [n]) κάθε k–μελές πολυσύν-
ολο, που αποτελείται από στοιχεία του X (ή του
[n]).11 Το πλήθος όλων των δυνατών k–επιλογών με
επαναλήψεις του X (ή του [n]) ονομάζονται k–συνδυα-
σμοί με επαναλήψεις του X (ή του [n]).
Εναλλακτική ερμηνεία συνδυασμών με επαναλήψεις:
Ως το πλήθος των (x1,x2,...,xn) ∈ Nn τέτοιων ώστε
x1 + x2 + ... + xn = k, για κάθε n,k ∈ N.
11
Προφανώς, όταν k = 0, η 0–επιλογή δεν περιλάμβανει κανένα στοιχείο, δηλαδή, είναι το κενό
σύνολο.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Θεώρημα 22
´Εστω n,k μη αρνητικοί ακέραιοι και X σύνολο n στοιχείων.
Τότε το πλήθος των k–συνδυασμών με επαναλήψεις του X (ή
του [n]) είναι
n + k − 1
k
=
n + k − 1
n − 1
.
Απόδειξη: Κάθε k–επιλογή με επαναλήψεις των n στοιχείων του X μπορεί να αναπαρασταθεί ως μια
συμβολική λίστα, η οποία αποτελείται από δυο ειδών σύμβολα: n − 1 διαχωριστικές γραμμές ‘‘|’’ και
k αστερίσκους ‘‘∗’’ . Οι n − 1 διαχωριστικές γραμμές σχηματίζουν n διαφορετικά κελιά, στα οποία
μπαίνουν οι αστερίσκοι, έτσι ώστε το i–οστό κελί να περιέχει έναν αστερικό αν και μόνον αν το
i–οστό στοιχείο του X περιέχεται στο πολυσύνολο της k–επιλογής. Για παράδειγμα, στο σύνολο 4
στοιχείων X = {a, b, c, d}, η 6–επιλογή που αντιστοιχεί στη συμβολική λίστα ∗ ∗ | ∗ || ∗ ∗∗ είναι το
πολυσύνολο {a, a, b, d, d, d}. Επομένως, το πλήθος αυτών των συμβολικών λιστών με n − 1 διαχωρι-
/ στικές γραμμές και k αστερίσκους είναι οι k–συνδυασμοί με επαναλήψεις των n στοιχείων του X.
´Ομως, το πλήθος αυτών των συμβολικών λιστών είναι ίσο με
n + k − 1
k
, επειδή κάθε συμβολική
λίστα αντιστοιχεί σε μια επιλογή k θέσεων, στις οποίες τοποθετούνται οι k αστερίσκοι, από τις
n + k − 1 θέσεις, που περιέχουν k αστερίσκους και n − 1 διαχωριστικές γραμμές. Επιπλέον, το πλήθος
αυτών των συμβολικών λιστών είναι επίσης ίσο με
n + k − 1
n − 1
, επειδή κάθε συμβολική λίστα αντι- /
στοιχεί σε μια επιλογή n − 1 θέσεων, όπου τοποθετούνται n − 1 διαχωριστικές γραμμές.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Παράδειγμα: Σε ένα παιχνίδι τύχης, υπάρχουν 90
αριθμημένα σφαιρίδια σε ένα δοχείο και επιλέγονται τυχαία
5 από αυτά, σε 5 διαδοχικές τυχαίες κληρώσεις, με
επανατοποθέτηση όμως του σφαιριδίου, που έχει κληρωθεί
σε μια κλήρωση, πριν γίνει η επόμενη. Κερδίζει αυτός που
θα πετύχει το πολυσύνολο όλων των αριθμών, που βγάζει
έτσι η κλήρωση (ανεξάρτητα σειράς κλήρωσης). Αν κάθε
λαχείο περιλαμβάνει μια πεντάδα αριθμών, στην οποία
ποντάρει ο παίκτης, πόσα λαχεία πρέπει να πάρει κανείς
για να κερδίσει;
´Εστω b1, b2, b3, b4, b5 οι αριθμοί που κληρώνονται (γραμμένοι σε μη θφίνουσα σειρά). Καθώς αυτοί
είναι 5 από 90 αριθμούς, αλλά μπορούν να επαναλαμβάνονται, θα έχουμε ότι
1 ≤ b1 ≤ b2 ≤ b3 ≤ b4 ≤ b5 ≤ 90. ´Εστω λοιπόν X το σύνολο, του οποίου τα στοιχεία είναι 5 το
πολύ αριθμοί του [90], που μπορεί να επαναλαμβάνονται, αλλά πάντα θα είναι διατεταγμένοι με την
ανισο–ισότητα ‘‘≤.’’ Επιπλέον, έστω Y το σύνολο, του οποίου τα στοιχεία είναι 5 οποιοιδήποτε
αριθμοί του [94] (χωρίς καμία επανάληψη). Ισχυριζόμαστε ότι υπάρχει μια απεικόνιση f : X −→ Y,
που είναι ένα–προς–ένα και επί. Πράγματι, η απεικόνιση αυτή δίνεται από τη σχέση
f(b1, b2, b3, b4, b5) = (b1, b2 + 1, b3 + 2, b4 + 3, b5 + 4) και (b1, b2, b3, b4, b5) ∈ X αν και μόνον αν
(b1, b2 + 1, b3 + 2, b4 + 3, b5 + 4) ∈ Y. Επομένως, για να κερδίσει κανείς πρέπει να ποντάρει σε
94
5 = 54 891 018 λαχεία.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Πίνακας Μεταθέσεων και Συνδυασμών
Μεταθέσεις
n διακριτά αντικείμενα n!
ai αντικείμενα τύπου i,
k
i=1 ai = n
n!
a1!·a2!···ak!
Λίστες
n διακριτά αντικείμενα σε
λίστα μήκους k
(n)k = n!
(n−k)!
ai διακριτά σύμβολα σε
λέξεις μήκους k
nk
Υποσύνολα
k–μελή υποσύνολα του [n]
n
k
k–μελή πολυσύνολα
με στοιχεία από το [n]
n + k − 1
k
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ασκήσεις
1 Πόσες απεικονίσεις υπάρχουν από το [n] στο [n]
που δεν είναι ένα–προς–ένα;
2 Αποδείξτε ότι το πλήθος των υποσυνόλων του [n]
με περιττό αριθμό στοιχείων είναι 2n−1.
3 Πόσοι πενταψήφιοι θετικοί ακέραιοι υπάρχουν
τέτοιοι ώστε το μεσαίο ψηφίο τους να είναι το 6 κι
οι αριθμοί αυτοί να είναι διαιρετοί με το 3;
4 Πόσοι πενταψήφιοι θετικοί ακέραιοι υπάρχουν
τέτοιοι ώστε να περιέχουν το ψηφίο 9 κι οι αριθμοί
αυτοί να είναι διαιρετοί με το 3;
5 Με πόσους τρόπους μπορούν να διαταχθούν τα
ψηφία {1,2,2,3,4,5,6} έτσι ώστε τα όμοια
στοιχεία να μη βρίσκονται σε διαδοχική σειρά;
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
6 Με πόσους τρόπους μπορούν να διαταχθούν τα
ψηφία {1,1,2,2,3,4,5} έτσι ώστε τα δυο 1 να
βρίσκονται σε διαδοχική σειρά;
7 ´Εστω b1,b2,...,bk θετικοί ακέραιοι με άθροισμα
μικρότερο του n. ∆είξτε τότε ότι b1!b2! · · · bk! <n!.
8 Πόσοι εξαψήφιοι θετικοί ακέραιοι υπάρχουν τέτοιοι
ώστε το άθροισμα των ψηφίων τους να είναι το
πολύ 51;
9 Πόσοι τετραψήφιοι θετικοί ακέραιοι υπάρχουν
τέτοιοι ώστε όλα τα ψηφία τους να είναι
διαφορετικά;
10 Πόσοι τετραψήφιοι θετικοί ακέραιοι υπάρχουν
τέτοιοι ώστε να περιέχουν το ψηφίο 1;
11 Πόσοι τριψήφιοι θετικοί ακέραιοι υπάρχουν τέτοιοι
ώστε το άθροισμα των ψηφίων τους να είναι άρτιο;
(Το πρώτο ψηφίο δεν μπορεί να είναι 0.)
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
12 Με πόσους τρόπους μπορούν να διαταχθούν τα
στοιχεία του [n] έτσι ώστε (1) το 1 να προηγείται
του 2 και το 3 του 4 και (2) το 1 να προηγείται
και του 2 και του 3;
13 Με πόσους τρόπους μπορούν να διαταχθούν τα
στοιχεία του [n] έτσι ώστε το άθροισμα κάθε δυο
διαδοχικών όρων της μετάθεσης να είναι περιττός
ακέραιος;
14 ´Εστω n = pa1
1 pa2
2 · · · pak
k , όπου τα pk είναι διακριτοί
πρώτοι, και τα ai είναι θετικοί ακέραιοι. Πόσους
θετικούς διαιρέτες έχει το n;
15 ´Εστω d(n) το πλήθος των θετικών διαιρετών του
n. (1) Για ποιους αριθμούς n είναι το d(n) δύναμη
του 2; (2) Ισχύει ότι, για κάθε θετικό ακέραιο n,
d(n) ≤ 1 + log2 n;
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
16 Με πόσους τρόπους μπορούμε να επιλέξουμε δυο
υποσύνολα A και B του [n] έτσι ώστε A ∩ B = ∅;
17 Με πόσους τρόπους μπορούμε να επιλέξουμε τρία
υποσύνολα A,B και C του [n] έτσι ώστε
A ⊆ C,B ⊆ C και A ∩ B = ∅;
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Το ∆ιωνυμικό Θεώρημα
Θεώρημα 23 (Το ∆ιωνυμικό Θεώρημα)
Για κάθε μη αρνητικό ακέραιο n και κάθε αριθμούς x,y,
(x + y)n =
n
k=0
n
k
xkyn−k.
Απόδειξη: Ας θεωρήσουμε την δύναμη (x + y)n = (x + y)(x + y) · · · (x + y) ως
το γινόμενο μεταξύ n παραγόντων (x + y). Για να υπολογίσουμε αυτό το
γινόμενο, πρέπει να πάρουμε το συνολικό άθροισμα όλων των μερικών γι-
νομένων, που θα προέκτυπταν αν από κάθε παράγοντα (x + y) επιλέγαμε
είτε το x ή το y. ∆ηλαδή, το (x + y)n είναι το άθοισμα των όρων μιας ακο-
λουθίας αποτελούμενης από 2n μονόνυμα, κάθε ένα από τα οποία είναι της
μορφής xkyn−k, όταν επιλεγεί το x από k παράγοντες και το y από τους
υπόλοιπους, που φυσικά θα είναι n − k. Επιπλέον, κάθε μονόνυμο xkyn−k θα
εμφανισθεί τόσες φορές όσες είναι το πλήθος των k–μελών υποσυνόλων του
συνόλου {x,y}n, δηλαδή, στο τελικό άθροισμα για το (x + y)n κάθε μονόνυμο
xkyn−k θα εμφανίζεται πολλαπλασιαζόμενο με ένα συντελεστή ίσο προς
n
k
.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Πόρισμα 24
Για κάθε μη αρνητικό ακέραιο n, το εναλλασσόμηνο άθροισμα
των διωνυμικών συντελεστών
n
k
είναι μηδέν. ∆ηλαδή,
n
k=0
(−1)k ·
n
k
xkyn−k = 0.
Απόδειξη: Θέτουμε στο ∆ιωνυμικό Θεώρημα x = −1 και y = 1.
Πόρισμα 25
Για κάθε μη αρνητικό ακέραιο n,
2n =
n
k=0
n
k
.
Απόδειξη: Και τα δυο σκέλη της ισότητας αυτής απαριθμούν το πλήθος του
συνόλου των υποσυνόλων του [n]. Στο αριστερό σκέλος, η αρίθμηση αυτή
γίνεται απευθείας, ενώ στο δεξιό σκέλος απαριθμούνται πρώτα όλα τα
k–μελή υποσύνολα του [n] και μετά αθροίζονται ως προς k. Εναλλακτικά, η
ισότητα αυτή απορρέει από το ∆ιωνυμικό Θεώρημα θέτοντας x = y = 1.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Θεώρημα 26 (Ο Τύπος του Pascal )
Για κάθε μη αρνητικούς ακέραιους n και k,
n
k
+
n
k + 1
=
n + 1
k + 1
.
Απόδειξη: Εξ ορισμού, το αριστερό σκέλος της ισότητας, που θέλουμε να
αποδείξουμε, είναι ίσο προς το πλήθος των k + 1–μελών υποσυνόλων του
[n + 1]. Επιπλέον, το σύνολο όλων των k + 1–μελών υποσυνόλων του [n + 1]
διαμερίζεται σε δυο σύνολα: στο σύνολο S1 των k + 1–μελών υποσυνόλων
του [n + 1], κάθε ένα από τα οποία περιλαμβάνει το n + 1, και στο σύνολο
S2 των k + 1–μελών υποσυνόλων του [n + 1], κάθε ένα από τα οποία δεν
περιλαμβάνει το n + 1. Αφενός, τότε, κάθε στοιχείο του S1 θα είναι της
μορφής {n + 1} ∪ An, όπου το An είναι κάποιο k–μελές υποσύνολο του [n],
και, για αυτό, το πλήθος των στοιχείων του S1 θα είναι όσο ακριβώς είναι
το πλήθος των k–μελών υποσυνόλων του [n], δηλαδή,
n
k
. Από την άλλη
μεριά, το πλήθος των στοιχείων του S2 θα είναι όσο ακριβώς είναι το
πλήθος των k + 1–μελών υποσυνόλων του [(n + 1) − 1] = [n], δηλαδή,
n
k + 1
. Επομένως, η Αρχή του Αθρίσματος συνεπάγεται το επιθυμητό
αποτέλεσμα.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ορισμός 27
Το τρίγωνο του Pascal είναι μια τοποθέτηση μη αρνητικών
ακέραιων στους κόμβους ενός τριγωνικού πλέγματος έτσι
ώστε ο ακέραιος που βρίσκεται στην i–οστή γραμμή και
j–οστή σειρά από αριστερά (όπου κάθε αρίθμηση αρχίζει με
i = 0 και j = 0) να είναι ο διωνυμικός συντελεστής
i
j
, δηλα-
δή, όλη η i–οστή γραμμή να σχηματίζεται από το σύνολο
των διωνυμικών συντελεστών του αναπτύγματος (x + y)i.
Παρατηρήσεις:
Κάθε στοιχείο του τριγώνου του Pascal είναι το άθροισμα των δυο
στοιχείων που βρίσκονται ακριβώς από πάνω του.
Το εναλλασσόμενο άθροισμα όλων των στοιχείων κάθε γραμμής του
τριγώνου του Pascal είναι πάντοτε 0.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Θεώρημα 28 (Η Ταυτότητα του Αθροίσματος)
Για κάθε μη αρνητικούς ακέραιους n,k με k ≤ n,
n
i=k
i
k
=
n + 1
k + 1
.
Απόδειξη: Το δεξιό σκέλος της προς απόδειξη ταυτότητας, προφανώς,
απαριθμεί τα k + 1–μελή υποσύνολα του [n + 1]. Αλλά και το αριστερό
σκέλος απαριθμεί τα ίδια υποσύνολα, χωρίζοντάς τα όμως σε υπο–ομάδες
σύμφωνα με το μεγαλύτερο στοιχείο τους. Πράγματι, δοθέντων των μη
αρνητικών n,k έτσι ώστε n ≥ k, έχουμε ότι, για κάθε i ≤ n − k, τα k + 1–μελή
υποσύνολα του [n + 1], των οποίων το μεγαλύτερο στοιχείο είναι το
k + i + 1, έχουν πλήθος ίσο με
k + i
k
, γιατί, όταν το μεγαλύτερο στοιχείο
ενός τέτοιου υποσυνόλου είναι το k + i + 1, τότε τα υπόποιπα στοιχεία του
πρέπει να αποτελούν ένα υποσύνολο του [k + i]. Επομένως, υπάρχουν
k
k
k + 1–μελή υποσύνολα του [n + 1] με μεγαλύτερο στοιχείο το k + 1,
k + 1
k
k + 1–μελή υποσύνολα του [n + 1] με μεγαλύτερο στοιχείο το k + 2 κ.ο.κ.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Λήμμα 1 (Η Ταυτότητα της Απαρίθμησης των
Προεδρευόμενων Επιτροπών)
Το πλήθος των k–μελών επιτροπών n ατόμων, που
προεδρεύονται από ένα άτομο από αυτά, είναι
k
n
k
= n
n − 1
k − 1
.
Απόδειξη: Κάθε σκέλος αυτής της ταυτότητας, μετρά το πλήθος των
k–μελών επιτροπών n ατόμων, που προεδρεύονται από ένα άτομο από
αυτά. Το αριστερό σκέλος απαριθμεί πρώτα τις k–μελείς επιτροπές από
ένα σύνολο n ατόμων και μετά τους k προεδρεύοντες. Από την άλλη μεριά,
το δεξιό σκέλος απαριθμεί πρώτα τους προεδρεύοντες από ένα σύνολο n
ατόμων και μετά τα υπόλοιπα μέλη των k–μελών επιτροπών.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Θεώρημα 29
Για κάθε μη αρνητικό ακέραιο n,
n
k=1
k
n
k
= n2n−1.
Απόδειξη μέσω της Ταυτότητας της Απαρίθμησης των Προεδρευόμενων
Επιτροπών: n
k=1 k
n
k
= n
k=1 n
n − 1
k − 1
= n n−1
k =0
n − 1
k
= n2n−1,
χρησιμοποιώντας το Πόρισμα 25.
∆εύτερη Απόδειξη μέσω του ∆ιωνυμικού Θεωρήματος: Το ∆ιωνυμικό
Θεώρημα για y = 1 είναι (x + 1)n = n
k=1
n
k
xk. Παραγωγίζοντας ως προς
x παίρνουμε n(x + 1)n−1 = n
k=1 k ·
n
k
xk−1. Και θέτοντας x = 1 προκύπτει
η ζητούμενη ταυτότητα.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Θεώρημα 30 (Η Ταυτότητα του Vandermonde)
Για κάθε μη αρνητικούς ακέραιους n,m,k με k ≤ min{n,m},
n + m
k
=
k
i=0
n
i
m
k − i
.
Απόδειξη: Το αριστερό σκέλος της προς απόδειξη ταυτότητας, προφανώς, απαριθμεί όλα τα k–μελή
υποσύνολα του [n + m]. Αλλά και το δεξιό σκέλος απαριθμεί τα ίδια υποσύνολα, χωρίζοντάς τα όμως
σε υπο–ομάδες σύμφωνα με το πλήθος στοιχείων που επιλέγονται από το [n]. Πράγματι, μπορούμε
να επιλέξουμε πρώτα i στοιχεία του [n] με
n
i
τρόπους και μετά να επιλέξουμε τα υπόλοιπα k − i
στοιχεία από το σύνολο {n + 1, n + 2, . . . , n + m} (τελικά, το [m]) με
m
k − i
τρόπους.
Πόρισμα 31
Για κάθε μη αρνητικό ακέραιο n,
2n
n
=
n
k=0
n
k
2
.
Απόδειξη: Η ταυτότητα του Vandermonde, για k = m = n, δίνει
2n
n
= n
i=0
n
k
n
n − i
=
n
i=0
n
i
2
(λόγω της Πρότασης 3).
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Το Πολυωνυμικό Θεώρημα
Ορισμός 32
´Εστω n,a1,a2,...,ak μη αρνητικοί ακέραιοι, όπου k θετικός
ακέραιος, τέτοιοι ώστε n =
k
i=1 ai. Τότε, οι αριθμοί
n
a1,a2,...,ak
, που ορίζονται ως παρακάτω, ονομάζονται
πολυωνυμικοί συντελεστές12
n
a1,a2,...,ak
=
n!
a1! · a2! · · · · · ak!
.
Θεώρημα 33 (Το Πολυωνυμικό Θεώρημα)
Για κάθε μη αρνητικό ακέραιο n, θετικό ακέραιο k και κάθε
αριθμούς x1,x2,...,xk,
(x1 + x2 + ... + xk)n =
a1,a2,...,ak
n
a1,a2,...,ak
xa1
1 xa2
2 · · · xak
k ,
όπου το άθροισμα λαμβάνεται για κάθε k–λίστα μη αρνητικών
ακέραιων a1,a2,...,ak τέτοιων ώστε n =
k
i=1 ai.
12
Σύμφωνα με το Θεώρημα 15, οι πολυωνυμικοί συντελεστές απαριθμούν το πλήθος των
μεταθέσεων ενός n–μελούς πολυσονόλου με στοιχεία ταξινομημένα σε k κατηγορίες. Επιπλέον, η
ονομασία εξηγείται από το Θεώρημα που ακολουθεί.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Απόδειξη Πολυωνυμικού Θεωρήματος: Πρέπει να δείξουμε ότι ο όρος x
a1
1 x
a2
2 · · · x
ak
k μπορεί να
προκύψει με ακριβώς n
a1,a2,...,ak
τρόπους από το γινόμενο των k παραγόντων, που μπορούν να
ληφθούν ο καθένας σαν μια από τις παρενθέσεις του γινομένου (x1 + x2 + . . . + xk)n =
(x1 + x2 + . . . + xk) · · · (x1 + x2 + . . . + xk). Με άλλα λόγια, αρκεί να δείξουμε ότι για να πάρουμε
έναν τέτοιον όρο πρέπει να επιλέξουμε τα xi από ακριβώς i παρενθέσεις, για όλα τα i ∈ [k].
Ας πάρουμε λοιπόν ai φορές το xi, για όλα τα i ∈ [k], και ας διατάξουμε γραμμικά αυτούς τους
όρους. Το Θεώρημα 15 δείχνει ότι αυτό μπορεί να γίνει με ακριβώς n
a1,a2,...,ak
τρόπους. ´Ομως,
επιπλέον, κάθε γραμμική διάταξη p ορίζει έναν φυσικό τρόπο επιλογής παραγόντων από ένα
γινόμενο παρενθέσεων. Πράγματι, αν το j–ωστό σύμβολο της λέξης p είναι το xi, τότε επιλέγουμε το
xi από την j–ωστή παρέθεση. Με τον τρόπο αυτό, οι n
a1,a2,...,ak
γραμμικές διατάξεις θα
παραγάγουν ακριβώς n
a1,a2,...,ak
όρους ίσους προς x
a1
1 x
a2
2 · · · x
ak
k .
Προφανώς, η διαδικασία αυτή δημιουργεί μια απεικόνιση ένα–προς–ένα και επί μεταξύ, αφενός, του
συνόλου όλων των γραμμικών διατάξεων των n συμβόλων, από τα οποία τα ai είναι ίσα προς xi,
για όλα τα i ∈ [k], κι, αφετέρου, του συνόλου των όρων του (x1 + x2 + . . . + xk)n, οι οποίοι είναι ίσοι
προς x
a1
1 x
a2
2 · · · x
ak
k . Επομένως, ο συντελεστής του όρου x
a1
1 x
a2
2 · · · x
ak
k στο γινόμενο
(x1 + x2 + . . . + xk)n είναι ακριβώς ίσος προς n
a1,a2,...,ak
, όπως έπρεπε να δείξουμε.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Θεώρημα 34
´Εστω n,a1,a2,...,ak μη αρνητικοί ακέραιοι, όπου k θετικός
ακέραιος, τέτοιοι ώστε n =
k
i=1 ai. Τότε, ισχύει13
n
a1,a2,...,ak
=
n
a1
· · ·
n − a1 − ... − ai
ai+1
· · ·
n − a1 − ... − ak−1
ak
.
Απόδειξη: Το αριστερό σκέλος της προς απόδειξη σχέσης απαριθμεί όλες τις γραμμικές διατάξεις ενός
πολυσυνόλου, που περιέχει το σύμβολο xi ai φορές, για όλα τα i ∈ [k]. Θα δείξουμε ότι και το δεξιό
σκέλος εκτελεί την ίδια ακριβώς απαρίθμηση. Πράγματι, ας επιλέξουμε πρώτα τις a1 θέσεις, στις
οποίες τοποθετείται το σύμβολο x1. Αυτό μπορεί να γίνει με n
a1
τρόπους. Στη συνέχεια, ας
επιλέξουμε τις a2 θέσεις, στις οποίες τοποθετείται το σύμβολο x2. Καθώς έχουν ήδη καταληφθεί a1
θέσεις, αυτό μπορεί να γίνει με n−a1
a2
τρόπους. Μετά, επιλέγουμε τις a3 θέσεις, στις οποίες
τοποθετείται το σύμβολο x3. Καθώς έχουν ήδη καταληφθεί a1 + a2 θέσεις, αυτό μπορεί να γίνει με
n−a1−a2
a3
τρόπους. Και ούτω καθ´ εξής, μέχρις ότου συμπηρωθούν όλες οι θέσεις για όλα τα
σύμβολα, οπότε παίρνουμε ότι και το συνολικό πλήθος όλων των δυνατών περιπτώσεων εκφράζεται
από το δεξιό σκέλος της ταυτότητας αυτής.
13
Παρατηρήστε ότι n − a1 − . . . − ak−1 = ak, οπότε ο τελευταίος όρος του δεξιού σκέλους της
σχέσης αυτής είναι ίσος προς ak
ak
= 1.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Ασκήσεις
1 Αποδείξτε ότι, για κάθε ακέραιο n ≥ 2,
2n−2 · n · (n − 1) =
n
k=2
k(k − 1)
n
k
.
Πώς μπορεί να γενικευτεί αυτή η ταυτότητα;
2 ´Εστω k,m,n θετικοί ακέραιοι τέτοιοι ώστε
k + m ≤ n. Αποδείξτε ότι
n
m
·
n − m
k
=
n
k
n − k
m
.
3 Αποδείξτε ότι, για όλους τους ακέραιους
0 ≤ k ≤ n − 1,
k
j=0
n
j
=
n
j=0
n − 1 − j
k − j
2j.
Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη

More Related Content

What's hot

Ακολουθίες
ΑκολουθίεςΑκολουθίες
ΑκολουθίεςMath Studies
 
75 ερωτήσεις Σ-Λ στο Κεφάλαιο 1ο Ανάλυσης (word+mathtype)
75 ερωτήσεις Σ-Λ  στο Κεφάλαιο 1ο Ανάλυσης (word+mathtype)75 ερωτήσεις Σ-Λ  στο Κεφάλαιο 1ο Ανάλυσης (word+mathtype)
75 ερωτήσεις Σ-Λ στο Κεφάλαιο 1ο Ανάλυσης (word+mathtype)Μάκης Χατζόπουλος
 
διαγωνισμα αλγεβρα α λυκειου ανισωσεις απολυτα ριζες
διαγωνισμα αλγεβρα α λυκειου ανισωσεις απολυτα ριζεςδιαγωνισμα αλγεβρα α λυκειου ανισωσεις απολυτα ριζες
διαγωνισμα αλγεβρα α λυκειου ανισωσεις απολυτα ριζεςparis1967
 
ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 4 - ΤΕΛΕΣΤΕΣ και η ΔΟΜΗ ΕΛΕΓΧΟΥ
ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 4 - ΤΕΛΕΣΤΕΣ και η ΔΟΜΗ ΕΛΕΓΧΟΥΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 4 - ΤΕΛΕΣΤΕΣ και η ΔΟΜΗ ΕΛΕΓΧΟΥ
ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 4 - ΤΕΛΕΣΤΕΣ και η ΔΟΜΗ ΕΛΕΓΧΟΥDimitris Psounis
 
Η ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 7 - ΠΙΝΑΚΕΣ
Η ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 7 - ΠΙΝΑΚΕΣΗ ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 7 - ΠΙΝΑΚΕΣ
Η ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 7 - ΠΙΝΑΚΕΣDimitris Psounis
 
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2Dimitris Psounis
 
ΠΛΗ20.ΚΑΡΤΑ - ΚΑΝΟΝΑΣ ΑΘΡΟΙΣΜΑΤΟΣ - ΚΑΝΟΝΑΣ ΓΙΝΟΜΕΝΟΥ
ΠΛΗ20.ΚΑΡΤΑ - ΚΑΝΟΝΑΣ ΑΘΡΟΙΣΜΑΤΟΣ - ΚΑΝΟΝΑΣ ΓΙΝΟΜΕΝΟΥΠΛΗ20.ΚΑΡΤΑ - ΚΑΝΟΝΑΣ ΑΘΡΟΙΣΜΑΤΟΣ - ΚΑΝΟΝΑΣ ΓΙΝΟΜΕΝΟΥ
ΠΛΗ20.ΚΑΡΤΑ - ΚΑΝΟΝΑΣ ΑΘΡΟΙΣΜΑΤΟΣ - ΚΑΝΟΝΑΣ ΓΙΝΟΜΕΝΟΥDimitris Psounis
 

What's hot (20)

ΠΛΗ20 ΜΑΘΗΜΑ 2.5
ΠΛΗ20 ΜΑΘΗΜΑ 2.5ΠΛΗ20 ΜΑΘΗΜΑ 2.5
ΠΛΗ20 ΜΑΘΗΜΑ 2.5
 
ΠΛΗ20 ΜΑΘΗΜΑ 6.3
ΠΛΗ20 ΜΑΘΗΜΑ 6.3ΠΛΗ20 ΜΑΘΗΜΑ 6.3
ΠΛΗ20 ΜΑΘΗΜΑ 6.3
 
ΠΛΗ20 ΜΑΘΗΜΑ 0.3
ΠΛΗ20 ΜΑΘΗΜΑ 0.3ΠΛΗ20 ΜΑΘΗΜΑ 0.3
ΠΛΗ20 ΜΑΘΗΜΑ 0.3
 
ΠΛΗ20 ΜΑΘΗΜΑ 2.1
ΠΛΗ20 ΜΑΘΗΜΑ 2.1ΠΛΗ20 ΜΑΘΗΜΑ 2.1
ΠΛΗ20 ΜΑΘΗΜΑ 2.1
 
ΠΛΗ20 ΜΑΘΗΜΑ 4.2
ΠΛΗ20 ΜΑΘΗΜΑ 4.2ΠΛΗ20 ΜΑΘΗΜΑ 4.2
ΠΛΗ20 ΜΑΘΗΜΑ 4.2
 
Ακολουθίες
ΑκολουθίεςΑκολουθίες
Ακολουθίες
 
75 ερωτήσεις Σ-Λ στο Κεφάλαιο 1ο Ανάλυσης (word+mathtype)
75 ερωτήσεις Σ-Λ  στο Κεφάλαιο 1ο Ανάλυσης (word+mathtype)75 ερωτήσεις Σ-Λ  στο Κεφάλαιο 1ο Ανάλυσης (word+mathtype)
75 ερωτήσεις Σ-Λ στο Κεφάλαιο 1ο Ανάλυσης (word+mathtype)
 
ΠΛΗ20 ΜΑΘΗΜΑ 5.3
ΠΛΗ20 ΜΑΘΗΜΑ 5.3ΠΛΗ20 ΜΑΘΗΜΑ 5.3
ΠΛΗ20 ΜΑΘΗΜΑ 5.3
 
ΠΛΗ20 ΜΑΘΗΜΑ 2.2
ΠΛΗ20 ΜΑΘΗΜΑ 2.2ΠΛΗ20 ΜΑΘΗΜΑ 2.2
ΠΛΗ20 ΜΑΘΗΜΑ 2.2
 
ΠΛΗ20 ΜΑΘΗΜΑ 3.3
ΠΛΗ20 ΜΑΘΗΜΑ 3.3ΠΛΗ20 ΜΑΘΗΜΑ 3.3
ΠΛΗ20 ΜΑΘΗΜΑ 3.3
 
διαγωνισμα αλγεβρα α λυκειου ανισωσεις απολυτα ριζες
διαγωνισμα αλγεβρα α λυκειου ανισωσεις απολυτα ριζεςδιαγωνισμα αλγεβρα α λυκειου ανισωσεις απολυτα ριζες
διαγωνισμα αλγεβρα α λυκειου ανισωσεις απολυτα ριζες
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.4
ΠΛΗ20 ΜΑΘΗΜΑ 1.4ΠΛΗ20 ΜΑΘΗΜΑ 1.4
ΠΛΗ20 ΜΑΘΗΜΑ 1.4
 
συνδυαστική
συνδυαστικήσυνδυαστική
συνδυαστική
 
ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 4 - ΤΕΛΕΣΤΕΣ και η ΔΟΜΗ ΕΛΕΓΧΟΥ
ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 4 - ΤΕΛΕΣΤΕΣ και η ΔΟΜΗ ΕΛΕΓΧΟΥΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 4 - ΤΕΛΕΣΤΕΣ και η ΔΟΜΗ ΕΛΕΓΧΟΥ
ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 4 - ΤΕΛΕΣΤΕΣ και η ΔΟΜΗ ΕΛΕΓΧΟΥ
 
Η ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 7 - ΠΙΝΑΚΕΣ
Η ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 7 - ΠΙΝΑΚΕΣΗ ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 7 - ΠΙΝΑΚΕΣ
Η ΓΛΩΣΣΑ C - ΜΑΘΗΜΑ 7 - ΠΙΝΑΚΕΣ
 
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
 
ΠΛΗ20 ΜΑΘΗΜΑ 4.3
ΠΛΗ20 ΜΑΘΗΜΑ 4.3ΠΛΗ20 ΜΑΘΗΜΑ 4.3
ΠΛΗ20 ΜΑΘΗΜΑ 4.3
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.1
ΠΛΗ20 ΜΑΘΗΜΑ 1.1ΠΛΗ20 ΜΑΘΗΜΑ 1.1
ΠΛΗ20 ΜΑΘΗΜΑ 1.1
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.3
ΠΛΗ20 ΜΑΘΗΜΑ 1.3ΠΛΗ20 ΜΑΘΗΜΑ 1.3
ΠΛΗ20 ΜΑΘΗΜΑ 1.3
 
ΠΛΗ20.ΚΑΡΤΑ - ΚΑΝΟΝΑΣ ΑΘΡΟΙΣΜΑΤΟΣ - ΚΑΝΟΝΑΣ ΓΙΝΟΜΕΝΟΥ
ΠΛΗ20.ΚΑΡΤΑ - ΚΑΝΟΝΑΣ ΑΘΡΟΙΣΜΑΤΟΣ - ΚΑΝΟΝΑΣ ΓΙΝΟΜΕΝΟΥΠΛΗ20.ΚΑΡΤΑ - ΚΑΝΟΝΑΣ ΑΘΡΟΙΣΜΑΤΟΣ - ΚΑΝΟΝΑΣ ΓΙΝΟΜΕΝΟΥ
ΠΛΗ20.ΚΑΡΤΑ - ΚΑΝΟΝΑΣ ΑΘΡΟΙΣΜΑΤΟΣ - ΚΑΝΟΝΑΣ ΓΙΝΟΜΕΝΟΥ
 

Viewers also liked

ΠΛΗ20.ΚΑΡΤΑ - ΣΥΝΔΥΑΣΜΟΙ
ΠΛΗ20.ΚΑΡΤΑ - ΣΥΝΔΥΑΣΜΟΙ ΠΛΗ20.ΚΑΡΤΑ - ΣΥΝΔΥΑΣΜΟΙ
ΠΛΗ20.ΚΑΡΤΑ - ΣΥΝΔΥΑΣΜΟΙ Dimitris Psounis
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΚΑΡΤΑ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΚΑΡΤΑ)ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΚΑΡΤΑ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΚΑΡΤΑ)Dimitris Psounis
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.3
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.3ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.3
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.3Dimitris Psounis
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 Dimitris Psounis
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 

Viewers also liked (9)

ΠΛΗ20.ΚΑΡΤΑ - ΣΥΝΔΥΑΣΜΟΙ
ΠΛΗ20.ΚΑΡΤΑ - ΣΥΝΔΥΑΣΜΟΙ ΠΛΗ20.ΚΑΡΤΑ - ΣΥΝΔΥΑΣΜΟΙ
ΠΛΗ20.ΚΑΡΤΑ - ΣΥΝΔΥΑΣΜΟΙ
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.2 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΚΑΡΤΑ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΚΑΡΤΑ)ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΚΑΡΤΑ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.3 (ΚΑΡΤΑ)
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.3
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.3ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.3
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.3
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4 ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 1.4
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.4 (ΕΚΤΥΠΩΣΗ)
 

Similar to Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη

Διακριτά Μαθηματικά Ι: Εισαγωγή στη Λογική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά Ι: Εισαγωγή στη Λογική. Του Μωυσή ΜπουντουρίδηΔιακριτά Μαθηματικά Ι: Εισαγωγή στη Λογική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά Ι: Εισαγωγή στη Λογική. Του Μωυσή ΜπουντουρίδηMoses Boudourides
 
απειροστικός ιιι (μερκουράκης)
απειροστικός ιιι (μερκουράκης)απειροστικός ιιι (μερκουράκης)
απειροστικός ιιι (μερκουράκης)Christos Loizos
 
επαναληπτικες ασκησεις. 1
επαναληπτικες ασκησεις. 1επαναληπτικες ασκησεις. 1
επαναληπτικες ασκησεις. 1Konstantinos Kakaflikas
 
ΤΑΛΑΝΤΩΣΕΙΣ ΑΣΚΗΣΗ ΥΠΟΔΕΙΓΜΑΤΙΚΑ ΛΥΜΕΝΗ.pdf
ΤΑΛΑΝΤΩΣΕΙΣ ΑΣΚΗΣΗ ΥΠΟΔΕΙΓΜΑΤΙΚΑ ΛΥΜΕΝΗ.pdfΤΑΛΑΝΤΩΣΕΙΣ ΑΣΚΗΣΗ ΥΠΟΔΕΙΓΜΑΤΙΚΑ ΛΥΜΕΝΗ.pdf
ΤΑΛΑΝΤΩΣΕΙΣ ΑΣΚΗΣΗ ΥΠΟΔΕΙΓΜΑΤΙΚΑ ΛΥΜΕΝΗ.pdfΜαυρουδης Μακης
 
Πανελλήνιος Διαγωνισμός Φυσικής B΄ Λυκείου 2014/ Θέματα και Λύσεις
Πανελλήνιος Διαγωνισμός Φυσικής B΄ Λυκείου 2014/ Θέματα και ΛύσειςΠανελλήνιος Διαγωνισμός Φυσικής B΄ Λυκείου 2014/ Θέματα και Λύσεις
Πανελλήνιος Διαγωνισμός Φυσικής B΄ Λυκείου 2014/ Θέματα και ΛύσειςHOME
 
Συνοδευτικές Ασκήσεις 2ης Εργασίας(1).pdf
Συνοδευτικές Ασκήσεις 2ης Εργασίας(1).pdfΣυνοδευτικές Ασκήσεις 2ης Εργασίας(1).pdf
Συνοδευτικές Ασκήσεις 2ης Εργασίας(1).pdfacademicstudent2023
 
Δίκτυα Λογοτεχνίας: Μια Πρώτη Εισαγωγική Προσέγγιση
Δίκτυα Λογοτεχνίας: Μια Πρώτη Εισαγωγική ΠροσέγγισηΔίκτυα Λογοτεχνίας: Μια Πρώτη Εισαγωγική Προσέγγιση
Δίκτυα Λογοτεχνίας: Μια Πρώτη Εισαγωγική ΠροσέγγισηMoses Boudourides
 
γιατί διδάσκουμε αρχαία ελληνικά στα παιδιά
 γιατί διδάσκουμε αρχαία ελληνικά στα παιδιά γιατί διδάσκουμε αρχαία ελληνικά στα παιδιά
γιατί διδάσκουμε αρχαία ελληνικά στα παιδιάfilologia2
 

Similar to Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη (12)

Διακριτά Μαθηματικά Ι: Εισαγωγή στη Λογική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά Ι: Εισαγωγή στη Λογική. Του Μωυσή ΜπουντουρίδηΔιακριτά Μαθηματικά Ι: Εισαγωγή στη Λογική. Του Μωυσή Μπουντουρίδη
Διακριτά Μαθηματικά Ι: Εισαγωγή στη Λογική. Του Μωυσή Μπουντουρίδη
 
απειροστικός ιιι (μερκουράκης)
απειροστικός ιιι (μερκουράκης)απειροστικός ιιι (μερκουράκης)
απειροστικός ιιι (μερκουράκης)
 
επαναληπτικες ασκησεις. 1
επαναληπτικες ασκησεις. 1επαναληπτικες ασκησεις. 1
επαναληπτικες ασκησεις. 1
 
Εισαγωγή στη Θεωρία Κοινωνικών Δικτύων
Εισαγωγή στη Θεωρία Κοινωνικών ΔικτύωνΕισαγωγή στη Θεωρία Κοινωνικών Δικτύων
Εισαγωγή στη Θεωρία Κοινωνικών Δικτύων
 
physics1.pptx
physics1.pptxphysics1.pptx
physics1.pptx
 
1ο κεφάλαιο
1ο κεφάλαιο1ο κεφάλαιο
1ο κεφάλαιο
 
ΤΑΛΑΝΤΩΣΕΙΣ ΑΣΚΗΣΗ ΥΠΟΔΕΙΓΜΑΤΙΚΑ ΛΥΜΕΝΗ.pdf
ΤΑΛΑΝΤΩΣΕΙΣ ΑΣΚΗΣΗ ΥΠΟΔΕΙΓΜΑΤΙΚΑ ΛΥΜΕΝΗ.pdfΤΑΛΑΝΤΩΣΕΙΣ ΑΣΚΗΣΗ ΥΠΟΔΕΙΓΜΑΤΙΚΑ ΛΥΜΕΝΗ.pdf
ΤΑΛΑΝΤΩΣΕΙΣ ΑΣΚΗΣΗ ΥΠΟΔΕΙΓΜΑΤΙΚΑ ΛΥΜΕΝΗ.pdf
 
Πανελλήνιος Διαγωνισμός Φυσικής B΄ Λυκείου 2014/ Θέματα και Λύσεις
Πανελλήνιος Διαγωνισμός Φυσικής B΄ Λυκείου 2014/ Θέματα και ΛύσειςΠανελλήνιος Διαγωνισμός Φυσικής B΄ Λυκείου 2014/ Θέματα και Λύσεις
Πανελλήνιος Διαγωνισμός Φυσικής B΄ Λυκείου 2014/ Θέματα και Λύσεις
 
Συνοδευτικές Ασκήσεις 2ης Εργασίας(1).pdf
Συνοδευτικές Ασκήσεις 2ης Εργασίας(1).pdfΣυνοδευτικές Ασκήσεις 2ης Εργασίας(1).pdf
Συνοδευτικές Ασκήσεις 2ης Εργασίας(1).pdf
 
Pd fsam merge
Pd fsam mergePd fsam merge
Pd fsam merge
 
Δίκτυα Λογοτεχνίας: Μια Πρώτη Εισαγωγική Προσέγγιση
Δίκτυα Λογοτεχνίας: Μια Πρώτη Εισαγωγική ΠροσέγγισηΔίκτυα Λογοτεχνίας: Μια Πρώτη Εισαγωγική Προσέγγιση
Δίκτυα Λογοτεχνίας: Μια Πρώτη Εισαγωγική Προσέγγιση
 
γιατί διδάσκουμε αρχαία ελληνικά στα παιδιά
 γιατί διδάσκουμε αρχαία ελληνικά στα παιδιά γιατί διδάσκουμε αρχαία ελληνικά στα παιδιά
γιατί διδάσκουμε αρχαία ελληνικά στα παιδιά
 

More from Moses Boudourides

A bibliometric study on the literature of Open Science and Open Access. By Ts...
A bibliometric study on the literature of Open Science and Open Access. By Ts...A bibliometric study on the literature of Open Science and Open Access. By Ts...
A bibliometric study on the literature of Open Science and Open Access. By Ts...Moses Boudourides
 
Boudourides: Analysis of Bibliometric Data of Publications on “Computational ...
Boudourides: Analysis of Bibliometric Data of Publications on “Computational ...Boudourides: Analysis of Bibliometric Data of Publications on “Computational ...
Boudourides: Analysis of Bibliometric Data of Publications on “Computational ...Moses Boudourides
 
Closures and Attributes in Graphs: Shadows of (Dis)Assembled Networks. By Mos...
Closures and Attributes in Graphs: Shadows of (Dis)Assembled Networks. By Mos...Closures and Attributes in Graphs: Shadows of (Dis)Assembled Networks. By Mos...
Closures and Attributes in Graphs: Shadows of (Dis)Assembled Networks. By Mos...Moses Boudourides
 
Experiments of Friedkin–Johnsen Social Influence on Graphs
Experiments of Friedkin–Johnsen Social Influence on GraphsExperiments of Friedkin–Johnsen Social Influence on Graphs
Experiments of Friedkin–Johnsen Social Influence on GraphsMoses Boudourides
 
Digital, Humanities, Latour and Networks. By Moses A. Boudourides
Digital, Humanities, Latour and Networks. By Moses A. BoudouridesDigital, Humanities, Latour and Networks. By Moses A. Boudourides
Digital, Humanities, Latour and Networks. By Moses A. BoudouridesMoses Boudourides
 
Boudourides: Risk in Social Networks: Network Influence & Selection on Minori...
Boudourides: Risk in Social Networks: Network Influence & Selection on Minori...Boudourides: Risk in Social Networks: Network Influence & Selection on Minori...
Boudourides: Risk in Social Networks: Network Influence & Selection on Minori...Moses Boudourides
 
Topics of Complex Social Networks: Domination, Influence and Assortativity
Topics of Complex Social Networks: Domination, Influence and AssortativityTopics of Complex Social Networks: Domination, Influence and Assortativity
Topics of Complex Social Networks: Domination, Influence and AssortativityMoses Boudourides
 
Transitions and Trajectories in Temporal Networks
Transitions and Trajectories in Temporal NetworksTransitions and Trajectories in Temporal Networks
Transitions and Trajectories in Temporal NetworksMoses Boudourides
 
Multilayerity within multilayerity? On multilayer assortativity in social net...
Multilayerity within multilayerity? On multilayer assortativity in social net...Multilayerity within multilayerity? On multilayer assortativity in social net...
Multilayerity within multilayerity? On multilayer assortativity in social net...Moses Boudourides
 
Boudourides & Lenis, Distribution of Groups of Vertices Across Multilayer Net...
Boudourides & Lenis, Distribution of Groups of Vertices Across Multilayer Net...Boudourides & Lenis, Distribution of Groups of Vertices Across Multilayer Net...
Boudourides & Lenis, Distribution of Groups of Vertices Across Multilayer Net...Moses Boudourides
 
Boudourides et al., Transitions and Trajectories in Temporal Networks with Ov...
Boudourides et al., Transitions and Trajectories in Temporal Networks with Ov...Boudourides et al., Transitions and Trajectories in Temporal Networks with Ov...
Boudourides et al., Transitions and Trajectories in Temporal Networks with Ov...Moses Boudourides
 
Slides Δικτυακών Υπολογισμών με την Python
Slides Δικτυακών Υπολογισμών με την PythonSlides Δικτυακών Υπολογισμών με την Python
Slides Δικτυακών Υπολογισμών με την PythonMoses Boudourides
 
Ανάλυση Δικτύων με το NetworkX της Python: Μια προκαταρκτική (αλλά ημιτελής ω...
Ανάλυση Δικτύων με το NetworkX της Python: Μια προκαταρκτική (αλλά ημιτελής ω...Ανάλυση Δικτύων με το NetworkX της Python: Μια προκαταρκτική (αλλά ημιτελής ω...
Ανάλυση Δικτύων με το NetworkX της Python: Μια προκαταρκτική (αλλά ημιτελής ω...Moses Boudourides
 
Τα Πολύ Βασικά για την Python
Τα Πολύ Βασικά για την PythonΤα Πολύ Βασικά για την Python
Τα Πολύ Βασικά για την PythonMoses Boudourides
 
Η Επιστήμη των Δικτύων: Μια Πολύ Σύντομη Εισαγωγική Παρουσίαση - 8 Οκτωβρίου ...
Η Επιστήμη των Δικτύων: Μια Πολύ Σύντομη Εισαγωγική Παρουσίαση - 8 Οκτωβρίου ...Η Επιστήμη των Δικτύων: Μια Πολύ Σύντομη Εισαγωγική Παρουσίαση - 8 Οκτωβρίου ...
Η Επιστήμη των Δικτύων: Μια Πολύ Σύντομη Εισαγωγική Παρουσίαση - 8 Οκτωβρίου ...Moses Boudourides
 
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...Moses Boudourides
 
The hidden rules and open secrets of corporate governance. Preliminary result...
The hidden rules and open secrets of corporate governance. Preliminary result...The hidden rules and open secrets of corporate governance. Preliminary result...
The hidden rules and open secrets of corporate governance. Preliminary result...Moses Boudourides
 
Dominating Sets, Multiple Egocentric Networks and Modularity Maximizing Clust...
Dominating Sets, Multiple Egocentric Networks and Modularity Maximizing Clust...Dominating Sets, Multiple Egocentric Networks and Modularity Maximizing Clust...
Dominating Sets, Multiple Egocentric Networks and Modularity Maximizing Clust...Moses Boudourides
 
Πανεπιστήμιο και Κοινωνία των Πολιτών: Στοιχεία & Περιπτώσεις Αποικιοποίησ...
Πανεπιστήμιο και Κοινωνία των Πολιτών: Στοιχεία & Περιπτώσεις Αποικιοποίησ...Πανεπιστήμιο και Κοινωνία των Πολιτών: Στοιχεία & Περιπτώσεις Αποικιοποίησ...
Πανεπιστήμιο και Κοινωνία των Πολιτών: Στοιχεία & Περιπτώσεις Αποικιοποίησ...Moses Boudourides
 
Extended Cyclic Cellular Automata: Emulating Social Influence. By Moses A. Bo...
Extended Cyclic Cellular Automata: Emulating Social Influence. By Moses A. Bo...Extended Cyclic Cellular Automata: Emulating Social Influence. By Moses A. Bo...
Extended Cyclic Cellular Automata: Emulating Social Influence. By Moses A. Bo...Moses Boudourides
 

More from Moses Boudourides (20)

A bibliometric study on the literature of Open Science and Open Access. By Ts...
A bibliometric study on the literature of Open Science and Open Access. By Ts...A bibliometric study on the literature of Open Science and Open Access. By Ts...
A bibliometric study on the literature of Open Science and Open Access. By Ts...
 
Boudourides: Analysis of Bibliometric Data of Publications on “Computational ...
Boudourides: Analysis of Bibliometric Data of Publications on “Computational ...Boudourides: Analysis of Bibliometric Data of Publications on “Computational ...
Boudourides: Analysis of Bibliometric Data of Publications on “Computational ...
 
Closures and Attributes in Graphs: Shadows of (Dis)Assembled Networks. By Mos...
Closures and Attributes in Graphs: Shadows of (Dis)Assembled Networks. By Mos...Closures and Attributes in Graphs: Shadows of (Dis)Assembled Networks. By Mos...
Closures and Attributes in Graphs: Shadows of (Dis)Assembled Networks. By Mos...
 
Experiments of Friedkin–Johnsen Social Influence on Graphs
Experiments of Friedkin–Johnsen Social Influence on GraphsExperiments of Friedkin–Johnsen Social Influence on Graphs
Experiments of Friedkin–Johnsen Social Influence on Graphs
 
Digital, Humanities, Latour and Networks. By Moses A. Boudourides
Digital, Humanities, Latour and Networks. By Moses A. BoudouridesDigital, Humanities, Latour and Networks. By Moses A. Boudourides
Digital, Humanities, Latour and Networks. By Moses A. Boudourides
 
Boudourides: Risk in Social Networks: Network Influence & Selection on Minori...
Boudourides: Risk in Social Networks: Network Influence & Selection on Minori...Boudourides: Risk in Social Networks: Network Influence & Selection on Minori...
Boudourides: Risk in Social Networks: Network Influence & Selection on Minori...
 
Topics of Complex Social Networks: Domination, Influence and Assortativity
Topics of Complex Social Networks: Domination, Influence and AssortativityTopics of Complex Social Networks: Domination, Influence and Assortativity
Topics of Complex Social Networks: Domination, Influence and Assortativity
 
Transitions and Trajectories in Temporal Networks
Transitions and Trajectories in Temporal NetworksTransitions and Trajectories in Temporal Networks
Transitions and Trajectories in Temporal Networks
 
Multilayerity within multilayerity? On multilayer assortativity in social net...
Multilayerity within multilayerity? On multilayer assortativity in social net...Multilayerity within multilayerity? On multilayer assortativity in social net...
Multilayerity within multilayerity? On multilayer assortativity in social net...
 
Boudourides & Lenis, Distribution of Groups of Vertices Across Multilayer Net...
Boudourides & Lenis, Distribution of Groups of Vertices Across Multilayer Net...Boudourides & Lenis, Distribution of Groups of Vertices Across Multilayer Net...
Boudourides & Lenis, Distribution of Groups of Vertices Across Multilayer Net...
 
Boudourides et al., Transitions and Trajectories in Temporal Networks with Ov...
Boudourides et al., Transitions and Trajectories in Temporal Networks with Ov...Boudourides et al., Transitions and Trajectories in Temporal Networks with Ov...
Boudourides et al., Transitions and Trajectories in Temporal Networks with Ov...
 
Slides Δικτυακών Υπολογισμών με την Python
Slides Δικτυακών Υπολογισμών με την PythonSlides Δικτυακών Υπολογισμών με την Python
Slides Δικτυακών Υπολογισμών με την Python
 
Ανάλυση Δικτύων με το NetworkX της Python: Μια προκαταρκτική (αλλά ημιτελής ω...
Ανάλυση Δικτύων με το NetworkX της Python: Μια προκαταρκτική (αλλά ημιτελής ω...Ανάλυση Δικτύων με το NetworkX της Python: Μια προκαταρκτική (αλλά ημιτελής ω...
Ανάλυση Δικτύων με το NetworkX της Python: Μια προκαταρκτική (αλλά ημιτελής ω...
 
Τα Πολύ Βασικά για την Python
Τα Πολύ Βασικά για την PythonΤα Πολύ Βασικά για την Python
Τα Πολύ Βασικά για την Python
 
Η Επιστήμη των Δικτύων: Μια Πολύ Σύντομη Εισαγωγική Παρουσίαση - 8 Οκτωβρίου ...
Η Επιστήμη των Δικτύων: Μια Πολύ Σύντομη Εισαγωγική Παρουσίαση - 8 Οκτωβρίου ...Η Επιστήμη των Δικτύων: Μια Πολύ Σύντομη Εισαγωγική Παρουσίαση - 8 Οκτωβρίου ...
Η Επιστήμη των Δικτύων: Μια Πολύ Σύντομη Εισαγωγική Παρουσίαση - 8 Οκτωβρίου ...
 
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
 
The hidden rules and open secrets of corporate governance. Preliminary result...
The hidden rules and open secrets of corporate governance. Preliminary result...The hidden rules and open secrets of corporate governance. Preliminary result...
The hidden rules and open secrets of corporate governance. Preliminary result...
 
Dominating Sets, Multiple Egocentric Networks and Modularity Maximizing Clust...
Dominating Sets, Multiple Egocentric Networks and Modularity Maximizing Clust...Dominating Sets, Multiple Egocentric Networks and Modularity Maximizing Clust...
Dominating Sets, Multiple Egocentric Networks and Modularity Maximizing Clust...
 
Πανεπιστήμιο και Κοινωνία των Πολιτών: Στοιχεία & Περιπτώσεις Αποικιοποίησ...
Πανεπιστήμιο και Κοινωνία των Πολιτών: Στοιχεία & Περιπτώσεις Αποικιοποίησ...Πανεπιστήμιο και Κοινωνία των Πολιτών: Στοιχεία & Περιπτώσεις Αποικιοποίησ...
Πανεπιστήμιο και Κοινωνία των Πολιτών: Στοιχεία & Περιπτώσεις Αποικιοποίησ...
 
Extended Cyclic Cellular Automata: Emulating Social Influence. By Moses A. Bo...
Extended Cyclic Cellular Automata: Emulating Social Influence. By Moses A. Bo...Extended Cyclic Cellular Automata: Emulating Social Influence. By Moses A. Bo...
Extended Cyclic Cellular Automata: Emulating Social Influence. By Moses A. Bo...
 

Διακριτά Μαθηματικά ΙI: Εισαγωγή στη Συνδυαστική. Του Μωυσή Μπουντουρίδη

  • 1. ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΙΙ. Συνδυαστική Μωυσής Α. Μπουντουρίδης Μάθημα 2ου Εξαμήνου Τμήμα Μαθηματικών Πανεπιστημίου Πατρών Επικοινωνία: mboudour@upatras.gr Μάρτιος 2014 Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 2. Περιεχόμενα Ενότητας Συνδυαστικής Η Αρχή του Περιστερώνα Ασκήσεις Βασικές Αρχές Απαρίθμησης Ασκήσεις Μεταθέσεις και Συνδυασμοί Ασκήσεις Το ∆ιωνυμικό Θεώρημα Ασκήσεις Συνθέσεις και ∆ιαμερισμοί Ασκήσεις Αρχή Εγκλεισμού–Αποκλεισμού Ασκήσεις Γεννήτριες Συναρτήσεις Ασκήσεις Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 3. Η Αρχή του Περιστερώνα (Pigeon-Hole Principle) Θεώρημα 1 (Η Βασική Αρχή του Περιστερώνα) ´Εστω ότι βάζουμε n (όμοιες) μπάλλες μέσα σε k (όμοια) κουτιά, όπου n και k είναι θετικοί ακέραιοι τέτοιοι ώστε n >k. Τότε υπάρχει τουλάχιστον ένα κουτί, στο οποίο θα πρέπει να μπουν τουλάχιστον δυο μπάλλες. ´Εμμεση απόδειξη με αντίφαση: Ας υποθέσουμε το αντίθετο αυτού που θέλουμε να αποδείξουμε, δηλαδή, έστω ότι δεν υπάρχει κανένα κουτί με τουλάχιστον δυο (2) μπάλλες. Αυτό σημαίνει ότι κάθε κουτί περιέχει είτε καμιά (0) ή μία (1) μπάλλα. ´Εστω ότι m είναι το πλήθος των κουτιών χωρίς μπάλλες, οπότε 0 ≤ m ≤ k. ´Αρα, προφανώς, το πλήθος των κουτιών με μια (1) μπάλλα μέσα του το καθένα είναι k − m, που σημαίνει ότι το συνολικό πλήθος των μπαλλών είναι k − m. Αλλά, τότε k − m ≤ k <n, κάτι που αντιφάσκει την υπόθεση ότι το συνολικό πλήθος των μπαλλών είναι ίσο με n. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 4. Πρώτο παράδειγμα της βασικής Αρχής του Περιστερώνα ´Εστω η ακολουθία 7,77,777,7777,.... Αποδείξτε ότι υπάρχει κάποιος όρος αυτής της ακολουθίας, ο οποίος είναι διαιρετός με το 2003. Απόδειξη: Ας συμβολίσουμε την ακολουθία αυτή με {an}n=1,2,···, όπου, λόγω της (δεκαδικής) αναπαράστασης των όρων της, an = 7 · n−1 k=0 10k, για κάθε θετικό ακέραιο n. Βασικά, θα αποδείξουμε κάτι το ισχυρότερο: μεταξύ των πρώτων 2003 όρων της ακολουθίας αυτής, υπάρχει κάποιος όρος διαιρετός με το 2003. Ας υποθέσουμε όμως το αντίθετο, δηλαδή, ότι, μεταξύ των πρώτων 2003 όρων της ακολουθίας αυτής, κανένας όρος δεν είναι διαιρετός με το 2003. Αυτό σημαίνει ότι, για κάθε 1 ≤ n ≤ 2003, αν το rn συμβολίζει το υπόλοιπο της διαίρεσης του an με το 2003, τότε θα είναι 1 ≤ rn ≤ 2002. Επειδή όμως συνολικά έχουμε 2003 υπόλοιπα (μπάλλες) και 2002 τιμές που το καθένα τους μπορεί να πάρει (κουτιά), η Αρχή του Περιστερώνα συνεπάγεται ότι υπάρχουν δυο (διαφορετικοί) όροι, μεταξύ των πρώτων 2003 όρων της ακολουθίας αυτής, οι οποίοι έχουν το ίδιο ακριβώς υπόλοιπο. Ας συμβολίσουμε με ai και aj τους όρους αυτούς, για 1 ≤ i < j ≤ 2002, και με r το κοινό τους υπόλοιπο. Προφανώς, τότε, υπάρχουν δυο μη αρνητικοί ακέραιοι pi και pj τέτοιοι ώστε ai = 2003pi + r και aj = 2003pj + r, οπότε aj − ai = 2003(pj − pi), δηλαδή, η διαφορά aj − ai είναι διαιρετή με 2003. Επιπλέον, όμως, aj − ai = 7 · j−1 k=0 10k −7 · i−1 k=0 10k = 7 · j−1 k=i 10k = 7 · j−i−1 m=0 10m10i = aj−i10i και, καθώς το 10i δεν διαιρείται με το 2003 (για κανένα i), έπεται ότι ο όρος aj−i θα διαιρείται. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 5. ∆εύτερο παράδειγμα της βασικής Αρχής του Περιστερώνα Σε ένα τουρνουά σκακιού παίζουν n σκακιστές μεταξύ τους σε μονούς αγώνες (δηλαδή, κάθε ζευγάρι παίζει έναν αγώνα). Αποδείξτε ότι, σε οποιαδήποτε χρονική στιγμή, υπάρχουν δυο σκακιστές που έχουν παίξει τον ίδιο αριθμό αγώνων. Απόδειξη: Καταρχάς, παρατηρούμε ότι, σε οποιαδήποτε χρονική στιγμή, ένας σκακιστής μπορεί να έχει παίξει είτε σε κανένα ή σε 1 ή το πολύ σε n − 1 αγώνες. Επιπλέον, όμως, αν κάποια χρονική στιγμή ένας σκακιστής έχει συμπληρώσει όλους τους n − 1 αγώνες του, τότε δεν θα υπάρχει κανένας σκακιστής με 0 αγώνες, που σημαίνει ότι οι τιμές 0 και n − 1 δεν μπορούν να εμφανίζονται μαζί για τον αριθμό των αγώνων που έχουν παιχθεί ως οποιαδήποτε χρονική στιγμή. Με άλλα λόγια, οι δυνατότητες για τον αριθμό των αγώνων (κουτιά) είναι το πολύ n − 1, ενώ οι παίχτες (μπάλλες) είναι n και άρα, έπεται το ζητούμενα συμπέρασμα από την Αρχή του Περιστερώνα. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 6. Θεώρημα 2 (Η Γενικευμένη Αρχή του Περιστερώνα) ´Εστω ότι βάζουμε n (όμοιες) μπάλλες μέσα σε m (όμοια) κουτιά, όπου n >rm, για n,m,r θετικούς ακέριαιους. Τότε υπάρχει τουλάχιστον ένα κουτί, στο οποίο θα πρέπει να μπουν τουλάχιστον r + 1 μπάλλες. ´Εμμεση απόδειξη με αντίφαση: Ας υποθέσουμε το αντίθετο, δηλαδή, ότι κάθε κουτί μπορεί να περιέχει το πολύ r μπάλλες. Επομένως, τότε, σε όλα τα κουτιά, συνολικά, θα μπορούσαν να τοποθετηθούν το πολύ rm μπάλλες, αλλά, επειδή rm <n, αντιφάσκεται η υπόθεση ότι το συνολικό πλήθος των μπαλλών είναι ίσο με n. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 7. Παράδειγμα της γενικευμένης Αρχής του Περιστερώνα ´Εστω 10 σημεία μέσα στο μοναδιαίο τετράγωνο (δηλαδή, τετράγωνο μήκους ακμής 1). Τότε υπάρχουν δυο σημεία σε απόσταση μεταξύ τους μικρότερη του 0.48 και τρία σημεία που καλύπτονται από δίσκο ακτίνας 0.5. Απόδειξη: Πρώτα, χωρίζουμε το μοναδιαίο τετράγωνο σε 9 μικρότερα τετράγωνα (μήκους ακμής 1 3 το καθένα). Σύμφωνα με την γενικευμένη Αρχή του Περιστερώνα, θα υπάρχει τουλάχιστον ένα από τα 9 μικρότερα τετράγωνα που περιέχει δυο από τα 10 σημεία. Τότε η μέγιστη απόσταση των δυο αυτών σημείων θα φράζεται από την διαγώνιο του τετράγωνου μήκους ακμής 1 3 , δηλαδή, από √ 2 3 < 0.48. Από την άλλη μεριά, διαιρώντας το μοναδιαίο τετράγωνο, σε 4 ισοσκελή τρίγωνα (μέσω των διαγωνίων του τετραγώνου), η γενικευμένη Αρχή του Περιστερώνα συνεπάγεται ότι τουλάχιστον ένα από τα τρίγωνα αυτά θα περιέχει τρία από τα 10 σημεία και, άρα, τα σημεία αυτά θα καλύπτονται από τον μικρότερο δίσκο που καλύπτει το τρίγωνο, δηλαδή, που έχει διάμετρο ίση με 1. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 8. Παραδείγματα Εφαρμογών της Αρχής του Περιστερώνα σε Γράφους ´Ατυποι Ορισμοί της Θεωρίας Γράφων1 Γράφος ονομάζεται ένα αντικείμενο που αποτελείται από κόμβους (κορυφές) και συνδέσεις (ακμές) που ενώνουν ζεύγη κόμβων. Πλήρης γράφος ονομάζεται ένας γράφος, όταν περιέχει όλες τις δυνατές συνδέσεις μεταξύ κόμβων, δηλαδή, όταν κάθε κόμβος συνδέεται με κάθε άλλον κόμβο. Βαθμός ενός κόμβου ονομάζεται το πλήθος των συνδέσεων που έχει ο κόμβος αυτός. ∆ιαδρομή μεταξύ δυο κόμβων είναι μια ακολουθία διακριτών κόμβων που συνδέονται διαδοχικά ο ένας μετά τον άλλο μέσω διακριτών συνδέσεων. Κύκλος είναι μια κλειστή διαδρομή, δηλαδή, μια διαδρομή που ξεκινά και τερματίζει στον ίδιο κόμβο. Συνδεδεμένος λέγεται ένας γράφος, όταν, για κάθε δυο κόμβους, υπάρχει μια διαδρομή που τους συνδέει. ∆ένδρο είναι ένας συνδεδεμένος γράφος που δεν περιέχει κανέναν κύκλο. 1 Αργότερα, στο τρίτο μέρος του μαθήματος, θα ασχοληθούμε διεξοδικότερα με την Θεωρία των Γράφων. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 9. Παράδειγμα: Κοινό πλήθος φίλων μεταξύ ατόμων ´Εστω ότι συναντώνται κάπου n (τυχαία) άτομα. ∆είξτε, τότε, ότι υπάρχουν δυο άτομα που έχουν το ίδιο ακριβώς πλήθος φίλων μεταξύ των n ατόμων. (Ας θεωρήσουμε ότι η σχέση φιλίας είναι συμμετρική, δηλαδή, ότι το άτομο i είναι φίλος του j αν και μόνον αν ο j είναι φίλος του i.) Πρώτα, παρατηρούμε ότι, αν ένα άτομο δεν έχει κανένα φίλο μεταξύ των n ατόμων, τότε δεν μπορεί να υπάρχει κάποιος με n − 1 φίλους (και αντιστρόφως), δηλαδή, οι τιμές 0 και n − 1 δεν μπορούν να εμφανίζονται μαζί στην καταμέτρηση του δυνατού πλήθους των φίλων που έχουν τα άτομα της εν λόγω ομάδας. Αυτό σημαίνει ότι οι δυνατότητες για τα πλήθη φίλων (κουτιά) είναι το πολύ n − 1, ενώ τα εμπλεκόμενα άτομα (μπάλλες) είναι n και άρα, έπεται το ζητούμενα συμπέρασμα από την Αρχή του Περιστερώνα. Με άλλα λόγια, αναπαριστώντας τα άτομα ως κόμβους και τη σχέση φιλίας μεταξύ δυο ατόμων ως σύνδεση μεταξύ των αντιστοίχων κόμβων, σχηματίζεται ένας αυθαίρετος γράφος, στον οποίο (δείξαμε ότι) πάντα υπάρχουν δυο (τουλάχιστον) κόμβοι που έχουν τον ίδιο βαθμό. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 10. Παράδειγμα: Κοινός πρόγονος στο γενεαλογικό δένδρο ´Εστω ότι γνωρίζουμε το γενεαλογικό δένδρο ενός ατόμου X για τα τελευταία 1000 χρόνια. ∆έξτε, τότε, ότι υπάρχει ένας πρόγονος A του X, ο οποίος ήταν κοινός πρόγονος και του πατέρα και της μητέρας του X. (Ας υποθέσουμε ότι κάθε γενιά διαρκεί 25 χρόνια και ότι ο τωρινός πληθυσμός της γης είναι το πολύ 1010.) Προφανώς, το γενεαλογικό δένδρο του X μπορεί να αναπαρασταθεί ως ένα δένδρο με ρίζα τον X στο χαμηλότερο επίπεδο. Χάριν απλότητας, θα θεωρήσουμε το δυαδικό δένδρο, στο οποίο οι κόμβοι είναι διατεταγμένοι σε επίπεδα, που αντιστοιχούν σε γενιές. Οι ‘‘γονείς’’ (‘‘πατέρας’’ και ‘‘μητέρα’’ ) ενός κόμβου είναι οι δυο κόμβοι του ανώτερου επιπέδου, με τους οποίους ο κόμβος αυτός συνδέεται, ενώ το ‘‘παιδί’’ ενός κόμβου είναι ο κόμβος του κατώτερου επίπεδου, με τον οποίον ο κόμβος αυτός συνδέεται. Επιπλέον ένας κόμβος είναι ‘‘πρόγονος’’ ενός άλλου, αν βρίσκεται σε περισσότερα από δυο επίπεδα ψηλότερα και συνδέεται με αυτόν μέσω μιας διαδρομής. (∆είτε σχήμα.) Λαμβάνοντας υπόψη ότι 1000/25 = 40, θα έχουμε 40 γενιές, δηλαδή, 1 + 2 + 22 + · · · + 240 = 241 − 1 κόμβους (μπάλλες), στους οποίους πρέπει να αντιστοιχίσουν (το πολύ) 40 · 1010 άνθρωποι (κουτιά), που είναι ο μέγιστος δυνατός πληθυσμός της γης στις 40 γενιές. Επειδή 40 · 1010 < 241 − 1, η Αρχή του Περιστερώνα συνεπάγεται ότι υποχρεωτικά κάποιος άνθρωπος A θα αντιστοιχεί σε δυο κόμβους, δηλαδή, ένας ίδιος άνθρωπος θα ήταν πρόγονος και του πατέρα και της μητέρας του X. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 11. Παράδειγμα: Πλήθος γνωριμιών μεταξύ ζευγαριών Ο κος και η κα Σμιθ προσκαλούν στο σπίτι τους 4 ζευγάρια (συντρόφων). ´Ετσι, μαζεύονται συνολικά 10 άτομα (5 ζευγάρια) και μπορούμε να υποθέσουμε ότι κάποιοι (ή κανένας) από αυτούς (δεν) γνωρίζονται μεταξύ τους (χωρίς να υπολογίζουμε τη συντροφικότητα ως σχέση γνωριμίας). Αν, εξαιρουμένου του κου Σμιθ, κανένας από τα υπόλοιπα 10 άτομα δεν έχει το ίδιο ακριβώς πλήθος γνωστών με οποιονδήποτε άλλον, βρείτε πόσους γνωστούς θα έχουν ο κος και η κα Σμιθ. Ας φτιάξουμε ένα γράφο με 10 κόμβους, ένας από τους οποίους αντιστοιχεί ρητά στον κο Σμίθ. Επιπλέον, με εξαίρεση τον κο Σμιθ, ας γράψουμε δίπλα σε κάθε κόμβο (άτομο) το πλήθος των γνωστών του (μεταξύ των υπόλοιπων με εξαίρεση τον/την σύντροφό του). Εξ υποθέσεως, οι αριθμοί αυτοί θα είναι διαφορετικοί μεταξύ τους και θα κυμαίνονται από 0 ως 8 (αφού από τον καθένα εξαιρείται η σχέση γνωριμίας με τον/την σύντροφό του). (∆είτε σχήμα δεξιά.) Ισχυριζό- μαστε ότι ο αντίποδας ως προς τον κο Σμιθ κάθε κόμβου πρέπει να εί- ναι ο/η αντίστοιχος σύντροφος. Π.χ., αφού ο κόμβος 8 έχει 8 γνω- στούς, αναγκαστικά θα πρέπει ο/η σύντροφός του να είναι ο κόμβος 0 κ.ο.κ., δηλαδή, τελικά η κα Σμιθ είναι ο κόμβος 4. Επομένως, και ο κος και η και Σμιθ έχουν (βαθμό) 4 γνωστούς. (∆είτε σχήμα αριστερά.) Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 12. Παράδειγμα: Το Πρόβλημα του Ramsey ´Εστω ότι συναντώνται κάπου 6 άτομα, τα οποία είτε γνωρίζονται μεταξύ τους ή δεν γνωρίζονται. ∆είξτε ότι, μεταξύ των 6 αυτών ατόμων, υπάρχουν πάντα 3 άτομα, τα οποία είτε και τα 3 γνωρίζονται μεταξύ τους ή και τα 3 δεν γνωρίζονται μεταξύ τους. Προφανώς, η ομάδα αυτή σχηματίζει έναν πλήρη γράφο 6 κόμβων (τα άτομα), του οποίου οι συνδέσεις μεταξύ κάθε 2 κόμβων (ατόμων) μπορούν να χρωματισθούν με ένα από δυο χρώματα: π.χ., είτε μπλε, όταν τα 2 άτομα γνωρίζονται ή κόκκινες, όταν δεν γνωρίζονται. Τότε θέλουμε να δείξουμε ότι πάντα υπάρχει μέσα στον γράφο ένα μονοχρωματικό τρίγωνο, του οποίου όλες οι ακμές είναι είτε μπλε ή κόκκινες. ´Εστω λοιπόν ο κόμβος V, που θα έχει 5 συνδέσεις (αφού ο γράφος είναι πλήρης). Επειδή οι 5 συνδέσεις πρέπει να βαφούν με 2 χρώματα, η γενικευμένη Αρχή του Περιστερώνα συνεπάγεται ότι υποχρεωτικά 3 συνδέσεις θα είναι μονοχρωματικές: ας πούμε, μπλε (όπου στο διπλανό σχήμα, οι μπλε συνδέσεις αναπαριστώνται με συνεχείς γραμμές κι οι κόκκινες με διακεκομμένες). ´Εστω X, Y και Z οι κόμβοι που συνδέοννται με το V στις συνδέσεις αυτές. Θεωρούμε το τρίγωνο που σχηματίζεται από τα X, Y και Z. Αν όλες οι ακμές του είναι του κόκκινες, τότε έχουμε ένα μονοχρωματικό (κόκκινο) τρίγωνο. Αλλιώς, αν το τρίγωνο αυτό περιέχει τουλάχιστον μια μπλε ακμή, τότε σχηματίζεται πάλι ένα μονοχρωματικό (αλλά μπλε) τρίγωνο με κορυφές το V και δυο από τα X, Y και Z. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 13. Ασκήσεις 1 Βρείτε όλες τις τριάδες θετικών ακέραιων a <b <c που είναι τέτοιοι ώστε 1 a + 1 b + 1 c = 1. 2 ´Εστω το σύνολο M αποτελούμενο από 9 θετικούς ακέραιους, για κανέναν από τους οποίους δεν υπάρχει ένας πρώτος διαιρέτης που να είναι μεγαλύτερος του 6. Αποδείξτε ότι το M περιέχει 2 αριθμούς, των οποίων το γινόμενο είναι ίσο με το τετράγωνο κάποιου ακέραιου. 3 Αποδείξτε ότι, μεταξύ 502 θετικών ακέραιων, υπάρχουν πάντοτε 2 αριθμοί, που είναι τέτοιοι ώστε είτε το άθροισμά τους ή η διαφορά τους να είναι διαιρετή με 1000. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 14. 4 ´Εστω ότι έχουμε 4 σωρούς από πέτρες, τους οποίους τους ξαναχωρίζουμε σε 5 νέους σωρούς. Αποδείξτε ότι τουλάχιστον 2 πέτρες από τους πρώτους σωρούς θα πάνε σε ένα μικρότερο νέο σωρό. 5 ´Εστω ότι ένα καλάθι περιέχει ένα άπειρο πλήθος φύλλων χαρτιού, στο κάθε ένα από τα οποία αναγράφεται ένας θετικός ακέραιος. Ας υποθέσουμε ότι, για κάθε δυο φύλλα, η διαφορά των αναγεγραμμένων αριθμών σε αυτά είναι ένας αριθμός μικρότερος των 10 εκατομμυρίων. Αποδείξτε ότι υπάρχει ένας ακέραιος που έχει αναγραφεί σε άπειρα πολλά φύλλα χαρτιού. 6 Αποδείξτε ότι υπάρχει ένας θετικός ακέραιος n τέτοιος ώστε το 44n − 1 να διαιρείται με το 7. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 15. 7 ´Εστω 5 θετικοί πραγματικοί αριθμοί, των οποίων το άθροισμα είναι ίσο με 100. Αποδείξτε ότι, μεταξύ των αριθμών αυτών, υπάρχουν δυο, των οποίων η διαφορά είναι μικρότερη του 10. 8 ´Εστω 17 σημεία στο εσωτερικό ενός ισόπλευρου τριγώνου ακμής ίσης με 1. Αποδείξτε ότι υπάρχουν 2 από αυτά τα σημεία, των οποίων η απόσταση είναι μικρότερη ή ίση του 1 4. 9 Αποδείξτε ότι η ακολουθία 1967,19671967, 196719671967,...περιέχει έναν όρο, ο οποίος είναι διαιρετός με το 1969. 10 ´Εστω ότι παίρνουμε n + 1 διαφορετικούς ακέραιους από το σύνολο {1,2,...,n}. Αποδείξτε ότι, μεταξύ των αριθμών που διαλέξαμε, θα υπάρχουν πάντα δυο, των όποιων ο μέγιστος κοινός διαιρέτης είναι το 1 (δηλαδή, 2 πρώτοι μεταξύ τους). Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 16. Βασικές Αρχές Απαρίθμησης Υπενθύμιση Συμβολισμού Για κάθε σύνολο X, συμβολίζουμε με |X| το πλήθος των στοιχείων του. Ο Κανόνας του Αθροίσματος: ´Εστω ότι κάποιο πράγμα μπορεί να γίνει με a τρόπους και κάποιο άλλο πράγμα μπορεί να γίνει με b τρόπους. Αν τα δυο πράγματα δεν μπορούν να γίνουν μαζί (ταυτόχρονα), τότε υπάρχουν a + b τρόποι για να γίνει είτε το ένα ή το άλλο πράγμα. Προφανώς, ο κανόνας αυτός γενικεύεται και για πεπερασμένο πλήθος πραγμάτων. Επιπλέον, συνολοθεωρητικά διατυπώνεται ως εξής: Αν X1,X2,...,Xm είναι ανά δύο ξένα πεπερασμένα σύνολα,2 τότε |X1 ∪ X2 ∪ · · · ∪ Xm| = |X1| + |X2| + ... + |Xm|. 2 ´Οταν X = X1 ∪ X2 ∪ · · · ∪ Xm και τα X1,X2,...,Xm είναι m ανά δύο ξένα, τότε η συλλογή {X1,X2,...,Xm} λέγεται διαμερισμός του X. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 17. Παράδειγμα: ´Ενα μάθημα μιας τάξης χωρίζεται σε δύο τμήματα με το πρώτο τμήμα να έχει 25 και το δεύτερο τμήμα 29 άτομα. Πόσα άτομα παρακολουθούν τα (άλλα) μαθήματα που γίνονται από κοινού χωρίς να χωρισθούν σε τμήματα; Προφανώς, 25 + 29 = 54 άτομα. Παράδειγμα: Το πρώτο τμήμα ενός μαθήματος μιας τάξης αποτελείται από 27 άτομα, ενώ το πρώτο τμήμα ενός άλλου μαθήματος της ίδιας τάξης αποτελείται από 25 άτομα. Αν η τάξη αποτελείται συνολικά από 100 άτομα, πόσα άτομα παρακολουθούν και το πρώτο τμήμα και το δεύτερο τμήμα αυτού του μαθήματος; Τώρα, το μόνο που μπορούμε να πούμε ότι ο αριθμός αυτός είναι μεταξύ 0 και 25. Παράδειγμα: Το βάρος (σε κιλά) ενός ανθρώπου είναι ένας διψήφιος αριθμός, που διαιρείται με 3, του οποίου το πρώτο ψηφίο είναι περιττός αριθμός και το δεύτερο ψηφίο είναι μικρότερο του πρώτου και μικρότερο του 5. Πόσο μπορεί να είναι το βάρος του; Προφανώς, το πρώτο ψηφίο του βάρους θα είναι είτε 1 ή 3 ή 5 ή 7 ή 9 και το δεύτερο ψηφίο θα είναι, αντίστοιχα, είτε {0} ή {0, 1, 2} ή {0, 1, 2, 3, 4} ή {0,1,2,3,4} ή {0,1,2,3,4}. ´Αρα, συνολικά, το βάρος μπορεί να είναι ένας αριθμός του συνόλου {10, 30, 31, 32, 50, 51, 52, 53, 54, 70, 71, 72, 73, 74, 90, 91, 92, 93, 94}. Αλλά επειδή πρέπει να διαιρείται με το 3, οι μόνες πιθανές τιμές του βάρους αυτού είναι οι εξής 6 τιμές: 30, 51, 54, 72, 90, 93. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 18. Ο Κανόνας της ∆ιαφοράς: ´Εστω A πεπερασμένο σύνολο και B ⊆ A. Τότε |A B| = |A| − |B|. Προφανώς, ο κανόνας αυτός είναι συνέπεια του Κανόνα του Αθροίσματος για τον διαμερισμό του A στα δυο ξένα υποσύνολά του A B και B. Παράδειγμα: Το πλήθος των θετικών ακέραιων, που είναι μικρότεροι ή ίσοι του 1000 και έχουν τουλάχιστον δυο διαφορετικά ψηφία, είναι 973. ´Εστω λοιπόν A το σύνολο των θετικών ακέραιων, που είναι μικρότεροι ή ίσοι του 1000, και B το υποσύνολο του A αποτελούμενο από εκείνους τους αριθμούς στο A, των οποίων όλα τα στοιχεία είναι ένας ίδιος μονοψήφιος αριθμός (από 1 ως 9). Προφανώς, |A| = 1000. Επιπλέον, η σύσταση του B εξαρτάται από το πλήθος των (όμοιων) ψηφίων που περιέχει ένας αρισθμός στο B. Αυτό σημαίνει ότι έχουμε τον διαμερισμό B = B1 ∪ B2 ∪ B3 με B1 = {1,2,...,9},B2 = {11,22,...,99} και B3 = {111,222,...,999}, οπότε, παρατηρώντας ότι |B1| = |B2| = |B3| = 27, ο Κανόνας του Αθροίσματος πάλι συνεπάγεται πως B = 3 · 9 = 27 και, άρα, |A B| = |A| − |B| = 1000 − 27 = 973. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 19. Ο Κανόνας του Γινομένου: ´Εστω ένα σύνολο, του οποίου τα στοιχεία μπορούν να περιγραφούν μέσω μιας διαδικασίας που γίνεται σε δυο στάδια. Επιπλέον, υποθέτουμε ότι το πρώτο στάδιο της διαδικασίας μπορεί να γίνει με a τρόπους, ενώ το δεύτερο με b τρόπους, και τα δυο στάδια γίνονται ανεξάρτητα το ένα με το άλλο. Τότε υπάρχουν a · b τρόποι για να γίνουν τα στοιχεία του συνόλου αυτού. Προφανώς, ο κανόνας αυτός γενικεύεται για σύνολα με πεπερασμένο πλήθος (ανεξάρτητων) σταδίων παραγωγής των στοιχείων τους. Επιπλέον, συνολοθεωρητικά διατυπώνεται ως εξής: Αν X1,X2,...,Xm είναι m πεπερασμένα σύνολα, τότε |X1 × X2 × · · · × Xm| = |X1| · |X2| · ... · |Xm|. Θυμίζουμε ότι το Καρτεσιανό γινόμενο των συνόλων X1,X2,...,Xm ορίζεται ως X1 × X2 × · · · × Xm = {(x1,x2,...,xm): x1 ∈ X1,x2 ∈ X2,...,xm ∈ Xm}. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 20. Παράδειγμα: Τα καθίσματα μιας αίθουσας σινεμά είναι αριθμημένα ως εξής: κάθε σειρά με ένα λατινικό γράμμα, ενώ σε κάθε σειρά υπάρχουν ακριβώς 20 καθίσματα. Πόσα είναι συνολικά τα καθίσματα της αίθουσας αυτής; Προφανώς, είναι 26 · 20 = 520. Παράδειγμα: ´Εχουμε 3 κουτιά, το πρώτο με 5 κόκκινες μπάλλες, το δεύτερο με 6 πράσινες μπάλλες και το τρίτο με 4 μπλε μπάλλες. Πόσες είναι οι δυνατές τρίχρωμες τριάδες από μπάλλες που μπορούν να σχηματισθούν παίρνοντας μια μπάλλα από κάθε κουτί; Προφανώς, είναι 5 · 6 · 4 = 120. Παράδειγμα: ´Οταν ρίχνουμε 2 ζάρια, διαφορετικού χρώματος το κάθε ένα, πόσα αποτελέσματα μπορούν να προκύψουν; Αν όμως τα ζάρια είχαν το ίδιο χρώμα, πόσα αποτελέσματα θα προέκυπταν; ´Οταν τα ζάρια έχουν διαφορετικό χρώμα, προφανώς, προκύπτει ένα από 6 · 6 = 36 αποτελέσματα. Αν όμως τα ζάρια είχαν το ίδιο χρώμα, τα δυνατά αποτελέσματα θα ήταν λιγότερα, γιατί τότε δεν μπορούμε να διακρίνουμε τα ζάρια (αργότερα θα δούμε πόσα). Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 21. Ασκήσεις 1 Σε ένα πάρτυ βρίσκονται 15 ζευγάρια παντρεμέ- νων ατόμων. Βρείτε το πλήθος των επιλογών ενός άνδρα και μιας γυναίκας από τα άτομα αυτά έτσι ώστε αυτοί (1) να είναι παντρεμένοι και (2) να μην είναι παντρεμένοι. 2 Μεταξύ του συνόλου όλων των διψήφιων θετικών ακέραιων, βρείτε το πλήθος (1) των άρτιων, (2) των περιττών, (3) των άρτιων με διακριά στοιχεία και (4) των περιττών με διακριτά στοιχεία. 3 ´Ενας κωδικός υπολογιστή αποτελείται από ένα γράμμα ακολουθούμενο από 3 ή 4 μονοψήφιους αριθμούς. Βρείτε το πλήθος (1) όλων των κωδικών αυτής της μορφής και (2) των κωδικών αυτής της μορφής χωρίς επαναλαμβανόμενα ψηφία. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 22. 4 Μεταξύ των πρώτων 100 000 θετικών ακέραιων, πόσοι περιέχουν ακριβώς ένα 3, ένα 4 και ένα 5 στην δεκαδική αναπαράστασή τους; 5 Βρείτε το πλήθος των τριψήφιων άρτιων αριθμών που δεν έχουν κανένα επαναλαμβανόμενο ψηφίο. 6 Μια παλίνδρομη λέξη είναι αυτή που διαβάζεται με τον ίδιο τρόπο είτε από αριστερά προς δεξιά ή από δεξιά προς αριστερά. Βρείτε το πλήθος των επταψήφιων και των οκταψήφιων παλίνδρομων λέξεων με τον περιορισμό ότι κανένα από τα γράμματά τους δεν επαναλαμβάνεται. 7 Αποδείξτε ότι κάθε παλίνδρομος (δεκαδικός) αριθμός αρτίου μήκους διαιρείται με το 11. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 23. Απεικονίσεις και Απαρίθμηση Συνόλων Ορισμός 3 ´Εστω δυο σύνολα X,Y και η απεικόνιση f: X → Y. Η f ονομάζεται απεικόνιση ένα–προς–ένα (ή αμφιμονοσήμαντη απεικόνιση), όταν, για κάθε a,b ∈ X τέτοια ώστε f(a) = f(b), να ισχύει ότι a = b. Η f ονομάζεται απεικόνιση επί (ή επιρριπτική απεικόνιση), όταν, για κάθε y ∈ Y, υπάρχει x ∈ X τέτοιο ώστε f(x) = y. Η f ονομάζεται αμφιρριπτική απεικόνιση, όταν είναι ένα–προς–ένα και επί ή, ισοδυναμα, όταν, για κάθε y ∈ Y, υπάρχει μοναδικό x ∈ X τέτοιο ώστε f(x) = y. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 24. Υπενθύμιση Συμβολισμού Για κάθε θετικό ακέραιο n, συμβολίζουμε με [n] το σύνολο των θετικών ακέραιων που είναι μικρότεροι ή ίσοι του n, δηλαδή, [n] = {1,2,...,n}. Ορισμός 4 ´Ενα μη κενό σύνολο X ονομάζεται πεπερασμένο, όταν υπάρχει ένας θετικός ακέραιος n και μια ένα–προς–ένα και επί απεικόνιση ϕ: [n] → X. Στην περίπτωση αυτή, η πληθικότητα (cardinality) του X, που ορίζεται ως το πλήθος των στοιχείων του X, είναι n, δηλαδή, συμβολικά, |X| = n. Επιπλέον, θέτουμε |∅| = 0. Θεώρημα 5 ´Εστω δυο πεπερασμένα σύνολα X,Y. Τότε 1 |X| ≤ |Y| αν και μόνον αν υπάρχει μια ένα–προς–ένα απεικόνιση f: X → Y. 2 |X| ≥ |Y| αν και μόνον αν υπάρχει μια επί απεικόνιση f: X → Y. 3 |X| = |Y| αν και μόνον αν υπάρχει μια ένα–προς–ένα και επί απεικόνιση f: X → Y. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 25. Ακολουθίες και Λίστες Ακολουθίες ως Απεικονίσεις ´Εστω X ένα (τυχόν) σύνολο και {xn}n=1,2,... μια αριθμήσιμη ακολουθία στοιχείων του X. Η ακολουθία αυτή μπορεί να ταυτισθεί με μια απεικόνιση, με την έννοια ότι αντιστοιχεί σε αυτή μια απεικόνιση ϕ: N+ → X τέτοια ώστε, για κάθε n = 1,2,..., να είναι ϕ(n) = xn. Αλλά, και αντίστροφα, σε κάθε απεικόνιση ϕ: N+ → X αντιστοιχεί η ακολουθία {xn}n=1,2,..., όπου xn = ϕ(n), για κάθε n = 1,2,.... Ορισμός 6 ´Εστω X ένα (τυχόν) σύνολο και n ένας θετικός ακέραιος. Κάθε πεπερασμένη ακολουθία στοιχείων του X ονομάζεται λίστα μήκους n (ή n–λίστα). ´Οπως παραπάνω, κάθε λίστα n στοιχείων του X μπορεί να ταυτισθεί με μια απεικόνιση ϕ: [n] → X τέτοια ώστε η ϕ είναι ένα–προς–ένα, όταν τα στοιχεία της λίστας είναι διακριτά (μη επαναλαμβανόμενα) και η ϕ είναι ένα–προς–ένα και επί, όταν η λίστα ταυτίζεται με το X, το οποίο υποτίθεται ότι είναι πεπερασμένο σύνολο.3 3 Εξ ορισμού, ένα πεπερασμένο σύνολο δεν έχει επαναλαμβανόμενα στοιχεία. Αν είχε θα ονομαζόταν πολυσύνολο. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 26. Λέξεις Τυπικών Γλωσσών Ορισμοί 7 ´Εστω Σ ένα περασμένο σύνολο με n στοιχεία, τα οποία ονομάζονται σύμβολα, ενώ το Σ ονομάζεται αλφάβητο. Για κάθε θετικό ακέραιο k, θεωρούμε το Καρτεσιανό γινόμενο Σk = Σ × Σ × ... × Σ (k φορές). Τα στοιχεία του Σk ονομάζονται λέξεις (ή συμβολοσειρές) μήκους k (οι οποίες σχηματίζονται από τα σύμβολα του αλφαβήτου Σ). Τυπική γλώσσα ονομάζεται μια συλλογή λέξεων οποιουδήποτε μήκους.4 4 Η λέξη ε με μήκος 0 ορίζεται ως η λέξη που δεν περιέχει κανένα σύμβολο. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 27. Μεταθέσεις και Συνδυασμοί Ορισμός 8 ∆οθέντους ενός περασμένου συνόλου X με n στοιχεία, ονομάζουμε μετάθεση5 (permutation) του X (ή του [n]) κάθε ένα–προς–ένα και επί απεικόνιση από το σύνολο X (ή το σύνολο [n]) στον εαυτό του. Παρατηρήσεις: Ας υποθέσουμε ότι το X έχει n στοιχεία. Τότε μια μετάθεση του X μπορεί να θεωρηθεί ως: Μια n–λίστα που σχηματίζεται από τα στοιχεία του X διατεταγμένα με οποιοδήποτε τρόπο, αλλά χωρίς επαναλήψεις. Με άλλα λόγια, κάθε μετάθεση του συνόλου X με n στοιχεία είναι μια διατεταγμένη τοποθέτηση ενός από n αντικείμενα σε n θέσεις, έτσι ώστε κάθε θέση να περιέχει ακριβώς ένα αντικείμενο. 5 Μερικές φορές, η μετάθεση καλείται διάταξη. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 28. Θεώρημα 9 Το πλήθος των μεταθέσεων ενός πεπερασμένου συνόλου X με n στοιχεία είναι ίσο με n!, όπου, για κάθε n ∈ N, το n!, που ονομάζεται n παραγοντικό, ορίζεται ως n! = n · (n − 1) · · · 2 · 1, για κάθε m θετικό ακέραιο, 1, για m = 0.6 Απόδειξη: Παρατηρώντας ότι, αν πάρουμε τα n αντικείμενα με τη σειρά, το πρώτο από αυτά μπορεί να μπεί σε οποιαδήποτε από τις n θέσεις, αλλά στη συνέχεια το δεύτερο αντικείμενο μπορεί να μπει μόνο σε μια από n − 1 θέσεις, ενώ για το τρίτο αντικείμενο μένουν n − 2 θέσεις κ.ο.κ., οπότε ο Κανόνας του Γινομένου συνεπάγεται το ζητούμενο απότέλεσμα. Πόρισμα 10 Για ένα αλφάβητο με n σύμβολα, υπάρχουν n! λέξεις μήκους n με διαφορετικά σύμβολα η κάθε μια. 6 Το ότι 0! = 1 είναι συμβατό με την ύπαρξη μιας μόνο απεικόνισης ένα–προς–ένα και επί από το ∅ στο ∅. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 29. Ορισμός 11 ´Εστω ένα περασμένο σύνολο X με n στοιχεία και ένας θετικός ακέραιος k ≤ n. Ονομάζουμε k–μετάθεση του X (ή του [n]) κάθε k–λίστα διακριτών στοιχείων του X, {xi}i=1,2,...,k, όπου xi ∈ X, για κάθε i ∈ [k], και xi = xj, για κάθε i = j στο [k]. Θεώρημα 12 ´Εστω n,k θετικοί ακέραιοι τέτοιοι ώστε n ≥ k και X σύνολο n στοιχείων. Τότε το πλήθος των k–μεταθέ- σεων του X (ή του [n]), που συμβολίζεται ως (n)k, είναι ίσο με (n)k = n(n − 1) · · · (n − k + 1) = n! (n − k)! . Απόδειξη: Προφανώς, έχουμε n επιλογές για τον πρώτο όρο της k–λίστας, n − 1 για τον δεύτερο κ.ο.κ., έως ότου φθάσουμε στον k όρο, που είναι ο τελευταίος, όπου θα έχουν μείνει n − k + 1 επιλογές. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 30. Πόρισμα 13 ´Εστω n,k θετικοί ακέραιοι τέτοιοι ώστε n ≥ k και X σύνολο n στοιχείων. Τότε το πλήθος των k–μεταθέσεων του X (ή του [n]), όταν επιτρέπονται οι επαναλήψεις στοιχείων, είναι ίσο με nk. Πόρισμα 14 Για ένα αλφάβητο με n σύμβολα και για κάθε θετικό ακέραιο k, υπάρχουν nk λέξεις μήκους k (ενδεχομένως με επαναλαμβανόμενα σύμβολα). Πρόταση 1 Το πλήθος όλων των υποσυνόλων ενός συνόλου αποτελούμενου από n στοιχεία είναι 2n. Απόδειξη: Αν κατασκευάσουμε μια απεικόνιση ένα–προς–ένα και επί μεταξύ του συνόλου όλων των υποσυνόλων ένος συνόλου n στοιχείων και όλων των λέξεων μήκους n, που σχηματίζονται από το δυαδικό αλφάβητο {0, 1}, τότε η Πρόταση θα είναι απόρροια του Θεωρήματος 5.3. Πράγματι, η απεικόνιση αυτή κατασκευάζεται ως εξής: για κάθε A ⊂ [n], έστω f(A) η λέξη στο {0, 1}, της οποίας το σύμβολο στην θέση i είναι 1, όταν i ∈ A, και 0, διαφορετικά. Προφανώς, f(A) ∈ {0, 1}n, για κάθε A ⊂ [n], και αν, για δυο A, B ⊂ [n] έχουμε f(A) = f(B), τότε είναι εύκολο να ελεχθεί ότι A = B, δηλα- δή, η f είναι ένα–προς–ένα. Επιπλέον, για κάθε λέξη w = {wi}i∈[n] ∈ {0, 1}n, υπάρχει ένα υποσύνο- λο C ∈ [n] τέτοιο ώστε C = {i ∈ [n]: wi = 1}, δηλαδή, f(C) = w, ήτοι η f είναι και επί. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 31. Παράδειγμα: ´Εστω k θετικός ακέραιος. Το πλήθος όλων των θετικών ακέραιων με k ψηφία είναι 9 · 10k−1. Καθώς τώρα το αλφάβητο είναι το σύνολο {0,1,...,9}, προφανώς, έχουμε 9 επιλογές για τον πρώτο όρο ενός 9–ψήφιου αριθμού και, δεδομένου ότι ακολούθως τα ψηφία μπορούν να επαναλαμβάνονται, υπάρχουν 10 επιλογές για όλα τα άλλα ψηφία του αριθμού αυτού. ´Αρα, το ολικό πλήθος ψηφίων είναι 9 · 10 · 10· · · · 10 = 9 · 10k−1. Παράδειγμα: ´Εστω ότι κατασκευάζεται μια πόλη, στην οποία θα πρέπει να υπάρχουν 10 διασταυρώσεις δρόμων. Κάποιες από τις διασταυρώσεις θα έχουν φανάρια κυκλοφορίας και, σε κάποιες διασταυρώσεις με φανάρια, θα υπάρχει επίσης και βενζινάδικο. Με πόσους τρόπους μπορεί αυτό να γίνει; Θεωρούμε το αλφάβητο {A,B,C}, όπου το σύμβολο A αναπαριστά διασταυρώσεις με φανάρια και βενζινάδικο, το B διασταυρώσεις μόνο με φανάρια και χωρίς βενζινάδικο και το C διασταυρώσεις χωρίς ούτε φανάρια ούτε βενζινάδικο. Τότε, κάθε 10–άδα διασταυρώσεων αναπαρίσταται ως μια λέξη (λίστα) c = {ci}i∈[10] από το {A,B,C}, κάτι που σημαίνει ότι η i–οστή διασταύρωση στην δεκάδα αυτή θα έχει φανάρια και βενζινάδικο, όταν ci = A, θα έχει μόνο φανάρια, όταν ci = B, και δεν θα έχει ούτε φανάρια ούτε βενζινάδικο, όταν ci = C (για κάθε i = 1,...,10). ´Ετσι, σύμφωνα με το Πόρισμα 14, υπάρχουν 310 τέτοιες λέξεις, δηλαδή, 310 τρόποι κατασκευής των 10 διασταυρώσεων. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 32. Μεταθέσεις Πολυσυνόλου Θεώρημα 15 ´Εστω n,k,a1,a2,...,ak θετικοί ακέραιοι τέτοιοι ώστε a1 + a2 + ... + ak = n και X πολυσύνολο7, που έχει n στοιχεία, από τα οποία τα ai στοιχεία είναι τύπου i, για κάθε i ∈ [k]. Τότε το πλήθος των μεταθέσεων του πολυσυνόλου X είναι ίσο με n! a1! · a2! · · · · · ak! . Απόδειξη: ´Εστω x το ζητούμενο πλήθος μεταθέσεων του πολυσυνόλου X. Επειδή τα στοιχεία κάθε τύπου i (ξεχωριστά), έχουν ai! μεταθέσεις, για κάθε i ∈ [k], ο Κανόνας Γινομένου συνεπάγεται ότι x · a1! · a2! · · · · · ak! είναι το πλήθος των μεταθέσεων του n, που φυσικά είναι ίσο με n!, οπότε έπεται το ζητούμενο αποτέλεσμα. Παράδειγμα: Με πόσους τρόπους μπορούν να διαταχθούν τα γράμματα της λέξης MISSISSIPPI; Για τη λέξη αυτή, n = 11, ενώ υπάρχουν k = 4 τύποι γραμμάτων (M, I, S, P) με a1 = 1, a2 = 4, a3 = 4, a4 = 2. Επομένως, υπάρχουν 11! 4!4!2!1! = 34650 διαφορετικοί τρόποι, με τους οποίους τα γράμματα της λέξης MISSISSIPPI μπορούν να διαταχθούν. 7 Αυτό σημαίνει ότι το X μπορεί να έχει πολλαπλά στοιχεία. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 33. Συνδυασμοί Ορισμός 16 ´Εστω ένα περασμένο σύνολο X με n στοιχεία και ένας θετικός ακέραιος k ≤ n. Ονομάζουμε k–επιλογή του X (ή του [n]) κάθε υποσύνολο του X (ή του [n]), που έχει k στοιχεία. Το πλήθος όλων των δυνατών k–επιλογών του X (ή του [n]) ονομάζονται k–συνδυασμοί του X (ή του [n]) και συμβολίζονται με n k , το οποίο διαβάζεται ως ‘‘n ανά k’’ .8 Θεώρημα 17 ´Εστω n,k ακέραιοι τέτοιοι ώστε n ≥ k ≥ 0 και X σύνολο n στοιχείων. Τότε οι k–συνδυασμοί του X (ή του [n]) είναι ίσοι με n k = n! k!(n − k)! = (n)k k! , για κάθε n > k > 0, n 0 = n n = 1. 8 Μερικές φορές, οι αριθμοί n k ονομάζονται διωνυμικοί συντελεστές, όπως θα εξηγηθεί πιο κάτω. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 34. Απόδειξη: Πρώρα, ας θεωρήσουμε την περίπτωση n >k >0 και έστω (n)k το πλήθος των k–μεταθέσεων του X. Φυσικά, τα στοιχεία κάθε μιας από τις k–μεταθέσεις είναι διατεταγμένα, ενώ σε κάθε μια από τις k–επιλογές (δηλαδή, σε κάθε υποσύνολο k στοιχείων του X) δεν χρειάζεται να υπάρχει καμιά διάταξη. ´Ομως, σύμφωνα με το Θεώρημα 9, οι μεταθέσεις κάθε μιας από τις k–επιλογές είναι k! (δηλαδή, κάθε υποσύνολο k στοιχείων του X μπορεί να εμφανισθεί με k! τρόπους, στους οποίους τα στοιχεία του υποσυνόλου έχουν διαφορετική διάταξη κάθε φορά). Επομένως, το συνολικό πλήθος των k–μεταθέσεων (από τον Κανόνα του Γινομένου) θα ισούται με το πλήθος όλων των δυνατών επιλογών (δηλαδή, με το πλήθος των k–συνδυασμών) επί k!, ήτοι (n)k = n k · k! και, καθώς (n)k = n · (n − 1) · · · (n − k + 1), παίρνουμε το ζητούμενο αποτέλεσμα. Τέλος, όταν k = 0 ή k = n, τότε υπάρχει μια μοναδική k–επιλογή του [n] (το ∅ ή το [n], αντιστοίχως), οπότε n k = 1.9 9 Ουσιαστικά, ο τύπος των k–συνδυασμών μπορεί να επεκταθεί έτσι ώστε να ισχύει, για κάθε k ∈ Z, αφού, όταν k < 0 ή k > n, τότε δεν υπάρχουν k–επιλογές του [n], οπότε παίρνουμε n k = 0. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 35. Πιθανότητες στο Πόκερ Ορισμός 18 ´Εστω X το σύνολο των ενδεχόμενων που προκύπτουν ως τα δυνατά αποτελέσματα ενός πειράματος τύχης. Υποθέτουμε ότι |X| = n. Αν A είναι κάποια από τα ενδεχόμενα αυτά (δηλαδή, αν το A είναι υποσύνολο του X), τότε η πιθανότητα του A ορίζεται ως |A| n . Παιχνίδι Πόκερ: Το παιχνίδι αυτό παίζεται συνήθως με τράπουλα 52 φύλλων, τα οποία ταξινομούνται σε τέσσερα χρώματα και κάθε χρώμα έχει μια σειρά 13 φύλλων. Παίρνοντας (στην τύχη) πέντε φύλλα από την τράπουλα, ποιές είναι οι πιθανότητες για τρία όμοια φύλλα, δύο ζεύγη, κέντα και χρώμα; ´Οταν παίρνουμε 5 φύλλα στην τύχη, υπάρχουν συνολικά 52 5 = 2 598 960 ισοπίθανα ενδεχόμενα. Για να πετύχουμε τρία όμοια φύλλα μέσα στα πέντε (ενώ τα άλλα δυο να μην ταιριάζουν), υπάρχουν 13 1 4 3 12 2 4 1 4 1 = 54 912, δηλαδή, η πιθανότητα είναι 54 912/2 598 960 = 0.021128. Για να πετύχουμε δύο ζεύγη μέσα στα πέντε φύλλα (ενώ το πέμπτο φύλλο να μην ταιριάζει), υπάρχουν 13 2 4 2 4 2 44 1 = 123 552, δηλαδή, η πιθανότητα είναι 123 552/2 598 960 = 0.047539. Για να πετύχουμε κέντα (δηλαδή, πέντε φύλλα στη σειρά,10 αλλά όχι του ιδίου χρώματος), υπάρχουν 10 · 45 = 10 240, δηλαδή, η πιθανότητα είναι 10240/2 598 960 = 0.003940. Για να πετύχουμε χρώμα (δηλαδή, πέντε φύλλα του ιδίου χρώματος), υπάρχουν 4 13 5 = 5148, δηλαδή, η πιθανότητα είναι 5148/2598960 = 0.001981. 10 Ο άσσος μπορεί να είναι είτε το αρχικό ή το τελικό φύλλο στη σειρά των πέντε φύλλων. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 36. Παράδειγμα: Σε ένα παιχνίδι τύχης, υπάρχουν 90 αριθμη- μένα σφαιρίδια σε ένα δοχείο και επιλέγονται τυχαία 5 από αυτά, τα οποία βγαίνουν από την κληρωτίδα όλα μαζί. Αν κάθε λαχείο περιλαμβάνει μια πεντάδα αριθμών, στην οποία ποντάρει ο παίκτης, πόσα λαχεία πρέπει να πάρει κανείς για να κερδίσει; Προφανώς, για να κερδίσει κανείς, πρέπει να ποντάρει σε όλα τα δυνατά 5–μελή υποσύνολα του [90], τα οποία είναι 90 5 = 43 949 268. Παράδειγμα: ´Ενας ασκούμενος γιατρός πρέπει να δουλέψει στο νοσοκομείο πέντε μέρες μέσα στον Ιανουάριο, αλλά όχι διαδοχικές μέρες. Με πόσους συνολικά διαφορετικούς τρό- πους μπορεί να επιλέξει τις μέρες εργασίας του στο νοσοκομείο; ´Εστω a1, a2, a3, a4, a5 οι μέρες εργασίας. Καθώς αυτές είναι 5 μέρες από 31, αλλά δεν μπορούν να είναι διαδοχικές, θα έχουμε ότι 1 ≤ a1 < a2 − 1 < a3 − 2 < a4 − 3 < a5 − 4 ≤ 27. Αυτό σημαίνει ότι, προφανώς, υπάρχει μια απεικόνιση ένα–προς–ένα και επί μεταξύ των 5–μελών υποσυνόλων του [31], που δεν περιέχουν κανένα ζεύγος διαδοχικών αριθμών, και των 5–μελών υποσυνόλων του [27]. Επομένως, αντί να επιλέξει ένα 5–μελές υποσύνολο του [31] χωρίς διαδοχικούς αριθμούς, αρκεί να επιλέξει ένα 5–μελές υποσύνολο του [27] και υπάρχουν 27 5 = 80 730 τρόποι να το κάνουμε αυτό. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 37. Πλεγματικοί ∆ρόμοι Ορισμός 19 ´Εστω N2 το πλέγμα των σημείων στο επίπεδο R, που έχουν μη αρνητικές ακέραιες συντεταγμένες. ∆οθέντων δυο σημείων (x1,y1) και (xn,yn) ∈ N2 (για κάποιο θετικό ακέραιο n) με x1 <xn και y1 <yn, ονο- μάζουμε πλεγματικό δρόμο από το (x1,y1) στο (xn,yn) κάθε τεθλασμένη γραμμή, η οποία ξεκινά από το (x1,y1) και τερματίζει στο (xn,yn) διανύοντας ευθείες μόνο με κατεύθυνση είτε προς τα δεξιά ή προς τα πάνω. Με άλλα λόγια, κάθε πλεγματικός δρόμος είναι μια διατεταγμένη ακολουθία {(xk,yk)}k=1,2,...,n σημείων του N2 τέτοιων ώστε 0 ≤ xk+1 − xk ≤ 1 και 0 ≤ yk+1 − yk ≤ 1, για κάθε k = 1,2,...,n − 1. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 38. Πρόταση 2 Για κάθε θετικούς ακέραιους k,m, το πλήθος των πλεγματικών δρόμων από (0,0) ως (k,m) είναι ίσο με k+m k . Με άλλα λόγια, για n ≥ k, οι k–συνδυασμοί του [n] είναι ίσοι με το πλήθος των πλεγματικών δρόμων από (0,0) ως (k,n − k). Απόδειξη: Εξ ορισμού, κάθε πλεγματικός δρόμος από (0, 0) ως (k, m) αποτελείται από συνεχόμενα μοναδιαία ευθύγραμμα τμήματα, τα οποία τα διανύει ο δρόμος αυτός σε κάθε βήμα. Επειδή κάθε τέτοιο ευθύγραμμο τμήμα μπορεί να κατευθύνεται είτε προς δεξιά ή προς τα πάνω, αντιστοιχούμε σε αυτό είτε το 1, όταν κατευθύνεται προς τα δεξιά, ή το 0, όταν κατευθύνεται προς τα πάνω. Με άλλα λόγια, σε κάθε τέτοιο πλεγματικό δρόμο αντιστοιχούμε μια λίστα από 0 και 1, όπου το συνολικό πλήθος των 1 μπορεί να είναι το πολύ ίσο με k, το οποίο είναι το μέγιστο πλήθος των βημάτων, που ο δρόμος αυτός μπορεί να διανύσει κατευθυνόμενος προς τα δεξιά (εφόσον οι κατευθύνσεις προς τα πάνω συνεισφέρουν μόνο με 0). Επιπλέον, το συνολικό πλήθος των μοναδιαίων ευθυγράμμων τμημάτων, που σχηματίζουν, έναν τέτοιο πλεγματικό δρόμο είναι k + m. Επομένως, υπάρχει μια απεικόνιση ένα–προς–ένα από το σύνολο όλων των δυνατών πλεγματικών δρόμων από (0, 0) ως (k, m) και το σύνολο όλων των δυνατών k–επιλογών του [k + m]. Αλλά το πλήθος του δεύτερου συνόλου είναι οι k–συνδυασμοί του [k + m], κάτι που ολοκληρώνει την απόδειξη. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 39. Συνδυαστική Απόδειξη – ∆ιπλή Απαρίθμηση Ορισμός 20 Ονομάζουμε συνδυαστική απόδειξη μια απόδειξη, με την οποίαν κάποιος τύπος, που θέλουμε να αποδείξουμε, π.χ., η ισότητα δυο μη αρνητικών ακεραίων a = b, ερμηνεύεται ως μια ισότητα μεταξύ των πληθών των στοιχείων δυο πεπερασμένων συνόλων A,B με πλήθη στοιχείων |A| = a και |B| = b. Με άλλα λόγια, για να αποδείξουμε συνδυαστικά ότι a = b αρκεί να βρούμε δυο πεπερασμένα σύνολα A,B με |A| = a και |B| = b και να κάνουμε διπλή απαρίθμηση των στοιχείων τους, βρίσκοντας ότι |A| = |B|. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 40. Πρόταση 3 Για κάθε μη αρνητικούς ακέραιους n,k τέτοιους ώστε n ≥ k, ισχύουν n k = n n − k . Απόδειξη μέσω πλεγματικών δρόμων: Σύμφωνα με την Πρόταση 2, το n k απαριθμεί το πλήθος των πλεγματικών δρόμων από (0, 0) ως (k, n − k), ενώ το n n − k απαριθμεί το πλήθος των πλεγματικών δρόμων από (0, 0) ως (n − k, k). Αλλά οι δυο αυτές απαριθμήσεις πρέπει να καταλήγουν στο ίδιο πλήθος, γιατί η ανάκλαση γύρω από την διαγώνιο (του επιπέδου) αντιστοιχεί έναν πλεγματικό δρόμο από (0, 0) ως (k, n − k) σε έναν πλεγματικό δρόμο από (0, 0) ως (n − k, k). Με άλλα λόγια, η ανάκλαση γύρω από την διαγώνιο αποτελεί μια απεικόνιση ένα–προς–ένα και επί μεταξύ των συνόλων των δυο πλεγματικών δρόμων και, άρα, αυτά πρέπει να είναι ισοπληθή. Απόδειξη μέσω του συμπληρώματος: Κατασκευάζουμε μια απεικόνιση f, που είναι ένα–προς–ένα και επί, μεταξύ του συνόλου όλων των k–μελών υποσυνόλων του [n] και του συνόλου όλων των n − k–μελών υποσυνόλων του [n] ως εξής. Για κάθε k–μελές υποσύνολο S του [n], θέτουμε f(S) = Sc (το συμπλήρωμα του S στο [n]). Καθώς, για κάθε n − k–μελούς υποσυνόλου T του [n], υπάρχει μοναδικό υποσύνολο S του [n] τέτοιο ώστε f(S) = T και φυσικά αυτό είναι το S = Tc, έπεται ότι η απεικόνιση f είναι ένα–προς–ένα και επί, κάτι που αποδεικνύει τα δυο σύνολα, που απαριθμούνται είτε ως n k ή ως n n − k , πρέπει να είναι ισοπληθή. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 41. Συνδυασμοί με Επαναλήψεις Ορισμός 21 ´Εστω ένα περασμένο σύνολο X με n στοιχεία και ένας μη αρνητικός ακέραιος k. Ονομάζουμε k–επιλογή με επαναλήψεις του X (ή του [n]) κάθε k–μελές πολυσύν- ολο, που αποτελείται από στοιχεία του X (ή του [n]).11 Το πλήθος όλων των δυνατών k–επιλογών με επαναλήψεις του X (ή του [n]) ονομάζονται k–συνδυα- σμοί με επαναλήψεις του X (ή του [n]). Εναλλακτική ερμηνεία συνδυασμών με επαναλήψεις: Ως το πλήθος των (x1,x2,...,xn) ∈ Nn τέτοιων ώστε x1 + x2 + ... + xn = k, για κάθε n,k ∈ N. 11 Προφανώς, όταν k = 0, η 0–επιλογή δεν περιλάμβανει κανένα στοιχείο, δηλαδή, είναι το κενό σύνολο. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 42. Θεώρημα 22 ´Εστω n,k μη αρνητικοί ακέραιοι και X σύνολο n στοιχείων. Τότε το πλήθος των k–συνδυασμών με επαναλήψεις του X (ή του [n]) είναι n + k − 1 k = n + k − 1 n − 1 . Απόδειξη: Κάθε k–επιλογή με επαναλήψεις των n στοιχείων του X μπορεί να αναπαρασταθεί ως μια συμβολική λίστα, η οποία αποτελείται από δυο ειδών σύμβολα: n − 1 διαχωριστικές γραμμές ‘‘|’’ και k αστερίσκους ‘‘∗’’ . Οι n − 1 διαχωριστικές γραμμές σχηματίζουν n διαφορετικά κελιά, στα οποία μπαίνουν οι αστερίσκοι, έτσι ώστε το i–οστό κελί να περιέχει έναν αστερικό αν και μόνον αν το i–οστό στοιχείο του X περιέχεται στο πολυσύνολο της k–επιλογής. Για παράδειγμα, στο σύνολο 4 στοιχείων X = {a, b, c, d}, η 6–επιλογή που αντιστοιχεί στη συμβολική λίστα ∗ ∗ | ∗ || ∗ ∗∗ είναι το πολυσύνολο {a, a, b, d, d, d}. Επομένως, το πλήθος αυτών των συμβολικών λιστών με n − 1 διαχωρι- / στικές γραμμές και k αστερίσκους είναι οι k–συνδυασμοί με επαναλήψεις των n στοιχείων του X. ´Ομως, το πλήθος αυτών των συμβολικών λιστών είναι ίσο με n + k − 1 k , επειδή κάθε συμβολική λίστα αντιστοιχεί σε μια επιλογή k θέσεων, στις οποίες τοποθετούνται οι k αστερίσκοι, από τις n + k − 1 θέσεις, που περιέχουν k αστερίσκους και n − 1 διαχωριστικές γραμμές. Επιπλέον, το πλήθος αυτών των συμβολικών λιστών είναι επίσης ίσο με n + k − 1 n − 1 , επειδή κάθε συμβολική λίστα αντι- / στοιχεί σε μια επιλογή n − 1 θέσεων, όπου τοποθετούνται n − 1 διαχωριστικές γραμμές. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 43. Παράδειγμα: Σε ένα παιχνίδι τύχης, υπάρχουν 90 αριθμημένα σφαιρίδια σε ένα δοχείο και επιλέγονται τυχαία 5 από αυτά, σε 5 διαδοχικές τυχαίες κληρώσεις, με επανατοποθέτηση όμως του σφαιριδίου, που έχει κληρωθεί σε μια κλήρωση, πριν γίνει η επόμενη. Κερδίζει αυτός που θα πετύχει το πολυσύνολο όλων των αριθμών, που βγάζει έτσι η κλήρωση (ανεξάρτητα σειράς κλήρωσης). Αν κάθε λαχείο περιλαμβάνει μια πεντάδα αριθμών, στην οποία ποντάρει ο παίκτης, πόσα λαχεία πρέπει να πάρει κανείς για να κερδίσει; ´Εστω b1, b2, b3, b4, b5 οι αριθμοί που κληρώνονται (γραμμένοι σε μη θφίνουσα σειρά). Καθώς αυτοί είναι 5 από 90 αριθμούς, αλλά μπορούν να επαναλαμβάνονται, θα έχουμε ότι 1 ≤ b1 ≤ b2 ≤ b3 ≤ b4 ≤ b5 ≤ 90. ´Εστω λοιπόν X το σύνολο, του οποίου τα στοιχεία είναι 5 το πολύ αριθμοί του [90], που μπορεί να επαναλαμβάνονται, αλλά πάντα θα είναι διατεταγμένοι με την ανισο–ισότητα ‘‘≤.’’ Επιπλέον, έστω Y το σύνολο, του οποίου τα στοιχεία είναι 5 οποιοιδήποτε αριθμοί του [94] (χωρίς καμία επανάληψη). Ισχυριζόμαστε ότι υπάρχει μια απεικόνιση f : X −→ Y, που είναι ένα–προς–ένα και επί. Πράγματι, η απεικόνιση αυτή δίνεται από τη σχέση f(b1, b2, b3, b4, b5) = (b1, b2 + 1, b3 + 2, b4 + 3, b5 + 4) και (b1, b2, b3, b4, b5) ∈ X αν και μόνον αν (b1, b2 + 1, b3 + 2, b4 + 3, b5 + 4) ∈ Y. Επομένως, για να κερδίσει κανείς πρέπει να ποντάρει σε 94 5 = 54 891 018 λαχεία. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 44. Πίνακας Μεταθέσεων και Συνδυασμών Μεταθέσεις n διακριτά αντικείμενα n! ai αντικείμενα τύπου i, k i=1 ai = n n! a1!·a2!···ak! Λίστες n διακριτά αντικείμενα σε λίστα μήκους k (n)k = n! (n−k)! ai διακριτά σύμβολα σε λέξεις μήκους k nk Υποσύνολα k–μελή υποσύνολα του [n] n k k–μελή πολυσύνολα με στοιχεία από το [n] n + k − 1 k Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 45. Ασκήσεις 1 Πόσες απεικονίσεις υπάρχουν από το [n] στο [n] που δεν είναι ένα–προς–ένα; 2 Αποδείξτε ότι το πλήθος των υποσυνόλων του [n] με περιττό αριθμό στοιχείων είναι 2n−1. 3 Πόσοι πενταψήφιοι θετικοί ακέραιοι υπάρχουν τέτοιοι ώστε το μεσαίο ψηφίο τους να είναι το 6 κι οι αριθμοί αυτοί να είναι διαιρετοί με το 3; 4 Πόσοι πενταψήφιοι θετικοί ακέραιοι υπάρχουν τέτοιοι ώστε να περιέχουν το ψηφίο 9 κι οι αριθμοί αυτοί να είναι διαιρετοί με το 3; 5 Με πόσους τρόπους μπορούν να διαταχθούν τα ψηφία {1,2,2,3,4,5,6} έτσι ώστε τα όμοια στοιχεία να μη βρίσκονται σε διαδοχική σειρά; Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 46. 6 Με πόσους τρόπους μπορούν να διαταχθούν τα ψηφία {1,1,2,2,3,4,5} έτσι ώστε τα δυο 1 να βρίσκονται σε διαδοχική σειρά; 7 ´Εστω b1,b2,...,bk θετικοί ακέραιοι με άθροισμα μικρότερο του n. ∆είξτε τότε ότι b1!b2! · · · bk! <n!. 8 Πόσοι εξαψήφιοι θετικοί ακέραιοι υπάρχουν τέτοιοι ώστε το άθροισμα των ψηφίων τους να είναι το πολύ 51; 9 Πόσοι τετραψήφιοι θετικοί ακέραιοι υπάρχουν τέτοιοι ώστε όλα τα ψηφία τους να είναι διαφορετικά; 10 Πόσοι τετραψήφιοι θετικοί ακέραιοι υπάρχουν τέτοιοι ώστε να περιέχουν το ψηφίο 1; 11 Πόσοι τριψήφιοι θετικοί ακέραιοι υπάρχουν τέτοιοι ώστε το άθροισμα των ψηφίων τους να είναι άρτιο; (Το πρώτο ψηφίο δεν μπορεί να είναι 0.) Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 47. 12 Με πόσους τρόπους μπορούν να διαταχθούν τα στοιχεία του [n] έτσι ώστε (1) το 1 να προηγείται του 2 και το 3 του 4 και (2) το 1 να προηγείται και του 2 και του 3; 13 Με πόσους τρόπους μπορούν να διαταχθούν τα στοιχεία του [n] έτσι ώστε το άθροισμα κάθε δυο διαδοχικών όρων της μετάθεσης να είναι περιττός ακέραιος; 14 ´Εστω n = pa1 1 pa2 2 · · · pak k , όπου τα pk είναι διακριτοί πρώτοι, και τα ai είναι θετικοί ακέραιοι. Πόσους θετικούς διαιρέτες έχει το n; 15 ´Εστω d(n) το πλήθος των θετικών διαιρετών του n. (1) Για ποιους αριθμούς n είναι το d(n) δύναμη του 2; (2) Ισχύει ότι, για κάθε θετικό ακέραιο n, d(n) ≤ 1 + log2 n; Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 48. 16 Με πόσους τρόπους μπορούμε να επιλέξουμε δυο υποσύνολα A και B του [n] έτσι ώστε A ∩ B = ∅; 17 Με πόσους τρόπους μπορούμε να επιλέξουμε τρία υποσύνολα A,B και C του [n] έτσι ώστε A ⊆ C,B ⊆ C και A ∩ B = ∅; Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 49. Το ∆ιωνυμικό Θεώρημα Θεώρημα 23 (Το ∆ιωνυμικό Θεώρημα) Για κάθε μη αρνητικό ακέραιο n και κάθε αριθμούς x,y, (x + y)n = n k=0 n k xkyn−k. Απόδειξη: Ας θεωρήσουμε την δύναμη (x + y)n = (x + y)(x + y) · · · (x + y) ως το γινόμενο μεταξύ n παραγόντων (x + y). Για να υπολογίσουμε αυτό το γινόμενο, πρέπει να πάρουμε το συνολικό άθροισμα όλων των μερικών γι- νομένων, που θα προέκτυπταν αν από κάθε παράγοντα (x + y) επιλέγαμε είτε το x ή το y. ∆ηλαδή, το (x + y)n είναι το άθοισμα των όρων μιας ακο- λουθίας αποτελούμενης από 2n μονόνυμα, κάθε ένα από τα οποία είναι της μορφής xkyn−k, όταν επιλεγεί το x από k παράγοντες και το y από τους υπόλοιπους, που φυσικά θα είναι n − k. Επιπλέον, κάθε μονόνυμο xkyn−k θα εμφανισθεί τόσες φορές όσες είναι το πλήθος των k–μελών υποσυνόλων του συνόλου {x,y}n, δηλαδή, στο τελικό άθροισμα για το (x + y)n κάθε μονόνυμο xkyn−k θα εμφανίζεται πολλαπλασιαζόμενο με ένα συντελεστή ίσο προς n k . Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 50. Πόρισμα 24 Για κάθε μη αρνητικό ακέραιο n, το εναλλασσόμηνο άθροισμα των διωνυμικών συντελεστών n k είναι μηδέν. ∆ηλαδή, n k=0 (−1)k · n k xkyn−k = 0. Απόδειξη: Θέτουμε στο ∆ιωνυμικό Θεώρημα x = −1 και y = 1. Πόρισμα 25 Για κάθε μη αρνητικό ακέραιο n, 2n = n k=0 n k . Απόδειξη: Και τα δυο σκέλη της ισότητας αυτής απαριθμούν το πλήθος του συνόλου των υποσυνόλων του [n]. Στο αριστερό σκέλος, η αρίθμηση αυτή γίνεται απευθείας, ενώ στο δεξιό σκέλος απαριθμούνται πρώτα όλα τα k–μελή υποσύνολα του [n] και μετά αθροίζονται ως προς k. Εναλλακτικά, η ισότητα αυτή απορρέει από το ∆ιωνυμικό Θεώρημα θέτοντας x = y = 1. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 51. Θεώρημα 26 (Ο Τύπος του Pascal ) Για κάθε μη αρνητικούς ακέραιους n και k, n k + n k + 1 = n + 1 k + 1 . Απόδειξη: Εξ ορισμού, το αριστερό σκέλος της ισότητας, που θέλουμε να αποδείξουμε, είναι ίσο προς το πλήθος των k + 1–μελών υποσυνόλων του [n + 1]. Επιπλέον, το σύνολο όλων των k + 1–μελών υποσυνόλων του [n + 1] διαμερίζεται σε δυο σύνολα: στο σύνολο S1 των k + 1–μελών υποσυνόλων του [n + 1], κάθε ένα από τα οποία περιλαμβάνει το n + 1, και στο σύνολο S2 των k + 1–μελών υποσυνόλων του [n + 1], κάθε ένα από τα οποία δεν περιλαμβάνει το n + 1. Αφενός, τότε, κάθε στοιχείο του S1 θα είναι της μορφής {n + 1} ∪ An, όπου το An είναι κάποιο k–μελές υποσύνολο του [n], και, για αυτό, το πλήθος των στοιχείων του S1 θα είναι όσο ακριβώς είναι το πλήθος των k–μελών υποσυνόλων του [n], δηλαδή, n k . Από την άλλη μεριά, το πλήθος των στοιχείων του S2 θα είναι όσο ακριβώς είναι το πλήθος των k + 1–μελών υποσυνόλων του [(n + 1) − 1] = [n], δηλαδή, n k + 1 . Επομένως, η Αρχή του Αθρίσματος συνεπάγεται το επιθυμητό αποτέλεσμα. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 52. Ορισμός 27 Το τρίγωνο του Pascal είναι μια τοποθέτηση μη αρνητικών ακέραιων στους κόμβους ενός τριγωνικού πλέγματος έτσι ώστε ο ακέραιος που βρίσκεται στην i–οστή γραμμή και j–οστή σειρά από αριστερά (όπου κάθε αρίθμηση αρχίζει με i = 0 και j = 0) να είναι ο διωνυμικός συντελεστής i j , δηλα- δή, όλη η i–οστή γραμμή να σχηματίζεται από το σύνολο των διωνυμικών συντελεστών του αναπτύγματος (x + y)i. Παρατηρήσεις: Κάθε στοιχείο του τριγώνου του Pascal είναι το άθροισμα των δυο στοιχείων που βρίσκονται ακριβώς από πάνω του. Το εναλλασσόμενο άθροισμα όλων των στοιχείων κάθε γραμμής του τριγώνου του Pascal είναι πάντοτε 0. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 53. Θεώρημα 28 (Η Ταυτότητα του Αθροίσματος) Για κάθε μη αρνητικούς ακέραιους n,k με k ≤ n, n i=k i k = n + 1 k + 1 . Απόδειξη: Το δεξιό σκέλος της προς απόδειξη ταυτότητας, προφανώς, απαριθμεί τα k + 1–μελή υποσύνολα του [n + 1]. Αλλά και το αριστερό σκέλος απαριθμεί τα ίδια υποσύνολα, χωρίζοντάς τα όμως σε υπο–ομάδες σύμφωνα με το μεγαλύτερο στοιχείο τους. Πράγματι, δοθέντων των μη αρνητικών n,k έτσι ώστε n ≥ k, έχουμε ότι, για κάθε i ≤ n − k, τα k + 1–μελή υποσύνολα του [n + 1], των οποίων το μεγαλύτερο στοιχείο είναι το k + i + 1, έχουν πλήθος ίσο με k + i k , γιατί, όταν το μεγαλύτερο στοιχείο ενός τέτοιου υποσυνόλου είναι το k + i + 1, τότε τα υπόποιπα στοιχεία του πρέπει να αποτελούν ένα υποσύνολο του [k + i]. Επομένως, υπάρχουν k k k + 1–μελή υποσύνολα του [n + 1] με μεγαλύτερο στοιχείο το k + 1, k + 1 k k + 1–μελή υποσύνολα του [n + 1] με μεγαλύτερο στοιχείο το k + 2 κ.ο.κ. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 54. Λήμμα 1 (Η Ταυτότητα της Απαρίθμησης των Προεδρευόμενων Επιτροπών) Το πλήθος των k–μελών επιτροπών n ατόμων, που προεδρεύονται από ένα άτομο από αυτά, είναι k n k = n n − 1 k − 1 . Απόδειξη: Κάθε σκέλος αυτής της ταυτότητας, μετρά το πλήθος των k–μελών επιτροπών n ατόμων, που προεδρεύονται από ένα άτομο από αυτά. Το αριστερό σκέλος απαριθμεί πρώτα τις k–μελείς επιτροπές από ένα σύνολο n ατόμων και μετά τους k προεδρεύοντες. Από την άλλη μεριά, το δεξιό σκέλος απαριθμεί πρώτα τους προεδρεύοντες από ένα σύνολο n ατόμων και μετά τα υπόλοιπα μέλη των k–μελών επιτροπών. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 55. Θεώρημα 29 Για κάθε μη αρνητικό ακέραιο n, n k=1 k n k = n2n−1. Απόδειξη μέσω της Ταυτότητας της Απαρίθμησης των Προεδρευόμενων Επιτροπών: n k=1 k n k = n k=1 n n − 1 k − 1 = n n−1 k =0 n − 1 k = n2n−1, χρησιμοποιώντας το Πόρισμα 25. ∆εύτερη Απόδειξη μέσω του ∆ιωνυμικού Θεωρήματος: Το ∆ιωνυμικό Θεώρημα για y = 1 είναι (x + 1)n = n k=1 n k xk. Παραγωγίζοντας ως προς x παίρνουμε n(x + 1)n−1 = n k=1 k · n k xk−1. Και θέτοντας x = 1 προκύπτει η ζητούμενη ταυτότητα. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 56. Θεώρημα 30 (Η Ταυτότητα του Vandermonde) Για κάθε μη αρνητικούς ακέραιους n,m,k με k ≤ min{n,m}, n + m k = k i=0 n i m k − i . Απόδειξη: Το αριστερό σκέλος της προς απόδειξη ταυτότητας, προφανώς, απαριθμεί όλα τα k–μελή υποσύνολα του [n + m]. Αλλά και το δεξιό σκέλος απαριθμεί τα ίδια υποσύνολα, χωρίζοντάς τα όμως σε υπο–ομάδες σύμφωνα με το πλήθος στοιχείων που επιλέγονται από το [n]. Πράγματι, μπορούμε να επιλέξουμε πρώτα i στοιχεία του [n] με n i τρόπους και μετά να επιλέξουμε τα υπόλοιπα k − i στοιχεία από το σύνολο {n + 1, n + 2, . . . , n + m} (τελικά, το [m]) με m k − i τρόπους. Πόρισμα 31 Για κάθε μη αρνητικό ακέραιο n, 2n n = n k=0 n k 2 . Απόδειξη: Η ταυτότητα του Vandermonde, για k = m = n, δίνει 2n n = n i=0 n k n n − i = n i=0 n i 2 (λόγω της Πρότασης 3). Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 57. Το Πολυωνυμικό Θεώρημα Ορισμός 32 ´Εστω n,a1,a2,...,ak μη αρνητικοί ακέραιοι, όπου k θετικός ακέραιος, τέτοιοι ώστε n = k i=1 ai. Τότε, οι αριθμοί n a1,a2,...,ak , που ορίζονται ως παρακάτω, ονομάζονται πολυωνυμικοί συντελεστές12 n a1,a2,...,ak = n! a1! · a2! · · · · · ak! . Θεώρημα 33 (Το Πολυωνυμικό Θεώρημα) Για κάθε μη αρνητικό ακέραιο n, θετικό ακέραιο k και κάθε αριθμούς x1,x2,...,xk, (x1 + x2 + ... + xk)n = a1,a2,...,ak n a1,a2,...,ak xa1 1 xa2 2 · · · xak k , όπου το άθροισμα λαμβάνεται για κάθε k–λίστα μη αρνητικών ακέραιων a1,a2,...,ak τέτοιων ώστε n = k i=1 ai. 12 Σύμφωνα με το Θεώρημα 15, οι πολυωνυμικοί συντελεστές απαριθμούν το πλήθος των μεταθέσεων ενός n–μελούς πολυσονόλου με στοιχεία ταξινομημένα σε k κατηγορίες. Επιπλέον, η ονομασία εξηγείται από το Θεώρημα που ακολουθεί. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 58. Απόδειξη Πολυωνυμικού Θεωρήματος: Πρέπει να δείξουμε ότι ο όρος x a1 1 x a2 2 · · · x ak k μπορεί να προκύψει με ακριβώς n a1,a2,...,ak τρόπους από το γινόμενο των k παραγόντων, που μπορούν να ληφθούν ο καθένας σαν μια από τις παρενθέσεις του γινομένου (x1 + x2 + . . . + xk)n = (x1 + x2 + . . . + xk) · · · (x1 + x2 + . . . + xk). Με άλλα λόγια, αρκεί να δείξουμε ότι για να πάρουμε έναν τέτοιον όρο πρέπει να επιλέξουμε τα xi από ακριβώς i παρενθέσεις, για όλα τα i ∈ [k]. Ας πάρουμε λοιπόν ai φορές το xi, για όλα τα i ∈ [k], και ας διατάξουμε γραμμικά αυτούς τους όρους. Το Θεώρημα 15 δείχνει ότι αυτό μπορεί να γίνει με ακριβώς n a1,a2,...,ak τρόπους. ´Ομως, επιπλέον, κάθε γραμμική διάταξη p ορίζει έναν φυσικό τρόπο επιλογής παραγόντων από ένα γινόμενο παρενθέσεων. Πράγματι, αν το j–ωστό σύμβολο της λέξης p είναι το xi, τότε επιλέγουμε το xi από την j–ωστή παρέθεση. Με τον τρόπο αυτό, οι n a1,a2,...,ak γραμμικές διατάξεις θα παραγάγουν ακριβώς n a1,a2,...,ak όρους ίσους προς x a1 1 x a2 2 · · · x ak k . Προφανώς, η διαδικασία αυτή δημιουργεί μια απεικόνιση ένα–προς–ένα και επί μεταξύ, αφενός, του συνόλου όλων των γραμμικών διατάξεων των n συμβόλων, από τα οποία τα ai είναι ίσα προς xi, για όλα τα i ∈ [k], κι, αφετέρου, του συνόλου των όρων του (x1 + x2 + . . . + xk)n, οι οποίοι είναι ίσοι προς x a1 1 x a2 2 · · · x ak k . Επομένως, ο συντελεστής του όρου x a1 1 x a2 2 · · · x ak k στο γινόμενο (x1 + x2 + . . . + xk)n είναι ακριβώς ίσος προς n a1,a2,...,ak , όπως έπρεπε να δείξουμε. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 59. Θεώρημα 34 ´Εστω n,a1,a2,...,ak μη αρνητικοί ακέραιοι, όπου k θετικός ακέραιος, τέτοιοι ώστε n = k i=1 ai. Τότε, ισχύει13 n a1,a2,...,ak = n a1 · · · n − a1 − ... − ai ai+1 · · · n − a1 − ... − ak−1 ak . Απόδειξη: Το αριστερό σκέλος της προς απόδειξη σχέσης απαριθμεί όλες τις γραμμικές διατάξεις ενός πολυσυνόλου, που περιέχει το σύμβολο xi ai φορές, για όλα τα i ∈ [k]. Θα δείξουμε ότι και το δεξιό σκέλος εκτελεί την ίδια ακριβώς απαρίθμηση. Πράγματι, ας επιλέξουμε πρώτα τις a1 θέσεις, στις οποίες τοποθετείται το σύμβολο x1. Αυτό μπορεί να γίνει με n a1 τρόπους. Στη συνέχεια, ας επιλέξουμε τις a2 θέσεις, στις οποίες τοποθετείται το σύμβολο x2. Καθώς έχουν ήδη καταληφθεί a1 θέσεις, αυτό μπορεί να γίνει με n−a1 a2 τρόπους. Μετά, επιλέγουμε τις a3 θέσεις, στις οποίες τοποθετείται το σύμβολο x3. Καθώς έχουν ήδη καταληφθεί a1 + a2 θέσεις, αυτό μπορεί να γίνει με n−a1−a2 a3 τρόπους. Και ούτω καθ´ εξής, μέχρις ότου συμπηρωθούν όλες οι θέσεις για όλα τα σύμβολα, οπότε παίρνουμε ότι και το συνολικό πλήθος όλων των δυνατών περιπτώσεων εκφράζεται από το δεξιό σκέλος της ταυτότητας αυτής. 13 Παρατηρήστε ότι n − a1 − . . . − ak−1 = ak, οπότε ο τελευταίος όρος του δεξιού σκέλους της σχέσης αυτής είναι ίσος προς ak ak = 1. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική
  • 60. Ασκήσεις 1 Αποδείξτε ότι, για κάθε ακέραιο n ≥ 2, 2n−2 · n · (n − 1) = n k=2 k(k − 1) n k . Πώς μπορεί να γενικευτεί αυτή η ταυτότητα; 2 ´Εστω k,m,n θετικοί ακέραιοι τέτοιοι ώστε k + m ≤ n. Αποδείξτε ότι n m · n − m k = n k n − k m . 3 Αποδείξτε ότι, για όλους τους ακέραιους 0 ≤ k ≤ n − 1, k j=0 n j = n j=0 n − 1 − j k − j 2j. Μωυσής Α. Μπουντουρίδης ∆ΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ: ΙΙ. Συνδυαστική