arXiv++ Combinatorics

A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. We prove that the generalized Petersen graph $GP(n,k)$ is ${\rm diam}(GP(n,k))$-distance-balanced provided that $n$ is large enough relative to $k$. This partially solves a conjecture posed by Miklavič and Šparl \cite{Miklavic:2018}. We also determine ${\rm diam}(GP(n,k))$ when $n$ is large enough relative to $k$.

The edge geodesic cover problem of a graph $G$ is to find a smallest number of geodesics that cover the edge set of $G$. The edge $k$-general position problem is introduced as the problem to find a largest set $S$ of edges of $G$ such that no $k-1$ edges of $S$ lie on a common geodesic. We study this dual min-max problems and connect them to an edge geodesic partition problem. Using these connections, exact values of the edge $k$-general position number is determined for different values of $k$ and for different networks including torus networks, hypercubes, and Benes networks.

The outer multiset dimension ${\rm dim}_{\rm ms}(G)$ of a graph $G$ is the cardinality of a smallest set of vertices that uniquely recognize all the vertices outside this set by using multisets of distances to the set. It is proved that ${\rm dim}_{\rm ms}(G) = n(G) - 1$ if and only if $G$ is a regular graph with diameter at most $2$. Graphs $G$ with ${\rm dim}_{\rm ms}(G)=2$ are described and recognized in polynomial time. A lower bound on the lexicographic product of $G$ and $H$ is proved when $H$ is complete or edgeless, and the extremal graphs are determined. It is proved that ${\rm dim}_{\rm ms}(P_s\,\square\, P_t) = 3$ for $s\ge t\ge 2$.

We study a recently introduced two-person combinatorial game, the $(a,b)$-monochromatic clique transversal game which is played by Alice and Bob on a graph $G$. As we observe, this game is equivalent to the $(b,a)$-biased Maker-Breaker game played on the clique-hypergraph of $G$. Our main results concern the threshold bias $a_1(G)$ that is the smallest integer $a$ such that Alice can win in the $(a,1)$-monochromatic clique transversal game on $G$ if she is the first to play. Among other results, we determine the possible values of $a_1(G)$ for the disjoint union of graphs, prove a formula for $a_1(G)$ if $G$ is triangle-free, and obtain the exact values of $a_1(C_n \,\square\, C_m)$, $a_1(C_n \,\square\, P_m)$, and $a_1(P_n \,\square\, P_m)$ for all possible pairs $(n,m)$.

Let $G$ be a graph and let $S(G)$, $M(G)$, and $T(G)$ be the subdivision, the middle, and the total graph of $G$, respectively. Let ${\rm dim}(G)$, ${\rm edim}(G)$, and ${\rm mdim}(G)$ be the metric dimension, the edge metric dimension, and the mixed metric dimension of $G$, respectively. In this paper, for the subdivision graph it is proved that $\frac{1}{2}\max\{{\rm dim}(G),{\rm edim}(G)\}\leq{\rm mdim}(S(G))\leq{\rm mdim}(G)$. A family of graphs $G_n$ is constructed for which ${\rm mdim}(G_n)-{\rm mdim}(S(G_n))\ge 2$ holds and this shows that the inequality ${\rm mdim}(S(G))\leq{\rm mdim}(G)$ can be strict, while for a cactus graph $G$, ${\rm mdim}(S(G))={\rm mdim}(G)$. For the middle graph it is proved that ${\rm dim}(M(G))\leq{\rm mdim}(G)$ holds, and if $G$ is tree with $n_1(G)$ leaves, then ${\rm dim}(M(G))={\rm mdim}(G)=n_1(G)$. Moreover, for the total graph it is proved that ${\rm mdim}(T(G))=2n_1(G)$ and ${\rm dim}(G)\leq{\rm dim}(T(G))\leq n_1(G)$ hold when $G$ is a tree.

Given a graph $G$, a set $S$ of vertices in $G$ is a general position set if no triple of vertices from $S$ lie on a common shortest path in $G$. The general position achievement/avoidance game is played on a graph $G$ by players A and B who alternately select vertices of $G$. A selection of a vertex by a player is a legal move if it has not been selected before and the set of selected vertices so far forms a general position set of $G$. The player who picks the last vertex is the winner in the general position achievement game and is the loser in the avoidance game. In this paper, we prove that the general position achievement/avoidance games are PSPACE-complete even on graphs with diameter at most 4. For this, we prove that the \textit{misère} play of the classical Node Kayles game is also PSPACE-complete. As positive results, we obtain linear time algorithms to decide the winning player of the general position avoidance game in rook's graphs, grids, cylinders, and lexicographic products with complete second factors.

The transmission ${\rm Tr}_G(v)$ of a vertex $v$ of a connected graph $G$ is the sum of distances between $v$ and all other vertices in $G$. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)| =1$ holds for each edge $uv \in E(G)$. In this paper, extremal results on STI graphs with respect to the size and different metric properties are proved. Two extremal families appear in all the cases, balanced complete bipartite graphs of odd order and the so called odd hatted cycles.

