Algorithmische Erweiterungen von Diracs Theorem

Für jeden 2-zusammenhängenden Graphen G mit Knotenmenge B und jedes k ≥ 0 kann in Zeit 2O(k+|B|) · nO(1) entschieden werden, ob G einen Zyklus der Länge mindestens min{2δ(G −B), |V (G)| −|B|} + k enthält.