Bucket-Sort και Radix-Sort

1, c 3, a 3, b 7, d 7, g 7, e

B       
0 1 2 3 4 5 6 7 8 9

Οι διαφάνειες είναι βασισμένες στο βιβλίο "Data Structures and Algorithms in C++" των Michael T. Goodrich, Roberto Tamassia και David M. Mount

Bucket-Sort and Radix-Sort 1

Bucket-Sort (§10.5.1)
Έστω S ακολουθία n (κλειδιών και Αλγόριθμος bucketSort(S, N)
στοιχείων) αντικειμένων με κλειδιά
στο σύνολο [0, N 1] Είσοδος ακολουθία S (key,
Ο Bucket-sort χρησιμοποιεί τα element) αντικειμένων με κλειδιά
κλειδιά ως δείκτες σε ένα εντός του συνόλου [0, N 1]
βοηθητικό array B από ακολουθίες Έξοδος ακολουθία S
(buckets - κάδοι) ταξινομημένη με αύξουσα σειρά
Φάση 1: Άδειασε την ακολουθία S με κλειδιών
τη μετακίνηση κάθε αντικειμένου
(k, o) στο bucket του B[k] B  array N κενών ακολουθιών
Φάση 2: For i  0, …, N  1, while S.isEmpty()
μετακίνησε τα αντικείμενα του f  S.first()
κάδου B[i] στο τέλος της
ακολουθίας S (k, o)  S.remove(f)
Ανάλυση: B[k].insertLast((k, o))
 Η φάση 1 παίρνει χρόνο O(n) for i  0 to N  1
 Η φάση 2 παίρνει χρόνο O(n N)
while B[i].isEmpty()
Ο Bucket-sort χρειάζεται χρόνο O(n
N) f  B[i].first()
(k, o)  B[i].remove(f)
S.insertLast((k, o))
Bucket-Sort and Radix-Sort 2
Παράδειγμα
Ακτίνα κλειδιών [0, 9]

7, d 1, c 3, a 7, g 3, b 7, e
Φάση 1

1, c 3, a 3, b 7, d 7, g 7, e

B       
0 1 2 3 4 5 6 7 8 9

Φάση 2

1, c 3, a 3, b 7, d 7, g 7, e
Bucket-Sort and Radix-Sort 3
Ιδιότητες και Επεκτάσεις
Key-type Ιδιότητα
 Τα κλειδιά
χρησιμοποιούνται σαν
δείκτες σε ένα array και
δεν μπορούν να είναι
αυθαίρετα αντικείμενα
 Δεν υπάρχει εξωτερικός
συγκριτής
Ιδιότητα Ευσταθούς
Ταξινόμησης
 Η σχετική σειρά κάθε 2
αντικειμένων με το ίδιο
κλειδί διατηρείται μετά
την εκτέλεση του
αλγορίθμου
Bucket-Sort and Radix-Sort
Επεκτάσεις
 Ακέραια κλειδιά εντός της ακτίνας
[a, b]
 Βάλε το αντικείμενο (k, o) σε κάδο
B[k  a]
 Κλειδιά Strings από ε΄να σύνολο
D πιθανών strings, όπου το D έχει
σταθερό μήκος (πχ. Τα ονόματα
των 50 πολιτειών των ΗΠΑ)
 Ταξινόμησς το D και υπολόγισε το
βαθμό r(k) κάθε string k του D
στην ταξινομημένη ακολουθία
 Βάλε το αντικείμενο (k, o) σε κάδο
B[r(k)]
4
Λεξικογραφική Σειρά
Ένα d-tuple είναι μια ακολουθία d κλειδιών (k1, k2, …,
kd), όπου το κλειδί ki λέγεται ότι είναι η i-στη
διάσταση του tuple
Παράδειγμα:
 Οι Καρτεσιανές συντεταγμένες ενός σημείου στο χώρο είναι
ένα 3-tuple
Η λεξικογραφική σειρά 2 d-tuples ορίζεται αναδρομικά
ως εξής:
(x1, x2, …, xd)  (y1, y2, …, yd)

