Edmonds–Gallai decomposition theorem