arXiv++ Combinatorics

We consider Cayley sum graphs over the cyclic group $\mathbb{Z}_n$ and aim to explore several necessary and sufficient conditions for the existence of total perfect codes in these graphs. Specifically, we examine various cases for the connection set of the graph including when it is periodic, aperiodic, or square-free. To this end, we utilize a correspondence that we first establish between total perfect codes and factorizations of groups, along with their algebraic properties. We then generalize some of these conditions to the direct product of cyclic groups, i.e. $\mathbb{Z}_{n_1} \times \dots \times \mathbb{Z}_{n_d}$.

Let $G=(V,E)$ be a graph. A subset $S \subseteq V$ is called a global dominating set of $G$, if it serves as a dominating set in both $G$ and its complement $\overline{G}$. We define two disjoint subsets $V_1,V_2 \subseteq V$ to form a global coalition if neither $V_1$ nor $V_2$ individually constitutes a global dominating set, yet their union $V_1 \cup V_2$ does. A global coalition partition (abbreviated as $gc$-partition) of $G$ is a vertex partition $π$ of $V(G)$ such that for every subset $V_i \in π$, there exists another subset $V_j \in π$ with which $V_i$ forms a global coalition. In this paper, we initiate the study of global coalition in graphs. Specifically, we prove that every graph admits a gc-partition. Additionally, we establish an upper bound on the number of global coalitions in which each member of a gc-partition can participate. We also explore the relationships between global coalition and coalition, as well as between global coalition and perfect coalition in graphs. Finally, we explore properties of $gc$-partitions in unicyclic graphs.

We establish a necessary and sufficient condition for a normal subgroup of a finite group to be a subgroup perfect code.

\noindent A perfect dominating set in a graph $G=(V,E)$ is a subset $S \subseteq V$ such that each vertex in $V \setminus S$ has exactly one neighbor in $S$. A perfect coalition in $G$ consists of two disjoint sets of vertices $V_i$ and $V_j$ such that i) neither $V_i$ nor $V_j$ is a dominating set, ii) each vertex in $V(G) \setminus V_i$ has at most one neighbor in $V_i$ and each vertex in $V(G) \setminus V_j$ has at most one neighbor in $V_j$, and iii) $V_i \cup V_j$ is a perfect dominating set. A perfect coalition partition (abbreviated $prc$-partition) in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that for each set $V_i$ of $π$ either $V_i$ is a singleton dominating set, or there exists a set $V_j \in π$ that forms a perfect coalition with $V_i$. In this paper, we initiate the study of perfect coalition partitions in graphs. We obtain a bound on the number of perfect coalitions involving each member of a perfect coalition partition, in terms of maximum degree. The perfect coalition of some special graphs are investigated. The graph $G$ with $δ(G)=1$, the triangle-free graphs $G$ with prefect coalition number of order of $G$ and the trees $T$ with prefect coalition number in $\{n,n-1,n-2\}$ where $n=|V(T)|$ are characterized.

An injective coloring of a given graph G = (V, E) is a vertex coloring of G such that any two vertices with common neighbor receive distinct colors. An e-injective coloring of a graph G is a vertex coloring of G such that any two vertices with common edge neighbor receive distinct colors; in the other words, if u and v are the end of a path P4 in a graph G, then they are assigned with different labels. With this new definition, we want to take a review at injective coloring of a graph from the new point of view. For this purpose, we will have a comparison between e-injective coloring with usual coloring, injective coloring, and 2-distance coloring. As well, we review the conjectures raised so far in the literature of injective coloring and 2-distance coloring, from the new approach, e-injective coloring. Finally, we precisely investigate the e-injective coloring of trees, join of two graphs, a family of standard graphs, grid graphs, cylinder graphs and tori graphs.

\noindent A paired coalition in a graph $G=(V,E)$ consists of two disjoint sets of vertices $V_1$ and $V_2$, neither of which is a paired dominating set but whose union $V_1 \cup V_2$ is a paired dominating set. A paired coalition partition (abbreviated $pc$-partition) in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that each set $V_i$ of $π$ is not a paired dominating set but forms a paired coalition with another set $V_j \in π$. The paired coalition graph $PCG(G,π) $ of the graph $G$ and the $pc$-partition $π$ of $G$, is the graph whose vertices correspond one-to-one with the sets of $π$, and two vertices $V_i$ and $V_j$ are adjacent in $PCG(G,π) $ if and only if their corresponding sets $V_i$ and $V_j$ form a paired coalition in $G$. In this paper, we initiate the study of paired coalition partitions and paired coalition graphs. In particular, we determine the paired coalition number of paths and cycles, obtain some results on paired coalition partitions in trees and characterize pair coalition graphs of paths, cycles and trees. We also characterize triangle-free graphs $G$ with $PC(G)=n$ and unicyclic graphs $G$ with $PC(G)=n-2$.

