arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2596 papers tagged with this keyword
2021-06-15
An infinite family of linklessly embeddable Tutte-4-connected graphs
Published • View PublicationBIB
For each $n\ge 14$, we provide an example of a linklessly embeddable, Tutte-4-connected graph of order $n$.
2021-06-15 v2
The distance-k dimension of graphs
The metric dimension, $\dim(G)$, of a graph $G$ is a graph parameter motivated by robot navigation that has been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. For a positive integer $k$ and for distinct $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) \neq d_k(y,z)\}$. A subset $S\subseteq V(G)$ is a distance-$k$ resolving set of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any pair of distinct $x,y \in V(G)$, and the distance-$k$ dimension, $\dim_k(G)$, of $G$ is the minimum cardinality over all distance-$k$ resolving sets of $G$. In this paper, we study the distance-$k$ dimension of graphs. We obtain some general bounds for distance-$k$ dimension. For all $k \ge 1$, we characterize connected graphs $G$ of order $n$ with $\dim_k(G) \ge n-2$. We determine $\dim_k(G)$ when $G$ is a cycle or a path. We also examine the effect of vertex or edge deletion on the distance-$k$ dimension of graphs.
2021-06-15 v2
Antimagic orientation of subdivided caterpillars
Published • View PublicationBIB
Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\ldots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $v$ in $D$ under $τ$ is the sum of labels of all arcs entering $v$ minus the sum of labels of all arcs leaving $v$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as regular graphs, graphs with minimum degree at least 33, bipartite graphs with no vertex of degree zero or two, and trees including caterpillars and complete $k$-ary trees. We prove that every subdivided caterpillar admits an antimagic orientation, where a subdivided caterpillar is a subdivision of a caterpillar $T$ such that the edges of $T$ that are not on the central path of $T$ are subdivided the same number of times.
2021-06-14
Detecting Viruses in Contact Networks with Unreliable Detectors
This paper develops and analyzes optimization models for rapid detection of viruses in large contact networks. In the model, a virus spreads in a stochastic manner over an undirected connected graph, under various assumptions on the spread dynamics. A decision maker must place a limited number of detectors on a subset of the nodes in the graph in order to rapidly detect infection of the nodes by the virus. The objective is to determine the placement of these detectors so as to either maximize the probability of detection within a given time period or minimize the expected time to detection. Previous work in this area assumed that the detectors are perfectly reliable. In this work, it is assumed that the detectors may produce false-negative results. In computational studies, the sample average approximation method is applied to solving the problem using a mixed-integer program and a greedy heuristic. The heuristic is shown to be highly efficient and to produce high-quality solutions. In addition, it is shown that the false-negative effect can sometimes be ignored, without significant loss of solution quality, in the original optimization formulation.
2021-06-11
Mostar index and edge Mostar index of polymers
Published • View PublicationBIB
Let $G=(V,E)$ be a graph and $e=uv\in E$. Define $n_u(e,G)$ be the number of vertices of $G$ closer to $u$ than to $v$. The number $n_v(e,G)$ can be defined in an analogous way. The Mostar index of $G$ is a new graph invariant defined as $Mo(G)=\sum_{uv\in E(G)}|n_u(uv,G)-n_v(uv,G)|$. The edge version of Mostar index is defined as $Mo_e(G)=\sum_{e=uv\in E(G)} |m_u(e|G)-m_v(G|e)|$, where $m_u(e|G)$ and $m_v(e|G)$ are the number of edges of $G$ lying closer to vertex $u$ than to vertex $v$ and the number of edges of $G$ lying closer to vertex $v$ than to vertex $u$, respectively. 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 identifying these two vertices. Then continue in this manner inductively. We say that $G$ is a polymer graph, obtained by point-attaching from monomer units $G_1,...,G_k$. In this paper, we consider some particular cases of these graphs that are of importance in chemistry and study their Mostar and edge Mostar indices.
2021-06-08 v2
On the Average (Edge-)Connectivity of Minimally $k$-(Edge-)Connected Graphs
Let $G$ be a graph of order $n$ and let $u,v$ be vertices of $G$. Let $κ_G(u,v)$ denote the maximum number of internally disjoint $u$-$v$ paths in $G$. Then the average connectivity $\overlineκ(G)$ of $G$, is defined as $ \overlineκ(G)=\sum_{\{u,v\}\subseteq V(G)} κ_G(u,v)/\tbinom{n}{2}. $ If $k \ge 1$ is an integer, then $G$ is minimally $k$-connected if $κ(G)=k$ and $κ(G-e) < k$ for every edge $e$ of $G$. We say that $G$ is an optimal minimally $k$-connected graph if $G$ has maximum average connectivity among all minimally $k$-connected graphs of order $n$. Based on a recent structure result for minimally 2-connected graphs we conjecture that, for every integer $k \ge3$, if $G$ is an optimal minimally $k$-connected graph of order $n\geq 2k+1$, then $G$ is bipartite, with the set of vertices of degree $k$ and the set of vertices of degree exceeding $k$ as its partite sets. We show that if this conjecture is true, then $\overlineκ(G)< 9k/8$ for every minimally $k$-connected graph $G$. For every $k \ge 3$, we describe an infinite family of minimally $k$-connected graphs whose average connectivity is asymptotically $9k/8$. Analogous results are established for the average edge-connectivity of minimally $k$-edge-connected graphs.
2021-06-07
Multivariate blowup-polynomials of graphs
In recent joint work (2021), we introduced a novel multivariate polynomial attached to every metric space - in particular, to every finite simple connected graph $G$ - and showed it has several attractive properties. First, it is multi-affine and real-stable (leading to a hitherto unstudied delta-matroid for each graph $G$). Second, the polynomial specializes to (a transform of) the characteristic polynomial $χ_{D_G}$ of the distance matrix $D_G$; as well as recovers the entire graph, where $χ_{D_G}$ cannot do so. Third, the polynomial encodes the determinants of a family of graphs formed from $G$, called the blowups of $G$. In this short note, we exhibit the applicability of these tools and techniques to other graph-matrices and their characteristic polynomials. As a particular case, we will see that the adjacency characteristic polynomial $χ_{A_G}$ is in fact the shadow of a richer multivariate blowup-polynomial, which is similarly multi-affine and real-stable. Moreover, this polynomial encodes not only the aforementioned three properties, but also yields additional information for specific families of graphs.
2021-06-06 v2
On minimal doubly resolving sets in graphs
Published • View PublicationBIB
Two vertices u,v of connected graph G are doubly resolved by x,y\in V(G)if d(v; x)-d(u; x)\neq d(v; y)-d(u; y): A set W of vertices of the graph G is a doubly resolving set for G if every two distinct vertices of G are doubly resolved by some two vertices of W. ψ(G) is the minimum cardinality of a doubly resolving set for the graph G. The aim of this paper is to investigate doubly resolving sets in graphs. An upper bound for Ψ(G) is obtained in terms of order and diameter of G. ψ(G) is computed for some important graphs and all graphs G of order n with the property ψ(G)=n-1 are characterized.
2021-06-04
On the difference between proximity and other distance parameters in triangle-free graphs and $C_4$-free graphs
Published • View PublicationBIB
The average distance of a vertex $v$ of a connected graph $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The proximity $π(G)$ and the remoteness $ρ(G)$ of $G$ are the minimum and the maximum of the average distances of the vertices of $G$. In this paper, we give upper bounds on the difference between the remoteness and proximity, the diameter and proximity, and the radius and proximity of a triangle-free graph with given order and minimum degree. We derive the latter two results by first proving lower bounds on the proximity in terms of order, minimum degree and either diameter or radius. Our bounds are sharp apart from an additive constant. We also obtain corresponding bounds for $C_4$-free graphs.
2021-05-27 v2
The number and average size of connected sets in graphs with degree constraints
Published in Journal of Graph Theory Volume100, Issue3 July 2022 Pages 530-542 • View PublicationBIB
The average size of connected vertex subsets of a connected graph generalises a much-studied parameter for subtrees of trees. For trees, the possible values of this parameter are critically affected by the presence or absence of vertices of degree 2. We answer two questions of Andrew Vince regarding the effect of degree constraints on general connected graphs. We give a new lower bound, and the first non-trivial upper bound, on the maximum growth rate of the number of connected sets of a cubic graph, and in fact obtain non-trivial upper bounds for any constant bound on the maximum degree. We show that the average connected set density is bounded away from 1 for graphs with no vertex of degree 2, and generalise a classical result of Jamison for trees by showing that in order for the connected set density to approach 1, the proportion of vertices of degree 2 must approach 1. Finally, we show that any sequence of graphs with minimum degree tending to infinity must have connected set density tending to 1/2.
2021-05-26 v2
The Simultaneous Fractional Dimension of Graph Families
Published • View PublicationBIB
A subset $S$ of the vertices $V$ of a connected graph $G$ resolves $G$ if no two vertices of $V$ share the same list of distances (shortest-path metric) with respect to the vertices of $S$ listed in a given order. The choice of such an $S$ in $V$ amounts to selecting a binary valued function $g$, said to be a resolving function, on $V$. The notion of a fractional resolving function is obtained by relaxing the codomain of $g$ to be the unit interval. Let $|g|=\sum_{v\in V}g(v)$. Given a finite collection $\mathcal{G}$ of connected graphs on a common vertex set $V$, the simultaneous metric dimension of $\mathcal{G}$ is the minimum cardinality of $|S|$ over all $S$ which resolve each member graph of $\mathcal{G}$. In this paper, we initiate the study of simultaneous fractional dimension ${\rm Sd}_f(\mathcal{G})$ of a graph family $\mathcal{G}$, defined to be the minimum $|g|$ over all functions $g$ each resolving all members of $\mathcal{G}$. We characterize the lower bound and examine the upper bound satisfied by ${\rm Sd}_f(\mathcal{G})$. We examine ${\rm Sd}_f(\mathcal{G})$ for families of vertex transitive graphs and for pairs $\{G,\overline{G}\}$ of complementary graphs, determining ${\rm Sd}_f(G,\overline{G})$ when $G$ is a tree or a unicyclic graph.
2021-05-24
The Average Size of a Connected Vertex Set of a $k$-connected Graph
Published • View PublicationBIB
The topic is the average order $A(G)$ of a connected induced subgraph of a graph $G$. This generalizes, to graphs in general, the average order of a subtree of a tree. In 1984, Jamison proved that the average order, over all trees of order $n$, is minimized by the path $P_n$, the average being $A(P_n)=(n+2)/3$. In 2018, Kroeker, Mol, and Oellermann conjectured that $P_n$ minimizes the average order over all connected graphs $G$ - a conjecture that was recently proved. In this short note we show that this lower bound can be improved if the connectivity of $G$ is known. If $G$ is $k$-connected, then \[A(G) \geq \frac{n}2 \Bigg (1- \frac{1}{2^k+1} \Bigg ).\]
On certain regular nicely distance-balanced graphs
A connected graph $\G$ is called {\em nicely distance--balanced}, whenever there exists a positive integer $γ=γ(\G)$, such that for any two adjacent vertices $u,v$ of $\G$ there are exactly $γ$ vertices of $\G$ which are closer to $u$ than to $v$, and exactly $γ$ vertices of $\G$ which are closer to $v$ than to $u$. Let $d$ denote the diameter of $\G$. It is known that $d \le γ$, and that nicely distance-balanced graphs with $γ= d$ are precisely complete graphs and cycles of length $2d$ or $2d+1$. In this paper we classify regular nicely distance-balanced graphs with $γ=d+1$.
2021-05-10 v2
Lower Boundary Independent Broadcasts in Trees
Published • View PublicationBIB
A broadcast on a connected graph $G=(V,E)$ is a function $f:V\rightarrow \{0,1,\dots,\operatorname{diam}(G)\}$ such that $f(v)\leq e(v)$ (the eccentricity of $v$) for all $v\in V$ if $|V|\geq2$, and $f(v)=1$ if $V=\{v\}$. The cost of $f$ is $σ(f)=\sum_{v\in V}f(v)$. Let $V_{f}% ^{+}$ denote the set of vertices $v$ such that $f(v)$ is positive. A vertex $u$ hears $f$ from $v\in V_{f}^{+}$ if the distance $d(u,v)\leq f(v)$. When $f$ is a broadcast such that every vertex $x$ that hears $f$ from more than one vertex in $V_{f}^{+}$ also satisfies $d(x,u)\geq f(u)$ for all $u\in V_{f}^{+}$, we say that the broadcast only overlaps in boundaries. A broadcast $f$ is boundary independent if it overlaps only in boundaries. Denote by $i_{\operatorname{bn}}(G)$ the minimum cost of a maximal boundary independent broadcast. We obtain a characterization of maximal boundary independent broadcasts, show that $i_{\operatorname{bn}}(T^{\prime})\leq i_{\operatorname{bn}}(T)$ for any subtree $T^{\prime}$ of a tree $T$, and determine an upper bound for $i_{\operatorname{bn}}(T)$ in terms of the broadcast domination number of $T$. We show that this bound is sharp for an infinite class of trees.
2021-05-06
Graph reliability evaluation via random $K$-out-of-$N$ systems
Published in Communications in Statistics - Theory and Methods, 53(3) (2024), 1024-1034 • View PublicationBIB
The present study was concerned with network failure problems for simple connected undirected graphs. A connected graph becomes unconnected through edge failure, under the assumptions that only edges can fail and each edge has an identical failure distribution. The main purpose of the present study was to show recurrent relations with respect to the number of edges in graph generation procedures. To this end, simple connected undirected graphs were correlated to random $K$-out-of-$N$ systems, and key features of such systems were applied. In addition, some simple graph cases and examples were analyzed.
2021-05-05
Lower Bound and Exact Values for the Boundary Independence Broadcast Number of a Tree
A broadcast on a nontrivial connected graph G is a function f from V(G) to the set {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all vertices v of G. The weight of f is the sum of the function values over V(G). A vertex u hears f from v if f(v) is positive and u is within distance f(v) from v. A broadcast f is boundary independent if any vertex that hears f from two or more vertices is at distance f(v) from each such vertex v. The maximum weight of a boundary independent broadcast on G is denoted by α_{bn}(G). We prove a sharp lower bound on α_{bn}(T) for a tree T. Combined with a previously determined upper bound, this gives exact values of α_{bn}(T) for some classes of trees T. We also determine α_{bn}(T) for trees with exactly two branch vertices and use this result to demonstrate the existence of trees for which α_{bn} lies strictly between the lower and upper bounds.
2021-05-04 v2
Spanners in randomly weighted graphs: independent edge lengths
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 show that for a large class of graphs with suitable degree and expansion properties with independent exponential mean one edge lengths, there is w.h.p.~a 1-spanner that uses $\approx \frac12n\log n$ edges and that this is best possible. In particular, our result applies to the random graphs $G_{n,p}$ for $np\gg \log n$.
2021-05-01 v2
Perfect Forests in Graphs and Their Extensions
Published • View PublicationBIB
Let $G$ be a graph on $n$ vertices. For $i\in \{0,1\}$ and a connected graph $G$, a spanning forest $F$ of $G$ is called an $i$-perfect forest if every tree in $F$ is an induced subgraph of $G$ and exactly $i$ vertices of $F$ have even degree (including zero). A $i$-perfect forest of $G$ is proper if it has no vertices of degree zero. Scott (2001) showed that every connected graph with even number of vertices contains a (proper) 0-perfect forest. We prove that one can find a 0-perfect forest with minimum number of edges in polynomial time, but it is NP-hard to obtain a 0-perfect forest with maximum number of edges. Moreover, we show that to decide whether $G$ has a 0-perfect forest with at least $|V(G)|/2+k$ edges, where $k$ is the parameter, is W[1]-hard. We also prove that for a prescribed edge $e$ of $G,$ it is NP-hard to obtain a 0-perfect forest containing $e,$ but one can decide if there existsa 0-perfect forest not containing $e$ in polynomial time. It is easy to see that every graph with odd number of vertices has a 1-perfect forest. It is not the case for proper 1-perfect forests. We give a characterization of when a connected graph has a proper 1-perfect forest.
2021-04-30 v2
Reductions for the 3-Decomposition Conjecture
Published • View PublicationBIB
The 3-decomposition conjecture is wide open. It asserts that every finite connected cubic graph can be decomposed into a spanning tree, a disjoint union of cycles, and a matching. We show that every such decomposition is derived from a homeomorphically irreducible spanning tree (HIST). This allows us to propose a novel reformulation of the 3-decomposition conjecture: the HIST-extension conjecture. We also prove that the following graphs are reducible configurations with respect to the 3-decomposition conjecture: the triangle, the K_{2,3}, the Petersen graph with one vertex removed, the claw-square, the twin-house, and the domino. As an application, we show that all 3-connected graphs of tree-width at most 3 or of path-width at most 4 satisfy the 3-decomposition conjecture and that a 3-connected minimum counterexample to the conjecture is triangle-free, all cycles of length at most 6 are induced, and every edge is in the centre of an induced P_6. Finally, we automate the naive part of the process of checking whether a configuration is reducible and we prove that all graphs of order at most 20 satisfy the 3-decomposition conjecture.
Robust Connectivity of Graphs on Surfaces
Published in SIAM Journal on Discrete Mathematics 36(2), 1416-1435, 2022 • View PublicationBIB
Let $Λ(T)$ denote the set of leaves in a tree $T$. One natural problem is to look for a spanning tree $T$ of a given graph $G$ such that $Λ(T)$ is as large as possible. This problem is called maximum leaf number, and it is a well-known NP-hard problem. Throughout recent decades, this problem has received considerable attention, ranging from pure graph theoretic questions to practical problems related to the construction of wireless networks. Recently, a similar but stronger notion was defined by Bradshaw, Masařík, and Stacho [Flexible List Colorings in Graphs with Special Degeneracy Conditions, ISAAC 2020]. They introduced a new invariant for a graph $G$, called the robust connectivity and written $κ_ρ(G)$, defined as the minimum value $\frac{|R \cap Λ(T)|}{|R|}$ taken over all nonempty subsets $R\subseteq V(G)$, where $T = T(R)$ is a spanning tree on $G$ chosen to maximize $|R \cap Λ(T)|$. Large robust connectivity was originally used to show flexible choosability in non-regular graphs. In this paper, we investigate some interesting properties of robust connectivity for graphs embedded in surfaces. We prove a tight asymptotic bound of $Ω(γ^{-\frac{1}{r}})$ for the robust connectivity of $r$-connected graphs of Euler genus $γ$. Moreover, we give a surprising connection between the robust connectivity of graphs with an edge-maximal embedding in a surface and the surface connectivity of that surface, which describes to what extent large induced subgraphs of embedded graphs can be cut out from the surface without splitting the surface into multiple parts. For planar graphs, this connection provides an equivalent formulation of a long-standing conjecture of Albertson and Berman [A conjecture on planar graphs, 1979], which states that every planar graph on $n$ vertices contains an induced forest of size at least $n/2$.