Edmonds's algorithm