arXiv++ Combinatorics

A graceful labeling of a graph $G$ with $m$ edges consists of labeling the vertices of $G$ with distinct integers from $0$ to $m$ such that, when each edge is assigned as induced label the absolute difference of the labels of its endpoints, all induced edge labels are distinct. Rosa established two well known conjectures: all trees are graceful (1966) and all triangular cacti are graceful (1988). In order to contribute to both conjectures we study graceful labelings in the context of graph games. The Graceful game was introduced by Tuza in 2017 as a two-players game on a connected graph in which the players Alice and Bob take turns labeling the vertices with distinct integers from 0 to $m$. Alice's goal is to gracefully label the graph as Bob's goal is to prevent it from happening. In this work, we study winning strategies for Alice and Bob in complete graphs, paths, cycles, complete bipartite graphs, caterpillars, prisms, wheels, helms, webs, gear graphs, hypercubes and some powers of paths.

For a set ${\cal F}$ of graphs, an instance of the ${\cal F}$-{\sc free Sandwich Problem} is a pair $(G_1,G_2)$ consisting of two graphs $G_1$ and $G_2$ with the same vertex set such that $G_1$ is a subgraph of $G_2$, and the task is to determine an ${\cal F}$-free graph $G$ containing $G_1$ and contained in $G_2$, or to decide that such a graph does not exist. Initially motivated by the graph sandwich problem for trivially perfect graphs, which are the $\{ P_4,C_4\}$-free graphs, we study the complexity of the ${\cal F}$-{\sc free Sandwich Problem} for sets ${\cal F}$ containing two non-isomorphic graphs of order four. We show that if ${\cal F}$ is one of the sets $\left\{ {\rm diamond},K_4\right\}$, $\left\{ {\rm diamond},C_4\right\}$, $\left\{ {\rm diamond},{\rm paw}\right\}$, $\left\{ K_4,\overline{K_4}\right\}$, $\left\{ P_4,C_4\right\}$, $\left\{ P_4,\overline{\rm claw}\right\}$, $\left\{ P_4,\overline{\rm paw}\right\}$, $\left\{ P_4,\overline{\rm diamond}\right\}$, $\left\{ {\rm paw},C_4\right\}$, $\left\{ {\rm paw},{\rm claw}\right\}$, $\left\{ {\rm paw},\overline{\rm claw}\right\}$, $\left\{ {\rm paw},\overline{\rm paw}\right\}$, $\left\{ C_4,\overline{C_4}\right\}$, $\left\{ {\rm claw},\overline{\rm claw}\right\}$, and $\left\{ {\rm claw},\overline{C_4}\right\}$, then the ${\cal F}$-{\sc free Sandwich Problem} can be solved in polynomial time, and, if ${\cal F}$ is one of the sets $\left\{ C_4,K_4\right\}$, $\left\{ {\rm paw},K_4\right\}$, $\left\{ {\rm paw},\overline{K_4}\right\}$, $\left\{ {\rm paw},\overline{C_4}\right\}$, $\left\{ {\rm diamond},\overline{C_4}\right\}$, $\left\{ {\rm paw},\overline{\rm diamond}\right\}$, and $\left\{ {\rm diamond},\overline{\rm diamond}\right\}$, then the decision version of the ${\cal F}$-{\sc free Sandwich Problem} is NP-complete.

For a graph $G$, let $γ_R(G)$ and $γ_{r2}(G)$ denote the Roman domination number of $G$ and the $2$-rainbow domination number of $G$, respectively. It is known that $γ_{r2}(G)\leq γ_R(G)\leq \frac{3}{2}γ_{r2}(G)$. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) present some kind of characterization of the graphs $G$ for which $γ_R(G)-γ_{r2}(G)=k$ for some integer $k$. Unfortunately, their result does not lead to an algorithm that allows to recognize these graphs efficiently. We show that for every fixed non-negative integer $k$, the recognition of the connected $K_4$-free graphs $G$ with $γ_R(G)-γ_{r2}(G)=k$ is NP-hard, which implies that there is most likely no good characterization of these graphs. We characterize the graphs $G$ such that $γ_{r2}(H)=γ_R(H)$ for every induced subgraph $H$ of $G$, and collect several properties of the graphs $G$ with $γ_R(G)=\frac{3}{2}γ_{r2}(G)$.

For a maximal outerplanar graph $G$ of order $n$ at least $3$, Matheson and Tarjan showed that $G$ has domination number at most $n/3$. Similarly, for a maximal outerplanar graph $G$ of order $n$ at least $5$, Dorfling, Hattingh, and Jonck showed, by a completely different approach, that $G$ has total domination number at most $2n/5$ unless $G$ is isomorphic to one of two exceptional graphs of order $12$. We present a unified proof of a common generalization of these two results. For every positive integer $k$, we specify a set ${\cal H}_k$ of graphs of order at least $4k+4$ and at most $4k^2-2k$ such that every maximal outerplanar graph $G$ of order $n$ at least $2k+1$ that does not belong to ${\cal H}_k$ has a dominating set $D$ of order at most $\lfloor\frac{kn}{2k+1}\rfloor$ such that every component of the subgraph $G[D]$ of $G$ induced by $D$ has order at least $k$.

For a graph $G$, let $γ_{r2}(G)$ and $γ_R(G)$ denote the $2$-rainbow domination number and the Roman domination number, respectively. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) proved $γ_{r2}(G)+γ_R(G)\leq \frac{6}{4}n(G)$ for a connected graph $G$ of order $n(G)$ at least $3$. Furthermore, they conjectured $γ_{r2}(G)+γ_R(G)\leq \frac{4}{3}n(G)$ for a connected graph $G$ of minimum degree at least $2$ that is distinct from $C_5$. We characterize all extremal graphs for their inequality and prove their conjecture.

Addressing a problem posed by Chellali, Haynes, and Hedetniemi (Discrete Appl. Math. 178 (2014) 27-32) we prove $γ_{r2}(G)\leq 2γ_r(G)$ for every graph $G$, where $γ_{r2}(G)$ and $γ_r(G)$ denote the $2$-rainbow domination number and the weak Roman domination number of $G$, respectively. We characterize the extremal graphs for this inequality that are $\{ K_4,K_4-e\}$-free, and show that the recognition of the $K_5$-free extremal graphs is NP-hard.

We provide a constructive characterization of the trees for which the Roman domination number strongly equals the weak Roman domination number, that is, for which every weak Roman dominating function of minimum weight is a Roman dominating function. Our characterization is based on five simple extension operations, and reveals several structural properties of these trees.