Υπολογιστικά & Διακριτά Μαθηματικά

Σχετικά έγγραφα
Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ. Πιθανότητες. Συνδυαστική Ανάλυση Διδάσκων: Επίκουρος Καθηγητής Κωνσταντίνος Μπλέκας

Υπολογιστικά & Διακριτά Μαθηματικά

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

Μαθηματική Ανάλυση Ι

Υπολογιστικά & Διακριτά Μαθηματικά

ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΟΙΚΟΝΟΜΟΛΟΓΟΥΣ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα. Συστήματα Αυτομάτου Ελέγχου. Ενότητα Α: Γραμμικά Συστήματα

Υπολογιστικά & Διακριτά Μαθηματικά

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Συνδυαστική Απαρίθμηση Υπολογισμός αριθμού διαφορετικών αποτελεσμάτων πειράματος (με συνδυαστικά επιχειρήματα)

Διακριτά Μαθηματικά. Ενότητα 5: Απαρίθμηση: Διωνυμικοί συντελεστές

Υπολογιστικά & Διακριτά Μαθηματικά

Μιγαδικός λογισμός και ολοκληρωτικοί Μετασχηματισμοί

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Γνωστό: P (M) = 2 M = τρόποι επιλογής υποσυνόλου του M. Π.χ. M = {A, B, C} π. 1. Π.χ.

Μιγαδικός λογισμός και ολοκληρωτικοί Μετασχηματισμοί

Διακριτά Μαθηματικά. Απαρίθμηση: Διωνυμικοί συντελεστές

Συνδυαστική Απαρίθμηση

Περιεχόμενα Συμβολοσειρές Γλώσσες ΘΥ 6: Συμβολοσειρές & γλώσσες Επ. Καθ. Π. Κατσαρός 24/07/2014 Επ. Καθ. Π. Κατσαρός ΘΥ 6: Συμβολοσειρές & γλώσσες

Συνδυαστική Απαρίθμηση

Τίτλος Μαθήματος: ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

ΒΟΗΘΗΤΙΚΕΣ ΣΗΜΕΙΩΣΕΙΣ

Στατιστική Ι. Ενότητα 5: Θεωρητικές Κατανομές Πιθανότητας. Δρ. Γεώργιος Κοντέος Τμήμα Διοίκησης Επιχειρήσεων Γρεβενών

Gutenberg

Συνδυαστική Απαρίθμηση

Συνδυαστική Απαρίθμηση

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ ΜΕ ΧΡΗΣΗ Η/Υ

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι. Ενότητα 7α: SQL (NULL, Διαίρεση) Ευαγγελίδης Γεώργιος. Τμήμα Εφαρμοσμένης Πληροφορικής ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι

Μαθηματικά. Ενότητα 7: Μη Πεπερασμένα Όρια. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

a n + 6a n a n 2 + 8a n 3 = 0, a 0 = 1, a 1 = 2, a 2 = 8

Συνδυαστική Απαρίθμηση

ΣΤΑΤΙΣΤΙΚΗ ΕΠΙΧΕΙΡΗΣΕΩΝ

Συνδυαστική Απαρίθμηση

ΣΤΑΤΙΣΤΙΚΗ ΕΠΙΧΕΙΡΗΣΕΩΝ

Υπολογιστικά & Διακριτά Μαθηματικά

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

ΣΤΑΤΙΣΤΙΚΗ ΕΠΙΧΕΙΡΗΣΕΩΝ

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ

Περιεχόμενα ΜΤ Τυχαίας Προσπέλασης Θεωρία Υπολογισμού Ενότητα 23: Μηχανές Turing Τυχαίας Προσπέλασης Επ. Καθ. Π. Κατσαρός Τμήμα Πληροφορικής Επ. Καθ.

Διακριτά Μαθηματικά. Απαρίθμηση: Διωνυμικοί συντελεστές

Διακριτά Μαθηματικά. Ενότητα 7: Προχωρημένες μέθοδοι απαρίθμησης: Εγκλεισμός Αποκλεισμός

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές. 3 ο Μάθημα. Λεωνίδας Αλεξόπουλος Λέκτορας ΕΜΠ. url:

Θεωρία Πιθανοτήτων & Στατιστική

Υπολογιστικά & Διακριτά Μαθηματικά

Μεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Μαθηματικά. Ενότητα 6: Ασκήσεις Ορίων Συνάρτησης. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Διανυσματικοί Χώροι (1) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Συνδυαστική Απαρίθμηση

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι. Ενότητα 2: Μοντελο Συσχετίσεων Οντοτήτων, Μελέτη Περίπτωσης: Η βάση δεδομένων των CD

HY118-Διακριτά Μαθηματικά

Μοντελοποίηση Λογικών Κυκλωμάτων

Υπολογιστικά & Διακριτά Μαθηματικά

Θεωρία Πιθανοτήτων & Στατιστική

Στατιστική Επιχειρήσεων

Μαθηματικά Και Στατιστική Στη Βιολογία

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Συνδυαστική Απαρίθμηση

Περιεχόμενα Ορισμός και λειτουργία των μηχανών Turing Θεωρία Υπολογισμού Ενότητα 20: Μηχανές Turing: Σύνθεση και Υπολογισμοί Επ. Καθ. Π. Κατσαρός Τμήμ

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα ΣΗΜΑΤΑ & ΣΥΣΤΗΜΑΤΑ. Ενότητα : ΔΙΑΚΡΙΤΟΣ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER

ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΟΙΚΟΝΟΜΟΛΟΓΟΥΣ

P(n, r) = n r. (n r)! n r. n+r 1

Πληροφορική. Ενότητα 4 η : Κωδικοποίηση & Παράσταση Δεδομένων. Ι. Ψαρομήλιγκος Τμήμα Λογιστικής & Χρηματοοικονομικής

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα

Μαθηματικά στην Πολιτική Επιστήμη:

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές. 5 ο Μάθημα. Λεωνίδας Αλεξόπουλος Λέκτορας ΕΜΠ. url:

Ποσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος

Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών

Θέματα υπολογισμού στον πολιτισμό

