Ουρά Προτεραιότητας (priority queue)

Transcript

1 Ουρά Προτεραιότητας (priority queue) Δομή δεδομένων που υποστηρίζει τις ακόλουθες λειτουργίες PQinsert : εισαγωγή στοιχείου PQdelmax : επιστροφή του στοιχείου με το μεγαλύτερο* κλειδί και διαγραφή του από τη δομή * Σε ορισμένες εφαρμογές θέλουμε να επιστρέφουμε γρήγορα το στοιχείο με το ελάχιστο κλειδί αντί για το μέγιστο. Αποτελεί γενίκευση των δομών της στοίβας και της ουράς. Εξαιρετικά χρήσιμη δομή δεδομένων με πολλές εφαρμογές. Π.χ. ταξινόμηση με χρήση ουράς προτεραιότητας.

2 Ουρά Προτεραιότητας (priority queue) Δομή δεδομένων που υποστηρίζει τις ακόλουθες λειτουργίες PQinsert : εισαγωγή στοιχείου PQdelmax : επιστροφή του στοιχείου με το μεγαλύτερο* κλειδί και διαγραφή του από τη δομή * Σε ορισμένες εφαρμογές θέλουμε να επιστρέφουμε γρήγορα το στοιχείο με το ελάχιστο κλειδί αντί για το μέγιστο. Σε πολλές εφαρμογές χρειαζόμαστε επιπλέον λειτουργίες κατασκευή ουράς προτεραιότητας για δεδομένα Ν στοιχεία αλλαγή κλειδιού ενός στοιχείου διαγραφή στοιχείου ένωση δύο ουρών προτεραιότητας σε μία

3 Ουρά Προτεραιότητας (priority queue) Στοιχειώδης υλοποίηση με μη διατεταγμένο πίνακα static int N; static int *pq; void PQinit(int maxn) { pq = malloc(maxn*sizeof(int)); N = 0;} void exch(int *a, int i, int j) { int temp=a[i]; a[i]=a[j]; a[j]=temp; } int PQempty() { return N==0;} void PQinsert(int v) { pq[n++]=v; } [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] N maxn-1 int PQdelmax() { int j, max = 0; for (j = 1; j < N; j++) if (pq[max] < pq[j]) max = j; exch(pq,max,n-1); // ανταλλαγή pq[max] και pq[n-1] return pq[--n]; }

4 Ουρά Προτεραιότητας (priority queue) Άλλες στοιχειώδεις υλοποιήσεις Διατεταγμένος πίνακας: Το μέγιστο στοιχείο στην τελευταία μη κενή θέση [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] N maxn-1 Μη διατεταγμένη λίστα head Διατεταγμένη λίστα: Το μέγιστο στοιχείο στην αρχή της λίστας head

5 Ουρά Προτεραιότητας (priority queue) εισαγωγή διαγραφή μέγιστου διαγραφή ( * ) εύρεση μέγιστου αλλαγή προτεραιότητας ένωση διατεταγμένος πίνακας διατεταγμένη λίστα μη διατεταγμένος πίνακας μη διατεταγμένη λίστα σωρός διωνυμική ουρά καλύτερος θεωρητικά ( * ) Υποθέτει ότι γνωρίζουμε τη θέση του στοιχείου που διαγράφεται

6 Ουρά Προτεραιότητας (priority queue) εισαγωγή διαγραφή μέγιστου διαγραφή ( * ) εύρεση μέγιστου αλλαγή προτεραιότητας ένωση διατεταγμένος πίνακας διατεταγμένη λίστα μη διατεταγμένος πίνακας μη διατεταγμένη λίστα σωρός διωνυμική ουρά καλύτερος θεωρητικά ( ** ) ( ** ) ( ** ) ( * ) Υποθέτει ότι γνωρίζουμε τη θέση του στοιχείου που διαγράφεται ( ** ) Απαιτεί πιο σύνθετη συνδεδεμένη λίστα, π.χ. διπλή λίστα

7 Δομή Δεδομένων Σωρού (heap) Υποστηρίζει αποδοτικά τις λειτουργίες μιας ουράς προτεραιότητας. Αναπαράσταση ως πλήρες δυαδικό δένδρο: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του

8 Δομή Δεδομένων Σωρού (heap) Υποστηρίζει αποδοτικά τις λειτουργίες μιας ουράς προτεραιότητας. Σωρός μέγιστου: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. Σωρός ελάχιστου: κάθε κόμβος έχει κλειδί μεγαλύτερο ή ίσο με το κλειδί του γονέα του σωρός μέγιστου : γρήγορη εξαγωγή μέγιστου στοιχείου σωρός ελάχιστου : γρήγορη εξαγωγή ελάχιστου στοιχείου

9 Δομή Δεδομένων Σωρού (heap) Υποστηρίζει αποδοτικά τις λειτουργίες μιας ουράς προτεραιότητας. Αναπαράσταση ως πλήρες δυαδικό δένδρο: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του η ρίζα έχει το μέγιστο κλειδί. ύψος lgn

10 Δομή Δεδομένων Σωρού (heap) Υποστηρίζει αποδοτικά τις λειτουργίες μιας ουράς προτεραιότητας. Αναπαράσταση ως πλήρες δυαδικό δένδρο: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. [1] 20 η ρίζα έχει το μέγιστο κλειδί. [2] [3] ύψος lgn [8] [4] [5] [9] [10] [11] [6] 6 9 [12] 5 [7] Υλοποίηση με πίνακα: το στοιχείο στη θέση i είναι ο γονέας των στοιχείων στις θέσεις 2i και 2i+1. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]

