Διάλεξθ 01: Δομζσ Δεδομζνων και Αλγόρικμοι - Ειςαγωγι

Transcript

1 ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 1 Διάλεξθ 01: Δομζσ Δεδομζνων και Αλγόρικμοι - Ειςαγωγι Στθν ενότθτα αυτι κα μελετθκοφν τα εξισ επιμζρουσ κζματα: Ειςαγωγι ςτισ ζννοιεσ: - Δεδομζνα και Ενδόμνθμθ Αναπαράςταςθ τουσ - Οργάνωςθ Δεδομζνων και Δομζσ Δεδομζνων - Αλγόρικμοι και Πολυπλοκότθτα

2 Συμβόλαιο Μακιματοσ Επίπεδο: Προπτυχιακό Πίςτωςθ: 7.5 μονάδεσ ECTS Μζκοδοι Διδαςκαλίασ Διαλζξεισ (3 ϊρεσ εβδομαδιαίωσ): Παράδοςθ Διδας. Φλθσ Φροντιςτιριο (1 ϊρα εβδομαδιαίωσ): Φλθ / Θεωρθτικι Εξάςκθςθ Εργαςτιριο (2 ϊρεσ εβδομαδιαίωσ): Πρακτικι Εξάςκθςθ Αξιολόγθςθ 40% Τελικι Εξζταςθ (1) 20% Ενδιάμεςθ Εξζταςθ (1) Ημερ.: Παραςκευι, 13 Μαρτίου 10:30 12:00 20% Θεωρθτικζσ Αςκιςεισ/quizzes 20% Προγραμματιςτικζσ Αςκιςεισ (3 ςυνολικά) ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 2

3 ΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 1-3 Πλθροφορίεσ Μακιματοσ Διδάςκων: Στυλιανι Κλεάνκουσ Γραφείο: FST-01 Β116 Τθλζφωνο: Ώρεσ Γραφ.: Δευτζρα 11:00-12:00 και Τρίτθ 12:00-13:00 (ι κατόπιν ςυνεννοιςεωσ) Διαλζξεισ Αίκουςα: ΧΩΔ Ημζρα/Ώρα: Τρίτθ, Παραςκευι / 10:30-12:00 Φροντιςτιρια Υπεφκυνοσ: Στζλλα Κλεάνκουσ Αίκουςα: ΧΩΔ-02B111 Ημζρα/Ώρα: Τετάρτθ, 16:00 17:00 Εργαςτιρια Αίκουςα: Β121 Ημζρα/Ώρα: Τρίτθ, 13:30-15:00

4 Προαπαιτοφμενα Προαπαιτοφμενα: ΕΠΛ 111 (Διακριτζσ Δομζσ ςτθν Πλθροφορικι και Υπολογιςμό) ΕΠΛ 132 (Αρχζσ Προγραμματιςμοφ) Το ΕΠΛ231 είναι προαπαιτοφμενο για τα υποχρεωτικά μακιματα ΕΠΛ222 (Λειτουργικά Συςτιματα) ΕΠΛ223 (Θεωρία και Πρακτικι Μεταγλωττιςτϊν) ΕΠΛ233 (Αντικειμενοςτραφισ Προγραμματιςμόσ) ΕΠΛ242 (Βάςεισ Δεδομζνων) όπωσ και για διάφορα μακιματα περιοριςμζνθσ επιλογισ ΕΠΛ428 (Προγραμματιςμόσ Συςτθμάτων) ΕΠΛ431 (Σφνκεςθ Παράλλθλων Αλγορίκμων) ΕΠΛ433 (Προγραμματιςμόσ και Ικανοποίθςθ Περιοριςμϊν) ΕΠΛ442 (Πλθροφορικά Συςτιματα Μάκθςθσ) ΕΠΛ447 (Τεχνθτι Νοθμοςφνθ) ΕΠΛ451 (Εξόρυξθ Δεδομζνων ςτον Παγκόςμιο Ιςτό) ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 4

