Algorithmisches Problemlösen

1. Algorithmisches Problemlösen In den vergangenen Stunden haben wir uns mit Karol beschäftigt – mancher Schüler hat bereits ein lauffähiges Programm geschrieben ;-)

2. Algorithmisches Problemlösen

3. Teil 1 Programmgesteuerte Systeme

4. Automatisierung Mit Hilfe programmgesteuerter Systeme lassen sich Vorgänge automatisieren. Aibos beim Robocup 2005

5. Karol, der Roboter Als Beispiel eines sehr einfachen programmgesteuerten Systems betrachten wir Roboter, der seine Arbeit in einer rechteckigen Welt verrichtet. Die Welt, in der sich Karol bewegt, ist in Felder aufgeteilt . Auf diesen Feldern können Quader, Ziegel oder Markierungen liegen.

6. Karol, der Roboter Mit Hilfe von Anweisungen lässt sich Karol steuern. Karol führt dann jeweils bestimmte Aktionen aus. Mit rechtem Mausklick kannst du die Befehle ins Script leicht einfügen. Anweisung: Aktion: Schritt Karol bewegt sich ein Feld weiter (sofern dies möglich ist). LinksDrehen Karol dreht sich um 90° nach links. RechtsDrehen Karol dreht sich um 90° nach rechts. Hinlegen Karol legt einen Ziegel vor sich ab. Aufheben Karol hebt einen vor ihm liegenden Ziegel auf. MarkeSetzen Karol markiert das Feld, auf dem er gerade steht. MarkeLöschen Karol entfernt eine Markierung, auf der er gerade steht.

7. Aufgabe 1 Steuere Karol zunächst im „Direktmodus“ mit Hilfe der vorgesehenen Schaltflächen. Steuer Karol anschließend mit den entsprechenden Anweisungen. Diese werden in das dafür vorgesehene Fenster geschrieben. Nach einem Programmstart (▶ ) werden die Anweisungen von Karol automatisch ausgeführt. Vorher: Karol steht in der Ausgangsposition. Nachher: Karol hat eine Treppe gebaut. LinksDrehenSchrittLinksDrehen...

8. Aufgabe 2 Vorher: Karol steht in der Ausgangsposition. Nachher: Karol hat eine Siegerpodest gebaut. Versuche, direkt ein korrektes Programm zu schreiben. Beachte, dass Karol bei einem Schritt nach vorne maximal einen Ziegel hoch steigen kann.

9. Karol als programmgesteuertes System Zustand vorher LinksDrehenSchrittLinksDrehen LinksDrehenHinlegen Hinlegen HinlegenLinksDrehen LinksDrehenSchrittLinksDrehen LinksDrehenHinlegen HinlegenLinksDrehen LinksDrehen... Programm (Algorithmus) Roboter(Prozessor) Zustand nachher

10. Problemspezifikation Zustand vorher Eine Problemspezifikation ist eine vollständige und eindeutige Beschreibung des Ausgangszustands („Zustand vorher“) und Zielzustandes („Zustand nachher“). Roboter(Prozessor) Zustand nachher

11. Algorithmus LinksDrehenSchrittLinksDrehen LinksDrehenHinlegen ... Programm (Algorithmus) Roboter(Prozessor) Ziel ist es, einen komplizierten Ablauf / Vorgang so zu beschreiben, dass er von einem „Prozessor“ (Mensch oder Maschine, der bzw. die für die Ausführung zuständig ist) ausgeführt werden wird. Eine Algorithmus ist eine endliche Folge eindeutig ausführbarer Anweisungen zur Lösung eines Problems.

12. Algorithmus LinksDrehenSchrittLinksDrehen LinksDrehenHinlegen ... Programm (Algorithmus) Roboter(Prozessor) Anforderungen an Algorithmen: - Endlichkeit: Die Anweisungsfolge ist durch einen endlichen Text beschrieben. - Ausführbarkeit: Die Anweisungen sind für den „Prozessor“ (Mensch oder Maschine) verständlich formuliert und ausführbar. - Eindeutigkeit: An jeder Stelle ist der Ablauf der Anweisungen eindeutig festgelegt. - Allgemeinheit: Die Anweisungen besitzen Gültigkeit für die Lösung einer ganzen Problemklasse, nicht nur für ein Einzelproblem.

