Vorlesung Informatik 2 Algorithmen und Datenstrukturen. (01 Einleitung) Prof. Dr. Susanne Albers

Transkript

1 Vorlesug Iformatik Algorithme ud Datestrukture (01 Eileitug) Prof. Dr. Susae Albers

2 Orgaisatorisches Vorlesug: Mo Uhr, HS 00-06, Geb.101 Do Uhr, HS 00-06, Geb.101 Übuge: Ameldug bis - Mo 9-11, SR 03-06, Geb Mo 9-11 SR , Geb Mo 9-11 SR , Geb Mo SR , Geb Mo SR , Geb Do 16-18, SR , Geb Do 16-18, SR 03-06, Geb Teachig Iformatik II

3 Orgaistorisches Klausur: 18. Oktober 006 Teilahmevoraussetzug: - 50% der Übuge bearbeitet - 1-mal i de Übuge vorgerechet Bous bei bestadeer Klausur: Verbesserug um - 1/3 Notestufe, we 50% der Übugspukte erzielt - /3 Notestufe, we 80% der Übugspukte erzielt 3

4 Literatur Ottma, Widmayer : Algorithme ud Datestrukture, Spektrum Akademischer Verlag, Heidelberg, Berli; ISBN: , 4. Auflage, 00 Saake, Sattler : Algorithme ud Datestrukture: eie Eiführug mit Java, dpukt-verlag, Heidelberg, 00; ISBN: Corme, Leiserso, Rivest, Stei : Itroductio to Algorithms, Secod Editio, MIT-Press ad McGraw Hill, 00 Kleiberg, Tardos : Algorithm Desig, Pearso/Addiso-Wesley; ISBN: , First Editio, 005 Goodrich, Tamassia : Data Structures ad Algorithms i Java, Joh Wiley & Sos; ISBN: , Secod Editio, 001 Zahlreiche weitere Bücher vo : D. Kuth, S.Baase / Va Gelder, R. Sedgewick, Nievergelt / Hirichs, Gütig / Dieker, Heu, A. Drozdeck, Th. Stadisch, Kruse, Wood, u.v.a. 4

5 Ihaltsübersicht 1. Eileitug, Grudlage. Algorithmeetwurfstechike 3. Elemetare Datestrukture 4. Sortiere, Suche, Auswahl 5. Wörterbücher, Bäume ud Hash-Verfahre 6. Graphealgorithme 5

6 Lerziele Algorithme für wichtige Probleme : Sortiere, Suche, Wörterbuch-Problem, Berechug kürzester Pfade,... Datestrukture : Liste, Stapel, Schlage, Bäume, Hash-Tabelle,... Problemlösetechike : Ziele: Divide-ad-Coquer, Greedy, vollstädige Aufzählug, Backtrackig,... Etwicklug effizieter Algorithme für Istaze vo Probleme aus eiem gegebee Bereich Fähigkeit zur Beurteilug vo Algorithme aufgrud präziser Kriterie (Korrektheit, Effiziez) 6

7 Beschreibug ud Aalyse vo Algorithme Sprache zur Formulierug vo Algorithme Natürliche Sprache, Pseudocode, Flussdiagramme, Programmiersprache (Java, C,...) Mathematisches Istrumetarium zur Messug der Komplexität (Zeit- ud Platzbedarf): Groß-O-Kalkül (Ladausche Symbole) 7

8 Pseudocode abstrakte Beschreibug eies Algorithmus strukturierter als Beschreibug mit ormalem Sprachvokabular weiger detailliert als ei Programm bevorzugte Notatio zur Beschreibug eies Algorithmus versteckt Programmetwurfsprobleme Beispiel : Fide des größte Elemets i eiem array Algorithmus arraymax(a,) Iput array A mit Iteger Output größtes Elemet vo A curretmax A[0] for i 1 to 1 do if A[i] > curretmax the curretmax retur curretmax A[i] 8

9 Pseudocode Details Kotrollfluss - if the [else ] - while do - repeat util -for do - Eirücke ersetzt Klammer Deklaratio vo Methode Algorithm method(arg[, arg ]) Iput Output Methodeaufruf var.method(arg[,arg ]) Rückgabewert retur Ausdruck Ausdrücke Zuweisug (wie = i Java) = Gleichheitstest (wie == i Java) ² Superscripts ud adere mathematische Formatieruge sid erlaubt 9

10 Formale Eigeschafte vo Algorithme Korrektheit Effiziez Frage : Wie beweist ma die Korrektheit? Programmverifikatio Teste Wie misst ma die Effiziez vo Algorithme? Implemetatio ud Test für repräsetative Beispiele Platz- ud Zeitbedarf auf Real RAM Bestimmug sigifikater Parameter 10

11 Korrektheit partielle : We der Algorithmus hält, da liefert er das gewüschte Resultat totale : Algorithmus hält ud liefert das gewüschte Ergebis Vorbedigug (Eigabe-Bedigug) : Spezifiziert de Zustad vor Ausführug eies Algorithmus Nachbedigug (Ausgabe-Bedigug) : Spezifiziert de Zustad ach Ausführug des Algorithmus {P} S {Q} Beispiel : {? } x = y + 3 { x > 0 } Hoare Kalkül 11