5 Βιβλιογραφία Βαςικι Βιβλιογραφία Mark Allen Weiss, Data Structures and Algorithm Analysis in Java. 3rd edition, Addison Wesley, Βοθκθτικι Βιβλιογραφία Σθμειϊςεισ Μακιματοσ και Συνοδευτικό Υλικό Data Structures & Algorithms in JAVA: Michael T. Goodrich, Roberto Tamassia, ISBN-10: , ISBN-13: , Data Structures and Problem Solving Using Java, Mark Allen Weiss, ISBN-10: , ISBN-13: , Prentice Hall, Algorithm Design: Jon Kleinberg, Eva Tardos, ISBN-10: X, ISBN-13: , Pearson Education, Algorithms: Robert Sedgewick, Kevin Daniel Wayne, ISBN-10: X, ISBN-13: , Addison-Wesley Professional, ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 5

6 ΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 1-6 Απορίεσ Διαλζξεισ Εργαςτιριο Φροντιςτιριο Ώρεσ Γραφείου

7 Γιατί είναι ςθμαντικό το μάκθμα; ΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 1-7 Οι αλγόρικμοι ζχουν παλιζσ ρίηεσ, νζεσ ευκαιρίεσ. Η μελζτθ των αλγορίκμων ξεκινά τουλάχιςτον από τον Ευκλείδθ. Διατυπϊκθκαν από τουσ Church και Turing τθ δεκαετία του Μερικοί ςθμαντικοί αλγόρικμοι ανακαλφφκθκαν από προπτυχιακοφσ φοιτθτζσ ςτα πλαίςια του μακιματοσ!

8 Γιατί είναι ςθμαντικό το μάκθμα; Η επίδραςι των αλγορίκμων είναι ευρεία και εκτεταμζνθ Internet. Web search, packet routing, distributed file sharing,... Biology. Human genome project, protein folding,... Computers. Circuit layout, file system, compilers,... Computer graphics. Movies, video games, virtual reality,... Security. Cell phones, e-commerce, voting machines,... Multimedia. MP3, JPG, DivX, HDTV, face recognition,... Social networks. Recommendations, news feeds, advertisements,.. Physics. N-body simulation, particle collision simulation,... ΕΠΛ 231 Δομζσ Δεδομζνων και Αλγόρικμοι 1-8

9 ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 9 Δεδομζνα - Τα δεδομζνα βρίςκονται ςτο χαμθλότερο επίπεδο αφαιρετικότθτασ - Από τα δεδομζνα προκφπτει θ πλθροφορία και θ γνώςθ. Τα δεδομζνα που χρθςιμοποιοφμε δεν ζχουν πάντοτε τον ίδιο βακμό πολυπλοκότθτασ, π.χ., Στοιχεία Φοιτθτι vs. Ηλικία Ατόμου Μερικά μποροφν να αναλυκοφν ςε απλοφςτερα ςυςτατικά, ενϊ άλλα δεν μποροφν. Δεδομζνα που δεν μποροφν να αναλυκοφν λζγονται πρωτογενι δεδομζνα primitive data types (π.χ. int, char) Τα δεδομζνα ενόσ προβλιματοσ ςυνικωσ δεν είναι μια άμορφθ ςυλλογι ςτοιχείων. Τισ περιςςότερεσ φορζσ μποροφν να εκφραςτοφν με γνωςτζσ μακθματικζσ δομζσ, π.χ. ςαν ζνα απλό ςφνολο (διακριτϊν ςτοιχείων): {2, 3, 5, 7, 11, 13} ςαν ζνα διάνυςμα (διατεταγμζνων ςτοιχείων): (2, 3, 5, 7, 11, 13) ςαν ζνασ πίνακασ :

10 Δομζσ Δεδομζνων - Οι δομζσ δεδομζνων είναι ςυλλογζσ πρωτόγονων δεδομζνων, που ςυνδυάηονται για να ςχθματίςουν πολυπλοκότερα δεδομζνα. Χρθςιμοποιϊντασ τουσ αρχζγονουσ τφπουσ δεδομζνων, μποροφμε να ςυνκζςουμε πιο πολφπλοκεσ δομζσ Θα χρθςιμοποιιςουμε τον όρο πίνακασ για να περιγράψουμε μια ςυλλογι ςτοιχείων τα οποία κα ονομάςουμε κόμβουσ ι καταχωριματα. Ζνασ κόμβοσ μπορεί να είναι απλόσ, δθλαδι να αποτελείται από ζνα μόνο πρωτόγονο δεδομζνο, ι να είναι ςφνκετοσ, οπότε αποτελείται από δφο ι περιςςότερα πεδία. Τα πεδία ενόσ κόμβου μπορεί να αντιπροςωπεφουν πρωτόγονα δεδομζνα διαφόρων τφπων. Στοιχεία Φοιτθτι Όνομα (String) Ταυτότθτα (int) Διεφκυνςθ Οδόσ (String) Αρικμόσ (int) Επαρχία (String) Παράδειγμα Δομισ Φοιτθτι ςτθν JAVA class Address{ String street; int number; } class Student{ String name; int id; Address saddress; } ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 10