An independent coalition in a graph $G$ consists of two disjoint sets of vertices $V_1$ and $V_2$ neither of which is an independent dominating set but whose union $V_1 \cup V_2$ is an independent dominating set. An independent coalition partition, abbreviated, $ic$-partition, in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that each set $V_i$ of $π$ either is a singleton dominating set, or is not an independent dominating set but forms an independent coalition with another set $V_j \in π$. The maximum number of classes of an $ic$-partition of $G$ is the independent coalition number of $G$, denoted by $IC(G)$. In this paper we study the concept of $ic$-partition. In particular, we discuss the possibility of the existence of $ic$-partitions in graphs and introduce a family of graphs for which no $ic$-partition exists. We also determine the independent coalition number of some classes of graphs and investigate graphs $G$ of order $n$ with $IC(G)\in\{1,2,3,4,n\}$ and the trees $T$ of order $n$ with $IC(T)=n-1$.

An edge coalition in a graph $G=(V,E)$ consists of two disjoint sets of edges $E_1$ and $E_2$, neither of which is an edge dominating set but whose union $E_1\cup E_2$ is an edge dominating set. An edge coalition partition in a graph $G$ of order $n=|V|$ and size $m$ is an edge partition $π=\{E_1,\cdots,E_k\}$ so that every set $E_i$ of $π$ either is a singleton edge dominating set, or is not an edge dominating set but forms an edge coalition with another set $E_j$ which is not an edge dominating set. In this paper we introduce the concept of edge coalition and show that there exists edge coalition for some graphs and trees. The graphs $G$ with small and size number of edge coalition are characterized. Finally, coalition graphs of special graphs are studied.

Let $G$ be a simple graph of order $n$. A majority dominator coloring of a graph $G$ is proper coloring in which each vertex of the graph dominates at least half of one color class. The majority dominator chromatic number $χ_{md}(G)$ is the minimum number of color classes in a majority dominator coloring of $G$. In this paper we study properties of the majority dominator coloring of a graph. We obtain tight upper and lower bounds in terms of chromatic number, dominator chromatic number, maximum degree, domination and independence number. We also study majority dominator coloring number of selected families of graphs.

For any graph $G$ of order $n$ with degree sequence $d_{1}\geq\cdots\geq d_{n}$, we define the double Slater number $s\ell_{\times2}(G)$ as the smallest integer $t$ such that $t+d_{1}+\cdots+d_{t-e}\geq2n-p$ in which $e$ and $p$ are the number of end-vertices and penultimate vertices of $G$, respectively. We show that $γ_{\times2}(G)\geq s\ell_{\times2}(G)$, where $γ_{\times2}(G)$ is the well-known double domination number of a graph $G$ with no isolated vertices. We prove that the problem of deciding whether the equality holds for a given graph is NP-complete even when restricted to $4$-partite graphs. We also prove that the problem of computing $γ_{\times2}(G)$ in NP-hard even for comparability graphs of diameter two. Some results concerning these two parameters are given in this paper improving and generalizing some earlier results on double domination in graphs. We give an upper bound on the $k$-tuple domatic number of graphs with characterization of all graphs attaining the bound. Finally, we characterize the family of all full graphs, leading to a solution to an open problem given in a paper by Cockayne and Hedetniemi ($1977$).

We continue the study of restrained double Roman domination in graphs. For a graph $G=\big{(}V(G),E(G)\big{)}$, a double Roman dominating function $f$ is called a restrained double Roman dominating function (RDRD function) if the subgraph induced by $\{v\in V(G)\mid f(v)=0\}$ has no isolated vertices. The restrained double Roman domination number (RDRD number) $γ_{rdR}(G)$ is the minimum weight $\sum_{v\in V(G)}f(v)$ taken over all RDRD functions of $G$. We first prove that the problem of computing $γ_{rdR}$ is NP-hard even for planar graphs, but it is solvable in linear time when restricted to bounded clique-width graphs such as trees, cographs and distance-hereditary graphs. Relationships between $γ_{rdR}$ and some well-known parameters such as restrained domination number $γ_{r}$, domination number $γ$ and restrained Roman domination number $γ_{rR}$ are investigated in this paper by bounding $γ_{rdR}$ from below and above involving $γ_{r}$, $γ$ and $γ_{rR}$ for general graphs, respectively. We prove that $γ_{rdR}(T)\geq n+2$ for any tree $T\neq K_{1,n-1}$ of order $n\geq2$ and characterize the family of all trees attaining the lower bound. The characterization of graphs with small RDRD numbers is given in this paper.

