arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2596 papers tagged with this keyword
2022-01-08
An extension on neighbor sum distinguishing total coloring of graphs
Let $f: V(G)\cup E(G)\rightarrow \{1,2,\dots,k\}$ be a non-proper total $k$-coloring of $G$. Define a weight function on total coloring as $$φ(x)=f(x)+\sum\limits_{e\ni x}f(e)+\sum\limits_{y\in N(x)}f(y),$$ where $N(x)=\{y\in V(G)|xy\in E(G)\}$. If $φ(x)\neq φ(y)$ for any edge $xy\in E(G)$, then $f$ is called a neighbor full sum distinguishing total $k$-coloring of $G$. The smallest value $k$ for which $G$ has such a coloring is called the neighbor full sum distinguishing total chromatic number of $G$ and denoted by fgndi$_{\sum}(G)$. The coloring is an extension of neighbor sum distinguishing non-proper total coloring. In this paper we conjecture that fgndi$_{\sum}(G)\leq 3$ for any connected graph $G$ of order at least three. We prove that the conjecture is true for (i) paths and cycles; (ii) 3-regular graphs and (iii) stars, complete graphs, trees, hypercubes, bipartite graphs and complete $r$-partite graphs. In particular, complete graphs can achieve the upper bound for the above conjecture.
2021-12-30
Tree Embeddings and Tree-Star Ramsey Numbers
Published • View PublicationBIB
We say that a graph $F$ can be embedded into a graph $G$ if $G$ contains an isomorphic copy of $F$ as a subgraph. Guo and Volkmann \cite{GV} conjectured that if $G$ is a connected graph with at least $n$ vertices and minimum degree at least $n-3$, then any tree with $n$ vertices and maximum degree at most $n-4$ can be embedded into $G$. In this paper, we give a result slightly stronger than this conjecture and obtain a sufficient and necessary condition that a tree with $n$ vertices and maximum degree at most $n-3$ can be embedded into a connected graph G with at least $n$ vertices and minimum degree at least $n-3$. Our result implies that the conjecture of Guo and Volkmann is true with one exception. We also give an application to the Ramsey number of a tree versus a star.
2021-12-20
Graphs with three distinct distance eigenvalues
Published • View PublicationBIB
In this paper, some special distance spectral properties of graphs are considered. Concretely, we recursively construct an infinite family of trees with distance eigenvalue $-1$, and determine all $\{C_3,C_4\}$-free connected graphs with three distinct distance eigenvalues of which the smallest one is equal to $-3$, which partially answers a problem posed by Koolen, Hayat and Iqbal [Linear Algebra Appl. 505 (2016) 97--108]. Furthermore, we characterize all trees with three distinct distance eigenvalues.
2021-12-20
On the metric subgraphs of a graph
Published • View PublicationBIB
The three subgraphs of a connected graph induced by the center, annulus and periphery are called its metric subgraphs. The main results are as follows. (1) There exists a graph of order $n$ whose metric subgraphs are all paths if and only if $n\ge 13$ and the smallest size of such a graph of order $13$ is $22;$ (2) there exists a graph of order $n$ whose metric subgraphs are all cycles if and only if $n\ge 15,$ and there are exactly three such graphs of order $15;$ (3) for every integer $k\ge 3,$ we determine the possible orders for the existence of a graph whose metric subgraphs are all connected $k$-regular graphs; (4) there exists a graph of order $n$ whose metric subgraphs are connected and pairwise isomorphic if and only if $n\ge 24$ and $n$ is divisible by $3.$ An unsolved problem is posed.
2021-12-14 v3
Kempe Equivalent List Colorings
Published in Combinatorica. Vol. 44, 2024, pp. 125-153 • View PublicationBIB
An $α,β$-Kempe swap in a properly colored graph interchanges the colors on some component of the subgraph induced by colors $α$ and $β$. Two $k$-colorings of a graph are $k$-Kempe equivalent if we can form one from the other by a sequence of Kempe swaps (never using more than $k$ colors). Las Vergnas and Meyniel showed that if a graph is $(k-1)$-degenerate, then each pair of its $k$-colorings are $k$-Kempe equivalent. Mohar conjectured the same conclusion for connected $k$-regular graphs. This was proved for $k=3$ by Feghali, Johnson, and Paulusma (with a single exception $K_2\square K_3$, also called the 3-prism) and for $k\ge 4$ by Bonamy, Bousquet, Feghali, and Johnson. In this paper we prove an analogous result for list-coloring. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap is called $L$-valid for $\varphi$ if performing the Kempe swap yields another $L$-coloring. Two $L$-colorings are called $L$-equivalent if we can form one from the other by a sequence of $L$-valid Kempe swaps. Let $G$ be a connected $k$-regular graph with $k\ge 3$. We prove that if $L$ is a $k$-assignment, then all $L$-colorings are $L$-equivalent (again with a single exception $K_2 \square K_3$). When $k\ge 4$, the proof is completely self-contained, so implies an alternate proof of the result of Bonamy et al. Our proofs rely on the following key lemma, which may be of independent interest. Let $H$ be a graph such that for every degree-assignment $L_H$ all $L_H$-colorings are $L_H$-equivalent. If $G$ is a connected graph that contains $H$ as an induced subgraph, then for every degree-assignment $L_G$ for $G$ all $L_G$-colorings are $L_G$-equivalent.
2021-12-07
On the comparison of the distinguishing coloring and the locating coloring of graphs
Published • View PublicationBIB
Let G be a simple connected graph. Then chi L(G) and chi D(G) will denote the locating chromatic number and the distinguishing chromatic number of G, respectively. In this paper, we investigate a comparison between chi L(G) and chi D(G). In fact, we prove that chi D(G) \leq chi L(G). Moreover, we determine some types of graphs whose locating and distinguishing chromatic numbers are equal. Specially, we characteristic all graph G with the property that chi D(G)= chi L(G) = 3.
2021-12-06
On the Distance Spectra of Extended Double Stars
The distance matrix of a connected graph is defined as the matrix in which the entries are the pairwise distances between vertices. The distance spectrum of a graph is the set of eigenvalues of its distance matrix. A graph is said to be determined by its distance spectrum if there does not exist a non-isomorphic graph with the same spectrum. The question of which graphs are determined by their spectrum has been raised in the past, but it remains largely unresolved. In this paper, we prove that extended double stars are determined by their distance spectra.
On distance Laplacian energy in terms of graph invariants
Published • View PublicationBIB
For a simple connected graph $G$ of order $n$ having distance Laplacian eigenvalues $ ρ^{L}_{1}\geq ρ^{L}_{2}\geq \cdots \geq ρ^{L}_{n}$, the distance Laplacian energy $DLE(G)$ is defined as $DLE(G)=\sum_{i=1}^{n}\left|ρ^{L}_i-\frac{2 W(G)}{n}\right|$, where $W(G)$ is the Wiener index of $G$. We obtain a relationship between the Laplacian energy and distance Laplacian energy for graphs with diameter 2. We obtain lower bounds for the distance Laplacian energy $DLE(G)$ in terms of the order $n$, the Wiener index $W(G)$, independence number, vertex connectivity number and other given parameters. We characterize the extremal graphs attaining these bounds. We show that the complete bipartite graph has the minimum distance Laplacian energy among all connected bipartite graphs and complete split graph has the minimum distance Laplacian energy among all connected graphs with given independence number. Further, we obtain the distance Laplacian spectrum of the join of a graph with the union of two other graphs. We show that the graph $K_{k}\bigtriangledown(K_{t}\cup K_{n-k-t}), 1\leq t \leq \lfloor\frac{n-k}{2}\rfloor $, has the minimum distance Laplacian energy among all connected graphs with vertex connectivity $k$. We conclude this paper with a discussion on trace norm of a matrix and the importance of our results in the theory of trace norm of the matrix $D^L(G)-\frac{2W(G)}{n}I_n$.
2021-12-01
Algorithm for monochromatic vertex-disconnection of graphs
Let G be a vertex-colored graph. We call a vertex cut S of G a monochromatic vertex cut if the vertices of S are colored with the same color. The graph G is monochromatically vertex-disconnected if any two nonadjacent vertices of G has a monochromatic vertex cut separating them. The monochromatic vertex-disconnection number of G, denoted by mvd(G), is the maximum number of colors that are used to make G monochromatically vertex-disconnected. In this paper, we propose an algorithm to compute mvd(G) and give an mvd-coloring of the graph G. We run this algorithm with an example written in Java. The main part of the code is shown in Appendix B and the complete code is given on Github: https://github.com/fumiaoT/mvd-coloring.git. Secondly, inspired by the previous localization principle, we obtain a upper bound of mvd(G) for some special classes of graphs. In addition, when mvd(G) is large and all blocks of G are minimally 2-connected triangle-free graphs, we characterize G. On these bases, we show that any graph whose blocks are all minimally 2-connected graphs of small order, can be computed mvd(G) and given an mvd-coloring in polynomial time.
Online size Ramsey numbers: Odd cycles vs connected graphs
Published • View PublicationBIB
Given two graph families $\mathcal H_1$ and $\mathcal H_2$, a size Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder is trying to force Painter to create as soon as possible a red copy of a graph from $\mathcal H_1$ or a blue copy of a graph from $\mathcal H_2$. The online (size) Ramsey number $\tilde{r}(\mathcal H_1,\mathcal H_2)$ is the smallest number of rounds in the game provided Builder and Painter play optimally. We prove that if $\mathcal H_1$ is the family of all odd cycles and $\mathcal H_2$ is the family of all connected graphs on $n$ vertices and $m$ edges, then $\tilde{r}(\mathcal H_1,\mathcal H_2)\ge \varphi n + m-2\varphi+1$, where $\varphi$ is the golden ratio, and for $n\ge 3$, $m\le (n-1)^2/4$ we have $\tilde{r}(\mathcal H_1,\mathcal H_2)\le n+2m+O(\sqrt{m-n+1})$. We also show that $\tilde{r}(C_3,P_n)\le 3n-4$ for $n\ge 3$. As a consequence we get $2.6n-3\le \tilde{r}(C_3,P_n)\le 3n-4$ for every $n\ge 3$.
2021-11-24
Metric dimension and edge metric dimension of unicyclic graphs
Published • View PublicationBIB
The metric (resp. edge metric) dimension of a simple connected graph $G$, denoted by dim$(G)$ (resp. edim$(G)$), is the cardinality of a smallest vertex subset $S\subseteq V(G)$ for which every two distinct vertices (resp. edges) in $G$ have distinct distances to a vertex of $S$. It is an interesting topic to discuss the relation between dim$(G)$ and edim$(G)$ for some class of graphs $G$. In this paper, we settle two open problems on this topic for a widely studied class of graphs, called unicyclic graphs. Specifically, we introduce four classes of subgraphs to characterize the structure of a unicyclic graph whose metric (resp . edge metric) dimension is equal to the lower bound on this invariant for unicyclic graphs. Based on this, we determine the exact values of dim$(G)$ and edim$(G)$ for all unicyclic graphs $G$.
2021-11-20 v2
Star Structure Connectivity of Folded hypercubes and Augmented cubes
Published in Journal of Supercomputing 2022 • View PublicationBIB
The connectivity is an important parameter to evaluate the robustness of a network. As a generalization, structure connectivity and substructure connectivity of graphs were proposed. For connected graphs $G$ and $H$, the $H$-structure connectivity $κ(G; H)$ (resp. $H$-substructure connectivity $κ^{s}(G; H)$) of $G$ is the minimum cardinality of a set of subgraphs $F$ of $G$ that each is isomorphic to $H$ (resp. to a connected subgraph of $H$) so that $G-F$ is disconnected or the singleton. As popular variants of hypercubes, the $n$-dimensional folded hypercubes $FQ_{n}$ and augmented cubes $AQ_{n}$ are attractive interconnected network prototypes for multiple processor systems. In this paper, we obtain that $κ(FQ_{n};K_{1,m})=κ^{s}(FQ_{n};K_{1,m})=\lceil\frac{n+1}{2}\rceil$ for $2\leqslant m\leqslant n-1$, $n\geqslant 7$, and $κ(AQ_{n};K_{1,m})=κ^{s}(AQ_{n};K_{1,m})=\lceil\frac{n-1}{2}\rceil$ for $4\leqslant m\leqslant \frac{3n-15}{4}$.
2021-11-18
On trees with extremal extended spectral radius
Let G be a simple connected graph with n vertices, and let d_i be the degree of the vertex v_i in G. The extended adjacency matrix of G is defined so that the ij-entry is 1/2(d_i/d_j+d_j/d_i) if the vertices v_i and v_j are adjacent in G, and 0 otherwise. This matrix was originally introduced for developing novel topological indices used in the QSPR/QSAR studies. In this paper, we consider extremal problems of the largest eigenvalue of the extended adjacency matrix (also known as the extended spectral radius) of trees. We show that among all trees of order n>= 5, the path Pn(resp., the star Sn) uniquely minimizes (resp., maximizes) the extended spectral radius. We also determine the first five trees with the maximal extended spectral radius.
2021-11-18 v2
Spanners in randomly weighted graphs: Euclidean case
Published • View PublicationBIB
Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We study the size of spanners in the following scenario: we consider a random embedding of $G_{n,p}$ into the unit square with Euclidean edge lengths. For $ε>0$ constant, we prove the existence w.h.p. of $(1+ε)$-spanners for ${\mathcal X}_p$ that have $O_ε(n)$ edges. These spanners can be constructed in $O_ε(n^2\log n)$ time. (We will use $O_ε$ to indicate that the hidden constant depends on $ε$.) There are constraints on $p$ preventing it going to zero too quickly.
2021-11-17 v5
Span of a Graph: Keeping the Safety Distance
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (March 1, 2023) dmtcs:9859 • View PublicationBIB
Inspired by Lelek's idea from [Disjoint mappings and the span of spaces, Fund. Math. 55 (1964), 199 -- 214], we introduce the novel notion of the span of graphs. Using this, we solve the problem of determining the \emph{maximal safety distance} two players can keep at all times while traversing a graph. Moreover, their moves must be made with respect to certain move rules. For this purpose, we introduce different variants of a span of a given connected graph. All the variants model the maximum safety distance kept by two players in a graph traversal, where the players may only move with accordance to a specific set of rules, and their goal: visit either all vertices, or all edges. For each variant, we show that the solution can be obtained by considering only connected subgraphs of a graph product and the projections to the factors. We characterise graphs in which it is impossible to keep a positive safety distance at all moments in time. Finally, we present a polynomial time algorithm that determines the chosen span variant of a given graph.
A study of a combination of distance domination and resolvability in graphs
Published • View PublicationBIB
For $k \geq 1$, in a graph $G=(V,E)$, a set of vertices $D$ is a distance $k$-dominating set of $G$, if any vertex in $V\setminus D$ is at distance at most $k$ from some vertex in $D$. The minimum cardinality of a distance $k$-dominating set of $G$ is the distance $k$-domination number, denoted by $γ_k(G)$. An ordered set of vertices $W=\{w_1,w_2,\ldots,w_r\}$ is a resolving set of $G$, if for any two distinct vertices $x$ and $y$ in $V\setminus W$, there exists $1\leq i\leq r$, such that $d_G(x,w_i)\neq d_G(y,w_i)$. The minimum cardinality of a resolving set of $G$ is the metric dimension of the graph $G$, denoted by $dim(G)$. In this paper, we introduce the distance $k$-resolving dominating set, which is a subset of $V$ that is both a distance $k$-dominating set and a resolving set of $G$. The minimum cardinality of a distance $k$-resolving dominating set of $G$ is called the distance $k$-resolving domination number and is denoted by $γ^r_k(G)$. We give several bounds for $γ^r_k(G)$ some in terms of the metric dimension $dim(G)$ and the distance $k$-domination number $γ_k(G)$. We determine $γ^r_k(G)$ when $G$ is a path or a cycle. Afterwards, we characterize the connected graphs of order $n$ having $γ^r_k(G)$ equal to $1$, $n-2$, and $n-1$, for $k\geq 2$. Then, we construct graphs realizing all the possible triples $(dim(G),γ_k(G),γ^r_k (G))$, for all $k\geq 2$. Later, we determine the maximum order of a graph $G$ having distance $k$-resolving domination number $γ^r_k(G)=γ^r_k\geq 1$, we provide graphs achieving this maximum order for any positive integers $k$ and $γ^r_k$. Finally, we establish Nordhaus-Gaddum bounds for $γ^r_k(G)$, for $k\geq 2$.
Cops and robber on subclasses of $P_5$-free graphs
Published • View PublicationBIB
The game of cops and robber is a turn based vertex pursuit game played on a connected graph between a team of cops and a single robber. The cops and the robber move alternately along the edges of the graph. We say the team of cops win the game if a cop and the robber are at the same vertex of the graph. The minimum number of cops required to win in each component of a graph is called the cop number of the graph. Sivaraman [Discrete Math. 342(2019), pp. 2306-2307] conjectured that for every $t\geq 5$, the cop number of a connected $P_t$-free graph is at most $t-3$, where $P_t$ denotes a path on $t$~vertices. Turcotte [Discrete Math. 345 (2022), pp. 112660] showed that the cop number of any $2K_2$-free graph is at most $2$, which was earlier conjectured by Sivaraman and Testa. Note that if a connected graph is $2K_2$-free, then it is also $P_5$-free. Liu showed that the cop number of a connected ($P_t$, $H$)-free graph is at most $t-3$, where $H$ is a cycle of length at most $t$ or a claw. So the conjecture of Sivaraman is true for ($P_5$, $H$)-free graphs, where $H$ is a cycle of length at most $5$ or a claw. In this paper, we show that the cop number of a connected ($P_5,H$)-free graph is at most $2$, where $H\in \{C_4$, $C_5$, diamond, paw, $K_4$, $2K_1\cup K_2$, $K_3\cup K_1$, $P_3\cup P_1\}$.
2021-11-10 v2
Weak degeneracy of graphs
Published • View PublicationBIB
Motivated by the study of greedy algorithms for graph coloring, we introduce a new graph parameter, which we call weak degeneracy. By definition, every $d$-degenerate graph is also weakly $d$-degenerate. On the other hand, if $G$ is weakly $d$-degenerate, then $χ(G) \leq d + 1$ (and, moreover, the same bound holds for the list-chromatic and even the DP-chromatic number of $G$). It turns out that several upper bounds in graph coloring theory can be phrased in terms of weak degeneracy. For example, we show that planar graphs are weakly $4$-degenerate, which implies Thomassen's famous theorem that planar graphs are $5$-list-colorable. We also prove a version of Brooks's theorem for weak degeneracy: a connected graph $G$ of maximum degree $d \geq 3$ is weakly $(d-1)$-degenerate unless $G \cong K_{d + 1}$. (By contrast, all $d$-regular graphs have degeneracy $d$.) We actually prove an even stronger result, namely that for every $d \geq 3$, there is $ε> 0$ such that if $G$ is a graph of weak degeneracy at least $d$, then either $G$ contains a $(d+1)$-clique or the maximum average degree of $G$ is at least $d + ε$. Finally, we show that graphs of maximum degree $d$ and either of girth at least $5$ or of bounded chromatic number are weakly $(d - Ω(\sqrt{d}))$-degenerate, which is best possible up to the value of the implied constant.
2021-11-06
Antimagic Orientation of Forests
Published • View PublicationBIB
An antimagic labeling of a digraph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to $\{1,2,\cdots,m\}$ such that all $n$ oriented vertex-sums are pairwise distinct, where the oriented vertex-sum of a vertex is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. A graph $G$ admits an antimagic orientation if $G$ has an orientation $D$ such that $D$ has an antimagic labeling. Hefetz, M{ü}tze and Schwartz conjectured every connected graph admits an antimagic orientation. In this paper, we support this conjecture by proving that any forest obtained from a given forest with at most one isolated vertex by subdividing each edge at least once admits an antimagic orientation.
2021-11-05 v2
Relating the total domination number and the annihilation number for quasi-trees and some composite graphs
Published • View PublicationBIB
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.