arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2596 papers tagged with this keyword
2016-08-04 v4
The 2-surviving rate of planar graphs with average degree lower than $4\frac{1}{2}$
Published in Journal of Graph Theory, 89 (2018), 341-349 • View PublicationBIB
Let $G$ be any connected graph on $n$ vertices, $n \ge 2.$ Let $k$ be any positive integer. Suppose that a fire breaks out at some vertex of $G.$ Then, in each turn firefighters can protect at most $k$ vertices of $G$ not yet on fire; Next the fire spreads to all unprotected neighbours. The $k$-surviving rate of G, denoted by $ρ_k(G),$ is the expected fraction of vertices that can be saved from the fire, provided that the starting vertex is chosen uniformly at random. In this note, it is shown that for any planar graph $G$ with average degree $4\frac{1}{2} - ε,$ where $ε\in (0, 1],$ we have $ρ_2(G) \ge \frac{2}{9}ε$. In particular, the result implies a significant improvement of the bound for 2-surviving rate for triangle-free planar graphs (Esperet, van den Heuvel, Maffray and Sipma, 2013) and for planar graphs without 4-cycles (Kong, Wang, Zhang, 2012). The proof is done using the separator theorem for planar graphs. This paper is the corrected version of (Gordinowicz, 2018) unified with the corrigendum.
2016-08-03
Eulerian properties of hypergraphs
Published • View PublicationBIB
In this paper we study three substructures in hypergraphs that generalize the notion of an Euler tour in a graph. A flag-traversing tour of a hypergraph corresponds to an Euler tour of its incidence graph, hence complete characterization of hypergraphs with an Euler tour follows from Euler's Theorem. An Euler tour is a closed walk that traverses each edge of the hypergraph exactly once; and an Euler family is a family of closed walks that cannot be concatenated and that jointly traverse each edge of the hypergraph exactly once. Lonc and Naroski have shown that the problem of existence of an Euler tour is NP-complete even on a very restricted subclass of 3-uniform hypergraphs, while we show that the problem of existence of an Euler family is polynomial on the class of all hypergraphs. Furthermore, we examine the necessary conditions for a hypergraph to admit an Euler family (Euler tour, respectively); we show that while these necessary conditions are sufficient for connected graphs, they are not sufficient for general hypergraphs. On the other hand, we exhibit a new class of hypergraphs for which these necessary conditions are also sufficient, extending a result by Lonc and Naroski. We give a partial characterization of hypergraphs with an Euler family (Euler tour, respectively) in terms of the intersection graph of the hypergraph, and a complete (but not easy to verify) characterization in terms of the incidence graph. For hypergraphs with an Euler family, we give a complete verifiable characterization using a theorem of Lovász, and then show that every 3-uniform hypergraph without cut edges admits an Euler family. Finally, we show that a hypergraph admits an Euler family if and only if it can be decomposed into cycles, and exhibit a relationship between 2-factors in a hypergraph and eulerian properties of its dual.
2016-08-02
Some Bounds on the Zero Forcing Number of a Graph
Published • View PublicationBIB
A set $Z$ of vertices of a graph $G$ is a zero forcing set of $G$ if initially labeling all vertices in $Z$ with $1$ and all remaining vertices of $G$ with $0$, and then, iteratively and as long as possible, changing the label of some vertex $u$ from $0$ to $1$ if $u$ is the only neighbor with label $0$ of some vertex with label $1$, results in the entire vertex set of $G$. The zero forcing number $Z(G)$, defined as the minimum order of a zero forcing set of $G$, was proposed as an upper bound of the corank of matrices associated with $G$, and was also considered in connection with quantum physics and logic circuits. In view of the computational hardness of the zero forcing number, upper and lower bounds are of interest. Refining results of Amos, Caro, Davila, and Pepper, we show that $Z(G)\leq \frac{Δ-2}{Δ-1}n$ for a connected graph $G$ of order $n$ and maximum degree $Δ$ at least $3$ if and only if $G$ does not belong to $\{ K_{Δ+1},K_{Δ,Δ},K_{Δ-1,Δ},G_1,G_2\}$, where $G_1$ and $G_2$ are two specific graphs of orders $5$ and $7$, respectively. For a connected graph $G$ of order $n$, maximum degree $3$, and girth at least $5$, we show $Z(G)\leq \frac{n}{2}-Ω\left(\frac{n}{\log n}\right)$. Using a probabilistic argument, we show $Z(G)\leq \left(1-\frac{H_r}{r}+o\left(\frac{H_r}{r}\right)\right)n$ for an $r$-regular graph $G$ of order $n$ and girth at least $5$, where $H_r$ is the $r$-th harmonic number. Finally, we show $Z(G)\geq (g-2)(δ-2)+2$ for a graph $G$ of girth $g\in \{ 5,6\}$ and minimum degree $δ$, which partially confirms a conjecture of Davila and Kenter.
2016-07-30
Dominating and Irredundant Broadcasts in Graphs
Published in Discrete Applied Math. 220 (2017), 80-90 • View PublicationBIB
A broadcast on a nontrivial connected graph G=(V,E) is a function f from V(G) to {0,1,...,diam(G)} such that f(v) does not exceed the eccentricity of v. The cost of f is the sum of the function values. A broadcast f is dominating if each vertex of G is at distance at most f(v) from a vertex v with positive f(v). We use properties of minimal dominating broadcasts to define the concept of an irredundant broadcast on G. We determine conditions under which an irredundant broadcast is maximal irredundant. Denoting the minimum costs of dominating and maximal irredundant broadcasts by gamma_{b}(G) and ir_{b}(G) respectively, the definitions imply that ir_{b}(G) is bounded above by gamma_{b}(G) for all graphs. We show that gamma_{b} in turn is bounded above by (5/4)ir_{b}(G) for all graphs G. We also briefly consider the upper broadcast number Gamma_{b}(G) and upper irredundant broadcast number IR_{b}(G), and illustrate that the ratio IR_{b} to Gamma_{b} is unbounded for general graphs.
2016-07-30 v3
The $k$-proper index of complete bipartite and complete multipartite graphs
Let $G$ be a nontrivial connected graph of order $n$ with an edge-coloring $c:E(G)\rightarrow\{1,2,\dots,t\}$,$t\in\mathbb{N}$, where adjacent edges may be colored with the same color. A tree $T$ in $G$ is a \emph{proper tree} if no two adjacent edges of it are assigned the same color. Let $k$ be a fixed integer with $2\leq k\leq n$. For a vertex subset $S\subseteq V(G)$ with $|S|\geq 2$, a tree is called an \emph{$S$-tree} if it connects $S$ in $G$ . A \emph{$k$-proper coloring} of $G$ is an edge-coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a proper $S$-tree $T$ in $G$. The minimum number of colors that are needed in a $k$-proper coloring of $G$ is defined as the \emph{$k$-proper index} of $G$, denoted by $px_k(G)$. In this paper, we determine the 3-proper index of all complete bipartite and complete multipartite graphs and partially determine the $k$-proper index of them for $k\geq 4$.
2016-07-29 v2
Bounding the distance among longest paths in a connected graph
Published • View PublicationBIB
It is easy to see that in a connected graph any 2 longest paths have a vertex in common. For k>=7, Skupien in [7] obtained a connected graph in which some k longest paths have no common vertex, but every k-1 longest paths have a common vertex. It is not known whether every 3 longest paths in a connected graph have a common vertex and similarly for 4, 5, and 6 longest path. In [5] the authors give an upper bound on distance among 3 longest paths in a connected graph. In this paper we give a similar upper bound on distance between 4 longest paths and also for k longest paths, in general.
2016-07-28
On the roots of the node reliability polynomial
Published in Networks, 68(3): 238-246 (2016) • View PublicationBIB
Given a graph $G$ whose edges are perfectly reliable and whose nodes each operate independently with probability $p\in[0,1],$ the node reliability of $G$ is the probability that at least one node is operational and that the operational nodes can all communicate in the subgraph that they induce; it is the analogous node measure of robustness to the well studied \textit{all-terminal reliability}, where the nodes are perfectly reliable but the edges fail randomly. In sharp contrast to what is known about the roots of the all-terminal reliability polynomial, we show that the node reliability polynomial of any connected graph on at least three nodes has a nonreal polynomial root, the collection of real roots of all node reliability polynomials is unbounded, and the collection of complex roots of all node reliability polynomials is dense in the entire complex plane.
2016-07-26 v3
Topological Crystals
Sunada's work on crystallography emphasizes the role of the "maximal abelian cover" of a graph $X$. This is a covering space of $X$ for which the group of deck transformations is the first homology group $H_1(X,\mathbb{Z})$. An embedding of the maximal abelian cover in a vector space can serve as the pattern for a crystal: atoms are located at the vertices, while bonds lie along the edges. We prove that for any connected graph $X$ without bridges, there is a canonical embedding of the maximal abelian cover of $X$ into the vector space $H_1(X,\mathbb{R})$, called a "topological crystal". Crystals of graphene and diamond are examples of this construction. We prove that any symmetry of a graph lifts to a symmetry of its topological crystal. We also compute the density of atoms in a topological crystal. The key technical tools are a way of decomposing the 1-chain coming from a path in $X$ into manageable pieces, and the work of Bacher, de la Harpe and Nagnibeda on integral cycles and integral cuts.
2016-07-24
Distinguishing number and distinguishing index of graphs from primary subgraphs
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. Let $G$ be a connected graph constructed from pairwise disjoint connected graphs $G_1,\ldots ,G_k$ by selecting a vertex of $G_1$, a vertex of $G_2$, and identify these two vertices. Then continue in this manner inductively. We say that $G$ is obtained by point-attaching from $G_1, \ldots ,G_k$ and that $G_i$'s are the primary subgraphs of $G$. In this paper, we consider some particular cases of these graphs that are of importance in chemistry and study their distinguishing number and index.
2016-07-21
Doubly Balanced Connected Graph Partitioning
Published • View PublicationBIB
We introduce and study the Doubly Balanced Connected graph Partitioning (DBCP) problem: Let $G=(V,E)$ be a connected graph with a weight (supply/demand) function $p:V\rightarrow \{-1,+1\}$ satisfying $p(V)=\sum_{j\in V} p(j)=0$. The objective is to partition $G$ into $(V_1,V_2)$ such that $G[V_1]$ and $G[V_2]$ are connected, $|p(V_1)|,|p(V_2)|\leq c_p$, and $\max\{\frac{|V_1|}{|V_2|},\frac{|V_2|}{|V_1|}\}\leq c_s$, for some constants $c_p$ and $c_s$. When $G$ is 2-connected, we show that a solution with $c_p=1$ and $c_s=3$ always exists and can be found in polynomial time. Moreover, when $G$ is 3-connected, we show that there is always a `perfect' solution (a partition with $p(V_1)=p(V_2)=0$ and $|V_1|=|V_2|$, if $|V|\equiv 0 (\mathrm{mod}~4)$), and it can be found in polynomial time. Our techniques can be extended, with similar results, to the case in which the weights are arbitrary (not necessarily $\pm 1$), and to the case that $p(V)\neq 0$ and the excess supply/demand should be split evenly. They also apply to the problem of partitioning a graph with two types of nodes into two large connected subgraphs that preserve approximately the proportion of the two types.
2016-07-20
Distance proper connection of graphs and their complements
Let $G$ be an edge-colored connected graph. A path $P$ in $G$ is called a distance $\ell$-proper path if no two edges of the same color can appear with less than $\ell$ edges in between on $P$. The graph $G$ is called $(k,\ell)$-proper connected if there is an edge-coloring such that every pair of distinct vertices of $G$ are connected by $k$ pairwise internally vertex-disjoint distance $\ell$-proper paths in $G$. The minimum number of colors needed to make $G$ $(k,\ell)$-proper connected is called the $(k,\ell)$-proper connection number of $G$ and denoted by $pc_{k,\ell}(G)$. In this paper we first focus on the $(1,2)$-proper connection number of $G$ depending on some constraints of $\overline G$. Then, we characterize the graphs of order $n$ with $(1,2)$-proper connection number $n-1$ or $n-2$. Using this result, we investigate the Nordhaus-Gaddum-Type problem of $(1,2)$-proper connection number and prove that $pc_{1,2}(G)+pc_{1,2}(\overline{G})\leq n+2$ for connected graphs $G$ and $\overline{G}$. The equality holds if and only if $G$ or $\overline{G}$ is isomorphic to a double star.
2016-07-19
On spanning trees with high internal degree
Alon and Wormald showed that any graph with minimum degree d contains a spanning star forest in which every connected component is of size at least Ω((d/\log d)^{1/3}). They asked if any connected graph with minimum degree at least d has a spanning tree in which every internal vertex has degree at least cd/\log d, for some absolute constant c > 0. We give a simple example showing that this is not the case.
2016-07-14
On the zero forcing number of corona and lexicographic product of graphs
The zero forcing number of a graph $G$, denoted by $Z(G)$, is the minimum cardinality of a set $S$ of black vertices (where vertices in $V(G)\setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of $"$the color change rule$"$: a white vertex is turned black if it is the only white neighbor of a black vertex. In this paper, we study the zero forcing number of corona product, $G\odot H$ and lexicographic product, $G\circ H$ of two graphs $G$ and $H$. It is shown that if $G$ and $H$ are connected graphs of order $n_{1}\geq2$ and $n_{2}\geq2$ respectively, then $Z(G\odot ^{k}H)=Z(G\odot ^{k-1}H)+n_{1}(n_{2}+1)^{k-1}Z(H)$, where $G\odot^{k}H=(G\odot^{k-1}H)\odot H$. Also, it is shown that for a connected graph $G$ of order $n\geq 2$ and an arbitrary graph $H$ containing $l\geq 1$ components $H_{1},H_{2}, \cdots,H_{l}$ with $|V(H_{i})|=m_{i}\geq 2$, $1\leq i\leq l$, $(n-1)l+\sum\limits_{i=1}^l m_{i}\leq Z(G\circ H)\leq n(\sum\limits_{i=1}^{l}m_{i})-l$.
2016-07-12 v2
Partitioning a graph into a cycle and a sparse graph
Published • View PublicationBIB
In this paper we investigate results of the form "every graph $G$ has a cycle $C$ such that the induced subgraph of $G$ on $V(G)\setminus V(C)$ has small maximum degree." Such results haven't been studied before, but are motivated by the Bessy and Thomassé Theorem which states that the vertices of any graph $G$ can be covered by a cycle $C_1$ in $G$ and disjoint cycle $C_2$ in the complement of $G$. There are two main theorems in this paper. The first is that every graph has a cycle with $Δ(G[V(G)\setminus V(C)])\leq \frac12(|V(G)\setminus V(C)|-1)$. The bound on the maximum degree $Δ(G[V(G)\setminus V(C)])$ is best possible. The second theorem is that every $k$-connected graph $G$ has a cycle with $Δ(G[V(G)\setminus V(C)])\leq \frac1{k+1}|V(G)\setminus V(C)|+3$. We also give an application of this second theorem to a conjecture about partitioning edge-coloured complete graphs into monochromatic cycles.
2016-07-05 v2
Randomly Generated Subgroups of the Symmetric Group and Random Lifts of Graphs
Published in (Short version) Electronic Journal of Combinatorics, Issue 24, Volume 1, P46, 2017 • View PublicationBIB
Amit and Linial showed that a random lift of a graph with minimum degree $δ\ge3$ is asymptotically almost surely $δ$-connected, and mentioned the problem of estimating this probability as a function of the degree of the lift. We relate a randomly generated subgroup of the symmetric group on $n$ elements to random $n$-lifts of a graph and use it to provide such an estimate along with related results. We also improve their later result showing a lower bound on the edge expansion on random lifts. Our proofs rely on new ideas from group theory which make several improvements possible. We exactly calculate the probability that a random lift of a connected graph with first Betti number $l$ is connected by showing that it is equal to the probability that a subgroup of the symmetric group generated by $l$ random elements is transitive. We also calculate the probability that a subgroup of a wreath product of symmetric groups generated by $l$ random generators is transitive. We show the existence of homotopy invariants in random covering graphs which reduces some of their properties to those of random regular multigraphs, and in particular makes it possible to compute the exact probability with which random regular multigraphs are connected. All our results about random lifts easily extend to iterated random lifts.
2016-07-02
Distance and distance signless Laplacian spread of connected graphs
Published • View PublicationBIB
For a connected graph $G$ on $n$ vertices, recall that the distance signless Laplacian matrix of $G$ is defined to be $\mathcal{Q}(G)=Tr(G)+\mathcal{D}(G)$, where $\mathcal{D}(G)$ is the distance matrix, $Tr(G)=diag(D_1, D_2, \ldots, D_n)$ and $D_{i}$ is the row sum of $\mathcal{D}(G)$ corresponding to vertex $v_{i}$. Denote by $ρ^{\mathcal{D}}(G),$ $ρ_{min}^{\mathcal{D}}(G)$ the largest eigenvalue and the least eigenvalue of $\mathcal{D}(G)$, respectively. And denote by $q^{\mathcal{D}}(G)$, $q_{min}^{\mathcal{D}}(G)$ the largest eigenvalue and the least eigenvalue of $\mathcal{Q}(G)$, respectively. The distance spread of a graph $G$ is defined as $S_{\mathcal{D}}(G)=ρ^{\mathcal{D}}(G)- ρ_{min}^{\mathcal{D}}(G)$, and the distance signless Laplacian spread of a graph $G$ is defined as $S_{\mathcal{Q}}(G)=q^{\mathcal{D}}(G)-q_{min}^{\mathcal{D}}(G)$. In this paper, we point out an error in the result of Theorem 2.4 in "Distance spectral spread of a graph" [G.L. Yu, et al, Discrete Applied Mathematics. 160 (2012) 2474--2478] and rectify it. As well, we obtain some lower bounds on ddistance signless Laplacian spread of a graph.
The Wiener Index and the Hosoya Polynomial of the Jahangir Graphs
Published • View PublicationBIB
Let G be a simple connected graph having vertex set V and edge set E. The vertex-set and edge-set of G denoted by V(G) and E(G), respectively. The length of the smallest path between two vertices is called the distance. Mathematical chemistry is the area of research engaged in new application of mathematics in chemistry. In mathematics chemistry, we have many topological indices for any molecular graph, that they are invariant on the graph automorphism. In this research paper, we computing the Wiener index and the Hosoya polynomial of the Jahangir graphs $J_5,m$ for all integer number $m \geq 3$.
2016-06-28 v4
Spectral radius and Hamiltonian properties of graphs, II
Published in Linear Multilinear Algebra 68 (2020), no. 11, 2298--2315 • View PublicationBIB
In this paper, we first present spectral conditions for the existence of $C_{n-1}$ in graphs (2-connected graphs) of order $n$, which are motivated by a conjecture of Erdős. Then we prove spectral conditions for the existence of Hamilton cycles in balanced bipartite graphs. This result presents a spectral analog of Moon-Moser's theorem on Hamilton cycles in balanced bipartite graphs, and extends a previous theorem due to Li and the second author for $n$ sufficiently large. We conclude this paper with two problems on tight spectral conditions for the existence of long cycles of given lengths.
2016-06-27
Distinguishing number and distinguishing index of lexicographic product of two graphs
Published • View PublicationBIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The lexicographic product of two graphs $G$ and $H$, $G[H]$ can be obtained from $G$ by substituting a copy $H_u$ of $H$ for every vertex $u$ of $G$ and then joining all vertices of $H_u$ with all vertices of $H_v$ if $uv\in E(G)$. In this paper we obtain some sharp bounds for the distinguishing number and the distinguishing index of lexicographic product of two graphs. As consequences, we prove that if $G$ is a connected graph with a special condition on automorphism group of $G[G]$ and $D(G)> 1$, then for every natural $k$, $D(G)\leq D(G^k)\leq D(G)+k-1$, where $G^k=G[G[...]]$. Also we prove that all lexicographic powers of $G$, $G^k$ ($k\geq 2$) can be distinguished by at most two edge labels.
2016-06-24
An Upper Bound on Burning Number of Graphs
Published • View PublicationBIB
The burning number $b(G)$ of a graph $G$ was introduced by Bonato, Janssen, and Roshanbin [Lecture Notes in Computer Science 8882 (2014)] for measuring the speed of the spread of contagion in a graph. They proved for any connected graph $G$ of order $n$, $b(G)\leq 2\lceil \sqrt{n} \rceil-1$, and conjectured that $b(G)\leq \lceil \sqrt{n} \rceil$. In this paper, we proved $b(G)\leq \lceil\frac{-3+\sqrt{24n+33}}{4}\rceil$, which is roughly $\frac{\sqrt{6}}{2}\sqrt{n}$. We also settled the following conjecture of Bonato-Janssen-Roshanbin: $b(G)b(\bar G)\leq n+4$ provided both $G$ and $\bar G$ are connected.