For a graph G=(V,E), a restrained double Roman dominating function is a function f:V\rightarrow\{0,1,2,3\} having the property that if f(v)=0, then the vertex v must have at least two neighbors assigned 2 under f or one neighbor w with f(w)=3, and if f(v)=1, then the vertex v must have at least one neighbor w with f(w)\geq2, and at the same time, the subgraph G[V_0] which includes vertices with zero labels has no isolated vertex. The weight of a restrained double Roman dominating function f is the sum f(V)=\sum_{v\in V}f(v), and the minimum weight of a restrained double Roman dominating function on G is the restrained double Roman domination number of G. We initiate the study of restrained double Roman domination with proving that the problem of computing this parameter is NP-hard. Then we present an upper bound on the restrained double Roman domination number of a connected graph G in terms of the order of G and characterize the graphs attaining this bound. We study the restrained double Roman domination versus the restrained Roman domination. Finally, we characterized all trees T attaining the exhibited bound.

For a graph $G=(V(G),E(G))$, an Italian dominating function (ID function) $f:V(G)\rightarrow\{0,1,2\}$ has the property that for every vertex $v\in V(G)$ with $f(v)=0$, either $v$ is adjacent to a vertex assigned $2$ under $f$ or $v$ is adjacent to least two vertices assigned $1$ under $f$. The weight of an ID function is $\sum_{v\in V(G)}f(v)$. The Italian domination number is the minimum weight taken over all ID functions of $G$. In this paper, we initiate the study of a variant of ID functions. A restrained Italian dominating function (RID function) $f$ of $G$ is an ID function of $G$ for which the subgraph induced by $\{v\in V(G)\mid f(v)=0\}$ has no isolated vertices, and the restrained Italian domination number $γ_{rI}(G)$ is the minimum weight taken over all RID functions of $G$. We first prove that the problem of computing this parameter is NP-hard, even when restricted to bipartite graphs and chordal graphs as well as planar graphs with maximum degree five. We prove that $γ_{rI}(T)$ for a tree $T$ of order $n\geq3$ different from the double star $S_{2,2}$ can be bounded from below by $(n+3)/2$. Moreover, all extremal trees for this lower bound are characterized in this paper. We also give some sharp bounds on this parameter for general graphs and give the characterizations of graphs $G$ with small or large $γ_{rI}(G)$.

For a graph $G=(V(G),E(G))$, an Italian dominating function (ID function) of $G$ is a function $f:V(G)\rightarrow \{0,1,2\}$ such that for each vertex $v\in V(G)$ with $f(v)=0$, $f(N(v))\geq2$, that is, either there is a vertex $u \in N(v)$ with $f (u) = 2$ or there are two vertices $x,y\in N(v)$ with $f(x)=f(y)=1$. A function $f:V(G)\rightarrow \{0,1,2\}$ is a covering Italian dominating function (CID function) of $G$ if $f$ is an ID function and $\{v\in V(G)\mid f(v)\neq0\}$ is a vertex cover set. The covering Italian domination number (CID number) $γ_{cI}(G)$ is the minimum weight taken over all CID functions of $G$. In this paper, we study the CID number in graphs. We show that the problem of computing this parameter is NP-hard even when restricted to some well-known families of graphs, and find some bounds on this parameter. We characterize the family of graphs for which their CID numbers attain the upper bound twice their vertex cover number as well as all claw-free graphs whose CID numbers attain the lower bound half of their orders. We also give the characterizations of some families of graphs with small or large CID numbers.

Consider a simple graph $G$. We call a labeling $w:E(G)\cup V(G)\rightarrow \{1, 2, \dots, s\}$ (\textit{total vertex}) \textit{product-irregular}, if all product degrees $pd_G(v)$ induced by this labeling are distinct, where $pd_G(v)=w(v)\times\prod_{e\ni v}w(e)$. The strength of $w$ is $s$, the maximum number used to label the members of $E(G)\cup V(G)$. The minimum value of $s$ that allows some irregular labeling is called \textit{the total vertex product irregularity strength} and denoted $tvps(G)$. We provide some general bounds, as well as exact values for chosen families of graphs. Keywords: product-irregular labeling, total vertex product irregularity strength, vertex-distinguishing labeling.

