connected graph
2596 papers tagged with this keyword
Weak saturation numbers in random graphs
For two given graphs $G$ and $F$, a graph $ H$ is said to be weakly $ (G, F) $-saturated if $H$ is a spanning subgraph of $ G$ which has no copy of $F$ as a subgraph and one can add all edges in $ E(G)\setminus E(H)$ to $ H$ in some order so that a new copy of $F$ is created at each step. The weak saturation number $ wsat(G, F)$ is the minimum number of edges of a weakly $(G, F)$-saturated graph. In this paper, we deal with the relation between $ wsat(G(n,p), F)$ and $ wsat(K_n, F)$, where $G(n,p)$ denotes the Erdős--Rényi random graph and $ K_n$ denotes the complete graph on $ n$ vertices. For every graph $ F$ and constant $ p$, we prove that $ wsat( G(n,p),F)= wsat(K_n,F)(1+o(1))$ with high probability. Also, for some graphs $ F$ including complete graphs, complete bipartite graphs, and connected graphs with minimum degree $ 1$ or $ 2$, it is shown that there exists an $ \varepsilon(F)>0$ such that, for any $ p\geqslant n^{-\varepsilon(F)}\log n$, $ wsat( G(n,p),F)= wsat(K_n,F)$ with high probability.
Ramsey numbers of connected 4-clique matchings
In this paper, we determine the exact value of the $2$-edge-coloring Ramsey number of a connected $4$-clique matching $c(nK_4)$, which is a set of connected graphs containing an $nK_4$ is $13n-3$ for any positive integer $n \geq 3$. This is an extension of the result by Roberts (2017), which is proved only for $n\geq 18$. We also show that the result still holds when $n=2$ provided that $R_2(2K_4) \leq 23$.
On the $α$-index of minimally $k$-(edge-)connected graphs for small $k$
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of vertex degrees of $G$. For any real $α\in [0,1]$, Nikiforov defined the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$. The largest eigenvalue of $A_α(G)$ is called the $α$-index or the $A_α$-spectral radius of $G$. A graph is minimally $k$-(edge)-connected if it is $k$-(edge)-connected and deleting any arbitrary chosen edge always leaves a graph which is not $k$-(edge)-connected. In this paper, we characterize the minimally 2-edge-connected graphs and minimally 3-connected graph with given order having the maximum $α$-index for $α\in [\frac{1}{2},1)$, respectively.
Extreme and statistical properties of eigenvalue indices of simple connected graphs
We analyze graphs attaining the extreme values of various spectral indices in the class of all simple connected graphs, as well as in the class of graphs which are not complete multipartite graphs. We also present results on density of spectral gap indices and its nonpersistency with respect to small perturbations of the underlying graph. We show that a small change in the set set of edges may result in a significant change of the spectral index like, e.g., the spectral gap or spectral index. We also present a statistical and numerical analysis of spectral indices of graphs of the order $m\le 10$. We analyze the extreme values for spectral indices for graphs and their small perturbations. Finally, we present the statistical and extreme properties of graphs on $m\le 10$ vertices.
A framework unifying some bijections for graphs and its connection to Lawrence polytopes
Let $G$ be a connected graph. The Jacobian group (also known as the Picard group or sandpile group) of $G$ is a finite abelian group whose cardinality equals the number of spanning trees of $G$. The Jacobian group admits a canonical simply transitive action on the set $\mathcal{R}(G)$ of cycle-cocycle reversal classes of orientations of $G$. Hence one can construct combinatorial bijections between spanning trees of $G$ and $\mathcal{R}(G)$ to build connections between spanning trees and the Jacobian group. The BBY bijections and the Bernardi bijections are two important examples. In this paper, we construct a new family of such bijections that includes both. Our bijections depend on a pair of atlases (different from the ones in manifold theory) that abstract and generalize certain common features of the two known bijections. The definitions of these atlases are derived from triangulations and dissections of the Lawrence polytopes associated to $G$. The acyclic cycle signatures and cocycle signatures used to define the BBY bijections correspond to regular triangulations. Our bijections can extend to subgraph-orientation correspondences. Most of our results hold for regular matroids. We present our work in the language of fourientations, which are a generalization of orientations.
Computational Complexity of Covering Disconnected Multigraphs
The notion of graph covers is a discretization of covering spaces introduced and deeply studied in topology. In discrete mathematics and theoretical computer science, they have attained a lot of attention from both the structural and complexity perspectives. Nonetheless, disconnected graphs were usually omitted from the considerations with the explanation that it is sufficient to understand coverings of the connected components of the target graph by components of the source one. However, different (but equivalent) versions of the definition of covers of connected graphs generalize to non-equivalent definitions for disconnected graphs. The aim of this paper is to summarize this issue and to compare three different approaches to covers of disconnected graphs: 1) locally bijective homomorphisms, 2) globally surjective locally bijective homomorphisms (which we call \emph{surjective covers}), and 3) locally bijective homomorphisms which cover every vertex the same number of times (which we call \emph{equitable covers}). The standpoint of our comparison is the complexity of deciding if an input graph covers a fixed target graph. We show that both surjective and equitable covers satisfy what certainly is a natural and welcome property: covering a disconnected graph is polynomial-time decidable if such it is for every connected component of the graph, and it is NP-complete if it is NP-complete for at least one of its components. We further argue that the third variant, equitable covers, is the most natural one, namely when considering covers of colored graphs. Moreover, the complexity of surjective and equitable covers differ from the fixed parameter complexity point of view.
In line with the current trends in topological graph theory, as well as its applications in mathematical physics, we consider graphs in a very general sense[...]
A Universal Quantum Algorithm for Weighted Maximum Cut and Ising Problems
We propose a hybrid quantum-classical algorithm to compute approximate solutions of binary combinatorial problems. We employ a shallow-depth quantum circuit to implement a unitary and Hermitian operator that block-encodes the weighted maximum cut or the Ising Hamiltonian. Measuring the expectation of this operator on a variational quantum state yields the variational energy of the quantum system. The system is enforced to evolve towards the ground state of the problem Hamiltonian by optimizing a set of angles using normalized gradient descent. Experimentally, our algorithm outperforms the state-of-the-art quantum approximate optimization algorithm on random fully connected graphs and challenges D-Wave quantum annealers by producing good approximate solutions. Source code and data files are publicly available.
Generalized stepwise transmission irregular graphs
The transmission ${\rm Tr}_G(u)$ of a vertex $u$ of a connected graph $G$ is the sum of distances from $u$ to all other vertices. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)|= 1$ holds for any edge $uv\in E(G)$. In this paper, generalized STI graphs are introduced as the graphs $G$ such that for some $k\ge 1$ we have $|{\rm Tr}_G(u) - {\rm Tr}_G(v)|= k$ for any edge $uv$ of $G$. It is proved that generalized STI graphs are bipartite and that as soon as the minimum degree is at least $2$, they are 2-edge connected. Among the trees, the only generalized STI graphs are stars. The diameter of STI graphs is bounded and extremal cases discussed. The Cartesian product operation is used to obtain highly connected generalized STI graphs. Several families of generalized STI graphs are constructed.
Optimal distance query reconstruction for graphs without long induced cycles
Given access to the vertex set $V$ of a connected graph $G=(V,E)$ and an oracle that given two vertices $u,v\in V$, returns the shortest path distance between $u$ and $v$, how many queries are needed to reconstruct $E$?
Firstly, we show that randomised algorithms need to use at least $\frac1{200} Δn\log_Δn$ queries in expectation in order to reconstruct $n$-vertex trees of maximum degree $Δ$. The best previous lower bound (for graphs of bounded maximum degree) was an information-theoretic lower bound of $Ω(n\log n/\log \log n)$. Our randomised lower bound is also the first to break through the information-theoretic barrier for related query models including distance queries for phylogenetic trees, membership queries for learning partitions and path queries in directed trees.
Secondly, we provide a simple deterministic algorithm to reconstruct trees using $Δn\log_Δn+(Δ+2)n$ distance queries. This proves that our lower bound is optimal up to a multiplicative constant. We extend our algorithm to reconstruct graphs without induced cycles of length at least $k$ using $O_{Δ,k}(n\log n)$ queries. Our lower bound is therefore tight for a wide range of tree-like graphs, such as chordal graphs, permutation graphs and AT-free graphs. The previously best randomised algorithm for chordal graphs used $O_Δ(n\log^2 n)$ queries in expectation, so we improve by a $(\log n)$-factor for this graph class.
Pathwidth vs cocircumference
Published in SIAM Journal on Discrete Mathematics, 38/1:857-866, 2024
• View Publication
• BIB
The {\em circumference} of a graph $G$ with at least one cycle is the length of a longest cycle in $G$. A classic result of Birmelé (2003) states that the treewidth of $G$ is at most its circumference minus $1$. In case $G$ is $2$-connected, this upper bound also holds for the pathwidth of $G$; in fact, even the treedepth of $G$ is upper bounded by its circumference (Briański, Joret, Majewski, Micek, Seweryn, Sharma; 2023). In this paper, we study whether similar bounds hold when replacing the circumference of $G$ by its {\em cocircumference}, defined as the largest size of a {\em bond} in $G$, an inclusion-wise minimal set of edges $F$ such that $G-F$ has more components than $G$. In matroidal terms, the cocircumference of $G$ is the circumference of the bond matroid of $G$.
Our first result is the following `dual' version of Birmelé's theorem: The treewidth of a graph $G$ is at most its cocircumference. Our second and main result is an upper bound of $3k-2$ on the pathwidth of a $2$-connected graph $G$ with cocircumference $k$. Contrary to circumference, no such bound holds for the treedepth of $G$. Our two upper bounds are best possible up to a constant factor.
On the Split Reliability of Graphs
A common model of robustness of a graph against random failures has all vertices operational, but the edges independently operational with probability $p$. One can ask for the probability that all vertices can communicate ({\em all-terminal reliability}) or that two specific vertices (or {\em terminals}) can communicate with each other ({\em two-terminal reliability}). A relatively new measure is {\em split reliability}, where for two fixed vertices $s$ and $t$, we consider the probability that every vertex communicates with one of $s$ or $t$, but not both. In this paper, we explore the existence for fixed numbers $n \geq 2$ and $m \geq n-1$ of an {\em optimal} connected $(n,m)$-graph $G_{n,m}$ for split reliability, that is, a connected graph with $n$ vertices and $m$ edges for which for any other such graph $H$, the split reliability of $G_{n,m}$ is at least as large as that of $H$, for {\em all} values of $p \in [0,1]$. Unlike the similar problems for all-terminal and two-terminal reliability, where only partial results are known, we completely solve the issue for split reliability, where we show that there is an optimal $(n,m)$-graph for split reliability if and only if $n\leq 3$, $m=n-1$, or $n=m=4$.
Edge Addition and the Change in Kemeny's Constant
Given a connected graph $G$, Kemeny's constant $\mathcal{K}({G})$ measures the average travel time for a random walk to reach a randomly selected vertex. It is known that when an edge is added to $G$, the value of Kemeny's constant may either decrease, increase, or stay the same. In this paper, we present a quantitative analysis of this behaviour when the initial graph is a tree with $n$ vertices. We prove that when an edge is added into a tree on $n$ vertices, the maximum possible increase in Kemeny's constant is roughly $\frac{2}{3}n,$ while the maximum possible decrease is roughly $\frac{3}{16}n^2$. We also identify the trees, and the edges to be added, that correspond to the maximum increase and maximum decrease. Throughout, both matrix theoretic and graph theoretic techniques are employed.
Disproof of a conjecture on the edge Mostar index
For a given connected graph $G$, the edge Mostar index $Mo_e(G)$ is defined as $Mo_e(G)=\sum_{e=uv \in E(G)}|m_u(e|G) - m_v(e|G)|$, where $m_u(e|G)$ and $m_v(e|G)$ are respectively, 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$. We determine a sharp upper bound for the edge Mostar index on bicyclic graphs and identify the graphs that attain the bound, which disproves a conjecture proposed by Liu et al. [Iranian J. Math. Chem. 11(2) (2020) 95--106].
New bounds for odd colourings of graphs
Given a graph $G$, a vertex-colouring $σ$ of $G$, and a subset $X\subseteq V(G)$, a colour $x \in σ(X)$ is said to be \emph{odd} for $X$ in $σ$ if it has an odd number of occurrences in $X$. We say that $σ$ is an \emph{odd colouring} of $G$ if it is proper and every (open) neighbourhood has an odd colour in $σ$. The odd chromatic number of a graph $G$, denoted by $χ_o(G)$, is the minimum $k\in\mathbb{N}$ such that an odd colouring $σ\colon V(G)\to [k]$ exists. In a recent paper, Caro, Petru\v sevski and \v Skrekovski conjectured that every connected graph of maximum degree $Δ\ge 3$ has odd-chromatic number at most $Δ+1$. We prove that this conjecture holds asymptotically: for every connected graph $G$ with maximum degree $Δ$, $χ_o(G)\leΔ+O(\lnΔ)$ as $Δ\to \infty$. We also prove that $χ_o(G)\le\lfloor3Δ/2\rfloor+2$ for every $Δ$. If moreover the minimum degree $δ$ of $G$ is sufficiently large, we have $χ_o(G) \le χ(G) + O(Δ\ln Δ/δ)$ and $χ_o(G) = O(χ(G)\ln Δ)$. Finally, given an integer $h\ge 1$, we study the generalisation of these results to $h$-odd colourings, where every vertex $v$ must have at least $\min \{°(v),h\}$ odd colours in its neighbourhood. Many of our results are tight up to some multiplicative constant.
Strong domination number of graphs from primary subgraphs
A set $D$ of vertices is a strong dominating set in a graph $G$, if for every vertex $x\in V(G) \setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x) \leq deg(y)$. The strong domination number $γ_{st}(G)$ of $G$ is the minimum cardinality of a strong dominating set in $G$. 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, and thereafter continuing in this manner inductively. The graphs $G_1,\ldots ,G_k$ are the primary subgraphs of $G$. In this paper, we study the strong domination number of $K_r$-gluing of two graphs and investigate the strong domination number for some particular cases of graphs from their primary subgraphs.
Two sufficient conditions for graphs to admit path factors
Published in Fundamenta Informaticae, Volume 191, Issue 1 (March 30, 2024) fi:12212
• Search Publication
Let $\mathcal{A}$ be a set of connected graphs. Then a spanning subgraph $A$ of $G$ is called an $\mathcal{A}$-factor if each component of $A$ is isomorphic to some member of $\mathcal{A}$. Especially, when every graph in $\mathcal{A}$ is a path, $A$ is a path factor. For a positive integer $d\geq2$, we write $\mathcal{P}_{\geq d}=\{P_i|i\geq d\}$. Then a $\mathcal{P}_{\geq d}$-factor means a path factor in which every component admits at least $d$ vertices. A graph $G$ is called a $(\mathcal{P}_{\geq d},m)$-factor deleted graph if $G-E'$ admits a $\mathcal{P}_{\geq d}$-factor for any $E'\subseteq E(G)$ with $|E'|=m$. A graph $G$ is called a $(\mathcal{P}_{\geq d},k)$-factor critical graph if $G-Q$ has a $\mathcal{P}_{\geq d}$-factor for any $Q\subseteq V(G)$ with $|Q|=k$. In this paper, we present two degree conditions for graphs to be $(\mathcal{P}_{\geq3},m)$-factor deleted graphs and $(\mathcal{P}_{\geq3},k)$-factor critical graphs. Furthermore, we show that the two results are best possible in some sense.
On Locally Identifying Coloring of Cartesian Product and Tensor Product of Graphs
For a positive integer $k$, a proper $k$-coloring of a graph $G$ is a mapping $f: V(G) \rightarrow \{1,2, \ldots, k\}$ such that $f(u) \neq f(v)$ for each edge $uv$ of $G$. The smallest integer $k$ for which there is a proper $k$-coloring of $G$ is called the chromatic number of $G$, denoted by $χ(G)$. A locally identifying coloring (for short, lid-coloring) of a graph $G$ is a proper $k$-coloring of $G$ such that every pair of adjacent vertices with distinct closed neighborhoods has distinct set of colors in their closed neighborhoods. The smallest integer $k$ such that $G$ has a lid-coloring with $k$ colors is called locally identifying chromatic number (for short, lid-chromatic number) of $G$, denoted by $χ_{lid}(G)$. This paper studies the lid-coloring of the Cartesian product and tensor product of two graphs. We prove that if $G$ and $H$ are two connected graphs having at least two vertices then (a) $χ_{lid}(G \square H) \leq χ(G) χ(H)-1$ and (b) $χ_{lid}(G \times H) \leq χ(G) χ(H)$. Here $G \square H$ and $G \times H$ denote the Cartesian and tensor products of $G$ and $H$ respectively. We determine the lid-chromatic number of $C_m \square P_n$, $C_m \square C_n$, $P_m \times P_n$, $C_m \times P_n$ and $C_m \times C_n$, where $C_m$ and $P_n$ denote a cycle and a path on $m$ and $n$ vertices respectively.
Equitable Choosability of Prism Graphs
A graph $G$ is equitably $k$-choosable if, for every $k$-uniform list assignment $L$, $G$ is $L$-colorable and each color appears on at most $\left\lceil |V(G)|/k\right\rceil$ vertices. Equitable list-coloring was introduced by Kostochka, Pelsmajer, and West in 2003. They conjectured that a connected graph $G$ with $Δ(G)\geq 3$ is equitably $Δ(G)$-choosable, as long as $G$ is not complete or $K_{d,d}$ for odd $d$. In this paper, we use a discharging argument to prove their conjecture for the infinite family of prism graphs.
On bridge graphs with local antimagic chromatic number 3
Let $G=(V, E)$ be a connected graph. A bijection $f: E\to \{1, \ldots, |E|\}$ is called a local antimagic labeling if for any two adjacent vertices $x$ and $y$, $f^+(x)\neq f^+(y)$, where $f^+(x)=\sum_{e\in E(x)}f(e)$ and $E(x)$ is the set of edges incident to $x$. Thus a local antimagic labeling induces a proper vertex coloring of $G$, where the vertex $x$ is assigned the color $f^+(x)$. The local antimagic chromatic number $χ_{la}(G)$ is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. In this paper, we present some families of bridge graphs with $χ_{la}(G)=3$ and give several ways to construct bridge graphs with $χ_{la}(G)=3$.
Intersection of Longest Cycle and Largest Bond in 3-Connected Graphs
A bond in a graph is a minimal nonempty edge-cut. A connected graph $G$ is dual Hamiltonian if the vertex set can be partitioned into two subsets $X$ and $Y$ such that the subgraphs induced by $X$ and $Y$ are both trees. There is much interest in studying the longest cycles and largest bonds in graphs. H. Wu conjectured that any longest cycle must meet any largest bond in a simple 3-connected graph. In this paper, the author proves that the above conjecture is true for certain classes of 3-connected graphs: Let $G$ be a simple 3-connected graph with $n$ vertices and $m$ edges. Suppose $c(G)$ is the size of a longest cycle, and $c^*(G)$ is the size of a largest bond. Then each longest cycle meets each largest bond if either $c(G) \geq n - 3$ or $c^*(G) \geq m - n - 1$. Sanford determined in her Ph.D. thesis the cycle spectrum of the well-known generalized Petersen graph $P(n, 2)$ ($n$ is odd) and $P(n, 3)$ ($n$ is even). Flynn proved in her honors thesis that any generalized Petersen graph $P(n, k)$ is dual Hamiltonian. The author studies the bond spectrum (called the co-spectrum) of the generalized Petersen graphs and extends Flynn's result by proving that in any generalized Petersen graph $P(n, k)$, $1 \leq k < \frac{n}{2}$, the co-spectrum of $P(n, k)$ is $\{3, 4, 5, ..., n+2\}$.