11 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. [1] 20 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12]

12 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. [1] 20 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12] παραβίαση της συνθήκης σωρού

13 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. [1] 20 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12] αντιμετάθεση με το γονέα

14 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. [1] 20 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12] αντιμετάθεση με το γονέα

15 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. η συνθήκη σωρού αποκαταστάθηκε [1] 20 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12] αντιμετάθεση με το γονέα

16 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. [1] 20 [2] [3] fixup(int *a, int k) { while (k>1 && (a[k/2]<a[k])) { exch(a,k,k/2); k=k/2; } } void exch(int *a, int i, int j) { int temp=a[i]; a[i]=a[j]; a[j]=temp; } [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12]

17 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. [1] 20 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12]

18 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. παραβίαση της συνθήκης σωρού [1] 14 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12]

19 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. αντιμετάθεση με μεγαλύτερο παιδί [1] 18 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12]

20 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. αντιμετάθεση με μεγαλύτερο παιδί [1] 18 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12]

21 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. αντιμετάθεση με μεγαλύτερο παιδί [1] 18 [2] [3] [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12] η συνθήκη σωρού αποκαταστάθηκε

22 Αλγόριθμοι σε Σωρούς Συνθήκη σωρού: κάθε κόμβος έχει κλειδί μικρότερο ή ίσο με το κλειδί του γονέα του. [1] 18 [2] [3] fixdown (int *a, int k, int N) { int j; while (2*k <= N) { j=2*k; if ((j<n) && (a[j]<a[j+1])) j++; if (a[k] > a[j]) break; exch(a,k,j); k=j; } } void exch(int *a, int i, int j) { int temp=a[i]; a[i]=a[j]; a[j]=temp; } [4] [5] [6] 9 5 [7] [8] [9] [10] [11] 6 [12]

23 Αλγόριθμοι σε Σωρούς Ουρά προτεραιότητας βασισμένη σε σωρό static int N; int pq[maxn]; int PQempty() { return N==0;} void PQinsert(int v) { pq[++n]=v; fixup(pq,n); } [1] 18 [2] 15 [3] 12 [4] 11 [5] 14 [6] 9 5 [7] int PQdelmax() { exch(pq,1,n); fixdown(pq,1,n-1); return pq[n--]; } [8] [9] [10] [11] 6 [12]

24 Αλγόριθμοι σε Σωρούς Ουρά προτεραιότητας βασισμένη σε σωρό static int N; int pq[maxn]; int PQempty() { return N==0;} void PQinsert(int v) { pq[++n]=v; fixup(pq,n); } διαγραφή μέγιστου [1] 18 [2] 15 [3] 12 [4] 11 [5] 14 [6] 9 5 [7] int PQdelmax() { exch(pq,1,n); fixdown(pq,1,n-1); return pq[n--]; } [8] [9] [10] [11] 6 [12]

25 Αλγόριθμοι σε Σωρούς Ουρά προτεραιότητας βασισμένη σε σωρό static int N; int pq[maxn]; int PQempty() { return N==0;} void PQinsert(int v) { pq[++n]=v; fixup(pq,n); } διαγραφή μέγιστου [1] 6 [2] 15 [3] 12 [4] 11 [5] 14 [6] 9 5 [7] int PQdelmax() { exch(pq,1,n); fixdown(pq,1,n-1); return pq[n--]; } [8] [9] [10] [11] 18 [12]

26 Αλγόριθμοι σε Σωρούς Ουρά προτεραιότητας βασισμένη σε σωρό static int N; int pq[maxn]; int PQempty() { return N==0;} void PQinsert(int v) { pq[++n]=v; fixup(pq,n); } διαγραφή μέγιστου [1] 15 [2] 6 [3] 12 [4] 11 [5] 14 [6] 9 5 [7] int PQdelmax() { exch(pq,1,n); fixdown(pq,1,n-1); return pq[n--]; } [8] [9] [10] [11] 18 [12]

27 Αλγόριθμοι σε Σωρούς Ουρά προτεραιότητας βασισμένη σε σωρό static int N; int pq[maxn]; int PQempty() { return N==0;} void PQinsert(int v) { pq[++n]=v; fixup(pq,n); } διαγραφή μέγιστου [1] 15 [2] 14 [3] 12 [4] 11 [5] 6 [6] 9 5 [7] int PQdelmax() { exch(pq,1,n); fixdown(pq,1,n-1); return pq[n--]; } [8] [9] [10] [11] 18 [12]

28 Αλγόριθμοι σε Σωρούς Ουρά προτεραιότητας βασισμένη σε σωρό static int N; int pq[maxn]; int PQempty() { return N==0;} void PQinsert(int v) { pq[++n]=v; fixup(pq,n); } διαγραφή μέγιστου [1] 15 [2] 14 [3] 12 [4] 11 [5] 13 [6] 9 5 [7] int PQdelmax() { exch(pq,1,n); fixdown(pq,1,n-1); return pq[n--]; } [8] [9] [10] [11] 18 [12]