13. Korrektheit Eine Algorithmus ist korrekt bzgl. einer Spezifikation, wenn er jeden möglichen Ausgangszustand tatsächlich in den festgelegten Zielzustand überführt. Zustand vorher LinksDrehenSchrittLinksDrehen LinksDrehenHinlegen ... Programm (Algorithmus) Roboter(Prozessor) Zustand vorher

14. Aufgabe Beim Schreiben eines Programms müssen bestimmte Regeln eingehalten werden. Prüfe, welche der folgenden Schreibweisen erlaubt bzw. nicht erlaubt sind: - Anweisungen hintereinander schreiben - Trennsymbole benutzen (z. B. ein Komma) - Groß- / Kleinschreibung nicht beachten - Anweisungsbezeichner ändern oder trennen - ... LinksdrehenSchrittLinksDrehen, LinksDrehenHinlegen Ablegen Hin-legen... Programm (Algorithmus) Roboter(Prozessor)

15. Syntaxfehler Die Sprache, in der Algorithmen für einen „Prozessor“ formuliert werden, ist (normalerweise) genau festgelegt. Den Aufbau der in dieser Sprache korrekt formulierten „Programme“ wird durch sog. Syntaxregeln beschrieben. Verstößt man gegen eine dieser Syntaxregeln, so kommt es zu einem Syntaxfehler (Fehlermeldung z. B.: unbekannte Anweisung). LinksdrehenSchrittLinksDrehen, Links DrehenHinlegen AblegenHin-legen... Anweisungen (Programm) Roboter(Prozessor) Syntaxfehler

16. Logische Fehler Wenn das Programm nicht korrekt ist, dann liegt ein logischer Fehler vor. Beachte, dass man in der Regel in einem solchen Fall keine Fehlermeldung erhält. Logische Fehler kann man durch Austesten des Programms feststellen. Beabsichtigter Zielzustand LinksDrehenSchrittLinksDrehenLinksDrehenHinlegenHinlegenHinlegenLinksDrehenSchrittLinksDrehenLinksDrehen ... Ausgangs-zustand Tatsächlicher Zielzustand

17. Teil 2 Wiederholungen

18. Viel (zu viel) Schreibarbeit! Vorher: Karol steht in der Ausgangsposition. MarkeSetzenSchritt MarkeSetzenSchritt MarkeSetzenSchritt MarkeSetzenSchritt MarkeSetzenSchritt MarkeSetzenSchritt MarkeSetzenSchritt Sequenz: Folge von Anweisungen Nachher: Karol hat den Weg zur Wand markiert.

19. Algorithmus mit Wiederholung Vorher: Karol steht in der Ausgangsposition. Wiederhole 7 mal MarkeSetzen Schritt *wiederhole Wiederholungs-anweisung Nachher: Karol hat den Weg zur Wand markiert.

20. Wiederholung mit fester Anzahl Soll eine Sequenz (von Anweisungen) mehrfach ausgeführt werden, wobei die Anzahl der Wiederholungen von Anfang an feststeht, so benutzt man zur Beschreibung eine Wiederholung mit fester Anzahl. Wiederhole <n> mal <Sequenz>*wiederhole Allgemeines Schema Wiederhole 7 mal Schritt MarkeSetzen*wiederhole Beispiel Eine solche Wiederholung mit fester Anzahl kann als Einheit aufgefasst werden und bildet dann eine einzelne (strukturierte) Anweisung.

21. Schachtelung von Wiederholungen Vorher: Karol steht in der Ausgangsposition. wiederhole 4 mal MarkeSetzen Schritt *wiederholeLinksDrehenwiederhole 4 mal MarkeSetzen Schritt *wiederhole... wiederhole 4 mal wiederhole 4 mal MarkeSetzen Schritt *wiederhole LinksDrehen*wiederhole Nachher: Karol hat seine Welt umrundet und Markierungen hinterlegt.

22. Schachtelung von Wiederholungen Wiederholungsanweisungen kann man auch ineinander schachteln. Um einen besseren Überblick über die zusammengehörenden Anweisungen zu erhalten, sollte man sie systematisch einrücken (am besten 2 Anschläge). wiederhole 4 mal MarkeSetzen Schritt *wiederholeLinksDrehenwiederhole 4 mal MarkeSetzen Schritt *wiederhole... wiederhole 4 mal wiederhole 4 mal MarkeSetzen Schritt *wiederhole LinksDrehen*wiederhole Programm Struktogramm

