Consider a bipartite graph (does not have to be complete) $G$ with vertex parts $A$ and $B$ of equal size, where each vertex has a preference order on its neighbors. Show that each of $A$ and $B$ can be partitioned into two parts such that one consists of vertices that is contained in all stable matchings and the other consists of vertices that is never contained in any stable matching.
Proof) By definition, a matching $M$ is not a stable matching iff there exists $(u,v) \in M^c \cap E$ such that $u>_v M(v)$ and $v>_u M(u)$. A matching $M$ is a stable matching iff for all $(u,v) \in M^c \cap E$, $M(u) > _v u $ or $M(u) >_u v$. Let define $M(v)$ for a … Read more