Hallo! Bist Du sicher, dass die Definition der starken Zusammenhangskomponenten wirklich einschliesst, dass kein Knoten aus VK Vorgänger oder Nachfolger eines Knotens aus V\VK sein darf? Ich habe diese Einschränkung bei keiner anderen Definition von SZK gefunden und IMHO würde das doch bedeuten, dass entweder der ganze Graph stark zusammenhängend ist oder der Graph (nur) aus mehreren überhaupt nicht zusammenhängenden SZK besteht? -- thth 12:33, 11. Mai 2006 (CEST)