Nein, die Definition ist einfach falsch, es muss nicht Abbildung V -> N sein, sondern natürlich V -> {1,...,|V|}.
Ich habe die Aufgabenblätter korrigiert und werde morgen vor der Vorlesung auf die Änderung hinweisen.
Danke für den Hinweis!
Zur 2a): Zur Verdeutlichung: Gemeint ist nicht "Zeigen Sie, daß es einen zyklischen Graphen gibt, für den keine topologische Sortierung existiert", sondern "Zeigen Sie, daß es keinen zyklischen Graphen gibt, für den eine topologische Sortierung existiert". Und das lässt sich nicht per Beispiel beweisen.
Grüße
Tobias Nopper
Grüße
Tobias Nopper
Lehrstuhl für Betriebssysteme