x1  y1  x1 y1  (x2, …, xd)  (y2, …, yd)
Τα tuples συγκρίνονται με βάση την πρώτη
διάσταση, μετά με βάση τη δεύτερη, κοκ.

Bucket-Sort and Radix-Sort 5

Lexicographic-Sort
Έστω Ci ο συγκριτής που
συγκρίνει 2 tuples με βάση
την i-στη διάσταση
‘Εστω stableSort(S, C) ένας
sorting αλγόριθμος που
χρησιμοποιεί το συγκριτή C
Ο Lexicographic-sort
ταξινομεί μια ακολουθία d-
tuples σε λεξικογραφική
σειρά εκτελώντας d φορές
τον αλγόριθμο stableSort,
μια για κάθε διάσταση
Ο Lexicographic-sort τρέχει
σε χρόνο O(dT(n)), όπου
T(n) είναι ο χρόνος
εκτέλεσης του stableSort
Bucket-Sort and Radix-Sort
Αλγόριθμος lexicographicSort(S)
Είσοδος ακολουθία S από
d-tuples
Έξοδος ακολουθία S
ταξινομημένη σε λεξικογραφική
σειρά
for i  d downto 1
stableSort(S, Ci)
Παράδειγμα:
(7,4,6) (5,1,5) (2,4,6) (2, 1, 4) (3, 2, 4)
(2, 1, 4) (3, 2, 4) (5,1,5) (7,4,6) (2,4,6)
(2, 1, 4) (5,1,5) (3, 2, 4) (7,4,6) (2,4,6)
(2, 1, 4) (2,4,6) (3, 2, 4) (5,1,5) (7,4,6)
6
Radix-Sort (§10.5.2)
Ο Radix-sort είναι μια
εξειδίκευση του
lexicographic-sort που
χρησιμοποιεί bucket-
sort ως ευσταθή
αλγόριθμο ταξινόμησης
σε κάθε διάσταση
Ο Radix-sort είναι
εφαρμόσιμος σε tuples
όπου τα κλειδιά σε κάθε
διάσταση i είναι ακέραιοι
στο σύνολο [0, N 1]
Ο Radix-sort τρέχει σε
χρόνο O(d( n N))
Bucket-Sort and Radix-Sort
Αλγόριθμος radixSort(S, N)
Είσοδος ακολουθία S από d-
tuples τέτοια ώστε:
(0, …, 0)  (x1, …, xd) και
(x1, …, xd)  (N 1, …, N 1)
για κάθε tuple (x1, …, xd) στο S
Έξοδος ακολουθία S
ταξινομημένη σε λεξικογραφική
σειρά
for i  d downto 1
7
bucketSort(S, N)
Radix-Sort για
Δυαδικούς Αριθμούς
Σκεφτείτε μια ακολουθία από n
ακεραίους των b-bit
x  xb … x1x0
Αναπαριστούμε κάθε στοιχείο ως Αλγόριθμος binaryRadixSort(S)
b-tuple ακεραίων στο σύνολο [0, Είσοδος ακολουθία S από
1] και εφαρμόζουμε radix-sort με ακεραίους των b-bit
N2 Έξοδος ακολουθία S
Αυτή η εφαρμογή του radix-sort ταξινομημένη
αλγορίθμου τρέχει σε χρόνο Αντικατάστησε κάθε στοιχείο
O(bn) x του S με το αντικείμενο
Πχ, μπορούμε να ταξινομήσουμε (0, x)
μια ακολουθία ακεραίων των 32- for i  0 to b1
bit σε γραμμικό χρόνο
replace the key k of
each item (k, x) of S
με bit xi of x
Bucket-Sort and Radix-Sort bucketSort(S, 2) 8
Παράδειγμα
Ταξινομώντας μια ακολουθία 4-μπιτων ακεραίων

1001 0010 1001 1001 0001

0010 1110 1101 0001 0010

1101 1001 0001 0010 1001

0001 1101 0010 1101 1101

1110 0001 1110 1110 1110

Bucket-Sort and Radix-Sort 9