Heritability of Kőnig's Property from finite edge sets

Marc Kaufmann, Dominic van der Zypen

A hypergraph $H=(V,E)$ is said to have Kőnig's Property if there is a matching $M\subseteq E$ and $S\subseteq V$ such that $|S\cap e|=1$ for all $e\in M$, and $S$ is a vertex…