arXiv++ Combinatorics

Let $G$ be a graph and let $S\subseteq V(G)$. The set $S$ is a double outer-independent dominating set of $G$ if $|N[v]\cap D|\geq2$, for all $v\in V(G)$, and $V(G)\setminus S$ is independent. Similarly, $S$ is a $2$-outer-independent dominating set, if every vertex from $V(G)\setminus S$ has at least two neighbors in $S$ and $V(G)\setminus S$ is independent. Finally, $S$ is a total outer-independent dominating set if every vertex from $V(G)$ has a neighbor in $S$ and the complement of $S$ is an independent set. The double, total or $2$-outer-independent domination number of $G$ is the smallest possible cardinality of any double, total or $2$-outer-independent dominating set of $G$, respectively. In this paper, the $2$-outer-independent, the total outer-independent and the double outer-independent domination numbers of graphs are investigated. We prove some Nordhaus-Gaddum type inequalities, derive their computational complexity and present several bounds for them.

Let $G=(V,E)$ be a graph. A set of vertices $A$ is an incidence generator for $G$ if for any two distinct edges $e,f\in E(G)$ there exists a vertex from $A$ which is an endpoint of either $e$ or $f$. The smallest cardinality of an incidence generator for $G$ is called the incidence dimension and is denoted by $dim_I(G)$. A set of vertices $P$ is a 2-packing if the distance between any pair of distinct vertices from $P$ is greater than two. The largest cardinality of a 2-packing of $G$ is the packing number of $G$ and is denoted by $ρ(G)$. The incidence dimension of graphs is introduced and studied in this article, and we emphasize in the closed relationship between $dim_I(G)$ and $ρ(G)$. We first note that the complement of any 2-packing in a graph $G$ is always an incidence generator for $G$, and further show that either $dim_I(G)=ρ(G)$ or $dim_I(G)=ρ(G)-1$ for any graph $G$. In addition, we also prove that the problem of determining the incidence dimension of a graph is NP-complete, and present some bounds for it.

Let $G=(V, E)$ be a connected graph. Given a vertex $v\in V$ and an edge $e=uw\in E$, the distance between $v$ and $e$ is defined as $d_G(e,v)=\min\{d_G(u,v),d_G(w,v)\}$. A nonempty set $S\subset V$ is an edge metric generator for $G$ if for any two edges $e_1,e_2\in E$ there is a vertex $w\in S$ such that $d_G(w,e_1)\ne d_G(w,e_2)$. The minimum cardinality of any edge metric generator for a graph $G$ is the edge metric dimension of $G$. The edge metric dimension of the join, lexicographic and corona product of graphs is studied in this article.

A digraph $D$ is an efficient closed domination digraph if there exists a subset $S$ of $V(D)$ for which the closed out-neighborhoods centered in vertices of $S$ form a partition of $V(D)$. In this work we deal with efficient closed domination digraphs among several product of digraphs. We completely describe the efficient closed domination digraphs among lexicographic and strong products of digraphs. We characterize those direct products of digraphs that are efficient closed domination digraphs, where factors are either two cycles or two paths. Among Cartesian product of digraphs, we describe all such efficient closed domination digraphs such that they are a Cartesian product digraph either with a cycle or with a star.

We show that every nontrivial finite or infinite connected directed graph with loops and at least one vertex without a loop is uniquely representable as a Cartesian or weak Cartesian product of prime graphs. For finite graphs the factorization can be computed in linear time and space.

A graph is an efficient open (resp.\ closed) domination graph if there exists a subset of vertices whose open (resp.\ closed) neighborhoods partition its vertex set. Graphs that are efficient open as well as efficient closed (shortly EOCD graphs) are investigated. The structure of EOCD graphs with respect to their efficient open and efficient closed dominating sets is explained. It is shown that the decision problem regarding whether a graph is an EOCD graph is an NP-complete problem. A recursive description that constructs all EOCD trees is given and EOCD graphs are characterized among the Sierpiński graphs.

Let $G=(V,E)$ be a graph of order $n$. A closed distance magic labeling of $G$ is a bijection $\ell \colon V(G)\rightarrow \{1,\ldots ,n\}$ for which there exists a positive integer $k$ such that $\sum_{x\in N[v]}\ell (x)=k$ for all $v\in V $, where $N[v]$ is the closed neighborhood of $v$. We consider the closed distance magic graphs in the algebraic context. In particular we analyze the relations between the closed distance magic labelings and the spectra of graphs. These results are then applied to the strong product of graphs with complete graph or cycle and to the circulant graphs. We end with a number theoretic problem whose solution results in another family of closed distance magic graphs somewhat related to the strong product.