Given a graph $G=(V(G), E(G))$ and a set $P\subseteq V(G)$, the following concepts have been recently introduced: $(i)$ two elements of $P$ are \emph{mutually visible} if there is a shortest path between them without further elements of $P$; $(ii)$ $P$ is a \emph{mutual-visibility set} if its elements are pairwise mutually visible; $(iii)$ the \emph{mutual-visibility number} of $G$ is the size of any largest mutual-visibility set. % In this work we continue to investigate about these concepts. We first focus on mutual-visibility in Cartesian products. For this purpose, too, we introduce and investigate independent mutual-visibility sets. In the very special case of the Cartesian product of two complete graphs the problem is shown to be equivalent to the well-known Zarenkiewicz's problem. We also characterize the triangle-free graphs with the mutual-visibility number equal to $3$.

Let ${\rm Z}(G)$ and ${\rm gp}(G)$ be the zero forcing number and the general position number of a graph $G$, respectively. Known results imply that ${\rm gp}(T)\ge {\rm Z}(T) + 1$ holds for every nontrivial tree $T$. It is proved that the result extends to block graphs. For connected, unicyclic graphs $G$ it is proved that ${\rm gp}(G) \ge {\rm Z}(G)$. The result extends neither to bicyclic graphs nor to quasi-trees. Nevertheless, a large class of quasi-trees is found for which ${\rm gp}(G) \ge {\rm Z}(G)$ holds.

The Steiner $k$-eccentricity of a vertex $v$ of a graph $G$ is the maximum Steiner distance over all $k$-subsets of $V (G)$ which contain $v$. A linear time algorithm for calculating the Steiner $k$-eccentricity of a vertex on block graphs is presented. For general graphs, an $O(n^{ν(G)+1}(n(G) + m(G) + k))$ algorithm is designed, where $ν(G)$ is the cyclomatic number of $G$. A linear algorithm for computing the Steiner $3$-eccentricities of all vertices of a tree is also presented which improves the quadratic algorithm from [Discrete Appl.\ Math.\ 304 (2021) 181--195].

A general position set of a graph $G$ is a set of vertices $S$ in $G$ such that no three vertices from $S$ lie on a common shortest path. In this paper we introduce and study the general position achievement game. The game is played on a graph $G$ by players A and B who alternatively pick vertices of $G$. A selection of a vertex is legal if has not been selected before and the set of vertices selected so far forms a general position set of $G$. The player who selects the last vertex wins the game. Playable vertices at each step of the game are described, and sufficient conditions for each of the players to win is given. The game is studied on Cartesian and lexicographic products. Among other results it is proved that A wins the game on $K_n\,\square\, K_m$ if and only if both $n$ and $m$ are odd, and that B wins the game on $G\circ K_n$ if and only if either B wins on $G$ or $n$ is even.

The total domination number $γ_{t}(G)$ of a graph $G$ is the cardinality of a smallest set $D\subseteq V(G)$ such that each vertex of $G$ has a neighbor in $D$. The annihilation number $a(G)$ of $G$ is the largest integer $k$ such that there exist $k$ different vertices in $G$ with the degree sum at most $m(G)$. It is conjectured that $γ_{t}(G)\leq a(G)+1$ holds for every nontrivial connected graph $G$. The conjecture has been proved for graphs with minimum degree at least $3$, trees, certain tree-like graphs, block graphs, and cactus graphs. In the main result of this paper it is proved that the conjecture holds for quasi-trees. The conjecture is verified also for some graph constructions including bijection graphs, Mycielskians, and the newly introduced universally-identifying graphs.

If $S=(s_1,s_2,\ldots)$ is a non-decreasing sequence of positive integers, then the $S$-packing $k$-coloring of a graph $G$ is a mapping $c: V(G)\rightarrow[k]$ such that if $c(u)=c(v)=i$ for $u\neq v\in V(G)$, then $d_G(u,v)>s_i$. The $S$-packing chromatic number of $G$ is the smallest integer $k$ such that $G$ admits an $S$-packing $k$-coloring. A graph $G$ is $χ_S$-vertex-critical if $χ_S(G-u) < χ_S(G)$ for each $u\in V(G)$. If $G$ is $χ_S$-vertex-critical and $χ_S(G) = k$, then $G$ is $k$-$χ_S$-vertex-critical. In this paper, $4$-$χ_S$-vertex-critical graphs are characterized for sequences $S = (1,s_2, s_3, \ldots)$ with $s_2 \ge 3$. There are $28$ sporadic examples and two infinite families of such graphs.

A set S of vertices of a graph G is a geodesic transversal of G if every maximal geodesic of G contains at least one vertex of S. We determine a smallest geodesic transversal in certain interconnection networks such as mesh of trees, and some well-known chemical structures such as silicate networks and carbon nanosheets. Some useful general bounds for the corresponding graph invariant are obtained along the way.

The chromatic vertex (resp.\ edge) stability number ${\rm vs}_χ(G)$ (resp.\ ${\rm es}_χ(G)$) of a graph $G$ is the minimum number of vertices (resp.\ edges) whose deletion results in a graph $H$ with $χ(H)=χ(G)-1$. In the main result it is proved that if $G$ is a graph with $χ(G) \in \{ Δ(G), Δ(G)+1 \}$, then ${\rm vs}_χ(G) = {\rm ivs}_χ(G)$, where ${\rm ivs}_χ(G)$ is the independent chromatic vertex stability number. The result need not hold for graphs $G$ with $χ(G) \le \frac{Δ(G)+1}{2}$. It is proved that if $χ(G) > \frac{Δ(G)}{2}+1$, then ${\rm vs}_χ(G) = {\rm es}_χ(G)$. A Nordhaus-Gaddum-type result on the chromatic vertex stability number is also given.

A global forcing set for maximal matchings of a graph $G=(V(G), E(G))$ is a set $S \subseteq E(G)$ such that $M_1\cap S \neq M_2 \cap S$ for each pair of maximal matchings $M_1$ and $M_2$ of $G$. The smallest such set is called a minimum global forcing set, its size being the global forcing number for maximal matchings $φ_{gm}(G)$ of $G$. In this paper, we establish lower and upper bounds on the forcing number for maximal matchings of the corona product of graphs. We also introduce an integer linear programming model for computing the forcing number for maximal matchings of graphs.

A set of vertices $S\subseteq V(G)$ is a basis or resolving set of a graph $G$ if for each $x,y\in V(G)$ there is a vertex $u\in S$ such that $d(x,u)\neq d(y,u)$. A basis $S$ is a fault-tolerant basis if $S\setminus \{x\}$ is a basis for every $x \in S$. The fault-tolerant metric dimension (FTMD) $β'(G)$ of $G$ is the minimum cardinality of a fault-tolerant basis. It is shown that each twin vertex of $G$ belongs to every fault-tolerant basis of $G$. As a consequence, $β'(G) = n(G)$ iff each vertex of $G$ is a twin vertex, which corrects a wrong characterization of graphs $G$ with $β'(G) = n(G)$ from [Mathematics 7(1) (2019) 78]. This FTMD problem is reinvestigated for Butterfly networks, Benes networks, and silicate networks. This extends partial results from [IEEE Access 8 (2020) 145435--145445], and at the same time, disproves related conjectures from the same paper.

Let $G$ be a graph. The Steiner distance of $W\subseteq V(G)$ is the minimum size of a connected subgraph of $G$ containing $W$. Such a subgraph is necessarily a tree called a Steiner $W$-tree. The set $A\subseteq V(G)$ is a $k$-Steiner general position set if $V(T_B)\cap A = B$ holds for every set $B\subseteq A$ of cardinality $k$, and for every Steiner $B$-tree $T_B$. The $k$-Steiner general position number ${\rm sgp}_k(G)$ of $G$ is the cardinality of a largest $k$-Steiner general position set in $G$. Steiner cliques are introduced and used to bound ${\rm sgp}_k(G)$ from below. The $k$-Steiner general position number is determined for trees, cycles and joins of graphs. Lower bounds are presented for split graphs, infinite grids and lexicographic products. The lower bound for the latter products leads to an exact formula for the general position number of an arbitrary lexicographic product.

Given a graph $G$, the general position problem is to find a largest set $S$ of vertices of $G$ such that no three vertices of $S$ lie on a common geodesic. Such a set is called a ${\rm gp}$-$set$ of $G$ and its cardinality is the ${\rm gp}$-$number$, ${\rm gp}(G)$, of $G$. In this paper, the edge general position problem is introduced as the edge analogue of the general position problem. The edge general position number, ${\rm gp_{e}}(G)$, is the size of a largest edge general position set of $G$. It is proved that ${\rm gp_{e}}(Q_r) = 2^r$ and that if $T$ is a tree, then ${\rm gp_{e}}(T)$ is the number of its leaves. The value of ${\rm gp_{e}}(P_r\, \square\, P_s)$ is determined for every $r,s\ge 2$. To derive these results, the theory of partial cubes is used. Mulder's meta-conjecture on median graphs is also discussed along the way.

The connected domination game is played just as the domination game, with an additional requirement that at each stage of the game the vertices played induce a connected subgraph. The number of moves in a D-game (an S-game, resp.) on a graph $G$ when both players play optimally is denoted by $γ_{\rm cg}(G)$ ($γ_{\rm cg}'(G)$, resp.). Connected Game Continuation Principle is established as a substitute for the classical Continuation Principle which does not hold for the connected domination game. Let $G|x$ denote the graph $G$ together with a declaration that the vertex $x$ is already dominated. The first main result asserts that if $G$ is a graph with $γ_{\rm cg}(G) \geq 3$ and $x \in V(G)$, then $γ_{\rm cg}(G|x) \leq 2 γ_{\rm cg}(G) - 3$ and the bound is sharp. The second main theorem states that if $G$ is a graph with $n(G) \geq 2$ and $x \in V(G)$, then $γ_{\rm cg}(G|x) \geq \left \lceil \frac12 γ_{\rm cg}(G) \right \rceil$ and the bound is sharp. Graphs $G$ and their vertices $x$ for which $γ_{\rm cg}'(G|x) = \infty$ holds are also characterized.