arXiv++ Combinatorics

The general position number ${\rm gp}(G)$ of a graph $G$ is the cardinality of a largest set of vertices $S$ such that no element of $S$ lies on a geodesic between two other elements of $S$. The complementary prism $G\overline{G}$ of $G$ is the graph formed from the disjoint union of $G$ and its complement $\overline{G}$ by adding the edges of a perfect matching between them. It is proved that ${\rm gp}(G\overline{G})\le n(G) + 1$ if $G$ is connected and ${\rm gp}(G\overline{G})\le n(G)$ if $G$ is disconnected. Graphs $G$ for which ${\rm gp}(G\overline{G}) = n(G) + 1$ holds, provided that both $G$ and $\overline{G}$ are connected, are characterized. A sharp lower bound on ${\rm gp}(G\overline{G})$ is proved. If $G$ is a connected bipartite graph or a split graph then ${\rm gp}(G\overline{G})\in \{n(G), n(G)+1\}$. Connected bipartite graphs and block graphs for which ${\rm gp}(G\overline{G})=n(G)+1$ holds are characterized. A family of block graphs is constructed in which the ${\rm gp}$-number of their complementary prisms is arbitrary smaller than their order.

The first and the second Zagreb eccentricity index of a graph $G$ are defined as $E_1(G)=\sum_{v\in V(G)}\varepsilon_{G}(v)^{2}$ and $E_2(G)=\sum_{uv\in E(G)}\varepsilon_{G}(u)\varepsilon_{G}(v)$, respectively, where $\varepsilon_G(v)$ is the eccentricity of a vertex $v$. In this paper the invariants $E_1$, $E_2$, and the Wiener index are compared on graphs with diameter $2$, on trees, on a newly introduced class of universally diametrical graphs, and on Cartesian product graphs. In particular, if the diameter of a tree $T$ is not too big, then $W(T) \ge E_2(T)$ holds, and if the diameter of $T$ is large, then $W(T) < E_1(T)$ holds.

The Z-domination game is a variant of the domination game in which each newly selected vertex $u$ in the game must have a not yet dominated neighbor, but after the move all vertices from the closed neighborhood of $u$ are declared to be dominated. The Z-domination game is the fastest among the five natural domination games. The corresponding game Z-domination number of a graph $G$ is denoted by $γ_{Zg}(G)$. It is proved that the game domination number and the game total domination number of a graph can be expressed as the game Z-domination number of appropriate lexicographic products. Graphs with a Z-insensitive property are introduced and it is proved that if $G$ is Z-insensitive, then $γ_{Zg}(G)$ is equal to the game domination number of $G$. Weakly claw-free graphs are defined and proved to be Z-insensitive. As a consequence, $γ_{Zg}(P_n)$ is determined, thus sharpening an earlier related approximate result. It is proved that if $γ_{Zg}(G)$ is an even number, then $γ_{Zg}(G)$ is strictly smaller than the game L-domination number. On the other hand, families of graphs are constructed for which all five game domination numbers coincide. Graphs $G$ with $γ_{Zg}(G) = γ(G)$ are also considered and computational results which compare the studied invariants in the class of trees on at most $16$ vertices reported.

A graph $G$ is $\ell$-distance-balanced if for each pair of vertices $x$ and $y$ at distance $\ell$ in $G$, the number of vertices closer to $x$ than to $y$ is equal to the number of vertices closer to $y$ than to $x$. A complete characterization of $\ell$-distance-balanced corona products is given and a characterization of lexicographic products for $\ell \ge 3$, thus complementing known results for $\ell\in \{1,2\}$ and correcting an earlier related assertion. A sufficient condition on $H$ which guarantees that $K_n \,\square\, H$ is $\ell$-distance-balanced is given and it is proved that if $K_n \,\square\, H$ is $\ell$-distance-balanced, then $H$ is an $\ell$-distance-balanced graph. A known characterization of $1$-distance-balanced graphs is extended to $\ell$-distance-balanced graphs, again correcting an earlier claimed assertion.

