Ich habe mich jetzt für den Hash entschieden. Einerseits, weil die Knoten-IDs nicht immer fortlaufend sind, und auf der anderen Seite, weil ich so auch etwas anderes als Integer als Knoten-ID verwenden kann (z.B. komplexe Zustandsnamen, wie sie bei der Determinisierung entstehen). Dann kann ich das Knoten-Modell nämlich auch in den Algos selbst verwenden, in denen diese komplexen Zustandsnamen entstehen.

Vielen Dank für eure Antworten.