arXiv++ Combinatorics

In 2003, Fischermann et al. considered the maximum size of \textit{uniquely-dominatable} graphs, graphs whose dominating number is realized only by a unique dominating set. They conjectured a size bound and provide a general graph construction that shows the bound is tight \cite{Original_Paper}. In 2010, Shank and Fraboni prove Fischermann's bound is true when $γ= 2$ \cite{Shank_paper}. In this paper, we observe how Fischermann's bound changes if we impart a different restriction on a graph -- bipartiteness. We conjecture a bound on the maximum number of edges possible for uniquely-dominatable bipartite graphs. We provide constructions to demonstrate this bound is tight. We prove our bipartite bound is true for the $γ= 2$ and $n = 3γ$ cases. We also discuss perfect domination and how it relates to our extremal graph constructions. We provide constructions that meet both Fischermann's bound for all graphs and our bound for bipartite graphs respectively, both of which are perfectly dominated.

Given a graph $G=(V,E)$, the dominating number of a graph is the minimum size of a vertex set, $V' \subseteq V$, so that every vertex in the graph is either in $V'$ or is adjacent to a vertex in $V'$. A Roman Dominating function of $G$ is defined as $f:V \rightarrow \{0,1,2\}$ such that every vertex with a label of 0 in $G$ is adjacent to a vertex with a label of 2. The Roman Dominating number of a graph is the minimum total weight over all possible Roman Dominating functions. We consider the $k$-attack Roman Domination, particularly focusing on 2-attack Roman Domination. A Roman Dominating function of $G$ is a $k$-attack Roman Dominating function of $G$ if for all $j\leq k$, any subset $S$ of $j$ vertices all with label 0 must have at least $j$ vertices with label 2 in the open neighborhood of $S$. The $k$-attack Roman Dominating number of $G, \gkaRD{G}$, is the minimum total weight over all possible $k$-attack Roman Dominating functions. We find $\gtaRD{G}$ for particular graph class, discuss properties of $k$-attack Roman Domination, and make several connections with other domination ideas.

In this paper, we extend the ideas of graph pebbling to oriented graphs and find a classification for all graphs with fully traversable pebbling assignments that are isomorphic to their assignment graph. We then give some cases in which a graph with a non-fully traversable pebbling assignment is isomorphic to its assignment graph.