23. Aufgabe Vorher: Karol steht in der Ausgangsposition in einer 10x10-Zellen-Welt. Nachher: Karol hat eine 6 Ziegel hohe Mauer gebaut.

24. Aufgabe Vorher: Karol steht in der Ausgangsposition in einer 10x10-Zellen-Welt. Nachher: Karol hat ein Schachbrettmuster gelegt. Zusatz: Etwas schwieriger ist das Problem, wenn der äußere „freie Rand“ nicht vorhanden ist.

25. Teil 3 Fallunterscheidungen

26. Situationsabhängiges Vorgehen Vorher: Karol steht vor einer Reihe mit Ziegeln. Schritt AufhebenSchrittMarkeSetzen Schritt Schritt AufhebenSchrittMarkeSetzen AufhebenSchrittMarkeSetzen Schritt Nachher: Karol steht am Ende der Reihe, hat alle Ziegel aufgesammelt und ihre Positionen markiert.

27. Fallunterscheidung wenn IstZiegel dannAufheben Schritt MarkeSetzensonstSchritt*wenn IstZiegel? (f)Schritt wahr falsch IstZiegel? IstZiegel? (w)AufhebenSchrittMarkeSetzen AufhebenSchrittMarkeSetzen Schritt

28. Algorithmus mit Fallunterscheidung Vorher: Karol steht vor einer Reihe mit Ziegeln. Wiederhole 7 mal wenn IstZiegel dannAufheben Schritt MarkeSetzen sonstSchritt *wenn*wiederhole Nachher: Karol steht am Ende der Reihe, hat alle Ziegel aufgesammelt und ihre Positionen markiert.

29. Aufgabe Vorher: Karol steht vor eine Reihe von Ziegeln. Nachher: Karol hat die Lücken in der Ziegelreihe geschlossen.

30. Aufgabe 3 Vorher: Karol steht vor eine Reihe, in der sich genau drei Quader befinden. Es sollen dabei keine zwei Quader nebeneinander stehen. Nachher: Karol hat die Quader auf seinem Weg nach Süden umlaufen.

31. Ein- / zweiseitige Fallunterscheidung ...wiederhole 9 malwenn NichtIstZiegel dann Hinlegen Schrittsonst Schritt*wenn*wiederhole... ...wiederhole 9 malwenn NichtIstZiegel dann Hinlegen*wenn Schritt*wiederhole... EinseitigeFallunter-scheidung ZweiseitigeFallunter-scheidung wahr falsch NichtIstZiegel? wahr falsch NichtIstZiegel? Hinlegen HinlegenSchritt Schritt Schritt

32. Darstellungen wenn NichtIstZiegel dann Hinlegen Schrittsonst Schritt*wenn wenn NichtIstZiegel dann Hinlegen*wennSchritt Programm FlussdiagrammProgrammablaufplan wahr falsch NichtIstZiegel? wahr falsch NichtIstZiegel? Hinlegen HinlegenSchritt Schritt Schritt Struktogramm

33. Teil 4 Wiederholungen mit Abbruchbedingungen

34. Wiederholung mit fester Anzahl Vorher: Karol steht in der Ausgangsposition. Dieses Programm ist nur dann korrekt, wenn die Welt genau 8 Felder lang ist. Bei beliebig großen Welten benötigt man Wiederholungsanweisungen mit nicht vorher feststehender Anzahl. Wiederhole 7 mal MarkeSetzen Schritt *wiederhole Nachher: Karol hat den Weg zur Wand markiert.

35. Bedingte Wiederholung Steuerung mit einer Wiederholungsanzahl Steuerung mit einer Abbruchbedingung Vorher: Karol steht in der Ausgangsposition. Wiederhole 7 mal MarkeSetzen Schritt *wiederhole solange NichtIstWand tueMarkeSetzen Schritt*solange Nachher: Karol hat den Weg zur Wand markiert.

36. Bedingte Wiederholung solange NichtIstWand tueMarkeSetzen Schritt*solange NichtIstWand ?MarkeSetzenSchritt ... falsch NichtIstWand? wahr MarkeSetzen ... Schritt NichtIstWand ?

