Gliederung. 5. Compiler. 6. Sortieren und Suchen. 7. Graphen

Transkript

1 Gliederung 5. Compiler 1. Struktur eines Compilers 2. Syntaxanalyse durch rekursiven Abstieg 3. Ausnahmebehandlung 4. Arrays und Strings 6. Sortieren und Suchen 1. Grundlegende Datenstrukturen 2. Bäume 3. B-Bäume und Tries 4. Sortieren in Vektoren 5. Streuspeicherung 7. Graphen 1. Darstellung und Topologisches Sortieren 2. Kürzeste Wege 3. Fluß- und Zuordnungsprobleme

2 Überblick Grundlegende Datenstrukturen Wie können mehrere Objekte einer gleichen Klasse in einem Objekt zusammengefasst werden, ohne vorher die Anzahl der Elementen festzulegen? Wie werden Operationen auf dynamischen Datenstrukturen spezifiziert? Welche Arten dynamischer Datenstrukturen gibt es?

3 Abstrakte Datentypen Ein abstrakter Datentyp (ADT) ist eine Datenstruktur zusammen mit darauf definierten Operationen. Bei der Festlegung von ADTs werden Aspekte der konkreten Implementierung nicht berücksichtigt In Java können ADTs durch Definition von Interfaces spezifiziert werden Beispiele von ADTs: Keller (engl. Stacks), Schlangen (engl. Queues) verkettete Listen. 3

4 Datenstruktur: Stack Ein Stack (Stapel- oder Kellerspeicher) ist eine Folge von Elementen a 1,..., a m Nur am Ende der Folgen können Elemente gelesen, gelöscht oder hinzugefügt werden (top) Das zuletzt eingefügte Element wird zuerst entfernt: LIFO-Prinzip (Last-In First-Out) a m Oben (top) a m-1... a... 2 a 1 4

5 Beispiele für Stack: Stapel von Münzen Stapel von Tellern Stapel von Akten Datenstruktur: Stack 5

6 Stack: Anwendbare Operationen (1) push : Stack X Objekt Stack Mit der Operation push legt man ein Element auf dem Stapel ab 6

7 Stack: Anwendbare Operationen (2) pop : Stack Stack Mit der Operation pop entfernt man das oberste Element eines Stapels top : Stack Objekt Mit der Operation top erhält man das oberste Element eines Stapels 7

8 Stack: Anwendbare Operationen (3) push : Stack X Objekt Stack legt Element auf Keller pop : Stack Stack entfernt oberstes Element top : Stack Objekt liefert oberstes Element empty : Stack boolean liefert true, falls Keller leer ist Merke: Die Operationen pop und top sind nur zulässig, wenn der Stapel nicht leer ist 8