11 Δεδομζνα (διεφκυνςθ και μικοσ) Ζνα πεδίο ι ζνα καταχϊρθμα χαρακτθρίηεται από τθ διεφκυνςθ του και το μικοσ του. Η διεφκυνςθ ενόσ πεδίου ι ενόσ καταχωριματοσ είναι θ διεφκυνςθ τθσ πρϊτθσ του κυψελίδασ μνιμθσ και το μικοσ του είναι ο αρικμόσ κυψελίδων από τισ οποίεσ αποτελείται. Address 4 bytes * Value Α int a[] μήκος=3 Παραδείγματα ςτθν C int x = 5; printf("x=%d\taddress of x=%d\n", x, &x); int c = 'A'; printf("c=%c\taddress of c=%d\n", c, &c); int a[]={1,2,3}; for(int i=0; i<3; i++){ printf("a[%d]=%d\taddress of a[%d]=%d\n", i,a[i],i,&a[i]); } Η διεφκυνςθ του πρϊτου πεδίου και ολόκλθρου του πίνακα είναι Η διεφκυνςθ του δεφτερου καταχωριματοσ κ.ο.κ. * Ιςχφει για x86 αρχιτεκτονικζσ με ςφνολο διευκφνςεων x10 9. Για x64 αρχιτεκτονικζσ είναι 8 bytes με ςφνολο διευκφνςεων 2 64 = 18x10 18! ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 11

12 Ενδόμνθμθ Παράςταςθ Δομών Δεδομζνων Για να αναφερκοφμε ςε ζνα καταχϊρθμα ι ςε ζνα πεδίο, χρθςιμοποιοφμε ςυνικωσ ςυμβολικά ονόματα (όπωσ ςε γλϊςςεσ προγραμματιςμοφ θ ονομαςία μεταβλθτϊν αντιςτοιχεί ςε μία λζξθ τθσ μνιμθσ, π.χ., array). Για να πραγματοποιθκεί μια δομι δεδομζνων, απαιτείται θ ςυςχζτιςθ των ςυμβολικών ονομάτων με αντίςτοιχα τμιματα τθσ μνιμθσ του υπολογιςτι. Αυτό μπορεί να γίνει με δφο τρόπουσ: 1. Διαδοχικι (Στατικι) Χοριγθςθ Μνιμθσ Παράδειγμα: Αποκικευςθ πίνακα κατά γραμμζσ ι/και ςτιλεσ Address Value Παράδειγμα ςτθν C int b[][3]={{1,2,3}, {4,5,6}}; for(int i=0; i<2; i++){ for(int j=0; j<3; j++){ printf("address of b[%d][%d]=%d\n", i,j,&b[i][j]); } } Τυπώνει Address of b[0][0]= Address of b[0][1]= Address of b[0][2]= Address of b[1][0]= Address of b[1][1]= Address of b[1][2]= ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 12

13 Ενδόμνθμθ Παράςταςθ Δομών Δεδομζνων 2. Συνδετικι Χοριγθςθ Μνιμθσ Ζνα πεδίο μπορεί να παριςτά τθ διεφκυνςθ ενόσ άλλου πεδίου. Ζτςι κατά τθ ςυνδετικι χοριγθςθ μνιμθσ κάκε κόμβοσ περιζχει πλθροφορία ςχετικά με το που βρίςκεται κάποιοσ άλλοσ κόμβοσ τθσ δομισ (π.χ., ο επόμενοσ, ο προθγοφμενοσ). Για τθν αποκικευςθ αυτισ τθσ πλθροφορίασ κάκε κόμβοσ χρειάηεται ζνα ειδικό πεδίο (pointer). Το πεδίο αυτό είναι χαρακτθριςτικό τθσ ςυνδετικισ χοριγθςθσ μνιμθσ. Παράδειγμα: Απλά Συνδεδεμζνθ λίςτα (linked-list) data next data next data next head A B C NULL ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 13