Let $γ_g(G)$ and $γ_{tg}(G)$ be the game domination number and the total game domination number of a graph $G$, respectively. Then $G$ is $γ_g$-perfect (resp. $γ_{tg}$-perfect), if every induced subgraph $F$ of $G$ satisfies $γ_g(F)=γ(F)$ (resp. $γ_{tg}(F)=γ_t(F)$). A recursive characterization of $γ_g$-perfect graphs is derived. The characterization yields a polynomial recognition algorithm for $γ_g$-perfect graphs. It is proved that every minimally $γ_g$-imperfect graph has domination number $2$. All minimally $γ_g$-imperfect triangle-free graphs are determined. It is also proved that $γ_{tg}$-perfect graphs are precisely $\overline{2P_3}$-free cographs.

The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three distinct vertices from $S$ lie on a common geodesic; such sets are refereed to as gp-sets of $G$. The general position number of cylinders $P_r\,\square\, C_s$ is deduced. It is proved that ${\rm gp}(C_r\,\square\, C_s)\in \{6,7\}$ whenever $r\ge s \ge 3$, $s\ne 4$, and $r\ge 6$. A probabilistic lower bound on the general position number of Cartesian graph powers is achieved. Along the way a formula for the number of gp-sets in $P_r\,\square\, P_s$, where $r,s\ge 2$, is also determined.

It was recently pointed out that certain SiO$_2$ layer structures and SiO$_2$ nanotubes can be described as full subdivisions aka subdivision graphs of partial cubes. A key tool for analyzing distance-based topological indices in molecular graphs is the Djoković-Winkler relation $Θ$ and its transitive closure $Θ^\ast$. In this paper we study the behavior of $Θ$ and $Θ^\ast$ with respect to full subdivisions. We apply our results to describe $Θ^\ast$ in full subdivisions of fullerenes, plane triangulations, and chordal graphs.

The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three pairwise distinct vertices from $S$ lie on a common geodesic. It is proved that ${\rm gp}(G)\ge ω(G_{\rm SR}$, where $G_{\rm SR}$ is the strong resolving graph of $G$, and $ω(G_{\rm SR})$ is its clique number. That the bound is sharp is demonstrated with numerous constructions including for instance direct products of complete graphs and different families of strong products, of generalized lexicographic products, and of rooted product graphs. For the strong product it is proved that $gp(G\boxtimes H) \ge gp(G)gp(H)$, and asked whether the equality holds for arbitrary connected graphs $G$ and $H$. It is proved that the answer is in particular positive for strong products with a complete factor, for strong products of complete bipartite graphs, and for certain strong cylinders.

The chromatic edge-stability number ${\rm es}_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph $G'$ with $χ(G')=χ(G)-1$. Edge-stability critical graphs are introduced as the graphs $G$ with the property that ${\rm es}_χ(G-e) < {\rm es}_χ(G)$ holds for every edge $e\in E(G)$. If $G$ is an edge-stability critical graph with $χ(G)=k$ and ${\rm es}_χ(G)=\ell$, then $G$ is $(k,\ell)$-critical. Graphs which are $(3,2)$-critical and contain at most four odd cycles are classified. It is also proved that the problem of deciding whether a graph $G$ has $χ(G)=k$ and is critical for the chromatic number can be reduced in polynomial time to the problem of deciding whether a graph is $(k,2)$-critical.

The transmission of a vertex $v$ of a graph $G$ is the sum of distances from $v$ to all the other vertices in $G$. The Wiener complexity of $G$ is the number of different transmissions of its vertices. Similarly, the eccentric complexity of $G$ is defined as the number of different eccentricities of its vertices. In this paper these two complexities are compared. The complexities are first studied on Cartesian product graphs. Transmission indivisible graphs and arithmetic transmission graphs are introduced to demonstrate sharpness of upper and lower bounds on the Wiener complexity, respectively. It is shown that for almost all graphs the Wiener complexity is not smaller than the eccentric complexity. This property is proved for trees, the equality holding precisely for center-regular trees. Several families of graphs in which the complexities are equal are constructed. Using the Cartesian product, it is proved that the eccentric complexity can be arbitrarily larger than the Wiener complexity. Additional infinite families of graphs with this property are constructed by amalgamating universally diametrical graphs with center-regular trees.

