Matching Alternating Tree
# Definition
Suppose $G$ is an Undirected Graph and $M$ is a Matching on $G$. Suppose $(T, r)$ is a Rooted Tree Subgraph of $G$. Then $(T, r)$ is an $M$-Matching Alternating Tree if
- $r$ is exposed by $M$,
- $\forall v \in T$, the Path from $v$ to $r$ on $T$ is an $M$-alternating path.
# Remarks
- We have two special Sets $A(T)$ and $B(T)$ associated with an $M$-alternating tree defined as follows
- $A(T) = {v \in T : d(r, v) \text{ is odd}}$
- $B(T) = {v \in T : d(r, v) \text{ is even}}$
- $|B(T)| = |A(T)| + 1$ since every $v \in T \setminus {r}$ is $M$-Matching Covered, so we can pair up all vertices in $B(T)$ except $r$ with one in $A(T)$.
# Sources
- Cook - Combinatorial Optimization - Ch 5, Section 5.2, pg 135