arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2651 papers tagged with this keyword
2015-11-16
Distance integral complete multipartite graphs with $s=5,6$
Published • View Publication • BIB
Let $D(G)=(d_{ij})_{n\times n}$ denote the distance matrix of a connected graph $G$ with order $n$, where $d_{ij}$ is equal to the distance between vertices $v_{i}$ and $v_{j}$ in $G$. A graph is called distance integral if all eigenvalues of its distance matrix are integers. In 2014, Yang and Wang gave a sufficient and necessary condition for complete $r$-partite graphs $K_{p_{1},p_{2},\ldots,p_{r}}=K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}}$ to be distance integral and obtained such distance integral graphs with $s=1,2,3,4$. However distance integral complete multipartite graphs $K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}}$ with $s>4$ have not been found. In this paper, we find and construct some infinite classes of these distance integral graphs $K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}}$ with $s=5,6$. The problem of the existence of such distance integral graphs $K_{a_{1}\cdot p_{1},a_{2}\cdot p_{2},\ldots,a_{s}\cdot p_{s}}$ with arbitrarily large number $s$ remains open.
2015-11-15 v2
Counting dense connected hypergraphs via the probabilistic method
Published in Random Structures and Algorithms 53 (2018), 185--220 • View Publication • BIB
In 1990 Bender, Canfield and McKay gave an asymptotic formula for the number of connected graphs on $[n]=\{1,2,\ldots,n\}$ with $m$ edges, whenever $n\to\infty$ and $n-1\le m=m(n)\le \binom{n}{2}$. We give an asymptotic formula for the number $C_r(n,m)$ of connected $r$-uniform hypergraphs on $[n]$ with $m$ edges, whenever $r\ge 3$ is fixed and $m=m(n)$ with $m/n\to\infty$, i.e., the average degree tends to infinity. This complements recent results of Behrisch, Coja-Oghlan and Kang (the case $m=n/(r-1)+Θ(n)$) and the present authors (the case $m=n/(r-1)+o(n)$, i.e., `nullity' or `excess' $o(n)$). The proof is based on probabilistic methods, and in particular on a bivariate local limit theorem for the number of vertices and edges in the largest component of a certain random hypergraph. The arguments are much simpler than in the sparse case; in particular, we can use `smoothing' techniques to directly prove the local limit theorem, without needing to first prove a central limit theorem.
2015-11-13
Partially magic labelings and the Antimagic Graph Conjecture
Published in Séminaire Lotharingien de Combinatoire, 78B (2017), Article 86 • Search Publication
The Antimagic Graph Conjecture asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, \dots, |E|$ is used exactly once and the sums of the labels on all edges incident to a given vertex are distinct. On the other extreme, an edge labeling is magic if the sums of the labels on all edges incident to each vertex are the same. In this paper we approach antimagic labelings by introducing partially magic labelings, where "magic occurs'' just in a subset of $V$. We generalize Stanley's theorem about the magic graph labeling counting function to the associated counting function of partially magic labelings and prove that it is a quasi-polynomial of period at most $2$. This allows us to introduce weak antimagic labelings (for which repetition is allowed), and we show that every bipartite graph satisfies a weakened version of the Antimagic Graph Conjecture.
2015-11-10
Cacti with maximum Kirchhoff index
The concept of resistance distance was first proposed by Klein and Randić. The Kirchhoff index $Kf(G)$ of a graph $G$ is the sum of resistance distance between all pairs of vertices in $G$. A connected graph $G$ is called a cactus if each block of $G$ is either an edge or a cycle. Let $Cat(n;t)$ be the set of connected cacti possessing $n$ vertices and $t$ cycles, where $0\leq t \leq \lfloor\frac{n-1}{2}\rfloor$. In this paper, the maximum kirchhoff index of cacti are characterized, as well as the corresponding extremal graph.
2015-11-06 v2
2-Trees: Structural Insights and the study of Hamiltonian Paths
Published • View Publication • BIB
For a connected graph, a path containing all vertices is known as \emph{Hamiltonian path}. For general graphs, there is no known necessary and sufficient condition for the existence of Hamiltonian paths and the complexity of finding a Hamiltonian path in general graphs is NP-Complete. We present a necessary and sufficient condition for the existence of Hamiltonian paths in 2-trees. Using our characterization, we also present a linear-time algorithm for the existence of Hamiltonian paths in 2-trees. Our characterization is based on a deep understanding of the structure of 2-trees and the combinatorics presented here may be used in other combinatorial problems restricted to 2-trees.
2015-11-05
Maximizing Kirchhoff index of unicyclic graphs with fixed maximum degree
The Kirchhoff index of a connected graph is the sum of resistance distances between all unordered pairs of vertices in the graph. Its considerable applications are found in a variety of fields. In this paper, we determine the maximum value of Kirchhoff index among the unicyclic graphs with fixed number of vertices and maximum degree, and characterize the corresponding extremal graph.
A counterexample to a result on the tree graph of a graph
Published in Australasian Journal of Combinatorics 63(3) (2015), 368 - 373 • Search Publication
Given a set of cycles C of a graph G, the tree graph of G defined by C is the graph T(G,C) whose vertices are the spanning trees of G and in which two trees R and S are adjacent if the union of R and S contains exactly one cycle and this cycle lies in C. Li et al [Discrete Math 271 (2003), 303--310] proved that if the graph T(G,C) is connected, then C cyclically spans the cycle space of G. Later, Yumei Hu [Proceedings of the 6th International Conference on Wireless Communications Networking and Mobile Computing (2010), 1--3] proved that if C is an arboreal family of cycles of G which cyclically spans the cycle space of a $2$-connected graph G, then T(G, C) is connected. In this note we present an infinite family of counterexamples to Hu's result.
2015-11-02
Beyond Degree Choosability
Published in Electronic Journal of Combinatorics. Vol. 24(3), 2017, #P3.29 • View Publication • BIB
Let $G$ be a connected graph with maximum degree $Δ$. Brooks' theorem states that $G$ has a $Δ$-coloring unless $G$ is a complete graph or an odd cycle. A graph $G$ is \emph{degree-choosable} if $G$ can be properly colored from its lists whenever each vertex $v$ gets a list of $d(v)$ colors. In the context of list coloring, Brooks' theorem can be strengthened to the following. Every connected graph $G$ is degree-choosable unless each block of $G$ is a complete graph or an odd cycle; such a graph $G$ is a \emph{Gallai tree}. This degree-choosability result was further strengthened to Alon--Tarsi orientations; these are orientations of $G$ in which the number of spanning Eulerian subgraphs with an even number of edges differs from the number with an odd number of edges. A graph $G$ is \emph{degree-AT} if $G$ has an Alon--Tarsi orientation in which each vertex has indegree at least 1. Alon and Tarsi showed that if $G$ is degree-AT, then $G$ is also degree-choosable. Hladky, Kral, and Schauz showed that a connected graph is degree-AT if and only if it is not a Gallai tree. In this paper, we consider pairs $(G,x)$ where $G$ is a connected graph and $x$ is some specified vertex in $V(G)$. We characterize pairs such that $G$ has no Alon--Tarsi orientation in which each vertex has indegree at least 1 and $x$ has indegree at least 2. When $G$ is 2-connected, the characterization is simple to state.
2015-11-02
Mixing time and eigenvalues of the abelian sandpile Markov chain
Published • View Publication • BIB
The abelian sandpile model defines a Markov chain whose states are integer-valued functions on the vertices of a simple connected graph $G$. By viewing this chain as a (nonreversible) random walk on an abelian group, we give a formula for its eigenvalues and eigenvectors in terms of `multiplicative harmonic functions' on the vertices of $G$. We show that the spectral gap of the sandpile chain is within a constant factor of the length of the shortest non-integer vector in the dual Laplacian lattice, while the mixing time is at most a constant times the smoothing parameter of the Laplacian lattice. We find a surprising inverse relationship between the spectral gap of the sandpile chain and that of simple random walk on $G$: If the latter has a sufficiently large spectral gap, then the former has a small gap! In the case where $G$ is the complete graph on $n$ vertices, we show that the sandpile chain exhibits cutoff at time $\frac{1}{4π^{2}}n^{3}\log n$.
Bounds on the Exponential Domination Number
Published • View Publication • BIB
As a natural variant of domination in graphs, Dankelmann et al. [Domination with exponential decay, Discrete Math. 309 (2009) 5877-5883] introduce exponential domination, where vertices are considered to have some dominating power that decreases exponentially with the distance, and the dominated vertices have to accumulate a sufficient amount of this power emanating from the dominating vertices. More precisely, if $S$ is a set of vertices of a graph $G$, then $S$ is an exponential dominating set of $G$ if $\sum\limits_{v\in S}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}\geq 1$ for every vertex $u$ in $V(G)\setminus S$, where ${\rm dist}_{(G,S)}(u,v)$ is the distance between $u\in V(G)\setminus S$ and $v\in S$ in the graph $G-(S\setminus \{ v\})$. The exponential domination number $γ_e(G)$ of $G$ is the minimum order of an exponential dominating set of $G$. Dankelmann et al. show $$\frac{1}{4}({\rm d}+2)\leq γ_e(G)\leq \frac{2}{5}(n+2)$$ for a connected graph $G$ of order $n$ and diameter ${\rm d}$. We provide further bounds and in particular strengthen their upper bound. Specifically, for a connected graph $G$ of order $n$, maximum degree $Δ$ at least $3$, radius ${\rm r}$ at least $1$, we show \begin{eqnarray*} γ_e(G) & \geq & \left(\frac{n}{13(Δ-1)^2}\right)^{\frac{\log_2(Δ-1)+1}{\log_2^2(Δ-1)+\log_2(Δ-1)+1}},\\[3mm] γ_e(G) & \leq & 2^{2{\rm r}-2}\mbox{, and }\\[3mm] γ_e(G) & \leq & \frac{43}{108}(n+2). \end{eqnarray*}
2015-10-29
Counting covering cycles
We compute the number of equivalence classes of nonperiodic covering cycles of given length in a non oriented connected graph. A covering cycle is a closed path that traverses each edge of the graph at least once. A special case is the number of Euler cycles in the non oriented graph. An identity relating the numbers of covering cycles of any length in a graph to a product of determinants is obtained.
2015-10-20
On the connectivity Waiter-Client game
In this short note we consider a variation of the connectivity Waiter-Client game $WC(n,q,\mathcal{A})$ played on an $n$-vertex graph $G$ which consists of $q+1$ disjoint spanning trees. In this game in each round Waiter offers Client $q+1$ edges of $G$ which have not yet been offered. Client chooses one edge and the remaining $q$ edges are discarded. The aim of Waiter is to force Client to build a connected graph. If this happens Waiter wins. Otherwise Client is the winner. We consider the case where $2 < q+1 < \lfloor \frac{n-1}{2}\rfloor$ and show that for each such $q$ there exists a graph $G$ for which Client has a winning strategy. This result stands in opposition to the case where $G$ consists of just 2 spanning trees or where $G$ is a complete graph, since it has been shown that for such graphs Waiter can always force Client to build a connected graph.
2015-10-18 v2
Spanning k-ended trees of 3-regular connected graphs
Published • View Publication • BIB
A tree is called k-ended tree if it has at most k leaves, where a leaf is a vertex of degree one. In this paper we prove that every 3-regular connected graph with n vertices such that n is greater than 8 has spanning sub tree with at most [(2n+4)/9]-ended tree. At the end we give a conjecture about spanning k-ended trees on 3-regular connected graphs.
2015-10-11 v2
Meyniel's conjecture holds for random d-regular graphs
In the game of cops and robber, the cops try to capture a robber moving on the vertices of the graph. The minimum number of cops required to win on a given graph $G$ is called the cop number of $G$. The biggest open conjecture in this area is the one of Meyniel, which asserts that for some absolute constant $C$, the cop number of every connected graph $G$ is at most $C \sqrt{|V(G)|}$. In a separate paper, we showed that Meyniel's conjecture holds asymptotically almost surely for the binomial random graph. The result was obtained by showing that the conjecture holds for a general class of graphs with some specific expansion-type properties. In this paper, this deterministic result is used to show that the conjecture holds asymptotically almost surely for random $d$-regular graphs when $d = d(n) \ge 3$.
The Price of Connectivity for Feedback Vertex Set
Published • View Publication • BIB
Let fvs$(G)$ and cfvs(G) denote the cardinalities of a minimum feedback vertex set and a minimum connected feedback vertex set of a graph $G$, respectively. The price of connectivity for feedback vertex set (poc-fvs) for a class of graphs ${\cal G}$ is defined as the maximum ratio $\mbox{cfvs}(G)/\mbox{fvs}(G)$ over all connected graphs $G\in {\cal G}$. We study the poc-fvs for graph classes defined by a finite family ${\cal H}$ of forbidden induced subgraphs. We characterize exactly those finite families ${\cal H}$ for which the poc-fvs for ${\cal H}$-free graphs is upper bounded by a constant. Additionally, for the case where $|{\cal H}|=1$, we determine exactly those graphs $H$ for which there exists a constant $c_H$ such that $\mbox{cfvs}(G)\leq \mbox{fvs}(G) + c_H$ for every connected $H$-free graph $G$, as well as exactly those graphs $H$ for which we can take $c_H=0$.
The largest $H$-eigenvalue and spectral radius of Laplacian tensor of non-odd-bipartite generalized power hypergraphs
Published in Linear Algebra and its Applications, 2016, 504: 487-502 • View Publication • BIB
Let $G$ be a simple graph or hypergraph, and let $A(G),L(G),Q(G)$ be the adjacency, Laplacian and signless Laplacian tensors of $G$ respectively. The largest $H$-eigenvalues (resp., the spectral radii) of $L(G),Q(G)$ are denoted respectively by $λ_{\max}^L(G), λ_{\max}^Q(G)$ (resp., $ρ^L(G), ρ^Q(G)$). For a connected non-bipartite simple graph $G$, $λ_{\max}^L(G)=ρ^L(G) < ρ^Q(G)$. But this does not hold for non-odd-bipartite hypergraphs. We will investigate this problem by considering a class of generalized power hypergraphs $G^{k,\frac{k}{2}}$, which are constructed from simple connected graphs $G$ by blowing up each vertex of $G$ into a $\frac{k}{2}$-set and preserving the adjacency of vertices. Suppose that $G$ is non-bipartite, or equivalently $G^{k,\frac{k}{2}}$ is non-odd-bipartite. We get the following spectral properties: (1) $ρ^L(G^{k,{k \over 2}}) =ρ^Q(G^{k,{k \over 2}})$ if and only if $k$ is a multiple of $4$; in this case $λ_{\max}^L(G^{k,\frac{k}{2}})<ρ^L(G^{k,{k \over 2}})$. (2) If $k\equiv 2 (\!\!\!\mod 4)$, then for sufficiently large $k$, $λ_{\max}^L(G^{k,\frac{k}{2}})<ρ^L(G^{k,{k \over 2}})$. Motivated by the study of hypergraphs $G^{k,\frac{k}{2}}$, for a connected non-odd-bipartite hypergraph $G$, we give a characterization of $L(G)$ and $Q(G)$ having the same spectra or the spectrum of $A(G)$ being symmetric with respect to the origin, that is, $L(G)$ and $Q(G)$, or $A(G)$ and $-A(G)$ are similar via a complex (necessarily non-real) diagonal matrix with modular-$1$ diagonal entries. So we give an answer to a question raised by Shao et al., that is, for a non-odd-bipartite hypergraph $G$, that $L(G)$ and $Q(G)$ have the same spectra can not imply they have the same $H$-spectra.
2015-10-08 v2
Small-Area Orthogonal Drawings of 3-Connected Graphs
Published • View Publication • BIB
It is well-known that every graph with maximum degree 4 has an orthogonal drawing with area at most $\frac{49}{64} n^2+O(n) \approx 0.76n^2$. In this paper, we show that if the graph is 3-connected, then the area can be reduced even further to $\frac{9}{16}n^2+O(n) \approx 0.56n^2$. The drawing uses the 3-canonical order for (not necessarily planar) 3-connected graphs, which is a special Mondshein sequence and can hence be computed in linear time. To our knowledge, this is the first application of a Mondshein sequence in graph drawing.
2015-10-08
On path decompositions of 2k-regular graphs
Published • View Publication • BIB
Tibor Gallai conjectured that the edge set of every connected graph $G$ on $n$ vertices can be partitioned into $\lceil n/2\rceil$ paths. Let $\mathcal{G}_{k}$ be the class of all $2k$-regular graphs of girth at least $2k-2$ that admit a pair of disjoint perfect matchings. In this work, we show that Gallai's conjecture holds in $\mathcal{G}_{k}$, for every $k \geq 3$. Further, we prove that for every graph $G$ in $\mathcal{G}_{k}$ on $n$ vertices, there exists a partition of its edge set into $n/2$ paths of lengths in $\{2k-1,2k,2k+1\}$.
2015-10-07
The normalized Laplacian spectrum of subdivisions of a graph
Published in Applied Mathematics and Computation, 2016, 286: 250-256 • View Publication • BIB
Determining and analyzing the spectra of graphs is an important and exciting research topic in theoretical computer science. The eigenvalues of the normalized Laplacian of a graph provide information on its structural properties and also on some relevant dynamical aspects, in particular those related to random walks. In this paper, we give the spectra of the normalized Laplacian of iterated subdivisions of simple connected graphs. As an example of application of these results we find the exact values of their multiplicative degree-Kirchhoff index, Kemeny's constant and number of spanning trees.
2015-10-07
Extremal Graph Theory for Degree Sequences
This paper surveys some recent results and progress on the extremal prob- lems in a given set consisting of all simple connected graphs with the same graphic degree sequence. In particular, we study and characterize the extremal graphs having the maximum (or minimum) values of graph invariants such as (Laplacian, p-Laplacian, signless Laplacian) spectral radius, the first Dirichlet eigenvalue, the Wiener index, the Harary index, the number of subtrees and the chromatic number etc, in given sets with the same tree, unicyclic, graphic degree sequences. Moreover, some conjectures are included.