A graph is an efficient open domination graph if there exists a subset of vertices whose open neighborhoods partition its vertex set. We characterize those graphs $G$ for which the Cartesian product $G \Box H$ is an efficient open domination graph when $H$ is a complete graph of order at least 3 or a complete bipartite graph. The characterization is based on the existence of a certain type of weak partition of $V(G)$. For the class of trees when $H$ is complete of order at least 3, the characterization is constructive. In addition, a special type of efficient open domination graph is characterized among Cartesian products $G \Box H$ when $H$ is a 5-cycle or a 4-cycle.

Given a connected graph $G$, a vertex $w\in V(G)$ distinguishes two different vertices $u,v$ of $G$ if the distances between $w$ and $u$ and between $w$ and $v$ are different. Moreover, $w$ strongly resolves the pair $u,v$ if there exists some shortest $u-w$ path containing $v$ or some shortest $v-w$ path containing $u$. A set $W$ of vertices is a (strong) metric generator for $G$ if every pair of vertices of $G$ is (strongly resolved) distinguished by some vertex of $W$. The smallest cardinality of a (strong) metric generator for $G$ is called the (strong) metric dimension of $G$. In this article we study the (strong) metric dimension of some families of direct product graphs.

Closed monopolies in graphs have a quite long range of applications in several problems related to overcoming failures, since they frequently have some common approaches around the notion of majorities, for instance to consensus problems, diagnosis problems or voting systems. We introduce here open $k$-monopolies in graphs which are closely related to different parameters in graphs. Given a graph $G=(V,E)$ and $X\subseteq V$, if $δ_X(v)$ is the number of neighbors $v$ has in $X$, $k$ is an integer and $t$ is a positive integer, then we establish in this article a connection between the following three concepts: - Given a nonempty set $M\subseteq V$ a vertex $v$ of $G$ is said to be $k$-controlled by $M$ if $δ_M(v)\ge \frac{δ_V(v)}{2}+k$. The set $M$ is called an open $k$-monopoly for $G$ if it $k$-controls every vertex $v$ of $G$. - A function $f: V\rightarrow \{-1,1\}$ is called a signed total $t$-dominating function for $G$ if $f(N(v))=\sum_{v\in N(v)}f(v)\geq t$ for all $v\in V$. - A nonempty set $S\subseteq V$ is a global (defensive and offensive) $k$-alliance in $G$ if $δ_S(v)\ge δ_{V-S}(v)+k$ holds for every $v\in V$. In this article we prove that the problem of computing the minimum cardinality of an open $0$-monopoly in a graph is NP-complete even restricted to bipartite or chordal graphs. In addition we present some general bounds for the minimum cardinality of open $k$-monopolies and we derive some exact values.

A sequence is called non-repetitive if no of its subsequences forms a repetition (a sequence $r_1,r_2,\dots,r_{2n}$ such that $r_i=r_{n+i}$ for all $1\leq i \leq n$). Let $G$ be a graph whose vertices are coloured. A colouring $\varphi$ of the graph $G$ is non-repetitive if the sequence of colours on every path in $G$ is non-repetitive. The Thue chromatic number, denoted by $π(G)$, is the minimum number of colours of a non-repetitive colouring of $G$. In this short note we present a general upper bound for the Thue chromatic number for the lexicographic product $G\circ H$ of graphs $G$ and $H$ with respect to some properties of the factors. This upper bound is then used to derive the exact values for $π(G\circ H)$ when $G$ is a complete multipartite graph and $H$ is an arbitrary graph.

Let $G=(V,E)$ be a graph of order $n$. A distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow {1,...,n}$ for which there exists a positive integer $k$ such that $\sum_{x\in N(v)}\ell (x)=k$ for all $v\in V $, where $N(v)$ is the neighborhood of $v$. We introduce a natural subclass of distance magic graphs. For this class we show that it is closed for the direct product with regular graphs and closed as a second factor for lexicographic product with regular graphs. In addition, we characterize distance magic graphs among direct product of two cycles.