P(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n!

Συνδυαστική Απαρίθµηση Υπολογισµός (µε συνδυαστικά επιχειρήµατα) του πλήθους των διαφορετικών αποτελεσµάτων ενός «πειράµατος». «Πείραµα»: διαδικασία µ

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών

Τεχνολογία Πολυμέσων. Ενότητα # 7: Θεωρία πληροφορίας Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Διανύσματα στους Rn, Cn, διανύσματα στο χώρο (1) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Μαθηματικά. Ενότητα 2: Δεκαδικοί αριθμοί, κλάσματα, δυνάμεις, ρίζες και ποσοστά. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Εισαγωγή στην Πληροφορική & τον Προγραμματισμό

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Ενότητα: Δακτύλιοι, Ακέραιες Περιοχές, Σώματα. Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ Ι

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Cretive Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΙΩΑΝΝΙΝΩΝ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ. Πιθανότητες. Συνάρτηση κατανομής πιθανότητας Διδάσκων: Επίκουρος Καθηγητής Κωνσταντίνος Μπλέκας

Συνδυαστική Απαρίθμηση

Εγκλεισμός Αποκλεισμός

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Μεταγλωττιστές. Ενότητα 4: Τυπικές γλώσσες (Μέρος 3 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ Ι

Αλγόριθμοι και Δομές Δεδομένων(Θ) Ευάγγελος Γ. Ούτσιος

Transcript:

Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 4: Διατάξεις Μεταθέσεις Συνδυασμοί Στεφανίδης Γεώργιος

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ρητώς. 2

Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο Πανεπιστήμιο Μακεδονίας» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 3

Μεταθέσεις Για m = n έχουμε το πλήθος των μεταθέσεων ενός n-συνόλου n P n : n n n 1 n 2 21 i n! Αν η διατεταγμένη m-άδα έχει συνιστώσες στοιχεία του Α όχι κατ ανάγκη διαφορετικά μεταξύ τους, τότε λέγεται διάταξη με επανάληψη m στοιχείων του Α ή m-μετάθεση με επανάληψη του Α ή ένα m-δείγμα του Α, και πρόκειται για μια συνάρτηση του συνόλου {1, 2,, m } στο Α. Το πλήθος των m-μεταθέσεων με επανάληψη ενός n-συνόλου, σύμφωνα με τον κανόνα του γινομένου, είναι P R (n, m) = n m αφού για την επιλογή κάθε συνιστώσας της m-άδας υπάρχουν n δυνατότητες (όσα τα στοιχεία Α). Παράδειγμα: Tο πλήθος των δυαδικών συμβολοσειρών μήκους n που σχηματίζονται, είναι P R (2, n) = 2 n, διότι πρόκειται για διατεταγμένες n-άδες από στοιχεία του συνόλου Α = {0, 1}. [{0, 1} n :={0, 1}{0, 1} {0, 1} (n παράγοντες) και #{0, 1} n = (#{0, 1}) n = 2 n ] n i1 4

Μεταθέσεις: Άσκηση Άσκηση. Βρείτε το πλήθος των υποσυνόλων ενός συνόλου Α που έχει n στοιχεία. Λύση Αν θεωρήσουμε ένα υποσύνολο του Α με Α = {a 1, a 2,, a n }, κάθε στοιχείο του Α μπορεί να είναι στοιχείο του υποσυνόλου (1) ή να μην είναι (0). Έτσι έχουμε μια αμφιμονοσήμαντη αντιστοιχία μεταξύ των υποσυνόλων του Α και των δυαδικών συμβολοσειρών μήκους n, οπότε το πρόβλημα είναι να βρούμε πόσες δυαδικές συμβολοσειρές (πεπερασμένες ακολουθίες), μήκους n, σχηματίζονται. Από το προηγούμενο Παράδειγμα το πλήθος αυτό είναι 2 n. 5

Άσκηση Σε ένα υπολογιστικό σύστημα ένας έγκυρος κωδικός χρήστη (password) είναι μια ακολουθία αποτελούμενη από 6 έως και 8 σύμβολα. Το πρώτο σύμβολο πρέπει να είναι ένα γράμμα του Αγγλικού αλφάβητου (πεζό ή κεφαλαίο) και τα υπόλοιπα σύμβολα πρέπει να είναι γράμματα (του Αγγλικού αλφάβητου) ή δεκαδικά ψηφία. Πόσοι κωδικοί χρήστη σχηματίζονται; Λύση Έστω P = {a, b,, z, A, B,, Z} το σύνολο των συμβόλων για τη πρώτη θέση S = {a, b,, z, A, B,, Z, 0, 1,, 9} το σύνολο των συμβόλων για τις υπόλοιπες θέσεις Το σύνολο όλων των έγκυρων κωδικών χρήστη θα είναι (P S 5 ) (P S 6 ) (P S 7 ) Το πλήθος των έγκυρων κωδικών χρήστη θα είναι ο πληθικός αριθμός αυτού του συνόλου. Επομένως, (P S 5 ) (P S 6 ) (P S 7 ) = = P S 5 + P S 6 + P S 7 (κανόνας αθροίσματος) = P S 5 + P S 6 + P S 7 (κανόνας γινομένου) = P ( S 5 + S 6 + S 7 ) = 52(62 5 + 62 6 + 62 7 ) 1.8 10 14 έγκυροι κωδικοί χρήστη. 6

Βασική αρχή[1] 1. Αν υπάρχει μια αμφιμονοσήμαντη αντιστοιχία f : A B μεταξύ των συνόλων Α και Β, τότε Α = Β. 2. Έστω μη αρνητικός ακέραιος m. Αν f : Α Β είναι μια συνάρτηση τέτοια ώστε για κάθε y Β υπάρχουν ακριβώς m στοιχεία x Α με f(x) = y, τότε Α = m B Άσκηση Τέσσερα άτομα με πόσους τρόπους μπορούν να καθίσουν σε τέσσερα καθίσματα αν, a) τα καθίσματα είναι σε ευθεία διάταξη; b) Τα καθίσματα είναι σε κυκλική διάταξη; Έχουμε αν τα καθίσματα είναι σε ευθεία διάταξη, μια τοποθέτηση είναι της μορφής, k 1 k 2 k 3 k 4 και το πλήθος των περιπτώσεων είναι το πλήθος των μεταθέσεων των 4 ατόμων, δηλαδή 4!. b) αν τα καθίσματα είναι σε κυκλική διάταξη, μια τοποθέτηση είναι όπως αυτή του 7

Βασική αρχή[2] σχήματος, Μια τέτοια περίπτωση αντιστοιχεί στις περιπτώσεις ευθείας διάταξης: που σημαίνει ότι σε κάθε κυκλική διάταξη αντιστοιχούν 4 διαφορετικές περιπτώσεις σε ευθεία διάταξη. Άρα το πλήθος των τρόπων που μπορούν να καθίσουν τα 4 άτομα σε κύκλο είναι, Παρατήρηση Γενικεύοντας το παραπάνω παράδειγμα, μπορούμε να πούμε ότι, το πλήθος των κυκλικών μεταθέσεων (κυκλικές διατάξεις των n στοιχείων ανά n) χωρίς επανάληψη, είναι (n-1)! αφού σε κάθε κυκλική μετάθεση αντιστοιχούν n μεταθέσεις που το πλήθος τους είναι, P(n) = n! 8

