Teilgraph eines Graphen mit zusätzlicher Eigenschaft.

Eine kompakte Definition kann wie folgt gegeben werden: Ein alternierender Wurzelbaum bzgl. eines Matchings M mit der Wurzel u in einem GraphenG ist ein TeilgraphH von G, der ein Baum mit u ∈ E(H) ist, und in dem jede Ecke, die von u verschieden ist, mit der Ecke u durch einen (eindeutigen) alternierenden Weg bzgl. M verbunden ist.