Extremal hypergraphs for matching number and domination number
A matching in a hypergraph $\mathcal{H}$ is a set of pairwise disjoint hyperedges. The matching number $ν(\mathcal{H})$ of $\mathcal{H}$ is the size of a maximum matching in $\mathcal{H}$. A subset $D$ of vertices of $\mathcal{H}$ is a dominating set of $\mathcal{H}$ if for every $v\in V\setminus D$ there exists $u\in D$ such that $u$ and $v$ lie in an hyperedge of $\mathcal{H}$. The cardinality of a minimum dominating set of $\mathcal{H}$ is the domination number of $\mathcal{H}$, denoted by $γ(\mathcal{H})$. It was proved that $γ(\mathcal{H})\leq (r-1)ν(\mathcal{H})$ for $r$-uniform hypergraphs and the 2-uniform hypergraphs (graphs) achieving equality $γ(\mathcal{H})=ν(\mathcal{H})$ have been characterized. In this paper we generalize the inequality $γ(\mathcal{H})\leq (r-1)ν(\mathcal{H})$ to arbitrary hypergraph of rank $r$ and we completely characterize the extremal hypergraphs $\mathcal{H}$ of rank $3$ achieving equality $γ(\mathcal{H})=(r-1)ν(\mathcal{H})$.