arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2681 papers tagged with this keyword
Maximum Eccentric Connectivity Index for Graphs with Given Diameter
Published • View Publication • BIB
The eccentricity of a vertex $v$ in a graph $G$ is the maximum distance between $v$ and any other vertex of $G$. The diameter of a graph $G$ is the maximum eccentricity of a vertex in $G$. The eccentric connectivity index of a connected graph is the sum over all vertices of the product between eccentricity and degree. Given two integers $n$ and $D$ with $D\leq n-1$, we characterize those graphs which have the largest eccentric connectivity index among all connected graphs of order $n$ and diameter $D$. As a corollary, we also characterize those graphs which have the largest eccentric connectivity index among all connected graphs of a given order $n$.
2018-08-28 v2
The Undirected Optical Indices of Trees
Published • View Publication • BIB
For a connected graph $G$, an instance $I$ is a set of pairs of vertices and a corresponding routing $R$ is a set of paths specified for all vertex-pairs in $I$. Let $\mathfrak{R}_I$ be the collection of all routings with respect to $I$. The undirected optical index of $G$ with respect to $I$ refers to the minimum integer $k$ to guarantee the existence of a mapping $φ:R\to\{1,2,\ldots,k\}$, such that $φ(P)\neqφ(P')$ if $P$ and $P'$ have common edge(s), over all routings $R\in\mathfrak{R}_I$. A natural lower bound of the undirected optical index is the edge-forwarding index, which is defined to be the minimum of the maximum edge-load over all possible routings. Let $w(G,I)$ and $π(G,I)$ denote the undirected optical index and edge-forwarding index with respect to $I$, respectively. In this paper, we derive the inequality $w(T,I_A)<\frac{3}{2}π(T,I_A)$ for any tree $T$, where $I_A:=\{\{x,y\}:\,x,y\in V(T)\}$ is the all-to-all instance.
2018-08-22
The effect on the spectral radius of r-graphs by grafting or contracting edges
Published • View Publication • BIB
Let $\mathcal{H}^{(r)}_n$ be the set of all connected $r$-graphs with given size $n$. In this paper, we investigate the effect on the spectral radius of $r$-uniform hypergraphs by grafting or contracting an edge and then give the ordering of the $r$-graphs with small spectral radius over $\mathcal{H}^{(r)}_n$, when $n\geq 20$.
Stable divisorial gonality is in NP
Published • View Publication • BIB
Divisorial gonality and stable divisorial gonality are graph parameters, which have an origin in algebraic geometry. Divisorial gonality of a connected graph $G$ can be defined with help of a chip firing game on $G$. The stable divisorial gonality of $G$ is the minimum divisorial gonality over all subdivisions of edges of $G$. In this paper we prove that deciding whether a given connected graph has stable divisorial gonality at most a given integer $k$ belongs to the class NP. Combined with the result that (stable) divisorial gonality is NP-hard by Gijswijt, we obtain that stable divisorial gonality is NP-complete. The proof consist of a partial certificate that can be verified by solving an Integer Linear Programming instance. As a corollary, we have that the number of subdivisions needed for minimum stable divisorial gonality of a graph with $n$ vertices is bounded by $2^{p(n)}$ for a polynomial $p$.
2018-08-19
Counting Connected Graphs without Overlapping Cycles
The simple connected graphs may be classified by their cycle composition (number and lengths of cycles). This work derives the counting series of the simple connected graphs that have cycles of unrestricted number and length, but no overlapping cycles. Cycle pairs of these graphs of interest must not have common nodes or edges. The recipe of counting these graphs is based on the counting series of the associated planted graphs, multisets of planted graphs, a recursive synthesis of enriched trees, and a generalized Otter's formula that maps the underlying rooted block graphs to the underlying block graphs.
2018-08-15 v3
7-Connected Graphs are 4-Ordered
Published in J. Combin. Theory Ser. B. 141 (2020), 115-135 • View Publication • BIB
A graph $G$ is $k$-ordered if for any distinct vertices $v_1, v_2, \ldots, v_k \in V(G)$, it has a cycle through $v_1, v_2, \ldots, v_k$ in order. Let $f(k)$ denote the minimum integer so that every $f(k)$-connected graph is $k$-ordered. The first non-trivial case of determining $f(k)$ is when $k=4$, where the previously best known bounds are $7 \leq f(4) \leq 40$. We prove that in fact $f(4)=7$.
A Ramsey-type theorem for the matching number regarding connected graphs
Published • View Publication • BIB
A major line of research is discovering Ramsey-type theorems, which are results of the following form: given a graph parameter $ρ$, every graph $G$ with sufficiently large $ρ(G)$ contains a `well-structured' induced subgraph $H$ with large $ρ(H)$. The classical Ramsey's theorem deals with the case when the graph parameter under consideration is the number of vertices; there is also a Ramsey-type theorem regarding connected graphs. Given a graph $G$, the matching number and the induced matching number of $G$ is the maximum size of a matching and an induced matching, respectively, of $G$. In this paper, we formulate Ramsey-type theorems for the matching number and the induced matching number regarding connected graphs. Along the way, we obtain a Ramsey-type theorem for the independence number regarding connected graphs as well.
Addressing Johnson graphs, complete multipartite graphs, odd cycles and other graphs
Published • View Publication • BIB
Graham and Pollak showed that the vertices of any graph $G$ can be addressed with $N$-tuples of three symbols, such that the distance between any two vertices may be easily determined from their addresses. An addressing is optimal if its length $N$ is minimum possible. In this paper, we determine an addressing of length $k(n-k)$ for the Johnson graphs $J(n,k)$ and we show that our addressing is optimal when $k=1$ or when $k=2, n=4,5,6$, but not when $n=6$ and $k=3$. We study the addressing problem as well as a variation of it in which the alphabet used has more than three symbols, for other graphs such as complete multipartite graphs and odd cycles. We also present computations describing the distribution of the minimum length of addressings for connected graphs with up to $10$ vertices. Motivated by these computations we settle a problem of Graham, showing that most graphs on $n$ vertices have an addressing of length at most $n-(2-o(1))\log_2 n$.
2018-08-14
Hedetniemi's conjecture and strongly multiplicative graphs
Published • View Publication • BIB
A graph K is multiplicative if a homomorphism from any product G x H to K implies a homomorphism from G or from H. Hedetniemi's conjecture states that all cliques are multiplicative. In an attempt to explore the boundaries of current methods, we investigate strongly multiplicative graphs, which we define as K such that for any connected graphs G,H with odd cycles C,C', a homomorphism from $(G \times C') \cup (C \times H) \subseteq G \times H$ to K implies a homomorphism from G or H. Strong multiplicativity of K also implies the following property, which may be of independent interest: if G is non-bipartite, H is a connected graph with a vertex h, and there is a homomorphism $φ\colon G \times H \to K$ such that $φ(-,h)$ is constant, then H admits a homomorphism to K. All graphs currently known to be multiplicative are strongly multiplicative. We revisit the proofs in a different view based on covering graphs and replace fragments with more combinatorial arguments. This allows us to find new (strongly) multiplicative graphs: all graphs in which every edge is in at most square, and the third power of any graph of girth >12. Though more graphs are amenable to our methods, they still make no progress for the case of cliques. Instead we hope to understand their limits, perhaps hinting at ways to further extend them.
2018-08-06
Structure and substructure connectivity of balanced hypercubes
The connectivity of a network directly signifies its reliability and fault-tolerance. Structure and substructure connectivity are two novel generalizations of the connectivity. Let $H$ be a subgraph of a connected graph $G$. The structure connectivity (resp. substructure connectivity) of $G$, denoted by $κ(G;H)$ (resp. $κ^s(G;H)$), is defined to be the minimum cardinality of a set $F$ of connected subgraphs in $G$, if exists, whose removal disconnects $G$ and each element of $F$ is isomorphic to $H$ (resp. a subgraph of $H$). In this paper, we shall establish both $κ(BH_n;H)$ and $κ^s(BH_n;H)$ of the balanced hypercube $BH_n$ for $H\in\{K_1,K_{1,1},K_{1,2},K_{1,3},C_4\}$.
2018-07-30 v3
Binding Number, Toughness and General Matching Extendability in Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (January 17, 2019) dmtcs:4723 • View Publication • BIB
A connected graph $G$ with at least $2m + 2n + 2$ vertices which contains a perfect matching is $E(m, n)$-{\it extendable}, if for any two sets of disjoint independent edges $M$ and $N$ with $|M| = m$ and $|N|= n$, there is a perfect matching $F$ in $G$ such that $M\subseteq F$ and $N\cap F=\emptyset$. Similarly, a connected graph with at least $n+2k+2$ vertices is called $(n,k)$-{\it extendable} if for any vertex set $S$ of size $n$ and any matching $M$ of size $k$ of $G-S$, $G-S-V(M)$ contains a perfect matching. Let $\varepsilon$ be a small positive constant, $b(G)$ and $t(G)$ be the binding number and toughness of a graph $G$. The two main theorems of this paper are: for every graph $G$ with sufficiently large order, 1) if $b(G)\geq 4/3+\varepsilon$, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable; 2) if $t(G)\geq 1+\varepsilon$ and $G$ has a high connectivity, then $G$ is $E(m,n)$-extendable and also $(n,k)$-extendable. It is worth to point out that the binding number and toughness conditions for the existence of the general matching extension properties are almost same as that for the existence of perfect matchings.
2018-07-29
Spectra, hitting times, and resistance distances of $q$-subdivision graphs
Published • View Publication • BIB
Graph operations or products play an important role in complex networks. In this paper, we study the properties of $q$-subdivision graphs, which have been applied to model complex networks. For a simple connected graph $G$, its $q$-subdivision graph $S_q(G)$ is obtained from $G$ through replacing every edge $uv$ in $G$ by $q$ disjoint paths of length 2, with each path having $u$ and $v$ as its ends. We derive explicit formulas for many quantities of $S_q(G)$ in terms of those corresponding to $G$, including the eigenvalues and eigenvectors of normalized adjacency matrix, two-node hitting time, Kemeny constant, two-node resistance distance, Kirchhoff index, additive degree-Kirchhoff index, and multiplicative degree-Kirchhoff index. We also study the properties of the iterated $q$-subdivision graphs, based on which we obtain the closed-form expressions for a family of hierarchical lattices, which has been used to describe scale-free fractal networks.
2018-07-29
Hitting times and resistance distances of $q$-triangulation graphs: Accurate results and applications
Graph operations or products, such as triangulation and Kronecker product have been extensively applied to model complex networks with striking properties observed in real-world complex systems. In this paper, we study hitting times and resistance distances of $q$-triangulation graphs. For a simple connected graph $G$, its $q$-triangulation graph $R_q(G)$ is obtained from $G$ by performing the $q$-triangulation operation on $G$. That is, for every edge $uv$ in $G$, we add $q$ disjoint paths of length $2$, each having $u$ and $v$ as its ends. We first derive the eigenvalues and eigenvectors of normalized adjacency matrix of $R_q(G)$, expressing them in terms of those associated with $G$. Based on these results, we further obtain some interesting quantities about random walks and resistance distances for $R_q(G)$, including two-node hitting time, Kemeny's constant, two-node resistance distance, Kirchhoff index, additive degree-Kirchhoff index, and multiplicative degree-Kirchhoff index. Finally, we provide exact formulas for the aforementioned quantities of iterated $q$-triangulation graphs, using which we provide closed-form expressions for those quantities corresponding to a class of scale-free small-world graphs, which has been applied to mimic complex networks.
2018-07-28
On roots of Wiener polynomials of trees
Published • View Publication • BIB
The \emph{Wiener polynomial} of a connected graph $G$ is the polynomial $W(G;x) = \sum_{i=1}^{D(G)} d_i(G)x^i$ where $D(G)$ is the diameter of $G$, and $d_i(G)$ is the number of pairs of vertices at distance $i$ from each other. We examine the roots of Wiener polynomials of trees. We prove that the collection of real Wiener roots of trees is dense in $(-\infty, 0]$, and the collection of complex Wiener roots of trees is dense in $\mathbb C$. We also prove that the maximum modulus among all Wiener roots of trees of order $n \ge 31$ is between $2n-15$ and $2n-16$, and we determine the unique tree that achieves the maximum for $n \ge 31$. Finally, we find trees of arbitrarily large diameter whose Wiener roots are all real.
2018-07-27 v2
Hom complexes of graphs of diameter $1$
Given a finite simplicial complex $X$ and a connected graph $T$ of diameter $1$, in \cite{anton} Dochtermann had conjectured that $\text{Hom}(T,G_{1,X})$ is homotopy equivalent to $X$. Here, $G_{1, X}$ is the reflexive graph obtained by taking the $1$-skeleton of the first barycentric subdivision of $X$ and adding a loop at each vertex. This was proved by Dochtermann and Schultz in \cite{ds12}. In this article, we give an alternate proof of this result by understanding the structure of the cells of Hom$(K_n,G_{1,X})$, where $K_n$ is the complete graph on $n$ vertices. We prove that the neighborhood complex of $G_{1,X}$ is homotopy equivalent to $X$ and Hom$(K_n,G_{1,X})\simeq $ Hom$(K_{n-1},G_{1,X})$, for each $n\geq 3$.
2018-07-26 v6
A note on the Grinberg condition in the cycle spaces
Finding a Hamilton graph from simple connected graphs is an important problem in discrete mathematics and computer science. Grinberg Theorem is a well-known necessary condition for planar Hamilton graphs. It divides a plane into two parts: inside and outside faces. The sum of inside faces in a Hamilton graph is a Hamilton cycle. In this paper, using a basis of the cycle space to represent a graph and by the Inclusion-Exclusion Principle, we derive the equality with respect to the inside faces that can be also obtained from Grinberg Theorem. By further investigating the cycle structure of inside faces, we give a new combinatorial interpretation to Grinberg's condition, which explains why Grinberg Theorem is not sufficient for Hamilton graphs. Our results will improve deriving an efficient condition for Hamilton graphs.
2018-07-24
On induced Ramsey numbers for multiple copies of graphs
Published • View Publication • BIB
We say that a graph F strongly arrows a pair of graphs (G,H) if any colouring of its edges with red and blue leads to either a red G or a blue H appearing as induced subgraphs of F. The induced Ramsey number, IR(G,H) is defined as the smallest order of a graph that strongly arrows (G,H). We consider the connection between the induced Ramsey number for a pair of two connected graphs IR(G,H) and the induced Ramsey number for multiple copies of these graphs IR(sG,tH), where xG denotes the pairwise vertex-disjoint union of x copies of G. It is easy to see that if F strongly arrow (G,H), then (s+t-1)F strongly arrows (sG, tH). This implies that IR(sG, tH) is at most (s+t-1)IR(G,H). For all known results on induced Ramsey numbers for multiple copies, the inequality above holds as equality. We show that there are infinite classes of graphs for which the inequality above is strict and moreover, IR(sG, tH) could be arbitrarily smaller than (s+t-1)IR(G,H). On the other hand, we provide further examples of classes of graphs for which the inequality above holds as equality.
2018-07-23
Chromatic roots at 2 and at the Beraha number $B_{10}$
Published • View Publication • BIB
By the construction of suitable graphs and the determination of their chromatic polynomials, we resolve two open questions concerning real chromatic roots. First we exhibit graphs for which the Beraha number $B_{10} = (5 + \sqrt{5})/2$ is a chromatic root. As it was previously known that no other non-integer Beraha number is a chromatic root, this completes the determination of precisely which Beraha numbers can be chromatic roots. Next we construct an infinite family of $3$-connected graphs such that for any $k \geqslant 1$, there is a member of the family with $q=2$ as a chromatic root of multiplicity at least $k$. The former resolves a question of Salas and Sokal [J. Statist. Pys. 104 (2001) pp. 609--699] and the latter a question of Dong and Koh [J. Graph Theory 70 (2012) pp. 262--283].
2018-07-23
The $g$-good neighbor conditional diagnosability of locally exchanged twisted cubes
Published • View Publication • BIB
Connectivity and diagnosability are important parameters in measuring the fault tolerance and reliability of interconnection networks. The $R^g$-vertex-connectivity of a connected graph $G$ is the minimum cardinality of a faulty set $X\subseteq V(G)$ such that $G-X$ is disconnected and every fault-free vertex has at least $g$ fault-free neighbors. The $g$-good-neighbor conditional diagnosability is defined as the maximum cardinality of a $g$-good-neighbor conditional faulty set that the system can guarantee to identify. The interconnection network considered here is the locally exchanged twisted cube $LeTQ(s,t)$. For $1\leq s\leq t$ and $0\leq g\leq s$, we first determine the $R^g$-vertex-connectivity of $LeTQ(s,t)$, then establish the $g$-good neighbor conditional diagnosability of $LeTQ(s,t)$ under the PMC model and MM$^*$ model, respectively.
2018-07-21
On the anti-forcing number of graph powers
Let $G=(V,E)$ be a simple connected graph. A perfect matching (or Kekulé structure in chemical literature) of $G$ is a set of disjoint edges which covers all vertices of $G$. The anti-forcing number of $G$ is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching and is denoted by $af(G)$. For every $m\in\mathbb{N}$, the $m$th power of $G$, denoted by $G^m$, is a graph with the same vertex set as $G$ such that two vertices are adjacent in $G^m$ if and only if their distance is at most $m$ in $G$. In this paper, we study the anti-forcing number of the powers of some graphs.