arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2681 papers tagged with this keyword
Stability in the Erdős--Gallai Theorem on cycles and paths, II
The Erdős--Gallai Theorem states that for $k \geq 3$, any $n$-vertex graph with no cycle of length at least $k$ has at most $\frac{1}{2}(k-1)(n-1)$ edges. A stronger version of the Erdős--Gallai Theorem was given by Kopylov: If $G$ is a 2-connected $n$-vertex graph with no cycle of length at least $k$, then $e(G) \leq \max\{h(n,k,2),h(n,k,\lfloor \frac{k-1}{2}\rfloor)\}$, where $h(n,k,a) := {k - a \choose 2} + a(n - k + a)$. Furthermore, Kopylov presented the two possible extremal graphs, one with $h(n,k,2)$ edges and one with $h(n,k,\lfloor \frac{k-1}{2}\rfloor)$ edges. In this paper, we complete a stability theorem which strengthens Kopylov's result. In particular, we show that for $k \geq 3$ odd and all $n \geq k$, every $n$-vertex $2$-connected graph $G$ with no cycle of length at least $k$ is a subgraph of one of the two extremal graphs or $e(G) \leq \max\{h(n,k,3),h(n,k,\frac{k-3}{2})\}$. The upper bound for $e(G)$ here is tight.
2017-04-07 v3
Tree-based unrooted phylogenetic networks
Published • View Publication • BIB
Phylogenetic networks are a generalization of phylogenetic trees that are used to represent non-tree-like evolutionary histories that arise in organisms such as plants and bacteria, or uncertainty in evolutionary histories. An \emph{unrooted} phylogenetic network on a nonempty, finite set $X$ of taxa, or \emph{network}, is a connected graph in which every vertex has degree 1 or 3 and whose leaf-set is $X$. It is called a \emph{phylogenetic tree} if the underlying graph is a tree. In this paper we consider properties of \emph{tree-based networks}, that is, networks that can be constructed by adding edges into a phylogenetic tree. We show that although they have some properties in common with their rooted analogues which have recently drawn much attention in the literature, they have some striking differences in terms of both their structural and computational properties. We expect that our results could eventually have applications to, for example, detecting horizontal gene transfer or hyrbridization which are important factors in the evolution of many organisms.
2017-04-04
On inverse Wiener interval problem of trees
Published • View Publication • BIB
The Wiener index W(G) of a simple connected graph G is defined as the sum of distances over all pairs of vertices in a graph. We denote by W[T_{n}] the set of all values of Wiener index for a graph from class T_{n} of trees on n vertices. The largest interval of contiguous integers (contiguous even integers in case of odd n) is denoted by W^{int}[T_{n}]. In this paper we prove that both sets are of the cardinality (1/6)n^3+O(n^2) in the case of even n, while in the case of odd n we prove that the cardinality of both sets equals (1/(12))n^3+O(n^2) solving thus two conjectures posed in literature.
Matching Connectivity: On the Structure of Graphs with Perfect Matchings
Published • View Publication • BIB
We introduce the concept of matching connectivity as a notion of connectivity in graph admitting perfect matchings which heavily relies on the structural properties of those matchings. We generalise a result of Robertson, Seymour and Thomas for bipartite graphs with perfect matchings (see [Neil Roberts, Paul D Seymour, and Robin Thomas. Permanents, pfaffian orientations, and even directed curcuits. Annals of Mathematics, 150(2):929-975, 1999]) in order to obtain a concept of alternating paths that turns out to be sufficient for the description of our connectivity parameter. We introduce some basic properties of matching connectivity and prove a Menger-type result for matching n-connected graphs. Furthermore, we show that matching connectivity fills a gap in the investigation of n-extendable graphs and their connectivity properties. To be more precise we show that every n-extendable graph is matching n-connected and for the converse every matching (n+1)-connected graph either is n-extendable, or belongs to a well described class of graphs: the brace h-critical graphs.
2017-03-29
Steiner trees and higher geodecity
Let $G$ be a connected graph and $\ell : E(G) \to \mathbb{R}^+$ a length-function on the edges of $G$. The Steiner distance $\mathrm{sd}_G(A)$ of $A \subseteq V(G)$ within $G$ is the minimum length of a connected subgraph of $G$ containing $A$, where the length of a subgraph is the sum of the lengths of its edges. It is clear that every subgraph $H \subseteq G$, with the induced length-function $\ell|_{E(H)}$, satisfies $\mathrm{sd}_H(A) \geq \mathrm{sd}_G(A)$ for every $A \subseteq V(H)$. We call $H \subseteq G$ $k$-geodesic in $G$ if equality is attained for every $A \subseteq V(H)$ with $|A| \leq k$. A subgraph is fully geodesic if it is $k$-geodesic for every $k \in \mathbb{N}$. It is easy to construct examples of graphs $H \subseteq G$ such that $H$ is $k$-geodesic, but not $(k+1)$-geodesic, so this defines a strict hierarchy of properties. We are interested in situations in which this hierarchy collapses in the sense that if $H \subseteq G$ is $k$-geodesic, then $H$ is already fully geodesic in $G$. Our first result of this kind asserts that if $T$ is a tree and $T \subseteq G$ is 2-geodesic with respect to some length-function $\ell$, then it is fully geodesic. This fails for graphs containing a cycle. We also prove that if $C$ is a cycle and $C \subseteq G$ is 6-geodesic, then $C$ is fully geodesic. We present an example showing that the number six is indeed optimal. We then develop a structural approach towards a more general theory and present several open questions concerning the big picture underlying this phenomenon.
2017-03-28
More on the $k$-color connection number of a graph
An edge-colored graph $G$ is $k$-color connected if, between each pair of vertices, there exists a path using at least $k$ different colors. The $k$-color connection number of $G$, denoted by $cc_{k}(G)$, is the minimum number of colors needed to color the edges of $G$ so that $G$ is $k$-color connected. First, we prove that let $H$ be a subdivision of a connected graph $G$, then $cc_{k}(H)\leq cc_{k}(G)$. Second, we give sufficient conditions to guarantee that $cc_{k}(G)=k$ in terms of minimum degree and the number of edges for 2-connected graphs. As a byproduct, we show that almost all graphs have the $k$-color connection number $k$. At last, we investigate the relationship between the $k$-color connection number and the rainbow connection number for a connected graph. In addition, we give exact values of $k$-color connection numbers for some graph classes: subdivisions of the wheel and the complete graph, and the generalised $θ$-graph.
2017-03-25
On well-covered Cartesian products
Published • View Publication • BIB
In 1970, Plummer defined a well-covered graph to be a graph $G$ in which all maximal independent sets are in fact maximum. Later Hartnell and Rall showed that if the Cartesian product $G \Box H$ is well-covered, then at least one of $G$ or $H$ is well-covered. In this paper, we consider the problem of classifying all well-covered Cartesian products. In particular, we show that if the Cartesian product of two nontrivial, connected graphs of girth at least $4$ is well-covered, then at least one of the graphs is $K_2$. Moreover, we show that $K_2 \Box K_2$ and $C_5 \Box K_2$ are the only well-covered Cartesian products of nontrivial, connected graphs of girth at least $5$.
2017-03-24
Arc-transitive cyclic and dihedral covers of pentavalent symmetric graphs of order twice a prime
Published • View Publication • BIB
A regular cover of a connected graph is called {\em cyclic} or {\em dihedral} if its transformation group is cyclic or dihedral respectively, and {\em arc-transitive} (or {\em symmetric}) if the fibre-preserving automorphism subgroup acts arc-transitively on the regular cover. In this paper, we give a classification of arc-transitive cyclic and dihedral covers of a connected pentavalent symmetric graph of order twice a prime. All those covers are explicitly constructed as Cayley graphs on some groups, and their full automorphism groups are determined.
Locating a robber with multiple probes
Published in Discrete Mathematics 341 (2018) 184--193 • View Publication • BIB
We consider a game in which a cop searches for a moving robber on a connected graph using distance probes, which is a slight variation on one introduced by Seager. Carragher, Choi, Delcourt, Erickson and West showed that for any $n$-vertex graph $G$ there is a winning strategy for the cop on the graph $G^{1/m}$ obtained by replacing each edge of $G$ by a path of length $m$, if $m\geq n$. The present authors showed that, for all but a few small values of $n$, this bound may be improved to $m\geq n/2$, which is best possible. In this paper we consider the natural extension in which the cop probes a set of $k$ vertices, rather than a single vertex, at each turn. We consider the relationship between the value of $k$ required to ensure victory on the original graph and the length of subdivisions required to ensure victory with $k=1$. We give an asymptotically best-possible linear bound in one direction, but show that in the other direction no subexponential bound holds. We also give a bound on the value of $k$ for which the cop has a winning strategy on any (possibly infinite) connected graph of maximum degree $Δ$, which is best possible up to a factor of $(1-o(1))$.
2017-03-12 v3
Tight Nordhaus-Gaddum-type upper bound for total-rainbow connection number of graphs
Published • View Publication • BIB
A graph is said to be \emph{total-colored} if all the edges and the vertices of the graph are colored. A total-colored graph is \emph{total-rainbow connected} if any two vertices of the graph are connected by a path whose edges and internal vertices have distinct colors. For a connected graph $G$, the \emph{total-rainbow connection number} of $G$, denoted by $trc(G)$, is the minimum number of colors required in a total-coloring of $G$ to make $G$ total-rainbow connected. In this paper, we first characterize the graphs having large total-rainbow connection numbers. Based on this, we obtain a Nordhaus-Gaddum-type upper bound for the total-rainbow connection number. We prove that if $G$ and $\overline{G}$ are connected complementary graphs on $n$ vertices, then $trc(G)+trc(\overline{G})\leq 2n$ when $n\geq 6$ and $trc(G)+trc(\overline{G})\leq 2n+1$ when $n=5$. Examples are given to show that the upper bounds are sharp for $n\geq 5$. This completely solves a conjecture in [Y. Ma, Total rainbow connection number and complementary graph, Results in Mathematics 70(1-2)(2016), 173-182].
2017-03-11
The Steiner (n-3)-diameter of a graph
Published • View Publication • BIB
The Steiner distance of a graph, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n$ and $k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S \}$. Furthermore, the Steiner \emph{$k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In 2011, Chartrand, Okamoto, Zhang showed that $k-1\leq sdiam_k(G)\leq n-1$. In this paper, graphs with $sdiam_k(G)=\ell$ for $k=n,n-1,n-2,n-3$ and $k-1\leq \ell \leq n-1$ are characterized, respectively.
2017-03-04 v7
Steiner Distance in Product Networks
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (October 23, 2018) dmtcs:3175 • View Publication • BIB
For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n$ and $k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d_G(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S\}$. Furthermore, the \emph{Steiner $k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In this paper, we investigate the Steiner distance and Steiner $k$-diameter of Cartesian and lexicographical product graphs. Also, we study the Steiner $k$-diameter of some networks.
2017-03-01
A note on asymptotically optimal neighbour sum distinguishing colourings
Published in European J. Comb. 77 (2019) 49-56 • View Publication • BIB
The least $k$ admitting a proper edge colouring $c:E\to\{1,2,\ldots,k\}$ of a graph $G=(V,E)$ without isolated edges such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every $uv\in E$ is denoted by $χ'_Σ(G)$. It has been conjectured that $χ'_Σ(G)\leq Δ+ 2$ for every connected graph of order at least three different from the cycle $C_5$, where $Δ$ is the maximum degree of $G$. It is known that $χ'_Σ(G) = Δ+ O(Δ^\frac{5}{6}\ln^\frac{1}{6}Δ)$ for a graph $G$ without isolated edges. We improve this upper bound to $χ'_Σ(G) = Δ+ O(Δ^\frac{1}{2})$ using a simpler approach involving a combinatorial algorithm enhanced by the probabilistic method. The same upper bound is provided for the total version of this problem as well.
The metric dimension of the circulant graph $C(n,\pm\{1,2,3,4\})$
Published in Australasian Journal of Combinatorics, 69(3), 417-441, 2017 • Search Publication
Let $G=(V,E)$ be a connected graph and let $d(u,v)$ denote the distance between vertices $u,v \in V$. A metric basis for $G$ is a set $B\subseteq V$ of minimum cardinality such that no two vertices of $G$ have the same distances to all points of $B$. The cardinality of a metric basis of $G$ is called the metric dimension of $G$, denoted by $\dim(G)$. In this paper we determine the metric dimension of the circulant graphs $C(n,\pm\{1,2,3,4\})$ for all values of $n$.
2017-02-20 v3
On the Total Forcing Number of a Graph
Published • View Publication • BIB
Let $G$ be a simple and finite graph without isolated vertices. In this paper we study forcing sets (zero forcing sets) which induce a subgraph of $G$ without isolated vertices. Such a set is called a total forcing set, introduced and first studied by Davila \cite{Davila}. The minimum cardinality of a total forcing set in $G$ is the total forcing number of $G$, denoted $F_t(G)$. We study basic properties of $F_t(G)$, relate $F_t(G)$ to various domination parameters, and establish $NP$-completeness of the associated decision problem for $F_t(G)$. We also prove that if $G$ is a connected graph of order $n \ge 3$ and maximum degree $Δ$, then $F_t(G) \le ( \fracΔ{Δ+1} ) n$, with equality if and only if $G$ is a complete graph $K_{Δ+ 1}$.
2017-02-19
The Steiner 4-diameter of a graph
The Steiner distance of a graph, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n,k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S \}$. Furthermore, the \emph{Steiner $k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In 2011, Chartrand, Okamoto and Zhang showed that $k-1\leq sdiam_k(G)\leq n-1$. In this paper, graphs with $sdiam_4(G)=3,4,n-1$ are characterized, respectively.
2017-02-19
Graph homomorphisms on rectangular matrices over division rings II
Published • View Publication • BIB
Let ${\mathbb{D}}^{m\times n}$ be the set of $m\times n$ matrices over a division ring $\mathbb{D}$. Two matrices $A,B\in {\mathbb{D}}^{m\times n}$ are adjacent if ${\rm rank}(A-B)=1$. By the adjacency, ${\mathbb{D}}^{m\times n}$ is a connected graph. Suppose $\mathbb{D}, \mathbb{D}'$ are division rings and $m,n,m',n'\geq2$ are integers. We determine additive graph homomorphisms from ${\mathbb{D}}^{m\times n}$ to ${\mathbb{D}'}^{m'\times n'}$. When $|\mathbb{D}|\geq 4$, we characterize the graph homomorphism $\varphi: {\mathbb{D}}^{n\times n}\rightarrow {\mathbb{D}'}^{m'\times n'}$ if $\varphi(0)=0$ and there exists $A_0\in {\mathbb{D}}^{n\times n}$ such that ${\rm rank}(\varphi(A_0))=n$. We also discuss properties and ranges on degenerate graph homomorphisms. If $f:{\mathbb{D}}^{m\times n}\rightarrow {\mathbb{D}'}^{m'\times n'}$ (where ${\rm min}\{m,n\}=2$) is a degenerate graph homomorphism, we prove that the image of $f$ is contained in a union of two maximal adjacent sets of different types. For the case of finite fields, we obtain two better results on degenerate graph homomorphisms.
Bounds for phylogenetic network space metrics
Published • View Publication • BIB
Phylogenetic networks are a generalization of phylogenetic trees that allow for representation of reticulate evolution. Recently, a space of unrooted phylogenetic networks was introduced, where such a network is a connected graph in which every vertex has degree 1 or 3 and whose leaf-set is a fixed set $X$ of taxa. This space, denoted $\mathcal{N}(X)$, is defined in terms of two operations on networks -- the nearest neighbor interchange and triangle operations -- which can be used to transform any network with leaf set $X$ into any other network with that leaf set. In particular, it gives rise to a metric $d$ on $\mathcal N(X)$ which is given by the smallest number of operations required to transform one network in $\mathcal N(X)$ into another in $\mathcal N(X)$. The metric generalizes the well-known NNI-metric on phylogenetic trees which has been intensively studied in the literature. In this paper, we derive a bound for the metric $d$ as well as a related metric $d_{N\!N\!I}$ which arises when restricting $d$ to the subset of $\mathcal{N}(X)$ consisting of all networks with $2(|X|-1+i)$ vertices, $i \ge 1$. We also introduce two new metrics on networks -- the SPR and TBR metrics -- which generalize the metrics on phylogenetic trees with the same name and give bounds for these new metrics. We expect our results to eventually have applications to the development and understanding of network search algorithms.
2017-02-17
$\ell$-distance-balanced graphs
Let $\ell$ denote a positive integer. A connected graph $\G$ of diameter at least $\ell$ is said to be $\ell${\it -distance-balanced} whenever for any pair of vertices $u,v$ of $\G$ such that $d(u,v)=\ell$, the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$. In this paper we present some basic properties of $\ell$-distance-balanced graphs and study in more detail $\ell$-distance-balanced graphs of diameter at most $3$. We also investigate the $\ell$-distance-balanced property of some well known families of graphs such as the generalized Petersen graphs.
2017-02-13 v2
On the connectivity of graphs in association schemes
Published • View Publication • BIB
Let $(X,\mathcal{R})$ be a commutative association scheme and let $Γ=(X,R\cup R^\top)$ be a connected undirected graph where $R\in \mathcal{R}$. Godsil (resp., Brouwer) conjectured that the edge connectivity (resp., vertex connectivity) of $Γ$ is equal to its valency. In this paper, we prove that the deletion of the neighborhood of any vertex leaves behind at most one non-singleton component. Two vertices $a,b\in X$ are called "twins" in $Γ$ if they have identical neighborhoods: $Γ(a)=Γ(b)$. We characterize twins in polynomial association schemes and show that, in the absence of twins, the deletion of any vertex and its neighbors in $Γ$ results in a connected graph. Using this and other tools, we find lower bounds on the connectivity of $Γ$, especially in the case where $Γ$ has diameter two. Among the applications of these results, we find that the only connected relations in symmetric association schemes which admit a disconnecting set of size two are those which are ordinary polygons.