29 Αλγόριθμοι σε Σωρούς Ουρά προτεραιότητας βασισμένη σε σωρό static int N; int pq[maxn]; int PQempty() { return N==0;} void PQinsert(int v) { pq[++n]=v; fixup(pq,n); } διαγραφή μέγιστου [1] 15 [2] 14 [3] 12 [4] 11 [5] 13 [6] 9 5 [7] int PQdelmax() { exch(pq,1,n); fixdown(pq,1,n-1); return pq[n--]; } [8] [9] [10] [11] 18 [12]

30 Αλγόριθμοι σε Σωρούς Ταξινόμηση με ουρά προτεραιότητας void PQsort(int *a, int N) { int k; PQinit(); for (k=1; k<=n; k++) PQinsert(a[k]); for (k=n; k>=1; k--) a[k]=pqdelmax(); }

31 Αλγόριθμοι σε Σωρούς Ταξινόμηση με ουρά προτεραιότητας void PQsort(int *a, int N) { int k; PQinit(); for (k=1; k<=n; k++) PQinsert(a[k]); for (k=n; k>=1; k--) a[k]=pqdelmax(); } Διαδοχική εισαγωγή των στοιχείων στην ουρά O(N logn) χρόνος

32 Αλγόριθμοι σε Σωρούς Ταξινόμηση με ουρά προτεραιότητας void PQsort(int *a, int N) { int k; PQinit(); for (k=1; k<=n; k++) PQinsert(a[k]); for (k=n; k>=1; k--) a[k]=pqdelmax(); } Διαδοχική εισαγωγή των στοιχείων στην ουρά O(N logn) χρόνος Διαδοχική εξαγωγή μέγιστου στοιχείου O(N logn) χρόνος

33 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος

34 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] 4 18 [4] [5] 9 13 [6] 5 14 [7] [8] [9] [10] [11] 12 [12]

35 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] 4 18 [4] [5] 9 13 [6] 5 14 [7] [8] [9] [10] [11] 12 [12]

36 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] 4 18 [4] [5] 9 13 [6] [7] [8] [9] [10] [11] 5 [12]

37 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] 4 18 [4] [5] 9 13 [6] [7] [8] [9] [10] [11] 5 [12]

38 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] 4 18 [4] [5] 9 15 [6] [7] [8] [9] [10] [11] 5 [12]

39 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] 4 18 [4] [5] 9 15 [6] [7] [8] [9] [10] [11] 5 [12]

40 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] 4 18 [4] [5] 9 15 [6] [7] [8] [9] [10] [11] 5 [12]

41 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] 4 18 [4] [5] 9 15 [6] [7] [8] [9] [10] [11] 5 [12]

42 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] [4] [5] 9 4 [6] [7] [8] [9] [10] [11] 5 [12]

43 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] [4] [5] 9 4 [6] [7] [8] [9] [10] [11] 5 [12]

44 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] [4] [5] 9 13 [6] [7] [8] [9] [10] [11] 5 [12]

45 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 11 [2] [3] [4] [5] 9 13 [6] [7] [8] [9] [10] [11] 5 [12]

46 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 18 [2] [3] [4] [5] 9 13 [6] [7] [8] [9] [10] [11] 5 [12]

47 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 18 [2] [3] [4] [5] 9 13 [6] [7] [8] [9] [10] [11] 5 [12]

48 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 18 [2] [3] [4] [5] 9 13 [6] [7] [8] [9] [10] [11] 5 [12]

49 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος [1] 18 [2] [3] [4] [5] 9 13 [6] [7] [8] [9] [10] [11] 5 [12]

50 Αλγόριθμοι σε Σωρούς Ταξινόμηση με σωρό void heapsort(int *a, int N) { int k; for (k=n/2; k>=1; k--) fixdown(a,k,n); while (N>1) { exch(a,1,n); fixdown(a,1,--n); } } Τακτοποίηση σωρού (αντικαθιστά τη διαδοχική εισαγωγή των στοιχείων στην ουρά) O(N) χρόνος Απόδειξη για Ο αριθμός των αντιμεταθέσεων είναι το πολύ

51 Αλγόριθμοι Ταξινόμησης Κάτω φράγμα για ταξινόμηση που χρησιμοποιεί μόνο συγκρίσεις Οι αλγόριθμοι ταξινόμησης που μελετάμε στο μάθημα βασίζονται σε συγκρίσεις ανά δύο των στοιχείων της ακολουθίας: a[i] > a[j] OXI NAI Οποιοσδήποτε τέτοιος αλγόριθμος μπορεί να αναπαρασταθεί με ένα δένδρο απόφασης Θα δείξουμε ότι ο χρόνος εκτέλεσης στη χειρότερη περίπτωση είναι

52 Αλγόριθμοι Ταξινόμησης Κάτω φράγμα για ταξινόμηση που χρησιμοποιεί μόνο συγκρίσεις Δένδρο απόφασης a[i]<a[j]? a[b]<a[c]? a[d]<a[e]? a[f]<a[g]? a[h]<a[i]? a[j]<a[k]? a[l]<a[m]?

