Alternierender Pfad

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