Searcharxiv⌕ Search

arXiv subjects

Sandi Klavžar

Publications and source records attributed to Sandi Klavžar.

At least 73 records · Page 4Linked to original sources
arXiv2024

Mutual-visibility and general position in double graphs and in Mycielskians

The general position problem in graphs is to find the maximum number of vertices that can be selected such that no three vertices lie on a common shortest path. The mutual-visibility problem in graphs is to find the maximum number of vertices that can be selected such that every pair of vertices in the collection has a shortest path between them with no vertex from the collection as an internal vertex. In this paper, the general position problem and the mutual-visibility problem is investigated in double graphs and in Mycielskian graphs. Sharp general bounds are proved, in particular involving the total mutual-visibility number and the outer mutual-visibility number of base graphs. Several exact values are also determined, in particular the mutual-visibility number of the double graphs and of the Mycielskian of cycles.

math.CO↗
arXiv2024

Variety of general position problems in graphs

Let $X$ be a vertex subset of a graph $G$. Then $u, v\in V(G)$ are $X$-positionable if $V(P)\cap X \subseteq \{u,v\}$ holds for any shortest $u,v$-path $P$. If each two vertices from $X$ are $X$-positionable, then $X$ is a general position set. The general position number of $G$ is the cardinality of a largest general position set of $G$ and has been already well investigated. In this paper a variety of general position problems is introduced based on which natural pairs of vertices are required to be $X$-positionable. This yields the total (resp.\ dual, outer) general position number. It is proved that the total general position sets coincide with sets of simplicial vertices, and that the outer general position sets coincide with sets of mutually maximally distant vertices. It is shown that a general position set is a dual general position set if and only if its complement is convex. Several sufficient conditions are presented that guarantee that a given graph has no dual general position set. The total general position number, the outer general position number, and the dual general position number of arbitrary Cartesian products are determined.

math.CO↗
arXiv2024

General position polynomials

A subset of vertices of a graph $G$ is a general position set if no triple of vertices from the set lie on a common shortest path in $G$. In this paper we introduce the general position polynomial as $\sum_{i \geq 0} a_i x^i$, where $a_i$ is the number of distinct general position sets of $G$ with cardinality $i$. The polynomial is considered for several well-known classes of graphs and graph operations. It is shown that the polynomial is not unimodal in general, not even on trees. On the other hand, several classes of graphs, including Kneser graphs $K(n,2)$, with unimodal general position polynomials are presented.

math.CO↗
arXiv2024

Lower General Position Sets in Graphs

A subset $S$ of vertices of a graph $G$ is a \emph{general position set} if no shortest path in $G$ contains three or more vertices of $S$. In this paper, we generalise a problem of M. Gardner to graph theory by introducing the \emph{lower general position number} $\gp ^-(G)$ of $G$, which is the number of vertices in a smallest maximal general position set of $G$. We show that ${\rm gp}^-(G) = 2$ if and only if $G$ contains a universal line and determine this number for several classes of graphs, including Kneser graphs $K(n,2)$, line graphs of complete graphs, and Cartesian and direct products of two complete graphs. We also prove several realisation results involving the lower general position number, the general position number and the geodetic number, and compare it with the lower version of the monophonic position number. We provide a sharp upper bound on the size of graphs with given lower general position number. Finally we demonstrate that the decision version of the lower general position problem is NP-complete.

math.CO↗
arXiv2024

Mutual-visibility problems on graphs of diameter two

The mutual-visibility problem in a graph $G$ asks for the cardinality of a largest set of vertices $S\subseteq V(G)$ so that for any two vertices $x,y\in S$ there is a shortest $x,y$-path $P$ so that all internal vertices of $P$ are not in $S$. This is also said as $x,y$ are visible with respect to $S$, or $S$-visible for short. Variations of this problem are known, based on the extension of the visibility property of vertices that are in and/or outside $S$. Such variations are called total, outer and dual mutual-visibility problems. This work is focused on studying the corresponding four visibility parameters in graphs of diameter two, throughout showing bounds and/or closed formulae for these parameters. The mutual-visibility problem in the Cartesian product of two complete graphs is equivalent to (an instance of) the celebrated Zarankievicz's problem. Here we study the dual and outer mutual-visibility problem for the Cartesian product of two complete graphs and all the mutual-visibility problems for the direct product of such graphs as well. We also study all the mutual-visibility problems for the line graphs of complete and complete bipartite graphs. As a consequence of this study, we present several relationships between the mentioned problems and some instances of the classical Turán problem. Moreover, we study the visibility problems for cographs and several non-trivial diameter-two graphs of minimum size.

math.CO↗
arXiv2023

Strong Edge Geodetic Problem on Complete Multipartite Graphs and some Extremal Graphs for the Problem