53 Αλγόριθμοι Ταξινόμησης Κάτω φράγμα για ταξινόμηση που χρησιμοποιεί μόνο συγκρίσεις Δένδρο απόφασης Π.χ. για n=3 a[1]<a[2]? a[1]<a[3]? a[1]<a[3]? a[2]<a[3]? a[3]< a[1]< a[2] a[2]< a[1]< a[3] a[2]<a[3]? a[1]< a[2]< a[3] a[1]< a[3]< a[2] a[2]< a[3]< a[1] a[3]< a[2]< a[1] Η εκτέλεση του αλγόριθμου ακολουθεί ένα μονοπάτι από τη ρίζα προς κάποιο φύλλο

54 Αλγόριθμοι Ταξινόμησης Κάτω φράγμα για ταξινόμηση που χρησιμοποιεί μόνο συγκρίσεις Δένδρο απόφασης Π.χ. για n=3 a[1]<a[2]? Για a=[1,2,3] a[1]<a[3]? a[1]<a[3]? a[2]<a[3]? a[3]< a[1]< a[2] a[2]< a[1]< a[3] a[2]<a[3]? a[1]< a[2]< a[3] a[1]< a[3]< a[2] a[2]< a[3]< a[1] a[3]< a[2]< a[1] Η εκτέλεση του αλγόριθμου ακολουθεί ένα μονοπάτι από τη ρίζα προς κάποιο φύλλο

55 Αλγόριθμοι Ταξινόμησης Κάτω φράγμα για ταξινόμηση που χρησιμοποιεί μόνο συγκρίσεις Δένδρο απόφασης Π.χ. για n=3 a[1]<a[2]? Για a=[2,1,3] a[1]<a[3]? a[1]<a[3]? a[2]<a[3]? a[3]< a[1]< a[2] a[2]< a[1]< a[3] a[2]<a[3]? a[1]< a[2]< a[3] a[1]< a[3]< a[2] a[2]< a[3]< a[1] a[3]< a[2]< a[1] Η εκτέλεση του αλγόριθμου ακολουθεί ένα μονοπάτι από τη ρίζα προς κάποιο φύλλο

56 Αλγόριθμοι Ταξινόμησης Κάτω φράγμα για ταξινόμηση που χρησιμοποιεί μόνο συγκρίσεις Δένδρο απόφασης a[i]<a[j]? a[b]<a[c]? a[d]<a[e]? a[f]<a[g]? a[h]<a[i]? a[j]<a[k]? a[l]<a[m]? Κάθε μετάθεση της ακολουθίας εισόδου αντιστοιχεί σε διαφορετικό φύλλο υπάρχουν n! φύλλα Ο αριθμός των συγκρίσεων που πραγματοποιεί μια εκτέλεση του αλγόριθμου στη χειρότερη περίπτωση είναι ίσος με το ύψος του δένδρου

57 Αλγόριθμοι Ταξινόμησης Κάτω φράγμα για ταξινόμηση που χρησιμοποιεί μόνο συγκρίσεις Δένδρο απόφασης a[i]<a[j]? Ύψος δυαδικού δένδρου με n! φύλλα = a[b]<a[c]? a[d]<a[e]? a[f]<a[g]? a[h]<a[i]? a[j]<a[k]? a[l]<a[m]? Κάθε μετάθεση της ακολουθίας εισόδου αντιστοιχεί σε διαφορετικό φύλλο υπάρχουν n! φύλλα Ο αριθμός των συγκρίσεων που πραγματοποιεί μια εκτέλεση του αλγόριθμου στη χειρότερη περίπτωση είναι ίσος με το ύψος του δένδρου

58 δ-σωρός Αποτελεί άμεση γενίκευση του δυαδικού σωρού : Κάθε κόμβος έχει το πολύ παιδιά και οι νέοι κόμβοι προστίθενται στο τελευταίο επίπεδο από τα αριστερά προς τα δεξιά 3-σωρός ελάχιστου [1] 2 [2] 6 [3] [4] 4 14 [5] [6] [7] [8] [9] Εισαγωγή : Διαγραφή : χρόνος χρόνος

59 Διωνυμικές ουρές (binomial queues) Δυαδικά δένδρα αριστερά διατεταγμένα σε σωρό Το κλειδί κάθε κόμβου είναι μεγαλύτερο ή ίσο από όλα τα κλειδιά του αριστερού υποδένδρου αυτού του κόμβου. Σωρός δύναμης του 2 Δένδρο αριστερά διατεταγμένο σε σωρό, στο οποίο το δεξί υποδένδρο της ρίζας είναι κενό και το αριστερό υποδένδρο είναι πλήρες

60 Διωνυμικές ουρές (binomial queues) Δυαδικά δένδρα αριστερά διατεταγμένα σε σωρό Το κλειδί κάθε κόμβου είναι μεγαλύτερο ή ίσο από όλα τα κλειδιά του αριστερού υποδένδρου αυτού του κόμβου. Σωρός δύναμης του 2 Δένδρο αριστερά διατεταγμένο σε σωρό, στο οποίο το δεξί υποδένδρο της ρίζας είναι κενό και το αριστερό υποδένδρο είναι πλήρες Διωνυμικό δένδρο 20 Δένδρο που με την αντιστοίχηση αριστερού παιδιού και δεξιού αδελφού δίνει σωρό δύναμης του