9 Stack: Definition der Schnittstelle Schnittstellendefinition public interface Stack { public void push (Object obj) throws StackException; public Object pop () throws StackException; public Object top () throws StackException; public boolean isempty (); 9

10 Stack: Implementierung (1) Implementierung mit Hilfe eines Arrays Nachteil: Größe des Arrays kann nicht verändert werden public class ArrayStack implements Stack { private Object elements[] = null; // Array von Elementen private int num = 0; num: speichert die aktuelle Anzahl von Elementen. Wird beim push inkrementiert, beim pop dekrementiert public ArrayStack (int size) { elements = new Object [size]; public ArrayStack () { elements = new Object [100]; Konstruktor mit vorgegebener Kapazität Konstruktor mit Standardkapazität: Stack wird mit einem Array von 100 Elementen Angelegt 10

11 Stack: Implementierung (2) public void push (Object obj) throws StackException { if (num == elements.length - 1) Ausnahme falls Kapazität // Kapazität erschöpft erschöpft ist: throw new StackException (); num = elements.length elements[num++] = obj; public Object pop () throws StackException { if (isempty ()) // Stack ist leer throw new StackException (); Object o = elements[--num]; elements[num] = null; return o; 11

12 Stack: Implementierung (3) public Object top () throws StackException { if (isempty ()) throw new StackException (); return elements[num - 1]; public boolean isempty () { return num == 0; true falls num gleich 0 false fals num ungleich 0 12

13 Compilerbau: Stack: typische Anwendungen Auswertung von Postfix-Ausdrücken Syntaktischen Analyse von Programmen Umwandlung von rekursiven Programmen in nicht-rekursive Programme Backtracking-Algorithmen Laufzeitstack bei der Speicherplatzverwaltung von Programmen 13

14 Stack: Auswertung von Postfix-Ausdrücken (1) Beispiel: Arithmetischer Ausdruck (2+4) 2 /(16-7) Postfix-Ausdruck: / Abarbeitung mittels eines Stack von links nach rechts: Das gelesene Datum ist ein Operand: mit push auf dem Stack legen Das gelesene Datum ist ein Operator: auf die obersten n Elemente anwenden und das Ergebnis ersetzt die n Elemente 14

15 Auswertung von Postfix-Ausdrücken (2) / / 2 8. / / / / 36 Ergebnis= / /

16 Datenstruktur: Queue Ein Queue (Warteschlange) ist eine Folge von Elementen a 1,..., a m mit den folgenden Eigenschaften: Nur am Anfang der Folge (vorne) können Elemente gelesen und gelöscht werden können. Am anderen Ende (hinten) können Elemente hinzugefügt werden Das zuerst eingefügte Element wird zuerst entfernt: FIFO-Prinzip (First-In First-Out) a 1 a 2... A m-1 a m Anfang Ende 16

17 Queue: anwendbare Operationen enter : Queue X Objekt Queue fügt Element hinten ein leave : Schlange Queue entfernt vorderstes Element front : Queue Objekt liefert vorderstes Element empty : Queue boolean liefert true, falls die Schlange leer ist 17

18 Datenstruktur: Queue Beispiele für Warteschlangen Warteschlange an der Ladenkasse Warteschlange in der Mensa Warteschlange im Stau 18

19 Queue: Typische Anwendungen Nutzung gemeinsamer Betriebsmittel (z.b. Druckerwarteschlange, Warteschlangen für Prozessoren, usw.) Bearbeitung von von Erzeuger-/Verbraucher-Problemen Branch-and-Bound-Algorithmen für Suchprobleme in Bäumen und Graphen 19

20 Beispiel: Erzeuger / Verbraucher - Probleme Ein Produzent erzeugt (Waren-)Objekte, die von einem Konsumenten weiterverarbeitet werden Der Produzent legt die Objekte in einem Puffer ab, der Konsument entnimmt die benötigten Objekte aus dem Puffer. do { Elem x = produce (); while (q.istvoll()) warte(); Q.enter(x) while (!fertig); do { if (! q.istleer()) { Elem x = Q.front (); consume(x); 20

21 Queue: Definition der Schnittstelle Benötigte Methoden void enter(object obj) Object leave () Object front () boolean isempty() Schnittstellendefinition public interface Queue { public void enter (Object obj) throws QueueException; public Object leave () throws QueueException; public Object front () throws QueueException; public boolean isempty (); 21

22 Queue: Implementierung durch ein Array (1) Implementierung mit Array A: Maximale Warteschlangengröße = A.length Zwei Indizes markieren Anfang und Ende der Warteschlange Anfang zeigt auf das vordere Element Ende zeigt auf die nächste freie Stelle Element x in Warteschlange einfügen: x wird an Position A[Ende] gespeichert und Ende wird inkrementiert Element x aus Warteschlange entfernen: Anfang inkrementieren Y X D A T E N U V Anfang Ende 22

23 Queue: Implementierung durch ein Array (2) Problem: Falls Anfang und Ende nur inkrementiert werden würden, wird Indexbereich des Arrays überschritten Lösungen Das erste Element ist immer an Position 0, nach jedem entfernen eines Elements aus dem Array, müssen alle Elemente nach links verschoben werden -> wenig praktikabel! Indexbereich des Arrays als zyklische Liste betrachten 23

24 Queue: Implementierung durch zirkuläres Array Indexbereich als zyklische Liste: das erste Element folgt auf das letzte! Für jeden Index ist die nächste Position modulo Max. Warteschlangengröße Anfang Ende Falls Anfang= Ende kann die Warteschlange leer oder voll sein Letzte Operation war enter: Warteschlange ist voll Letzte Operation war leave: Warteschlange leer Verwendung einer boolesche Variable voll, um Zustand der Warteschlange zu protokollieren 24

25 Queue: Implementierung durch ein Array (3) Implementierung auf der Basis eines Arrays Nachteil: Die Queue kann nicht dynamisch wachsen public class ArrayQueue implements Queue { private Object[] elements; // Elemente private int Anfang =0; private int Ende =0; // Queue mit vorgegebener Kapazität erzeugen public ArrayQueue (int size) { elements = new Object[size]; Konstruktor mit vorgegebener Kapazität // Queue mit Standardkapazität erzeugen public ArrayQueue () { Konstruktor mit Standardkapazität: elements = new Object[100]; Warteschlange wird mit einem Array von 100 Elementen Angelegt 25

26 Queue: Implementierung durch ein Array (4) public void enter (Object obj) throws QueueException { if (istvoll()) throw new QueueException ( Überlauf! ); elements[ende] = obj; Objekt in Array aufnehmen Ende = next(ende); Ende-Index fortschalten voll =(Anfang == Ende); Zustand speichern: voll falls Anfang = Ende, public Object leave () throws QueueException { sonst nicht voll if (isempty ()) throw new QueueException ( Zugriff auf leere Queue! ); Object obj = elements[anfang]; elements[anfang] = null; // unteren Zeiger aktualisieren Anfang = next(anfang); voll = false; return obj; Anfang-Index fortschalten Nach leave darf die Queue nicht voll sein 26

27 Queue: Implementierung durch ein Array (5) public Object front () throws QueueException { if (isempty ()) throw new QueueException ( Zugriff auf leere Queue ); return elements[anfang]; public int next(int n){ return (n+1)%elements.length; public boolean isvoll () { return voll; public boolean isempty () { return ((Anfang == Ende) && (voll!= false) ); true falls Anfang gleich Ende False sonst Anfang kann gleich Ende sein und die Queue ist voll! Dieser Fall wird damit abgefangen! 27

28 Datenstruktur: Liste Eine (verkettete) Liste (linked list) ist eine dynamische Folge von Elementen a 1,..., a m mit den folgenden Eigenschaften: Im Gegensatz zu Arrays können Listen zur Laufzeit beliebig wachsen und verändert werden. Jedes Listenelement hat zwei Komponenten Inhalt Das eigentlich zu speichernde Element. Kann ein beliebiges Objekt oder ein primitiver Datentyp sein. Referenz auf das nachfolgende Element 28

29 Datenstruktur: Liste Für die Navigieren in einer Liste muss das erste Element erreichbar sein: Der Anker für den Beginn der Liste wird mit Head bezeichnet Das letzte Element verweist auf null Für eine einfache Handhabung kann eine bestimmte Position als "aktuell" ausgezeichnet werden. Eine solche Position wird auch Cursor genannt. head Objekt 1 next Objekt 2 next Objekt 3 next X null Cursor (2) 29

30 Elemente in Listen einfügen Beim Einfügen eines neuen Elements in eine Liste gibt es drei Möglichkeiten: Prepend: Einfügen vor dem ersten Listenelement Das erste Listenelement wird zum Nachfolger des neuen Elements head zeigt auf das neue Element. Insert: Einfügen hinter einem gegebenen Element next des neuen Elements übernimmt den Wert next des aktuellen Elements. current.next wird auf das neue Element gesetzt. Append: Einfügen als letztes Element current.next des letzten Listenelements wird auf die Referenz des neuen Elements gesetzt Ein Sonderfall von insert. 30

31 Verkettete Liste: Anwendbare Operationen addfirst : Liste X Objekt Liste fügt ein Element am Anfang der Liste ein (entspricht prepend ) addlast : Liste X Objekt Liste fügt ein Element am Ende der Liste ein (entspricht append ) removefirst : Liste Liste löscht das erste Element removelast : Liste Liste löscht das letzte Element getfirst : Liste Objekt liefert das erste Element getlast : Liste Objekt liefert das letzte Element empty : Liste boolean liefert true, falls Liste leer ist size : Liste int liefert Anzahl der Elementen in der Liste 31

32 Einfügen vor dem ersten Listenelement Operation AddFirst: head bekommt Referenz auf das neue Objekt Objekt 0 head next X Objekt 1 next Objekt 2 next Objekt 3 next X null 32

33 Einfügen als letztes Element Operation AddLast 1. Letzte Element finden 2. Next-Referenz auf neues Element Aufwand ist abhängig der Anzahl der Elementen in der Liste Objekt 4 head next Objekt 1 next Objekt 2 next Objekt 3 next X X null 33

34 Das letzte Element löschen Operation removelast 1. Vorletztes Element finden 2. Next-Referenz des vorletzten Elements auf null setzten Aufwand ist abhängig der Anzahl der Elementen in der Liste head Objekt 1 next Objekt 2 next Objekt 3 next X null 34

35 Komplexität der Listenoperationen Operation AddFirst getfirst removefirst AddLast getlast removelast Komplexität O(1) O(n) 35

36 Verkettete Liste: Definition der Schnittstelle public interface Liste { public void addfirst (Object o) public void addlast (Object o) public Object removefirst () public Object removelast () public Object getfirst () public Object getlast () public boolean isempty () public int size () 36

37 Verkettete Liste: Definition von Listenelementen class Node { Object obj; Node next; public Node (Object o, Node n) { obj = o; next = n; public Node () { obj = null; next = null; public void setelement (Object o) { obj = o; public Object getelement () { return obj; public void setnext (Node n){ next = n; public Node getnext () { return next; 37

38 Verkettete Liste: Implementierung public class List { private Node head = null; public List () { head = new Node (); public void addfirst (Object o) { Node n = new Node (o, head.getnext ()); head.setnext (n); public void addlast (Object o) { Node l = head; while (l.getnext ()!= null) l = l.getnext (); Node n = new Node (o, null); l.setnext (n); public Object getfirst () throws ListEmptyException { if (isempty ()) throw new ListEmptyException (); return head.getnext ().getelement (); public Object getlast () throws ListEmptyException { if (isempty ()) throw new ListEmptyException (); Node l = head; while (l.getnext ()!= null) l = l.getnext (); return l.getelement (); public Object removefirst () throws ListEmptyException { if (isempty ()) throw new ListEmptyException (); Object o = head.getnext ().getelement (); head.setnext (head.getnext ().getnext ()); return o; public boolean isempty () { return head.getnext () == null; 38

39 Verkettete Liste: Implementierung public Object removelast () throws ListEmptyException { if (isempty ()) throw new ListEmptyException (); Node l = head; while (l.getnext ().getnext ()!= null) l = l.getnext (); Object o = l.getnext ().getelement (); l.setnext (null); return o; public int size () { int s = 0; Node n = head; while (n.getnext ()!= null) { s++; n = n.getnext (); return s; 39

40 Verkettete Listen: Zusammenfassung Vorteile von verkettete Listen : Dynamische Länge Keine Speicherverschwendung durch Vorreservierung des Speicherplatzes Einfache Einfüge- und Löschoperationen In den Listenelementen enthaltene Objekte können beliebige Objekte untergebracht werden Nachteile: Zugriff erfolgt immer sequentiell Aufwand für Suche nach einem Listen-Element: Da es sich um eine lineare Suche handelt, gilt Aufwand = O(1) im günstigsten Fall bzw. O(n) in den anderen Fällen. 40

41 Doppelt verkettete Listen Die doppelt verkettete Liste ist eine spezielle verkettete Liste bei der jedes Element sowohl seinen Nachfolger als auch seinen Vorgänger kennt tail zeigt auf das Ende der Liste Merke: Die Operationen AddLast, getlast und removelast sind nun mit konstantem Aufwand realisierbar! head tail Objekt 1 Objekt 1 Objekt 1 next next next X null Prev. Prev. Prev. X null 41

42 Komplexität der Listenoperationen Operation AddFirst getfirst removefirst AddLast getlast removelast Komplexität O(1) 42

43 Das Iterator-Konzept (1) Das Durchwandern (über alle Elemente zu navigieren) einer Kollektion ist abhängig der Implementierung Bei der Benutzung von Arrays für die Implementierung einer Kollektion wird eine Indexvariable verwendet Bei der Benutzung von Listen für die Implementierung einer Kollektion wird die next-referenz verwendet Notwendigkeit einer einheitlichen Behandlung des Navigierens unabhängig der internen Realisierung der Kollektion Iteratoren sind Objekte zum Iterieren über Kollektionen, deren Klasse die vordefinierte Java-Schnittstelle java.util.iterator implementiert 43

44 Das Iterator-Konzept (2) Ein Iterator verwaltet einen internen Zeiger auf die aktuelle Position in der zugrunde liegende Datenstruktur Mehrere Iteratoren können gleichzeitig auf eine Kollektion operieren Iterator über Array Iterator über Liste 44

45 Die Schnittstelle Iterator Die Schnittstelle java.util.iterator definiert folgende Methoden Boolean hasnext() Prüft, ob noch weitere Elemente in der Kollektion verfügbar sind Object next() Liefert das aktuelle Element zurück und setzt den internen Zeiger des Iterators auf das nächste Element void remove Löscht das aktuelle Element 45

46 Das Java Collection Framework Grundlegende Datenstrukturen wie Liste, Stack und Warteschlange müssen nicht immer neu implementiert werden Im Java Collection Framework sind entsprechende Klassen verfügbar (z.b. ArrayList, Stack, Vector,...) Im Java Collection Framework werden Schnittstellen und Implementierungen angeboten (z.b. Schnittstelle List und Array-basierte Implementierung ArrayList) Die Schnittstelle java.util.collection bildet die Basis für die spezielleren Schnittstellen List, Set und SortetSet Die Schnittstelle Map definiert Methoden für die Verwaltung von Schlüssel-Wert-Paare 46