Συνδυασμοί Ορισμός. Κάθε υποσύνολο με m στοιχεία (m-υποσύνολο) ενός n-συνόλου Α λέγεται συνδυασμός m στοιχείων του Α ή m-συνδυασμός του Α ή συνδυασμός των n ανά m. Πρόκειται στην ουσία για τους δυνατούς τρόπους επιλογής m στοιχείων από n χωρίς επανάθεση (ή επανάληψη). Το πλήθος τους αποδεικνύεται ότι είναι Αποδεικνύεται εύκολα ότι n n! C( n, m) m m! n m! n P( n, m) m! m 9

Συνδυασμοί- Παράδειγμα Παράδειγμα: Στο επίπεδο έχουμε δέκα σημεία που ανά τρία δεν είναι συνευθειακά. α) Πόσες ευθείες ορίζονται από τα σημεία αυτά; β) Πόσα τρίγωνα ορίζονται από τα σημεία αυτά; Έχουμε: α) Κάθε 2-άδα σημείων ορίζει μια ευθεία. Επειδή είναι απλές 2-άδες (όχι διατεταγμένες) το πλήθος τους είναι, 10 10! 8!910 9 5 45 2 2! 10 2! 2 8! β) Κάθε 3-άδα (απλή) ορίζει ένα τρίγωνο. Το πλήθος των 3-άδων είναι, 10 10! 7!8910 4 310 120 3 3! 10 3! 237! 10

Άσκηση[1] Άσκηση. Σε μια ευθεία (ε 1 ) έχουμε τα σημεία Α 1, Α 2,, Α n και στην ευθεία (ε 2 )//(ε 1 ) τα σημεία Β 1, Β 2,, Β m. Πόσα τρίγωνα σχηματίζονται με αυτά τα σημεία; Λύση Έστω S το σύνολο των τριγώνων που σχηματίζονται. Είναι S = S 1 S 2 11

Άσκηση[2] όπου S 1 το σύνολο των τριγώνων που σχηματίζονται με δύο κορυφές από την (ε 1 ) και μία κορυφή από την (ε 2 ), και S 2 το σύνολο των τριγώνων που σχηματίζονται με μία κορυφή από την (ε 1 ) και δύο κορυφές από την (ε 2 ). Άρα, n m n m S S1 S2 2 1 1 2 n! m! m n 2! 2! 2! 2! n m n 1 n m 1 m mn 2 2 nm n m 2 2 12

Παράδειγμα [1] Παράδειγμα: Θεωρούμε τον κώδικα Πόσες φορές γίνεται η σύγκριση A[i]>A[j] στη γραμμή (3); Θεωρούμε το σύνολο των συγκρίσεων: Όταν i = 1, το j παίρνει τις τιμές 2 έως n Όταν i = 2, το j παίρνει τις 3 έως n, 13

Παράδειγμα [2] Γενικά, σε κάθε ζεύγος (i, j) με i < j αντιστοιχεί μία και μόνο μία σύγκριση. Θεωρούμε τώρα τη συνάρτηση f από το σύνολο των διατεταγμένων 2- άδων (i, j) με i < j (γνησίως αύξουσες 2-άδες) στο σύνολο των 2-συνόλων {i, j}. Επειδή δύο διαφορετικές 2-άδες δεν μπορεί να είναι το ίδιο σύνολο σε δύο διαφορετικές διατάξεις, αυτές πρέπει να αντιστοιχούν σε δύο διαφορετικά 2-σύνολα. Άρα η f είναι «1-1». Επειδή κάθε 2-σύνολο ακεραίων μπορεί να καταγραφεί με αύξουσα διάταξη τους θα είναι η εικόνα μιας 2-άδας (γνησίως αύξουσας) μέσω της f. Άρα η f είναι «επί». 14