61 Διωνυμικές ουρές (binomial queues) Υλοποίηση Δυαδικό δένδρο 8 Νοητή αναπαράσταση: Διωνυμικό δένδρο διατεταγμένο σε σωρό

62 Διωνυμικές ουρές (binomial queues) Διωνυμικά δένδρα

63 Διωνυμικές ουρές (binomial queues) Διωνυμικά δένδρα Το διωνυμικό δένδρο έχει κόμβους : κόμβους στο επίπεδο

64 Διωνυμικές ουρές (binomial queues) Δυαδικά δένδρα αριστερά διατεταγμένα σε σωρό Το κλειδί κάθε κόμβου είναι μεγαλύτερο ή ίσο από όλα τα κλειδιά του αριστερού υποδένδρου αυτού του κόμβου. Σωρός δύναμης του 2 Δένδρο αριστερά διατεταγμένο σε σωρό, στο οποίο το δεξί υποδένδρο της ρίζας είναι κενό και το αριστερό υποδένδρο είναι πλήρες Διωνυμικό δένδρο 20 Δένδρο που με την αντιστοίχηση αριστερού παιδιού και δεξιού αδελφού δίνει σωρό δύναμης του Το πλήθος των κόμβων σε ένα σωρό δύναμης του 2 είναι δύναμη του 2 Κανένας κόμβος δεν έχει κλειδί μεγαλύτερο από το κλειδί της ρίζας Τα διωνυμικά δέντρα είναι διατεταγμένα σε σωρό

65 Διωνυμικές ουρές (binomial queues)

66 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Παράδειγμα: διωνυμική ουρά μεγέθους 13 = (1101) Μια διωνυμική ουρά με σωρούς δύναμης του 2 κλειδιά αποτελείται από το πολύ

67 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου

68 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου

69 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 1

70 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 0

71 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου

72 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου

73 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 1

74 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 1

75 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 1

76 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 1

77 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 1

78 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 1

79 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο 1

80 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Εισαγωγή στοιχείου κρατούμενο Χρόνος =

81 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Διαγραφή μέγιστου από σωρό δύναμης του

82 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Διαγραφή μέγιστου από σωρό δύναμης του

83 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Διαγραφή μέγιστου

84 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Διαγραφή μέγιστου Πρέπει να ενώσουμε δύο ουρές

85 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Ένωση δύο διωνυμικών ουρών κρατούμενο 0

86 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Ένωση δύο διωνυμικών ουρών κρατούμενο 1

87 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Ένωση δύο διωνυμικών ουρών κρατούμενο

88 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Ένωση δύο διωνυμικών ουρών κρατούμενο

89 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Ένωση δύο διωνυμικών ουρών κρατούμενο

90 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Ένωση δύο διωνυμικών ουρών κρατούμενο Χρόνος =

91 Διωνυμικές ουρές (binomial queues) Διωνυμική ουρά Σύνολο σωρών δύναμης του 2 οι οποίοι δεν έχουν το ίδιο μέγεθος. Η δομή της καθορίζεται από τη δυαδική αναπαράσταση του αριθμού των κόμβων της. Κατασκευή διωνυμικής ουράς με κλειδιά Η κατασκευή μιας διωνυμικής ουράς με ουρά απαιτεί χρόνο διαδοχικές εισαγωγές σε αρχικά κενή Για κάθε εισαγωγή έχουμε μια πράξη ένωσης σωρών δύναμης του δύο για κάθε bit που αλλάζει από 1 σε 0 στη δυαδική αναπαράσταση του αριθμού των κόμβων της ουράς

92 Διωνυμικές ουρές (binomial queues) Επαύξηση δυαδικού μετρητή Έστω ένας μετρητής C με k bits : μια πράξη επαύξησης θέτει

93 Διωνυμικές ουρές (binomial queues) Επαύξηση δυαδικού μετρητή Έστω ένας μετρητής C με k bits : μια πράξη επαύξησης θέτει ο ψηφίο από το τέλος: αλλάζει με κάθε επαύξηση

94 Διωνυμικές ουρές (binomial queues) Επαύξηση δυαδικού μετρητή Έστω ένας μετρητής C με k bits : μια πράξη επαύξησης θέτει ο ψηφίο από το τέλος: αλλάζει με κάθε δεύτερη επαύξηση

95 Διωνυμικές ουρές (binomial queues) Επαύξηση δυαδικού μετρητή Έστω ένας μετρητής C με k bits : μια πράξη επαύξησης θέτει ο ψηφίο από το τέλος: αλλάζει με κάθε τέταρτη επαύξηση

96 Διωνυμικές ουρές (binomial queues) Επαύξηση δυαδικού μετρητή Έστω ένας μετρητής C με k bits : μια πράξη επαύξησης θέτει ο ψηφίο από το τέλος: αλλάζει με κάθε όγδοη επαύξηση