The $2$-domination number $γ_2(G)$ of a graph $G$ is the minimum cardinality of a set $S\subseteq V(G)$ such that every vertex from $V(G)\setminus S$ is adjacent to at least two vertices in $S$. The annihilation number $a(G)$ is the largest integer $k$ such that the sum of the first $k$ terms of the non-decreasing degree sequence of $G$ is at most the number of its edges. It was conjectured that $γ_2(G) \leq a(G) +1$ holds for every connected graph $G$. The conjecture was earlier confirmed, in particular, for graphs of minimum degree $3$, for trees, and for block graphs. In this paper, we disprove the conjecture by proving that the $2$-domination number can be arbitrarily larger than the annihilation number. On the positive side we prove the conjectured bound for a large subclass of bipartite, connected cacti, thus generalizing a result of Jakovac from [Discrete Appl.\ Math.\ 260 (2019) 178--187].

If $\ell: V(G)\rightarrow {\mathbb N}$ is a vertex labeling of a graph $G = (V(G), E(G))$, then the $d$-lucky sum of a vertex $u\in V(G)$ is $d_\ell(u) = d_G(u) + \sum_{v\in N(u)}\ell(v)$. The labeling $\ell$ is a $d$-lucky labeling if $d_\ell(u)\neq d_\ell(v)$ for every $uv\in E(G)$. The $d$-lucky number $η_{dl}(G)$ of $G$ is the least positive integer $k$ such that $G$ has a $d$-lucky labeling $V(G)\rightarrow [k]$. A general lower bound on the $d$-lucky number of a graph in terms of its clique number and related degree invariants is proved. The bound is sharp as demonstrated with an infinite family of corona graphs. The $d$-lucky number is also determined for the so-called $G_{n,m}$-web graphs and graphs obtained by attaching the same number of pendant vertices to the vertices of a generalized cocktail-party graph.

A vertex subset $S$ of a graph $G$ is a general position set of $G$ if no vertex of $S$ lies on a geodesic between two other vertices of $S$. The cardinality of a largest general position set of $G$ is the general position number (gp-number) ${\rm gp}(G)$ of $G$. The gp-number is determined for some families of Kneser graphs, in particular for $K(n,2)$ and $K(n,3)$. A sharp lower bound on the gp-number is proved for Cartesian products of graphs. The gp-number is also determined for joins of graphs, coronas over graphs, and line graphs of complete graphs.

Let $G$ be a graph and $S\subseteq V(G)$. If every two adjacent vertices of $G$ have different metric $S$-representations, then $S$ is a local metric generator for $G$. A local metric generator of smallest order is a local metric basis for $G$, its order is the local metric dimension of $G$. Lower and upper bounds on the local metric dimension of the generalized hierarchical product are proved and demonstrated to be sharp. The results are applied to determine or bound the dimension of several graphs of importance in mathematical chemistry. Using the dimension, a new model for assigning codes to customers in delivery services is proposed.

Maker-Breaker total domination game in graphs is introduced as a natural counterpart to the Maker-Breaker domination game recently studied by Duchêne, Gledel, Parreau, and Renault. Both games are instances of the combinatorial Maker-Breaker games. The Maker-Breaker total domination game is played on a graph $G$ by two players who alternately take turns choosing vertices of $G$. The first player, Dominator, selects a vertex in order to totally dominate $G$ while the other player, Staller, forbids a vertex to Dominator in order to prevent him to reach his goal. It is shown that there are infinitely many connected cubic graphs in which Staller wins and that no minimum degree condition is sufficient to guarantee that Dominator wins when Staller starts the game. An amalgamation lemma is established and used to determine the outcome of the game played on grids. Cacti are also classified with respect to the outcome of the game. A connection between the game and hypergraphs is established. It is proved that the game is PSPACE-complete on split and bipartite graphs. Several problems and questions are also posed.

A vertex subset $S$ of a graph $G$ is a general position set of $G$ if no vertex of $S$ lies on a geodesic between two other vertices of $S$. The cardinality of a largest general position set of $G$ is the general position number ${\rm gp}(G)$ of $G$. It is proved that $S\subseteq V(G)$ is in general position if and only if the components of $G[S]$ are complete subgraphs, the vertices of which form an in-transitive, distance-constant partition of $S$. If ${\rm diam}(G) = 2$, then ${\rm gp}(G)$ is the maximum of $ω(G)$ and the maximum order of an induced complete multipartite subgraph of the complement of $G$. As a consequence, ${\rm gp}(G)$ of a cograph $G$ can be determined in polynomial time. If $G$ is bipartite, then ${\rm gp}(G) \leq α(G)$ with equality if ${\rm diam}(G) \in \{2,3\}$. A formula for the general position number of the complement of an arbitrary bipartite graph is deduced and simplified for the complements of trees, of grids, and of hypercubes.