A set of vertices $X$ of a graph $G$ is a strong edge geodetic set if to any pair of vertices from $X$ we can assign one (or zero) shortest path between them such that every edge of $G$ is contained in at least one on these paths. The cardinality of a smallest strong edge geodetic set of $G$ is the strong edge geodetic number ${\rm sg_e}(G)$ of $G$. In this paper, the strong edge geodetic number of complete multipartite graphs is determined. Graphs $G$ with ${\rm sg_e}(G) = n(G)$ are characterized and ${\rm sg_e}$ is determined for Cartesian products $P_n\,\square\, K_m$. The latter result in particular corrects an error from the literature.

math.CO↗
arXiv2023

Extremal edge general position sets in some graphs

A set of edges $X\subseteq E(G)$ of a graph $G$ is an edge general position set if no three edges from $X$ lie on a common shortest path. The edge general position number ${\rm gp}_{\rm e}(G)$ of $G$ is the cardinality of a largest edge general position set in $G$. Graphs $G$ with ${\rm gp}_{\rm e}(G) = |E(G)| - 1$ and with ${\rm gp}_{\rm e}(G) = 3$ are respectively characterized. Sharp upper and lower bounds on ${\rm gp}_{\rm e}(G)$ are proved for block graphs $G$ and exact values are determined for several specific block graphs.

math.CO↗
arXiv2023

Total mutual-visibility in Hamming graphs

If $G$ is a graph and $X\subseteq V(G)$, then $X$ is a total mutual-visibility set if every pair of vertices $x$ and $y$ of $G$ admits a shortest $x,y$-path $P$ with $V(P) \cap X \subseteq \{x,y\}$. The cardinality of a largest total mutual-visibility set of $G$ is the total mutual-visibility number $μ_{\rm t}(G)$ of $G$. In this paper the total mutual-visibility number is studied on Hamming graphs, that is, Cartesian products of complete graphs. Different equivalent formulations for the problem are derived. The values $μ_{\rm t}(K_{n_1}\,\square\, K_{n_2}\,\square\, K_{n_3})$ are determined. It is proved that $μ_{\rm t}(K_{n_1} \,\square\, \cdots \,\square\, K_{n_r}) = O(N^{r-2})$, where $N = n_1+\cdots + n_r$, and that $μ_{\rm t}(K_s^{\,\square\,, r}) = Θ(s^{r-2})$ for every $r\ge 3$, where $K_s^{\,\square\,, r}$ denotes the Cartesian product of $r$ copies of $K_s$. The main theorems are also reformulated as Turán-type results on hypergraphs.

math.CO↗
arXiv2023

The Sierpiński Domination Number

Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. In this paper, we define the Sierpiński domination number as the minimum of $γ(G\otimes _f H)$ over all functions $f \colon V(G)\rightarrow V(H)$. The upper Sierpiński domination number is defined analogously as the corresponding maximum. After establishing general upper and lower bounds, we determine the upper Sierpiński domination number of the Sierpiński product of two cycles, and determine the lower Sierpiński domination number of the Sierpiński product of two cycles in half of the cases and in the other half cases restrict it to two values.

math.CO↗
arXiv2023

Resolvability and convexity properties in the Sierpiński product of graphs

Let $G$ and $H$ be graphs and let $f \colon V(G)\rightarrow V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G \otimes _f H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $|V(G)|$ copies of $H$; for every edge $gg'$ of $G$ there is an edge between copies $gH$ and $g'H$ of $H$ associated with the vertices $g$ and $g'$ of $G$, respectively, of the form $(g,f(g'))(g',f(g))$. The Sierpiński metric dimension and the upper Sierpiński metric dimension of two graphs are determined. Closed formulas are determined for Sierpiński products of trees, and for Sierpiński products of two cycles where the second factor is a triangle. We also prove that the layers with respect to the second factor in a Sierpiński product graph are convex.

math.CO↗
arXiv2023

Packings in bipartite prisms and hypercubes

The $2$-packing number $ρ_2(G)$ of a graph $G$ is the cardinality of a largest $2$-packing of $G$ and the open packing number $ρ^{\rm o}(G)$ is the cardinality of a largest open packing of $G$, where an open packing (resp. $2$-packing) is a set of vertices in $G$ no two (closed) neighborhoods of which intersect. It is proved that if $G$ is bipartite, then $ρ^{\rm o}(G\Box K_2) = 2ρ_2(G)$. For hypercubes, the lower bounds $ρ_2(Q_n) \ge 2^{n - \lfloor \log n\rfloor -1}$ and $ρ^{\rm o}(Q_n) \ge 2^{n - \lfloor \log (n-1)\rfloor -1}$ are established. These findings are applied to injective colorings of hypercubes. In particular, it is demonstrated that $Q_9$ is the smallest hypercube which is not perfect injectively colorable. It is also proved that $γ_t(Q_{2^k}\times H) = 2^{2^k-k}γ_t(H)$, where $H$ is an arbitrary graph with no isolated vertices.

math.CO↗
arXiv2023

On distance-balanced generalized Petersen graphs

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$.

math.CO↗
arXiv2023

Non-$\ell$-distance-balanced generalized Petersen graphs $GP(n,3)$ and $GP(n,4)$

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,3)$ where $n>16$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,3))$, and $GP(n,4)$ where $n>24$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,4))$. This partially solves a conjecture posed by Š. Miklavič and P. Šparl (Discrete Appl. Math. 244:143-154, 2018).