12 Grudbausteie imperativer Sprache Sprachkostrukte spiegel die Vo Neuma Recherarchitektur wieder. Variable sid symbolische Name für Speicherplätze. Aweisuge: Zuweisug: x = t Kompositio: S 1 ; S Selektio: if B the S 1 else S Iteratio: while B do S Hoare Kalkül: Diet zum Nachweis der partielle Korrektheit vo Programme, d.h. vo Aussage der Form {P} S {Q} 1

13 Beweisregel We aus wahre Aussage A 1,, A folgt, dass auch die Aussage A wahr ist, otiert ma das i der Form: A 1,, A A Die zu verifizierede Aussage sid die Hoare-Tripel der Form {P} S {Q}. 13

14 Zuweisugsaxiom {P[x/t]} x = t {P} P[x/t] bedeutet, dass i der Aussage P jedes Vorkomme vo x durch de Term t ersetzt wird. Beispiele: {x+1 = 43} y = x+1 {y = 43} {y = 43} z = y {z = 43} 14

15 Kompositio ud Selektio Kompositio {P} S 1 {Q}, {Q} S {R} {P} S 1 ; S {R} Selektio {P ud B} S 1 {R}, {P ud icht B} S {R} {P} if B the S 1 else S {R} 15

16 Beispiel zur Kompositio Kompositio {P} S 1 {Q}, {Q} S {R} {P} S 1 ; S {R} {x+1 = 43} y = x+1 {y = 43} z = y {z = 43} 16

17 Iteratio P impliziert I, {I ud B} S {I}, (I ud icht B) impliziert Q {P} while B do S {Q} Die i dieser Regel auftretede Aussage I heißt Schleifeivariate. Das Fide geeigeter Schleifeivariate ist i.a. algorithmisch ulösbar! Daher empfiehlt es sich, Schleifeivariate als Kommetare (Assertios) a de etsprechede Stelle i Programme eizufüge 17

18 Abschwächug ud Verstärkug Abschwächug {P} {P }, {P } S {Q} {P} S {Q} Verstärkug {P} S {Q }, {Q } {Q} {P} S {Q} 18

19 Beispiel eies (formale) Korrektheitsbeweises Algorithmus Mult(x,y) Eigabe : Ei Paar x,y vo atürliche Zahle Ausgabe : Das Produkt vo x ud y Methode : z 0 ; while (y>0) do { if (y ist gerade) the {y y/; x x+x} else /* y ist ugerade */ {y y-1; z z+x} } retur z; 19