If $G=(V_G, E_G)$ is a graph, then $S\subseteq V_G$ is a global defensive $k$-alliance in $G$ if (i) each vertex not in $S$ has a neighbor in $S$ and (ii) each vertex of $S$ has at least $k$ more neighbors inside $S$ than outside of it. The global defensive $k$-alliance number of $G$ is the minimum cardinality among all global defensive $k$-alliance in $G$. In this paper this concept is studied on the generalized hierarchical, the lexicographic, the corona, and the edge corona product. For all of these products upper bounds expressed with related invariants of the factors are given. Sharpness of the bounds are also discussed.

Given a graph $G$, the exact distance-$p$ graph $G^{[\natural p]}$ has $V(G)$ as its vertex set, and two vertices are adjacent whenever the distance between them in $G$ equals $p$. We present formulas describing the structure of exact distance-$p$ graphs of the Cartesian, the strong, and the lexicographic product. We prove such formulas for the exact distance-$2$ graphs of direct products of graphs. We also consider infinite grids and some other product structures. We characterize the products of graphs of which exact distance graphs are connected. The exact distance-$p$ graphs of hypercubes $Q_n$ are also studied. As these graphs contain generalized Johnson graphs as induced subgraphs, we use some known and find some new constructions of their colorings. These constructions are applied for colorings of the exact distance-$p$ graphs of hypercubes with the focus on the chromatic number of $Q_{n}^{[\natural p]}$ for $p\in \{n-2,n-3,n-4\}$.

The Maker-Breaker domination game is played on a graph $G$ by Dominator and Staller. The players alternatively select a vertex of $G$ that was not yet chosen in the course of the game. Dominator wins if at some point the vertices he has chosen form a dominating set. Staller wins if Dominator cannot form a dominating set. In this paper we introduce the Maker-Breaker domination number $γ_{\rm MB}(G)$ of $G$ as the minimum number of moves of Dominator to win the game provided that he has a winning strategy and is the first to play. If Staller plays first, then the corresponding invariant is denoted $γ_{\rm MB}'(G)$. Comparing the two invariants it turns out that they behave much differently than the related game domination numbers. The invariant $γ_{\rm MB}(G)$ is also compared with the domination number. Using the Erdős-Selfridge Criterion a large class of graphs $G$ is found for which $γ_{\rm MB}(G) > γ(G)$ holds. Residual graphs are introduced and used to bound/determine $γ_{\rm MB}(G)$ and $γ_{\rm MB}'(G)$. Using residual graphs, $γ_{\rm MB}(T)$ and $γ_{\rm MB}'(T)$ are determined for an arbitrary tree. The invariants are also obtained for cycles and bounded for union of graphs. A list of open problems and directions for further investigations is given.

The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in [k]$, where vertices in $V_i$ are pairwise at distance at least $i+1$. Packing chromatic vertex-critical graphs, $χ_ρ$-critical for short, are introduced as the graphs $G$ for which $χ_ρ(G-x) < χ_ρ(G)$ holds for every vertex $x$ of $G$. If $χ_ρ(G) = k$, then $G$ is $k$-$χ_ρ$-critical. It is shown that if $G$ is $χ_ρ$-critical, then the set $\{χ_ρ(G) - χ_ρ(G-x):\ x\in V(G)\}$ can be almost arbitrary. The $3$-$χ_ρ$-critical graphs are characterized, and $4$-$χ_ρ$-critical graphs are characterized in the case when they contain a cycle of length at least $5$ which is not congruent to $0$ modulo $4$. It is shown that for every integer $k\ge 2$ there exists a $k$-$χ_ρ$-critical tree and that a $k$-$χ_ρ$-critical caterpillar exists if and only if $k\le 7$. Cartesian products are also considered and in particular it is proved that if $G$ and $H$ are vertex-transitive graphs and ${\rm diam(G)} + {\rm diam}(H) \le χ_ρ(G)$, then $G\,\square\, H$ is $χ_ρ$-critical.