math.CO↗
arXiv2023

Generalized Pell graphs

In this paper, generalized Pell graphs $Π_{n,k}$, $k\ge 2$, are introduced. The special case of $k=2$ are the Pell graphs $Π_{n}$ defined earlier by Munarini. Several metric, enumerative, and structural properties of these graphs are established. The generating function of the number of edges of $Π_{n,k}$ and the generating function of its cube polynomial are determined. The center of $Π_{n,k}$ is explicitly described; if $k$ is even, then it induces the Fibonacci cube $Γ_{n}$. It is also shown that $Π_{n,k}$ is a median graph, and that $Π_{n,k}$ embeds into a Fibonacci cube.

math.CO↗
arXiv2023

Maker-Breaker domination game on trees when Staller wins

In the Maker-Breaker domination game played on a graph $G$, Dominator's goal is to select a dominating set and Staller's goal is to claim a closed neighborhood of some vertex. We study the cases when Staller can win the game. If Dominator (resp., Staller) starts the game, then $γ_{\rm SMB}(G)$ (resp., $γ_{\rm SMB}'(G)$) denotes the minimum number of moves Staller needs to win. For every positive integer $k$, trees $T$ with $γ_{\rm SMB}'(T)=k$ are characterized and a general upper bound on $γ_{\rm SMB}'$ is proved. Let $S = S(n_1,\dots, n_\ell)$ be the subdivided star obtained from the star with $\ell$ edges by subdividing its edges $n_1-1, \ldots, n_\ell-1$ times, respectively. Then $γ_{\rm SMB}'(S)$ is determined in all the cases except when $\ell\ge 4$ and each $n_i$ is even. The simplest formula is obtained when there are at least two odd $n_i$s. If $n_1$ and $n_2$ are the two smallest such numbers, then $γ_{\rm SMB}'(S(n_1,\dots, n_\ell))=\lceil \log_2(n_1+n_2+1)\rceil$. For caterpillars, exact formulas for $γ_{\rm SMB}$ and for $γ_{\rm SMB}'$ are established.

math.CO↗
arXiv2023

Generalized stepwise transmission irregular graphs

The transmission ${\rm Tr}_G(u)$ of a vertex $u$ of a connected graph $G$ is the sum of distances from $u$ to all other vertices. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)|= 1$ holds for any edge $uv\in E(G)$. In this paper, generalized STI graphs are introduced as the graphs $G$ such that for some $k\ge 1$ we have $|{\rm Tr}_G(u) - {\rm Tr}_G(v)|= k$ for any edge $uv$ of $G$. It is proved that generalized STI graphs are bipartite and that as soon as the minimum degree is at least $2$, they are 2-edge connected. Among the trees, the only generalized STI graphs are stars. The diameter of STI graphs is bounded and extremal cases discussed. The Cartesian product operation is used to obtain highly connected generalized STI graphs. Several families of generalized STI graphs are constructed.

math.CO↗
arXiv2023

Graphs whose mixed metric dimension is equal to their order

The mixed metric dimension ${\rm mdim}(G)$ of a graph $G$ is the cardinality of a smallest set of vertices that (metrically) resolves each pair of elements from $V(G)\cup E(G)$. We say that $G$ is a max-mdim graph if ${\rm mdim}(G) = n(G)$. It is proved that a max-mdim graph $G$ with $n(G)\ge 7$ contains a vertex of degree at least $5$. Using the strong product of graphs and amalgamations large families of max-mdim graphs are constructed. The mixed metric dimension of graphs with at least one universal vertex is determined. The mixed metric dimension of graphs $G$ with cut vertices is bounded from the above and the mixed metric dimension of block graphs computed.

math.CO↗
arXiv2023

Partial domination in supercubic graphs

For some $α$ with $0 < α\le 1$, a subset $X$ of vertices in a graph $G$ of order~$n$ is an $α$-partial dominating set of $G$ if the set $X$ dominates at least $α\times n$ vertices in $G$. The $α$-partial domination number ${\rm pd}_α(G)$ of $G$ is the minimum cardinality of an $α$-partial dominating set of $G$. In this paper partial domination of graphs with minimum degree at least $3$ is studied. It is proved that if $G$ is a graph of order~$n$ and with $δ(G)\ge 3$, then ${\rm pd}_{\frac{7}{8}}(G) \le \frac{1}{3}n$. If in addition $n\ge 60$, then ${\rm pd}_{\frac{9}{10}}(G) \le \frac{1}{3}n$, and if $G$ is a connected cubic graph of order $n\ge 28$, then ${\rm pd}_{\frac{13}{14}}(G) \le \frac{1}{3}n$. Along the way it is shown that there are exactly four connected cubic graphs of order $14$ with domination number $5$.

math.CO↗