20 Implemetatio i Java class Mult { public static void mai ( Strig [] args ) { it x = ew Iteger (args[0]).itvalue(); it y = ew Iteger (args[1]).itvalue(); System.out.pritl ( Das Produkt vo +x+ ud +y+ ist +mult(x,y)); public static it mult (it x, it y) { it z = 0; while (y>0) if (y % == 0) { y = y / ; x = x+x ;} else { y = y-1; z = z+x; } } } retur z; 0

21 Durchführug vo Mult(x,y) a eiem Beispiel 1

22 Durchführug vo Mult(x,y) a eiem Beispiel 1101* x y z # Iteratioe

23 Nachweis der totale Korrektheit Beh. (1) Für jedes Paar a,b vo atürliche Zahle gilt: Mult(a,b) hält ach edlich viele Schritte. Beh. () Sid a ud b atürliche Zahle, da liefert Mult(a,b) de Wert z = a * b. it z = 0; while (y>0) if (y % == 0) { y = y / ; x = x+x ;} else { y = y-1; z = z+x; } 3

24 Schleifeivariate Scheifeivariate I: y 0 ud z + x y = a b Beh..1: I gilt vor erstmaliger Ausführug der while-schleife Beh..: I bleibt bei eimaliger Ausführug des Rumpfs der while-schleife richtig. it z = 0; while (y>0) if (y % == 0) { y = y / ; x = x+x ;} else { y = y-1; z = z+x; } 4

25 Weiteres Beispiel { 0} i = 0; k = -1; y = 0; while i < do i = i + 1; k = k + ; y = y + k {y = } Schleifeivariate: (k = i -1) ud (y = i ) ud (i ) 5

26 Beschreibug ud Aalyse vo Algorithme Sprache zur Formulierug vo Algorithme : atürliche Sprache (Eglisch), Java, C, Assembler, Pseudocode Mathematisches Istrumetarium zur Messug der Komplexität (Zeit- ud Platzbedarf): Groß-O-Kalkül (Ladausche Symbole) 6

27 Effiziezaalyse Laufzeitkomplexität: Steht die Laufzeit im akzeptable/verüftige/optimale Verhältis zur Größe der Aufgabe? Speicherplatzkomplexität: Wird primärer (sekudärer) Speicherplatz effiziet geutzt? Theorie: Ka utere Schrake liefer, die für jede Algorithmus gelte, der das Problem löst (etwa Ω( log ) Schritte für jedes allgemeie Sortierverfahre mit Elemete) Spezieller Algorithmus: Liefert obere Schrake für die Lösug eies Problems (etwa O( ) Schritte für Bubblesort mit Elemete) Effiziete Algorithme ud Komplexitätstheorie: Zweige der Theoretische Iformatik zur Erforschug vo obere ud utere Schrake 7

28 Komplexitätsschrake Komplexität Schrake für spezielle Algorithmus Komplexität des Problems Utere Schrake aus der Theorie Iputgröße 8

29 Laufzeitaalyse (1) Ei Programm P, das für eie Problembeschreibug x mit Läge = x die Lösug fidet, habe Laufzeit T P () Der beste Fall (best case): Laufzeit meist leicht bestimmbar, kommt i der Praxis eher selte vor: T P,best () = if{t P (x) = x } Der schlechteste Fall (worst case): Liefert garatierte Schrake, Laufzeit meist leicht bestimmbar, aber meist zu pessimistisch i der Praxis: T P,worst () = sup{t P (x) = x } Im amortisierte worst case wird der durchschittliche Aufwad für eie schlechtestmögliche Folge vo Eigabe bestimmt (techisch aspruchsvoll). Der mittlere Fall (average case): z. B. Mittelug über alle Eigabe mit Läge T P,average () = 1/ (#(x)mit x =) x = T P (x) 9

30 Messug des Leistugsverhaltes 1. Betrachte kokrete Implemetierug auf kokreter Hardware. Miss Laufzeit ud Platzverbrauch für repräsetative Eigabe.. Bereche Verbrauch a Platz ud Zeit für idealisierte Referezmaschie, Radom Access Machie (RAM), Registermachie (RM), Turigmachie (TM), Bestimme Azahl bestimmter (teurer) Grudoperatioe, etwa # Vergleiche, # Beweguge vo Date (beim Sortiere) # Multiplikatioe/Divisioe (für umerische Verfahre) Bei. ud 3.: Beschreibe Aufwad eies Verfahres als Fuktio der Größe des Iputs. (Die Iput-Größe ka verschiede gemesse werde.) 30

31 Beispiel: Taktzahl (1) Bestimme Aufwad (Taktzahl = Azahl der Bitwechsel) eies Vo Neuma Addierwerks bei Additio eier 1 zu eier durch Biärziffer gegebee Zahl i. 0 i 1 Die Taktzahl ist 1 plus # der 1e am Ede der Darstellug vo i. Bester Fall: Die best case Rechezeit beträgt 1 Takt (Addiere 1 zu ) Schlechtester Fall: Die worst case Rechezeit beträgt + 1 Takte (Addiere 1 zu ) 31

32 Beispiel: Taktzahl () Mittlerer Fall: Ageomme wird die Gleichverteilug auf der Mege der Eigabe. Es gibt (-k) Eigabe, die mit ede ud k Takte beötige. Die Zahl - 1 braucht + 1 k 1 Takte. Die average case Rechezeit beträgt also T add1 ( ) = 1 k = 1 ( + 1 k k + ( + + ( 1) + 1)) = Im Mittel reiche also Takte, um eie Additio vo 1 durchzuführe. 3

33 33 Neberechug k k k = + + = = = + 1) (... 1) ( * 1 *... * M

34 Primitive Operatioe Grudlegede Berechuge, die vo eiem Algorithmus ausgeführt werde Ablesbar aus Pseudocode oder Programmstück Überwieged uabhägig vo eier (imperative) Programmiersprache Exakte Defiitio ist icht bedeuted Beispiele eie Ausdruck auswerte eier Variable eie Wert zuweise Idexierug i eiem Array Aufrufe eier Methode Verlasse eier Methode 34

35 Zähle vo primitive Operatioe Durch Utersuche des Pseudocode köe wir die maximale Zahl vo primitive Operatioe, die durch eie Algorithmus ausgeführt wurde, als eie Fuktio der Eigabegröße bestimme. Algorithmus arraymax(a,) # Operatioe curretmax A[0] for i 1 to -1 do (-1) if A[i] > curretmax the (-1) curretmax A[i] (-1) { erhöhe Zähler i } retur curretmax 1 Total

36 Laufzeit abschätze Der Algorithmus arraymax führt im worst case 6-3 primitive Operatioe aus Defiiere a Zeit, die die schellste primitive Operatio verbraucht hat b Zeit, die die lagsamste primitive Operatio verbraucht hat T() sei die tatsächliche worst-case Laufzeit vo arraymax. Da ist : a ( 6 3) T ( ) b(6 3) Daher ist die Laufzeit T() durch zwei lieare Fuktioe beschräkt. 36

37 Zuwachsrate der Laufzeit Veräder der Hard- ud Softwareumgebug - beeiflusst T() um eie kostate Faktor, aber - ädert die Wachstumsordug vo T() icht Das lieare Wachstum der Laufzeit T() ist eie für de Algorithmus arraymax charakteristische Eigeschaft. 37