37. Aufgabe 4 Teste die folgenden Varianten bedingter Wiederholungen (u. a. auch in einer 1x1-Felder-Welt). Welche Gemeinsamkeiten bzw. Unterschiede gibt es? solange NichtIstWand tueMarkeSetzen Schritt*solange wiederhole MarkeSetzen Schritt*wiederhole solange NichtIstWand wiederhole MarkeSetzen Schritt*wiederhole bis IstWand

38. Aufgabe 5 Verdeutliche die Ausführung der Programme jeweils mit einen Programmablaufplan. solange NichtIstWand tueMarkeSetzen Schritt*solange wiederhole MarkeSetzen Schritt*wiederhole bis IstWand

39. Aufgabe 6 Teste das folgende Programm. Erkläre das Verhalten. solange NichtIstMarke tue solange NichtIstWand tue Schritt *solange LinksDrehen LinksDrehen*solange

40. Varianten von Abbruchbedingungen solange NichtIstWand tueMarkeSetzen Schritt*solange wiederhole MarkeSetzen Schritt*wiederhole bis IstWand Eintrittsbedingung falsch MarkeSetzen NichtIstWand? wahr Schritt MarkeSetzen falsch IstWand? Schritt wahr Austrittsbedingung

41. Eintrittsbedingung / Austrittsbedingung Vorher: Karol steht in der Ausgangsposition. Vorher: Karol steht in der Ausgangsposition. solange NichtIstWand tueMarkeSetzen Schritt*solange wiederhole MarkeSetzen Schritt*wiederhole bis IstWand Nachher: Karol hat den Weg zur Wand markiert. Abbruch: Karol ist an die Wand gestoßen. Bei einer Wiederholung mit Austrittsbedingung wird die Sequenz (von Anweisungen) mindestens einmal ausgeführt, bei einer Wiederholung mit Eintrittsbedingung kann die Sequenz (von Anweisungen) auch überhaupt nicht ausgeführt werden.

42. Varianten von Austrittsbedingungen wiederhole MarkeSetzen Schritt*wiederhole bis IstWand wiederhole MarkeSetzen Schritt*wiederhole solange NichtIstWand MarkeSetzen MarkeSetzen Schritt Schritt falsch wahr IstWand? NichtIstWand? wahr falsch Bei einer Wiederholung mit Austrittsbedingung kann überprüft werden, ob die Austrittsbedingung erfüllt bzw. nicht erfüllt ist.

43. Endlosschleife solange NichtIstMarke tue solange NichtIstWand tue Schritt *solange LinksDrehen LinksDrehen*solange wiederhole immer solange NichtIstWand tue Schritt *solange LinksDrehen LinksDrehen*wiederhole Bei einer Wiederholung mit Abbruchbedingung kann es vorkommen, dass es zu keinem regulären Abbruch der Wiederholungen kommt. Karol gerät dann in eine Endlosschleife.

44. Aufgabe 7 Vorher: Karol steht in der Ausgangsposition in einer beliebig großen Welt. Nachher: Karol hat eine 6 Ziegel hohe Mauer gebaut.

45. Aufgabe 8 Vorher: Karol steht in der Ausgangsposition in einer beliebig großen Welt. Nachher: Karol hat eine 1 Ziegel hohe Mauer zur Begrenzung der Welt gebaut.

46. Aufgabe 9 Vorher: Karol steht in der Ausgangsposition. In der Welt ist eine geschlossene Bahn aus Ziegeln gelegt. Entwickle ein passendes Programm mit Hilfe geeigneter Entscheidungs- und Wiederholungsanweisungen. Nachher: Karol hat die Ziegelbahn umrundet und Markierungen hinterlegt.

47. Teil 5 Aufbau und Entwicklung von Algorithmen

48. Ein Komplexer Algorithmus Vorher: solange NichtIstMarke tueMarkeSetzen wenn IstZiegel dannSchritt sonstLinksDrehen wenn IstZiegel dannSchritt sonstRechtsDrehen RechtsDrehenSchritt *wenn *wenn*solange Nachher:

49. Strukturbetonte Darstellung Programm solange NichtIstMarke tueMarkeSetzen wenn IstZiegel dannSchritt sonstLinksDrehen wenn IstZiegel dannSchritt sonstRechtsDrehen RechtsDrehenSchritt *wenn *wenn*solange Struktogramm

50. Kontrollstrukturen Sequenz Fallunterscheidung Wiederholung Kontrollstrukturen dienen dazu, den Ablauf der Verarbeitung festzulegen.