Παράδειγμα [3] Έτσι, έχουμε μια αμφιμονοσήμαντη αντιστοιχία μεταξύ του συνόλου των διατεταγμένων 2-άδων που είναι γνησίως αύξουσες και του συνόλου των 2-συνόλων. Άρα, το πλήθος των συγκρίσεων είναι το ίδιο με το πλήθος των 2- υποσυνόλων του n-συνόλου {1, 2,, n}, δηλ. με το πλήθος των n ανά 2 συνδυασμών 15

Ορισμός [1] Ορισμός. Κάθε συλλογή με m στοιχεία, όχι απαραίτητα διαφορετικά μεταξύ τους, από ένα n-σύνολο Α λέγεται συνδυασμός m στοιχείων από n στοιχεία με επανάληψη ή m-επιλογή του Α, και αποδεικνύεται ότι το πλήθος τους είναι, m n m 1 (πλήθος συνδυασμών με επανάληψη) 16

Ορισμός [2] Παράδειγμα: Πόσες τριάδες (i, j, k) με 1 i j k n σχηματίζονται; Υπάρχουν τόσες τέτοιες τριάδες όσοι είναι οι συνδυασμοί με επανάληψη τριών ακεραίων από τους ακεραίους 1 έως n, αφού τα στοιχεία κάθε τέτοιας 3-επιλογής μπορούν να γραφούν κατ αύξουσα σειρά με έναν μόνο τρόπο. Άρα το πλήθος των τριάδων είναι n n 2! n n 3 n 1 2 3 3 3! 2 3! n 2 n 1 n n 1! n n 1 n 2 2 3 1! 6 17

Παράδειγμα [4] Παράδειγμα: Πόσες φορές θα επαναληφθεί ο εσωτερικός βρόχος όταν εκτελεστεί το παρακάτω τμήμα κώδικα; 18

Παράδειγμα [5] Σχηματίζουμε τον πίνακα Παρατηρούμε ότι, υπάρχει μία επανάληψη του εσωτερικού βρόχου για κάθε στήλη του πίνακα και υπάρχει μία στήλη του πίνακα για κάθε (i, j, k) με 1 i j k n. Αλλά στο προηγούμενο Παράδειγμα είδαμε ότι το πλήθος τέτοιων τριάδων είναι 1n 2 3n 1 n n 3 6 19

Διώνυμο του Newton Για τους πραγματικούς (ή μιγαδικούς) αριθμούς a και b, και για κάθε φυσικό αριθμό n, είναι n n n n n1 n n1 n n a b a a b ab b 0 1 n 1 n n n a nm m b m m0 Το διωνυμικό ανάπτυγμα μπορεί να χρησιμοποιηθεί προκειμένου να πάρουμε διάφορα αποτελέσματα. Παραδείγματος χάριν, αντικαθιστώντας στον τύπο του, a = b = 1, παίρνουμε την ταυτότητα m0 κι αν αντικαταστήσουμε, a = 1 και b = 1, παίρνουμε την ταυτότητα n m n n m0 n m 2 n ( 1) 0 m 20

Άσκηση [3] Βρείτε τον πληθικό αριθμό του δυναμοσυνόλου (A) ενός συνόλου Α με πληθικό αριθμό n. Λύση Είναι, = πλήθος υποσυνόλων του Α με 0 στοιχεία, = πλήθος υποσυνόλων του Α με 1 στοιχείο = πλήθος υποσυνόλων του Α με 2 στοιχεία = πλήθος υποσυνόλων του Α με n στοιχεία Επομένως, πλήθος υποσυνόλων του Α = =2 n 21

Οι διωνυμικοί συντελεστές Οι αριθμοί n m λέγονται διωνυμικοί συντελεστές και έχουν πολλές ενδιαφέρουσες και χρήσιμες ιδιότητες μερικές από τις οποίες είναι οι εξής: n n m n m n n n1 m m m1 m n n 1 n 1 m m 1 m n m n n k m k k m k n k n k m i m i i0 n οι οποίες αποδεικνύονται εύκολα χρησιμοποιώντας τον τύπο του. m 22

Πρόβλημα Θέλουμε να βρούμε πόσες δυαδικές συμβολοσειρές δεν έχουν δύο διαδοχικά 0. Έστω a(n) := a n το ζητούμενο πλήθος (με n > 2). Τότε θα είναι a 1 = 2 (0, 1) a 2 = 3 (01, 10, 11) a n =? (= αναλυτική έκφραση ή τύπος για το a(n)) Αναδρομικές σχέσεις (ακολουθίες) [στο επόμενο μάθημα] 23

Τέλος Ενότητας