Wie groß ist dieser Zustandsraum ? ( c ) Wie ko ̈ nnte man eine Nachfolger-Funktion des Suchproblems aus ( b ) implementieren, welche eine Ecke als Input bekommt und eine Menge von Ecken zuru ̈ ckliefert, die durch ein Liniensegment erreicht werden ko ̈ nnen ?
Geben Sie eine kurze Erklärung zu den benötigten Schritten in Text oder Pseudocode an.
Abbildung 1:
ais.informatik.uni-freiburg.deHow large is this state space ? ( c ) How would you implement a successor function that takes a vertex as input and returns the set of vertices that can be reached in a straight line from the given vertex ?
Give a short explanation of the steps needed in either text or pseudo code.
Figure 1:
ais.informatik.uni-freiburg.deFalls ein solches Theorem nicht beweisbar ist, kann das auf einen Fehler bei den Systemanforderungen oder ihrer Formalisierung bzw. einen Fehler bei der Formalisierung der Systemeigenschaft hinweisen.
Darüber hinaus erlaubt Theorem Proving Nachweise von Systemeigenschaften auf der Pseudocode-Ebene, wobei die sog.
www11.informatik.uni-erlangen.deIf the theorem envisaged cannot be proven this may be due to incorrect system requirements or to their incorrect formalisation.
Furthermore, Theorem Proving supports the proof of system properties at the level of (pseudo-)code by use of Hoare-Logic.
www11.informatik.uni-erlangen.deDeine Lösung wird zur Bewertung auf Korrektheit und Vollständigkeit überprüft.
Für die volle Punktzahl sind Quelltext ( das kann auch Pseudocode sein ) und eine Beschreibung der optimalen Lösung, ein « Korrektheitsbeweis » sowie eine Abschätzung der Zeit- und Speicherkomplexität nötig.
Weitere Informationen zu diesen Punkten findest du in den oben verlinkten HowTo Dateien.
www.soi.chYour solution will be checked for correctness and completeness.
For full score, we expect source code ( which can also be pseudo code ) and a description of the optimal solution, a « proof » of correctness as well as an estimation of time and memory complexity.
Further information to those concepts can be found in the above howto files.
www.soi.chWould you like to add some words, phrases or translations?
Submit a new entry.