arXiv++ Combinatorics

Let $G$ be a simple graph with vertex set $V(G)$. A subset $S$ of $V(G)$ is independent if no two vertices from $S$ are adjacent. The graph $G$ is known to be a Konig-Egervary (KE in short) graph if $α(G) + μ(G)= |V(G)|$, where $α(G)$ denotes the size of a maximum independent set and $μ(G)$ is the cardinality of a maximum matching. Let $Ω(G)$ denote the family of all maximum independent sets. A collection $F$ of sets is an hke collection if $|\bigcup Γ|+|\bigcap Γ|=2α$ holds for every subcollection $Γ$ of $F$. We characterize an hke collection and invoke new characterizations of a KE graph. We prove the existence and uniqueness of a graph $G$ such that $Ω(G)$ is a maximal hke collection. It is a bipartite graph. As a result, we solve a problem of Jarden, Levit and Mandrescu \cite{jlm}, proving that $F$ is an hke collection if and only if it is a subset of $Ω(G)$ for some graph $G$ and $|\bigcup F|+|\bigcap F|=2α(F)$. Finally, we show that the maximal cardinality of an hke collection $F$ with $α(F)=α$ and $|\bigcup F|=n$ is $2^{n-α}$.