Beispiel Spezifikation (statisch)

konfliktfreie Graphenfärbung

Fragen bei der Spezifikation:

• was ist ein Graph?
• was ist eine Färbung?
• wann ist diese konfliktfrei?