Gerichtete Dichteste Teilgraphen: Semi-Streaming schließt die Approximationslücke zu ungerichteten Graphen vollständig 1. Oktober 2026