- left
- right
- up
- down
Ein kompletter Beweis für einen Lösungsalgorithmus für Aufgabe 2 ist wohl sehr schwierig. Würde es ausreichen, wenn ich einen nicht formellen Beweis in die Dokumentation schreiben und dazu noch Verweise auf einige Dokumente geben würde, die einen kompletten Beweis enthalten?