Domination and matching in power and generalized power hypergraphs
Yanxia Dong,Moo Young Sohn,Zuosong Liang
DOI: https://doi.org/10.1007/s10878-019-00481-3
2019-11-16
Journal of Combinatorial Optimization
Abstract:Let D be a subset of vertices of a hypergraph ({mathcal {H}}). D is called a dominating set of ({mathcal {H}}) if for every (vin V{setminus } D) there exists (uin D) such that u and v lie in an hyperedge of ({mathcal {H}}). The cardinality of a minimum dominating set of ({mathcal {H}}) is called the domination number of ({mathcal {H}}), denoted by (gamma ({mathcal {H}})). A matching in a hypergraph ({mathcal {H}}) is a set of pairwise disjoint hyperedges. The matching number (
u ({mathcal {H}})) of ({mathcal {H}}) is the size of a maximum matching in ({mathcal {H}}). It is known that (gamma ({mathcal {H}})le (r-1)
u ({mathcal {H}})) for any r-uniform hypergraph ({mathcal {H}}). In this paper we investigate the relation between the domination number and matching number for some special hypergraphs. First, we prove that every power hypergraph H of rank r satisfies the inequality (
u (H)le gamma (H)le 2
u (H)), and we provide the complete characterizations of the power hypergraph H of rank r with (gamma (H)=
u (H)) and (gamma (H)=2
u (H)). Then we extend the corresponding results to generalized power hypergraphs. For any generalized power hypergraph (H^{k,s}), we present (
u (H^{k,s})le gamma (H^{k,s})le 2
u (H^{k,s})) for (1le s< frac{k}{2}) and (gamma (H^{k,s})le
u (H^{k,s})) for (s= frac{k}{2}). Furthermore, we completely characterize the extremal generalized power hypergraph (H^{k,s}) with (gamma (H^{k,s})=
u (H^{k,s})) and (gamma (H^{k,s})= 2
u (H^{k,s})).
mathematics, applied,computer science, interdisciplinary applications