97 Διωνυμικές ουρές (binomial queues) Επαύξηση δυαδικού μετρητή Έστω ένας μετρητής C με k bits : μια πράξη επαύξησης θέτει Γενικά το i-οστό ψηφίο από το τέλος αλλάζει μετά από επαυξήσεις. Σε ακολουθία N πράξεων το i-οστό ψηφίο από το τέλος αλλάζει συνολικά φορές Σύνολο αλλαγών για όλα τα ψηφία =

98 Διωνυμικές ουρές (binomial queues) Επαύξηση δυαδικού μετρητή Έστω ένας μετρητής C με k bits : μια πράξη επαύξησης θέτει Γενικά το i-οστό ψηφίο από το τέλος αλλάζει μετά από επαυξήσεις. Σε ακολουθία N πράξεων το i-οστό ψηφίο από το τέλος αλλάζει συνολικά φορές Σύνολο αλλαγών για όλα τα ψηφία =

99 Πλεονάζον αριθμητικό σύστημα Ο χρόνος εισαγωγής μπορεί να βελτιωθεί χρησιμοποιώντας ένα πιο ευέλικτο αριθμητικό σύστημα Επιτρέπουμε κάποια ψηφία να λάβουν την τιμή 2 με ελεγχόμενο τρόπο. H ίδια τιμή μπορεί να αντιστοιχεί σε περισσότερες ακολουθίες ψηφίων. Για παράδειγμα Κανονικές ακολουθίες Μια ακολουθία στο πλεονάζον αριθμητικό σύστημα είναι κανονική εάν τα 2 και τα 0 εναλλάσσονται (δηλαδή ανάμεσα από διαδοχικά 2 μεσολαβεί κάποιο 0 και αντιστρόφως).

100 Σωρός Fibonacci Βασίζεται στο διωνυμικό σωρό (δηλαδή αποτελεί μια συλλογή από δένδρα) αλλά έχει πιο χαλαρή δομή δείκτης στον κόμβο (ρίζα) με ελάχιστο κλειδί πλήθος κόμβων Αντισταθμιστικοί χρόνοι εκτέλεσης εισαγωγή, ένωση, εύρεση ελάχιστου, μείωση κλειδιού διαγραφή, εξαγωγή ελάχιστου

101 Σωρός Fibonacci Βασίζεται στο διωνυμικό σωρό (δηλαδή αποτελεί μια συλλογή από δένδρα) αλλά έχει πιο χαλαρή δομή δείκτης στον κόμβο (ρίζα) με ελάχιστο κλειδί πλήθος κόμβων Κάθε κόμβος αποθηκεύει εκτός από το κλειδί του τα παρακάτω δεδομένα γονέας αριθμός παιδιών αριστερός αδερφός δεξιός αδερφός bit επισήμανσης παιδί (οποιοδήποτε)

102 Σωρός Fibonacci Βασίζεται στο διωνυμικό σωρό (δηλαδή αποτελεί μια συλλογή από δένδρα) αλλά έχει πιο χαλαρή δομή δείκτης στον κόμβο (ρίζα) με ελάχιστο κλειδί πλήθος κόμβων Κάθε κόμβος αποθηκεύει εκτός από το κλειδί του τα παρακάτω δεδομένα γονέας αριθμός παιδιών αριστερός αδερφός δεξιός αδερφός bit επισήμανσης παιδί (οποιοδήποτε)

103 Σωρός Fibonacci Βασίζεται στο διωνυμικό σωρό (δηλαδή αποτελεί μια συλλογή από δένδρα) αλλά έχει πιο χαλαρή δομή δείκτης στον κόμβο (ρίζα) με ελάχιστο κλειδί πλήθος κόμβων Κάθε κόμβος αποθηκεύει εκτός από το κλειδί του τα παρακάτω δεδομένα γονέας αριθμός παιδιών αριστερός αδερφός δεξιός αδερφός bit επισήμανσης παιδί (οποιοδήποτε)

104 Σωρός Fibonacci Μέγιστος βαθμός Σε ένα σωρό Fibonacci με είναι κλειδιά ο μέγιστος βαθμός που μπορεί να έχει οποιοσδήποτε κόμβος Δυναμικό σωρού Για την αντισταθμιστική ανάλυση των λειτουργιών ενός σωρού Fibonacci ορίζουμε το δυναμικό του όπου το πλήθος των δένδρων το πλήθος των επισημασμένων κόμβων σταθερά Για να απλοποιήσουμε την ανάλυση θέτουμε σε κάποια σταθερή ποσότητα εργασίας και υποθέτουμε ότι μια μονάδα δυναμικού αντιστοιχεί

105 Σωρός Fibonacci Μέγιστος βαθμός Σε ένα σωρό Fibonacci με είναι κλειδιά ο μέγιστος βαθμός που μπορεί να έχει οποιοσδήποτε κόμβος Δυναμικό σωρού Για την αντισταθμιστική ανάλυση των λειτουργιών ενός σωρού Fibonacci ορίζουμε το δυναμικό του όπου το πλήθος των δένδρων το πλήθος των επισημασμένων κόμβων

106 Σωρός Fibonacci Μέγιστος βαθμός Σε ένα σωρό Fibonacci με είναι κλειδιά ο μέγιστος βαθμός που μπορεί να έχει οποιοσδήποτε κόμβος Δυναμικό σωρού Για την αντισταθμιστική ανάλυση των λειτουργιών ενός σωρού Fibonacci ορίζουμε το δυναμικό του όπου το πλήθος των δένδρων το πλήθος των επισημασμένων κόμβων

