arXiv++ Combinatorics

We study the $(a:b)$ Maker-Breaker subgraph game played on the edges of the complete graph $K_n$ on $n$ vertices, $n,a,b \in \mathbb{N}$ where the goal of Maker is to build a copy of a specific fixed subgraph $H$. In our work this is a spanning graph with minimum degree $k=k(n)$, a connected spanning subgraph or a Hamiltonian subgraph. In the $(a:b)$ game in each round Maker chooses $a$ unclaimed edges of $K_n$ and Breaker chooses $b$ unclaimed edges. Maker wins, if he succeeds to build a copy of the subgraph under consideration, otherwise Breaker wins. For the $k$-minimum-degree, we present a winning strategy for Maker leading to a bound that generalizes a bound of Gebauer and Szab{ó} for the $(1:b)$ case. Moreover, we give an explicit strategy for Breaker for $b >(1+o(1)) \frac{an}{a+\ln(n)}$ in case of $a=o\left(\sqrt{\frac{n}{\ln(n)}}\right)$ and $k=o(\ln(n))$. Note that this bound is the same as the Maker bound presented by Hefetz et al. (2012) for the $(a:b)$ connectivity game, which implies that the asymptotic optimal bias for this game is $\frac{an}{a+\ln(n)}$. This resolves the open problem stated by these authors. We also study the $(a:b)$ Hamiltonicity game in which Maker's goal is to create a Hamiltonian subgraph. For the $(1:b)$ variant Krivelevich proved that $\left(1+o(1) \right)\frac{n}{\ln n}$ is the exact threshold bias. Controlling Breaker's vertex degree in the $(a:b)$ Maker-Breaker minimum degree game enables us to the asymptotic optimal generalized threshold bias for the $(a:b)$-game, both for $a=o\left(\sqrt{\frac{n}{\ln n}} \right)$ and $a=Ω\left(\sqrt{\frac{n}{\ln n}} \right)$.

Let $\mathcal{H}=(V,\mathcal{E})$ be a hypergraph with maximum edge size $\ell$ and maximum degree $Δ$. For given numbers $b_v\in \mathbb{N}_{\geq 2}$, $v\in V$, a set multicover in $\mathcal{H}$ is a set of edges $C \subseteq \mathcal{E}$ such that every vertex $v$ in $V$ belongs to at least $b_v$ edges in $C$. Set multicover is the problem of finding a minimum-cardinality set multicover. Peleg, Schechtman and Wool conjectured that unless $\cal{P} =\cal{NP}$, for any fixed $Δ$ and $b:=\min_{v\in V}b_{v}$, no polynomial-time approximation algorithm for the Set multicover problem has an approximation ratio less than $δ:=Δ-b+1$. Hence, it's a challenge to know whether the problem of set multicover is not approximable within a ratio of $βδ$ with a constant $β<1$. This paper proposes a repeated randomized algorithm for the Set multicover problem combined with an initial deterministic threshold step. Boosting success by repeated trials, our algorithm yields an approximation ratio of $ \max\left\{ \frac{15}{16}δ, \left(1- \frac{(b-1)\exp\left(\frac{ 3δ+1}{8}\right)}{72 \ell} \right)δ\right\}$. The crucial fact is not only that our result improves over the approximation ratio presented by Srivastav et al (Algorithmica 2016) for any $δ\geq 13$, but it's more general since we set no restriction on the parameter $\ell$. Furthermore, we prove that it is NP-hard to approximate the Set multicover problem on $Δ$-regular hypergraphs within a factor of $(δ-1-ε)$. Moreover we show that the integrality gap for the Set multicover problem is at least $\frac{\ln_{2}(n+1)}{2b}$, which for constant $b$ is $Ω(\ln n )$.

Let $\mathcal{H}=(V,\mathcal{E})$ be a hypergraph with maximum edge size $\ell$ and maximum degree $Δ$. For given numbers $b_v\in \mathbb{N}_{\geq 2}$, $v\in V$, a set multicover in $\mathcal{H}$ is a set of edges $C \subseteq \mathcal{E}$ such that every vertex $v$ in $V$ belongs to at least $b_v$ edges in $C$. Set Multicover is the problem of finding a minimum-cardinality set multicover. Peleg, Schechtman and Wool conjectured that for any fixed $Δ$ and $b:=\min_{v\in V}b_{v}$, the problem of \sbmultcov is not approximable within a ratio less than $δ:=Δ-b+1$, unless $\mathcal{P} =\mathcal{NP}$. Hence it's a challenge to explore for which classes of hypergraph the conjecture doesn't hold. We present a polynomial time algorithm for the Set Multicover problem which combines a deterministic threshold algorithm with conditioned randomized rounding steps. Our algorithm yields an approximation ratio of $ \max\left\{ \frac{148}{149}δ, \left(1- \frac{ (b-1)e^{\fracδ{4}}}{94\ell} \right)δ\right\}$. Our result not only improves over the approximation ratio presented by Srivastav et al (Algorithmica 2016) but it's more general since we set no restriction on the parameter $\ell$. Moreover we present a further polynomial time algorithm with an approximation ratio of $\frac{5}{6}δ$ for hypergraphs with $\ell\leq (1+ε)\bar{\ell}$ for any fixed $ε\in [0,\frac{1}{2}]$, where $\bar{\ell}$ is the average edge size. The analysis of this algorithm relies on matching/covering duality due to Ray-Chaudhuri (1960), which we convert into an approximative form. The second performance disprove the conjecture of peleg et al for a large subclass of hypergraphs.