14 ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 14 Παράδειγμα: Απλά Συνδεδεμζνθ λίςτα head data next data next data next A B C NULL Παράδειγμα ςτθν JAVA class Node { char data; Node next; } Node n1, n2, n3; n1.data='a'; n2.data='b'; n3.data='c'; n1.next=n2; n2.next=n3; n3.next=null; Node Address data next n B n A n C 0 Οι κόμβοι βρίςκονται ςε τυχαίεσ κζςεισ μνιμθσ. Στθν JAVA δεν μποροφμε να διαχειριςτοφμε τθ μνιμθ*. Τθ διαχειρίηεται το JVM

15 ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 15 Αλγόρικμοι Τι είναι ζνασ αλγόρικμοσ; Abu Jafar Mohammed ibn Musa Αl-Khowarizmi ( ) Αλγόρικμοσ είναι μια πεπεραςμζνθ ακολουκία εντολϊν, αυςτθρά κακοριςμζνων και εκτελζςιμων ςε πεπεραςμζνο (μετριςιμο) χρόνο, οι οποίεσ αν ακολουκθκοφν επιτυγχάνεται κάποιο επικυμθτό αποτζλεςμα. Απαραίτθτα κριτιρια: Υπάρχει είςοδοσ και ζξοδοσ Κακοριςμόσ εντολϊν (όχι αςάφειεσ). Περατότθτα (να διεκπεραιϊνει τον ςτόχο). Εξίςωςθ Wirth: Επίδοζη δεν είναι απαραίηηηη αλλά άκρως επιθσμηηή Αλγόρικμοι + Δεδομζνα = Προγράμματα Δθλαδι, δοκζντοσ ενόσ προβλιματοσ, ζνασ αλγόρικμοσ παρζχει τισ οδθγίεσ ςφμφωνα με τισ οποίεσ τα δεδομζνα του προβλιματοσ μεταςχθματίηονται και ςυνδυάηονται για να προκφψει θ λφςθ του προβλιματοσ.

16 Αλγόρικμοι (ςυν.) ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 16

17 Αλγόρικμοι (ςυν.) ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 17

18 Παράδειγμα Αλγορικμικοφ Προβλιματοσ Το πρόβλθμα επιλογισ (selection problem) Πρόβλθμα: Ζςτω ότι ζχουμε n αρικμοφσ και κζλουμε να προςδιορίςουμε τον k-οςτό πιο μεγάλο. π.χ. Ζςτω οι αρικμοί {5, 72, 3, 4, 1, 9, 65} (72,65,9,5,4,3,1) Ο 2 os πιο μεγάλοσ είναι ο 65, ο 6 os πιο μεγάλοσ είναι ο 3, κοκ. Αυτό το πρόβλθμα είναι γνωςτό ωσ το πρόβλθμα επιλογισ (the selection problem). Υπάρχουν διάφοροι εφκολοι τρόποι λφςθσ: 1. Sort-Based: Διαβάηουμε τουσ n αρικμοφσ ςε μια λίςτα, a. Ταξινομοφμε τθ λίςτα από το μεγαλφτερο ςτο μικρότερο με βάςθ κάποιο αλγόρικμο ταξινόμθςθσ. Επιςτρζφουμε το (k-1)οςτό ςτοιχείο τθσ λίςτασ, δθλαδι το a[k- 1]. 2. Buffer-based: Διαβάηουμε τουσ k πρϊτουσ αρικμοφσ ςε μια λίςτα a. Ταξινομοφμε τθ λίςτα από το μεγαλφτερο ςτο μικρότερο δθλ για k=3 ζχουμε a={72,5,3}. Μετά, επεξεργαηόμαςτε τουσ υπόλοιπουσ n-k αρικμοφσ ωσ εξισ: αν ζνα ςτοιχείο είναι πιο μικρό από το a[k-1] το αγνοοφμε, διαφορετικά το τοποκετοφμε ςτθ ςωςτι κζςθ τθσ λίςτασ. Όταν θ διαδικαςία αυτι τελειϊςει, επιςτρζφουμε το k-οςτό ςτοιχείο τθσ λίςτασ, δθλαδι το a[k-1]. ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 18