107 Σωρός Fibonacci Εύρεση ελάχιστου κόμβου Επιστρέφει τον κόμβο με ελάχιστο κλειδί Το πραγματικό κόστος της εύρεσης είναι Πρέπει επίσης να φράξουμε το αντισταθμιστικό κόστος. Το δυναμικό της δομής μετά την πράξη είναι Άρα το αντισταθμιστικό κόστος είναι

108 Σωρός Fibonacci Εισαγωγή κόμβου Δημιουργείται νέο δένδρο με μόνο ένα κόμβο και εισάγεται στη λίστα των ριζών δίπλα από το Αν το εισαγόμενο κλειδί είναι το ελάχιστο τότε ο δείκτης δείχνει στο νέο κόμβο εισαγωγή(8)

109 Σωρός Fibonacci Εισαγωγή κόμβου Δημιουργείται νέο δένδρο με μόνο ένα κόμβο και εισάγεται στη λίστα των ριζών δίπλα από το Αν το εισαγόμενο κλειδί είναι το ελάχιστο τότε ο δείκτης δείχνει στο νέο κόμβο εισαγωγή(2)

110 Σωρός Fibonacci Εισαγωγή κόμβου Δημιουργείται νέο δένδρο με μόνο ένα κόμβο και εισάγεται στη λίστα των ριζών δίπλα από το Αν το εισαγόμενο κλειδί είναι το ελάχιστο τότε ο δείκτης δείχνει στο νέο κόμβο Το πραγματικό κόστος της εισαγωγής είναι Πρέπει επίσης να φράξουμε το αντισταθμιστικό κόστος. Το δυναμικό της δομής μετά την πράξη είναι Άρα το αντισταθμιστικό κόστος εισαγωγής είναι

111 Σωρός Fibonacci Ένωση δύο σωρών Fibonacci Ενώνει τις αντίστοιχες λίστες ριζικών κόμβων χρησιμοποιώντας τους δείκτες και Ο δείκτης δείχνει στον κόμβο με το ελάχιστο κλειδί μεταξύ των και ένωση

112 Σωρός Fibonacci Ένωση δύο σωρών Fibonacci Ενώνει τις αντίστοιχες λίστες ριζικών κόμβων χρησιμοποιώντας τους δείκτες και Ο δείκτης δείχνει στον κόμβο με το ελάχιστο κλειδί μεταξύ των και Το πραγματικό κόστος της ένωσης είναι Το δυναμικό της δομής μετά την πράξη είναι Άρα το αντισταθμιστικό κόστος ένωσης είναι

113 Σωρός Fibonacci Εξαγωγή ελάχιστου Διαγράφει τον κόμβο με το ελάχιστο κλειδί και ενοποιεί δένδρα στο ριζικό επίπεδο

114 Σωρός Fibonacci Εξαγωγή ελάχιστου Διαγράφει τον κόμβο με το ελάχιστο κλειδί και ενοποιεί δένδρα στο ριζικό επίπεδο

115 Σωρός Fibonacci Εξαγωγή ελάχιστου Διαγράφει τον κόμβο με το ελάχιστο κλειδί και ενοποιεί δένδρα στο ριζικό επίπεδο ο βήμα διαγραφής μέγιστου

116 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών Πριν την ενοποίηση θέτουμε

117 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

118 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

119 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

120 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

121 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

122 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

123 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

124 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

125 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

126 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

127 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

128 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

129 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

130 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

131 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

132 Σωρός Fibonacci Εξαγωγή ελάχιστου Η ρουτίνα ενοποίησης (consolidate) χρησιμοποιεί ένα βοηθητικό πίνακα δεικτών

133 Σωρός Fibonacci Εξαγωγή ελάχιστου Το πραγματικό κόστος της εξαγωγής είναι Το δυναμικό της δομής πριν την πράξη είναι Το δυναμικό της δομής μετά την πράξη είναι Άρα η μεταβολή του δυναμικού είναι Το αντισταθμιστικό κόστος εξαγωγής είναι

134 Σωρός Fibonacci Μείωση κλειδιού Η εκτέλεση αυτής της πράξης έχει ως αποτέλεσμα τα δένδρα του σωρού Fibonacci να μην παραμένουν διωνυμικά. Για να μειώσουμε το κλειδί του κόμβου από σε εκτελούμε

135 Σωρός Fibonacci Μείωση κλειδιού Η εκτέλεση αυτής της πράξης έχει ως αποτέλεσμα τα δένδρα του σωρού Fibonacci να μην παραμένουν διωνυμικά μείωση του 46 σε

136 Σωρός Fibonacci Μείωση κλειδιού Η εκτέλεση αυτής της πράξης έχει ως αποτέλεσμα τα δένδρα του σωρού Fibonacci να μην παραμένουν διωνυμικά μείωση του 35 σε θα εκτελεστεί κλιμακωτή αποκοπή (cascading cut)

