arXiv++ Combinatorics

XOR-magic graph labelings form a special subclass of group distance magic labelings. A simple connected graph of order $2^n$ is called an open (respectively, closed) XOR-magic graph of power $n$ if its vertices can be labeled bijectively with vectors from $(\mathbb{Z}_2)^n$ such that the sum (over $(\mathbb{Z}_2)^n$) of labels in each open (respectively, closed) neighborhood of every vertex is equal to the zero vector. In one paper, Batal asked whether there exists any odd-regular open XOR-magic graph or any even-regular closed XOR-magic graph. In this paper, with partial help of MILP solver, we answer this question in the affirmative. More precisely, we prove that for every integer $n>3$, there exists an odd-regular open XOR-magic graph of power $n$ and an even-regular closed XOR-magic graph of power $n$. We also show some applications of the spectra of graphs for an open XOR-magic labeling.

An adjacent vertex distinguishing total $k$-coloring $f$ of a graph $G$ is a proper total $k$-coloring of $G$ such that no pair of adjacent vertices has the same color sets, where the color set at a vertex $v$, $C^G_f(v)$, is $\{f(v)\} \cup \{f(vu)|u \in V (G), vu \in E(G)\}$. In 2005 Zhang et al. posted the conjecture (AVDTCC) that every simple graph $G$ has adjacent vertex distinguishing total $(Δ(G)+3)$-coloring. In this paper we confirm the conjecture for many coronas, in particular for generalized, simple and $l$-coronas of graphs, not relating the results to particular graph classes.

A vertex cover of a graph $G = (V, E)$ is a set $X \subseteq V$ such that each edge of $G$ is incident to at least one vertex of $X$. A dominating set $D \subseteq V$ is a total dominating set of $G$ if the subgraph induced by $D$ has no isolated vertices. A $(γ_t-τ)$-set of $G$ is a minimum vertex cover which is also a minimum total dominating set. In this article we give a constructive characterization of trees having a $(γ_t-τ)$-set.

Let $D=(V,A)$ be a digraph. A subset $S$ of $V$ is called a twin dominating set of $D$ if for every vertex $v\in V-S$, there exists vertices $u_1,u_2 \in S$ such that $(v,u_1)$ and $(u_2,v)$ are arcs in $D$. The minimum cardinality of a twin dominating set in $D$ is called the twin domination number of $D$ and is denoted by $γ^{*}(D)$. The upper orientable twin domination number of a graph $G$ is $DOM^{*}(G)=\max\{ γ^{*}(D)|D \ \text{is an orientation of G} \}.$ It has been conjectured that for the complete graph $K_n$ with $n\geq 8$, $DOM^{*}(K_n)=\left\lceil \frac{n+1}{2}\right\rceil$. In this work we prove $DOM^{*}(K_8)= DOM^{*}(K_9)= 4$ and establish new upper bounds for $DOM^{*}(K_n)$, disproving the same above conjecture for all $n \geq 8$.

The minimum number of total independent partition sets of $V \cup E$ of a graph $G=(V,E)$ is called the \emph{total chromatic number} of $G$, denoted by $χ''(G)$. If the difference between cardinalities of any two total independent sets is at most one, then the minimum number of total independent partition sets of $V \cup E$ is called the \emph{equitable total chromatic number}, and is denoted by $χ''_=(G)$. In this paper we consider equitable total coloring of coronas of cubic graphs, $G \circ H$. It turns out that, independly on the values of equitable total chromatic number of factors $G$ and $H$, equitable total chromatic number of corona $G \circ H$ is equal to $Δ(G \circ H) +1$. Thereby, we confirm Total Coloring Conjecture (TCC), posed by Behzad in 1964, and Equitable Total Coloring Conjecture (ETCC), posed by Wang in 2002, for coronas of cubic graphs. As a direct consequence we get that all coronas of cubic graphs are of Type 1.

Let $e$ be an edge of a connected simple graph $G$. The graph obtained by removing (subdividing) an edge $e$ from $G$ is denoted by $G-e$ ($G_e$). As usual, $γ(G)$ denotes the domination number of $G$. We call $G$ an SR-graph if $γ(G-e) = γ(G_e)$ for any edge $e$ of $G$, and $G$ is an ASR-graph if $γ(G - e) \neq (G_e)$ for any edge $e$ of $G$. In this work we give several examples of SR and ASR-graphs. Also, we characterize SR-trees and show that ASR-graphs are $γ$-insensitive.

The domination multisubdivision number of a nonempty graph $G$ was defined as the minimum positive integer $k$ such that there exists an edge which must be subdivided $k$ times to increase the domination number of $G$. Similarly we define the total domination multisubdivision number msd$_{γ_t}(G)$ of a graph $G$ and we show that for any connected graph $G$ of order at least two, msd$_{γ_t}(G)\leq 3.$ We show that for trees the total domination multisubdivision number is equal to the known total domination subdivision number. We also determine the total domination multisubdivision number for some classes of graphs and characterize trees $T$ with msd$_{γ_t}(T)=1$.

A non-isolated vertex $x\in V(G)$ is called $C_{3}$-free if $x$ belongs to no triangle of $G$. In \cite{BMW} Burger, Mynhardt and Weakley introduced the idea of universal fixers. Let $G=(V,E)$ be a graph with $n$ vertices and $G'$ a copy of $G$. For a bijective function $π:V(G)\mapsto V (G')$, we define the prism $πG$ of $G$ as follows: $V(πG)=V(G)\cup V(G')$ and $E(πG)=E(G)\cup E(G')\cup M_π$, where $M_π=\{uπ(u): u\in V(G)\}$. Let $γ(G)$ be the domination number of $G$. If $γ(πG)=γ(G)$ for any bijective function $π$, then $G$ is called a universal fixer. In \cite{MX} it is conjectured that the only universal fixer is the edgeless graph $\bar{K_n}$. In this note, we prove that any graph $G$ with $C_3$-free vertices is not a universal fixer graph.