19 Το πρόβλθμα επιλογισ Ποιοσ από τουσ δφο αλγόρικμουσ είναι ο καλφτεροσ; Οι αλγόρικμοι είναι ικανοποιθτικοί; Υλοποίθςθ των αλγορίκμων και εφαρμογι τουσ ςε υπολογιςτι με n=1,000,000 και k=500,000 χρειάηεται πάρα πολφ χρόνο για να τερματίςει. Εντοφτοισ υπάρχει αλγόρικμοσ που επιτυγχάνει το ίδιο αποτζλεςμα ςε δευτερόλεπτα. ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 1-19

20 Στόχοσ Μακιματοσ Κατά τθν εκτζλεςθ ενόσ αλγόρικμου θ δομι που ζχουν τα δεδομζνα παίηει πολφ μεγάλο ρόλο. Επίςθσ το να γράφουμε ζνα ςωςτό πρόγραμμα δεν είναι αρκετό. Ιδιαίτερα, όταν το ςφνολο αρχικϊν δεδομζνων είναι μεγάλου μεγζκουσ, ο χρόνοσ εκτζλεςθσ ενόσ προγράμματοσ είναι κφριασ ςθμαςίασ. Στο μάκθμα αυτό κα μάκουμε να i) υπολογίηουμε το χρόνο εκτζλεςθσ αλγόρικμων και να ii) ςυγκρίνουμε τθν αποδοτικότθτα διαφορετικών αλγόρικμων, προτοφ τουσ υλοποιιςουμε. Θα μελετιςουμε επίςθσ μεκόδουσ βελτίωςθσ τθσ ταχφτθτασ προγραμμάτων. Κεντρικόσ ςτόχοσ του μακιματοσ είναι θ μελζτθ δομών δεδομζνων, αναπαράςταςισ τουσ ςτθ μνιμθ ενόσ υπολογιςτι, και αλγόρικμων που τισ δθμιουργοφν και τισ επεξεργάηονται. ΕΠΛ231 Δομζσ Δεδομζνων και Αλγόρικμοι 20

21 Περιεχόμενα Πολυπλοκότθτα αλγόρικμων και ανάλυςθ μζςθσ και χείριςτθσ περίπτωςθσ. Τφποι δεδομζνων και αφθρθμζνοι τφποι δεδομζνων. Τφποι λίςτασ, ςωροφ και ουράσ. Παράςταςθ και αποδοτικι υλοποίθςθ τζτοιων δομϊν. Μθ γραμμικζσ δομζσ δεδομζνων. Δζνδρα. Δζνδρα διερεφνθςθσ. Ιςοηυγιςμζνα δζνδρα. Bit-Διανφςματα. Τεχνικζσ κατακερματιςμοφ (hashing). Ουρζσ προτεραιότθτασ. Αλγόρικμοι ταξινόμθςθσ και ανάλυςθ τθσ αποδοτικότθτάσ τουσ. Γράφοι και αλγόρικμοι επεξεργαςίασ τουσ. ΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 1-21

22 Μακθςιακά αποτελζςματα Με το πζρασ του μακιματοσ αναμζνεται να είςτε ςε κζςθ: Να αναλφετε και να ςυγκρίνετε τθν αποδοτικότθτα αλγορίκμων βάςει των τάξεων Ο, Ω και Θ. Να χρθςιμοποιείτε, να υλοποιείτε και να επεκτείνετε τισ δομζσ δεδομζνων που κα μελετθκοφν ςτο μάκθμα. Να εφαρμόηετε τουσ αλγόρικμουσ που κα μελετθκοφν ςτο μάκθμα ςε τυχαία δεδομζνα. Να ορίηετε τουσ αφθρθμζνουσ τφπουσ δεδομζνων που απαιτοφνται για τθν οργάνωςθ των δεδομζνων προβλθμάτων. Να ςχεδιάηετε και να υλοποιείτε αλγόρικμουσ που ελαχιςτοποιοφν τον χρόνο εκτζλεςισ τουσ όπωσ και τον χϊρο που χρθςιμοποιοφν. Να επιλζγετε ι και να δθμιουργείτε τισ κατάλλθλεσ δομζσ δεδομζνων και τουσ κατάλλθλουσ αλγόρικμουσ για υλοποίθςθ αφθρθμζνων τφπων δεδομζνων. Να επιλφετε και να υλοποιείτε αποδοτικζσ λφςεισ ςε ςφνκετα υπολογιςτικά προβλιματα χρθςιμοποιϊντασ τθ γλϊςςα Java. ΕΠΛ231 Δομές Δεδομένων και Αλγόριθμοι 1-22