Ich kann Dein Resultat nicht bestätigen. Schon

zeigt, dass das nicht korrekt sein kann, denn S(1 | 1) soll Teil des Graphen sein.

Skizze meiner Lösung: