Algoritmo di Cheriyan–Mehlhorn/Gabow