137 Σωρός Fibonacci Μείωση κλειδιού Η εκτέλεση αυτής της πράξης έχει ως αποτέλεσμα τα δένδρα του σωρού Fibonacci να μην παραμένουν διωνυμικά θα εκτελεστεί κλιμακωτή αποκοπή (cascading cut) θα εκτελεστεί κλιμακωτή αποκοπή (cascading cut)

138 Σωρός Fibonacci Μείωση κλειδιού Η εκτέλεση αυτής της πράξης έχει ως αποτέλεσμα τα δένδρα του σωρού Fibonacci να μην παραμένουν διωνυμικά θα εκτελεστεί κλιμακωτή αποκοπή (cascading cut) η κλιμακωτή αποκοπή τερματίζεται

139 Σωρός Fibonacci Μείωση κλειδιού Η εκτέλεση αυτής της πράξης έχει ως αποτέλεσμα τα δένδρα του σωρού Fibonacci να μην παραμένουν διωνυμικά

140 Σωρός Fibonacci Μείωση κλειδιού Έστω ότι η διαδικασία κλιμακωτής αποκοπής εκτελέστηκε φορές Το πραγματικό κόστος της μείωσης είναι Το δυναμικό της δομής πριν την πράξη είναι Το δυναμικό της δομής μετά την πράξη είναι η αποκοπή του δημιούργησε 1 δένδρο οι κλιμακωτές αποκοπές δημιούργησαν δένδρα

141 Σωρός Fibonacci Μείωση κλειδιού Έστω ότι η διαδικασία κλιμακωτής αποκοπής εκτελέστηκε φορές Το πραγματικό κόστος της μείωσης είναι Το δυναμικό της δομής πριν την πράξη είναι Το δυναμικό της δομής μετά την πράξη είναι οι κλιμακωτές αποκοπές έσβησαν την επισήμανση η τελική κλιμακωτή αποκοπή ίσως επισήμανε ένα κόμβο κόμβων

142 Σωρός Fibonacci Μείωση κλειδιού Έστω ότι η διαδικασία κλιμακωτής αποκοπής εκτελέστηκε φορές Το πραγματικό κόστος της μείωσης είναι Το δυναμικό της δομής πριν την πράξη είναι Το δυναμικό της δομής μετά την πράξη είναι Άρα η μεταβολή του δυναμικού είναι Το αντισταθμιστικό κόστος εξαγωγής είναι

143 Σωρός Fibonacci Διαγραφή κόμβου Έστω ο κόμβος που θέλουμε να διαγράψουμε. Η διαγραφή γίνεται σε δύο βήματα 1. Μειώνουμε το κλειδί του σε 2. Εκτελούμε εξαγωγή ελάχιστου Το αντισταθμιστικό κόστος της διαγραφής είναι

144 Σωρός Fibonacci Μέγιστος βαθμός Σε ένα σωρό Fibonacci με είναι κλειδιά ο μέγιστος βαθμός που μπορεί να έχει οποιοσδήποτε κόμβος Χωρίς την πράξη μείωσης κλειδιού τα δένδρα ενός σωρού Fibonacci είναι διωνυμικά, άρα Με τη μείωση κλειδιού το παραπάνω φράγμα δεν ισχύει. Θα δείξουμε όμως ότι όπου Ακολουθία Fibonacci

145 Σωρός Fibonacci Μέγιστος βαθμός Σε ένα σωρό Fibonacci με είναι κλειδιά ο μέγιστος βαθμός που μπορεί να έχει οποιοσδήποτε κόμβος Χωρίς την πράξη μείωσης κλειδιού τα δένδρα ενός σωρού Fibonacci είναι διωνυμικά, άρα Με τη μείωση κλειδιού το παραπάνω φράγμα δεν ισχύει. Θα δείξουμε όμως ότι όπου Ακολουθία Fibonacci Ισχύει

146 Σωρός Fibonacci Μέγιστος βαθμός Λήμμα Έστω το πλήθος των απογόνων του κόμβου δένδρο που τον περιέχει. Αν τότε

147 Σωρός Fibonacci Μέγιστος βαθμός Λήμμα Έστω το πλήθος των απογόνων του κόμβου δένδρο που τον περιέχει. Αν τότε Τότε αν ο έχει μέγιστο βαθμό έχουμε

148 Σωρός Fibonacci Μέγιστος βαθμός Λήμμα Έστω το πλήθος των απογόνων του κόμβου δένδρο που τον περιέχει. Αν τότε Παρατήρηση : Έστω τα παιδιά του με τη σειρά με την οποία τα απέκτησε από το πιο παλιό στο πιο πρόσφατο. Τότε και Ισχύει γιατί όταν συνδέθηκε ο με τον τότε αφού ο είχε ήδη παιδιά τους. Από εκείνη τη στιγμή ο μπορεί να έχασε το πολύ ένα παιδί.

149 Σωρός Fibonacci Μέγιστος βαθμός Λήμμα Έστω το πλήθος των απογόνων του κόμβου δένδρο που τον περιέχει. Αν τότε Έστω ο ελάχιστος δυνατός αριθμός απογόνων ενός κόμβου με βαθμό Ας υποθέσουμε ότι και ότι ο έχει παιδιά Από την προηγούμενη παρατήρηση ισχύει και Δείχνουμε με επαγωγή ότι. Η βάση της επαγωγής ισχύει αφού Επομένως