Alternierender Pfad

Ein alternierender Pfad ist ein Pfad P in G, der in einem
a∈A∖V(M) beginnt und immer abwechselnd eine Kante aus
E(G)∖M und eine Kante aus M benutzt.