A double Roman Dominating function on a graph $G$ is a function $ f:V\rightarrow \{0,1,2,3\}$ such that the following conditions hold. If $f(v)=0$, then vertex $v$ must have at least two neighbors in $V_2$ or one neighbor in $V_3$ and if $f(v)=1$, then vertex $v$ must have at least one neighbor in $V_2\bigcup V_3$. The weight of a double Roman dominating function is the sum $w_f=\sum_{v\in V(G)}{f(v)}$. In this paper, we improve the upper bounds of $γ_{dR}(G)$ that has already obtained and we show that $γ_{dR}(G)\leq\dfrac{12n}{11}$, for any graph with $δ(G) \ge 2$. This bound improve the bounds that have already been presented in \cite{chen} and \cite{kkcs}. Finally we prove the conjecture posed in \cite{kkcs}.

If $G$ is a graph, its Laplacian is the difference between diagonal matrix of its vertex degrees and its adjacency matrix. A one-edge connection of two graphs $G_{1}$ and $G_{2}$ is a graph $G=G_{1}\odot G_{2}$ with $V(G)=V(G_{1})\cup V(G_{2})$ and $E(G)= E(G_{1})\cup E(G_{2})\cup \{e=uv\}$ where $u\in V(G_1)$ and $v\in V(G_2)$. In this paper, we consider the eigenvector of unicycle graphs. We study the relationship between the Laplacian eigenvalue $2$ of unicyclic graphs $G_1$ and $G_2$; and bicyclic graphs $G=G_{1}\odot G_{2}$. We also characterize the broken sun graphs and the one edge connection of two broken sun graphs by their Laplacian eigenvalue $2$.

A subset $S$ of vertices of a digraph $D$ is a double dominating set (total $2$-dominating set) if every vertex not in $S$ is adjacent from at least two vertices in $S$, and every vertex in $S$ is adjacent from at least one vertex in $S$ (the subdigraph induced by $S$ has no isolated vertices). The double domination number (total $2$-domination number) of a digraph $D$ is the minimum cardinality of a double dominating set (total $2$-dominating set) in $D$. In this work, we investigate these concepts which can be considered as two extensions of double domination in graphs to digraphs, along with the concepts $2$-limited packing and total $2$-limited packing which have close relationships with the above-mentioned concepts.

In this paper, we initiate the study of global offensive $k$-alliances in digraphs. Given a digraph $D=(V(D),A(D))$, a global offensive $k$-alliance in a digraph $D$ is a subset $S\subseteq V(D)$ such that every vertex outside of $S$ has at least one in-neighbor from $S$ and also at least $k$ more in-neighbors from $S$ than from outside of $S$, by assuming $k$ is an integer lying between two minus the maximum in-degree of $D$ and the maximum in-degree of $D$. The global offensive $k$-alliance number $γ_{k}^{o}(D)$ is the minimum cardinality among all global offensive $k$-alliances in $D$. In this article we begin the study of the global offensive $k$-alliance number of digraphs. For instance, we prove that finding the global offensive $k$-alliance number of digraphs $D$ is an NP-hard problem for any value $k\in \{2-Δ^-(D),\dots,Δ^-(D)\}$ and that it remains NP-complete even when restricted to bipartite digraphs when we consider the non-negative values of $k$ given in the interval above. Based on these facts, lower bounds on $γ_{k}^{o}(D)$ with characterizations of all digraphs attaining the bounds are given in this work. We also bound this parameter for bipartite digraphs from above. For the particular case $k=1$, an immediate result from the definition shows that $γ(D)\leq γ_{1}^{o}(D)$ for all digraphs $D$, in which $γ(D)$ stands for the domination number of $D$. We show that these two digraph parameters are the same for some infinite families of digraphs like rooted trees and contrafunctional digraphs. Moreover, we show that the difference between $γ_{1}^{o}(D)$ and $γ(D)$ can be arbitrary large for directed trees and connected functional digraphs.

An independent double Roman dominating function (IDRDF) on a graph $G=(V,E)$ is a function $f:V(G)\rightarrow \{0,1,2,3\}$ having the property that if $f(v)=0$, then the vertex $v$ has at least two neighbors assigned $2$ under $f$ or one neighbor $w$ with assigned $3$ under $f$, and if $f(v)=1$, then there exists $w\in N(v)$ with $f(w)\geq2$ such that the positive weight vertices are independent. The weight of an IDRDF is the value $\sum_{u\in V}f(u)$. The independent double Roman domination number $i_{dR}(G)$ of a graph $G$ is the minimum weight of an IDRDF on G. We initiate the study of the independent double Roman domination and show its relationships to both independent domination number (IDN) and independent Roman $\{2\}$-domination number (IR2DN). We present several sharp bounds on the IDRDN of a graph $G$ in terms of the order of $G$, maximum degree and the minimum size of edge cover. Finally, we show that, any ordered pair $(a,b)$ is realizable as the IDN and IDRDN of some non-trivial tree if and only if $2a + 1 \le b \le 3a$.