connected graph
2591 papers tagged with this keyword
A note on the second-largest number of dissociation sets in connected graphs
A subset of vertices is called a dissociation set if it induces a subgraph with vertex degree at most one. Recently, Yuan et al. established the upper bound of the maximum number of dissociation sets among all connected graphs of order n and characterized the corresponding extremal graphs.They also proposed a question regarding the second-largest number of dissociation sets among all connected graphs of order n and the corresponding extremal graphs. In this paper, we give a positive answer to this question.
Thrackles on nonplanar surfaces
A thrackle is a drawing of a graph on a surface such that (i) adjacent edges only intersect at their common vertex; and (ii) nonadjacent edges intersect at exactly one point, at which they cross. Conway conjectured that if a graph with $n$ vertices and $m$ edges can be thrackled on the plane, then $m\le n$. Conway's conjecture remains open; the best bound known is that $m\le 1.393n$. Cairns and Nikolayevsky extended this conjecture to the orientable surface $S_g$ of genus $g > 0$, claiming that if a graph with $n$ vertices and $m$ edges has a thrackle on $S_g$, then $m \le n + 2g$. We disprove this conjecture. In stark contrast with the planar case, we show that for each $g>0$ there is a connected graph with $n$ vertices and $2n + 2g -8$ edges that can be thrackled on $S_g$. This leaves relatively little room for further progress involving thrackles on orientable surfaces, as every connected graph with $n$ vertices and $m$ edges that can be thrackled on $S_g$ satisfies that $m \le 2n + 4g - 2$. We prove a similar result for nonorientable surfaces. We also derive nontrivial upper and lower bounds on the minimum $g$ such that $K_{m,n}$ and $K_n$ can be thrackled on $S_g$.
On Domination Exponents for Pairs of Graphs
Understanding graph density profiles is notoriously challenging. Even for pairs of graphs, complete characterizations are known only in very limited cases, such as edges versus cliques. This paper explores a relaxation of the graph density profile problem by examining the homomorphism density domination exponent $C(H_1, H_2)$. This is the smallest real number $c \geq 0$ such that $t(H_1, T) \geq t(H_2, T)^c$ for all target graphs $T$ (if such a $c$ exists) where $t(H,T)$ is the homomorphism density from $H$ to $T$. We demonstrate that infinitely many families of graphs are required to realize $C(H_1, H_2)$ for all connected graphs $H_1$, $H_2$. We derive the homomorphism density domination exponent for a variety of graph pairs, including paths and cycles. As a couple of typical examples, we obtain exact values when $H_1$ is an even cycle and $H_2$ contains a Hamiltonian cycle, and provide asymptotically sharp bounds when both $H_1$ and $H_2$ are odd cycles.
Counting Small Cycle Double Covers
A theorem due to Seyffarth states that every planar $4$-connected $n$-vertex graph has a cycle double cover (CDC) containing at most $n-1$ cycles (a "small" CDC). We extend this theorem by proving that, in fact, such a graph must contain linearly many small CDCs (in terms of $n$), and provide stronger results in the case of planar $4$-connected triangulations. We complement this result with constructions of planar $4$-connected graphs which contain at most polynomially many small CDCs. Thereafter we treat cubic graphs, strengthening a lemma of Hušek and Šámal on the enumeration of CDCs, and, motivated by a conjecture of Bondy, give an alternative proof of the result that every planar 2-connected cubic graph on $n > 4$ vertices has a CDC of size at most $n/2$. Our proof is much shorter and obtained by combining a decomposition based argument, which might be of independent interest, with further combinatorial insights. Some of our results are accompanied by a version thereof for CDCs containing no cycle twice.
Cycles and paths through vertices whose degrees are at least the bipartite-hole-number
The bipartite-hole-number of a graph $G$, denoted by $\widetildeα(G)$, is the minimum integer $k$ such that there exist positive integers $s$ and $t$ with $s + t = k + 1$, satisfying the property that for any two disjoint sets $A, B \subseteq V(G)$ with $|A| = s$ and $|B| = t$, there is at least one edge between $A$ and $B$. In 1992, Bollobás and Brightwell, and independently Shi, proved that every $2$-connected graph of order $n$ contains a cycle passing through all vertices whose degrees are at least $\frac{n}{2}$. Motivated by their result, we show that in any $2$-connected graph of order $n$, there exists a cycle containing all vertices whose degrees are at least $\widetildeα(G)$. Moreover, we prove that for any pair of vertices in a connected graph $G$, if their degrees are at least $\widetildeα(G) + 1$, then there exists a path joining them that contains all vertices whose degrees are at least $\widetildeα(G) + 1$. The results extend two existing ones.
Refinement of a conjecture on positive square energy of graphs
Let $G$ be a simple graph of order $n$ with eigenvalues $λ_1(G)\geq \cdots \geq λ_n(G)$. Define \[s^+(G)=\sum_{λ_i >0} λ_i^2(G), \quad s^-(G)=\sum_{λ_i<0} λ_i^2(G).\] It was conjectured by Elphick, Farber, Goldberg and Wocjan that for every connected graph $G$ of order $n$, $s^+(G) \ge n-1.$ We verify this conjecture for graphs with domination number at most 2. We then strengthen the conjecture as follows: if $G$ is a connected graph of order $n$ and size $m \geq n+1$, then $s^+(G) \geq n$. We prove this conjecture for claw-free graphs and graphs with diameter 2.
Ramsey goodness of stars and fans for the Hajós graph
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (September 20, 2025) dmtcs:15817
• View Publication
• BIB
Given two graphs $G_1$ and $G_2$, the Ramsey number $R(G_1,G_2)$ denotes the smallest integer $N$ such that any red-blue coloring of the edges of $K_N$ contains either a red $G_1$ or a blue $G_2$. Let $G_1$ be a graph with chromatic number $χ$ and chromatic surplus $s$, and let $G_2$ be a connected graph with $n$ vertices. The graph $G_2$ is said to be Ramsey-good for the graph $G_1$ (or simply $G_1$-good) if, for $n \ge s$, \[R(G_1,G_2)=(χ-1)(n-1)+s.\]
The $G_1$-good property has been extensively studied for star-like graphs when $G_1$ is a graph with $χ(G_1)\ge 3$, as seen in works by Burr-Faudree-Rousseau-Schelp (J. Graph Theory, 1983), Li-Rousseau (J. Graph Theory, 1996), Lin-Li-Dong (European J. Combin., 2010), Fox-He-Wigderson (Adv. Combin., 2023), and Liu-Li (J. Graph Theory, 2025), among others. However, all prior results require $G_1$ to have chromatic surplus $1$. In this paper, we extend this investigation to graphs with chromatic surplus 2 by considering the Hajós graph $H_a$. For a star $K_{1,n}$, we prove that $K_{1,n}$ is $H_a$-good if and only if $n$ is even. For a fan $F_n$ with $n\ge 111$, we prove that $F_n$ is $H_a$-good.
Not every graph can be reconstructed from its boundary distance matrix
A vertex $v$ of a connected graph $G$ is said to be a boundary vertex of $G$ if for some other vertex $u$ of $G$, no neighbor of $v$ is further away from $u$ than $v$. The boundary $\partial(G)$ of $G$ is the set of all of its boundary vertices.
The boundary distance matrix $\hat{D}_G$ of a graph $G=([n],E)$ is the square matrix of order $κ$, being $κ$ the order of $\partial(G)$, such that for every $i,j\in \partial(G)$, $[\hat{D}_G]_{ij}=d_G(i,j)$.
In a recent paper [doi.org/10.7151/dmgt.2567], it was shown that if a graph $G$ is either a block graph or a unicyclic graph, then $G$ is uniquely determined by the boundary distance matrix $\hat{D}_{G}$ of $G$, and it was also conjectured that this statement holds for every connected graph $G$, whenever both the order $n$ and the boundary (and thus also the boundary distance matrix) of $G$ are prefixed.
After proving that this conjecture is true for several graph families, such as being of diameter 2, having order at most $n=6$ or being Ptolemaic, we show that this statement does not hold when considering, for example, either the family of split graphs of diameter 3 and order at least $n=10$ or the family of distance-hereditary graphs of order at least $n=8$.
A Fan-type condition involving bipartite independence number for hamiltonicity in graphs
The bipartite independence number of a graph $G$, denoted by $\widetildeα(G)$, is defined as the smallest integer $q$ for which there exist positive integers $s$ and $t$ with $s + t = q + 1$, such that for any two disjoint subsets $A, B \subseteq V(G)$ with $|A| = s$ and $|B| = t$, there exists an edge between $A$ and $B$. In this paper, we prove that for a 2-connected graph $G$ of order at least three, if $\max\{d_G(x), d_G(y)\} \ge \widetildeα(G)$ for every pair of nonadjacent vertices $x, y$ at distance two, then $G$ is hamiltonian. Moreover, we prove that if $G$ is 3-connected and $\max\{d_G(x), d_G(y)\} \ge \widetildeα(G)+1$ for every pair of nonadjacent vertices $x, y$ at distance two, then $G$ is hamiltonian-connected. Our results generalize the recent work by Li and Liu.
Girth and Laplacian eigenvalue distribution
Let $G$ be a connected graph of order $n$ with girth $g$. For $k=1,\dots,\min\{g-1, n-g\}$, let $n(G,k)$ be the number of Laplacian eigenvalues (counting multiplicities) of $G$ that fall inside the interval $[n-g-k+4,n]$. We prove that if $g\ge 4$, then \[ n(G,k)\le n-g. \] Those graphs achieving the bound for $k=1,2$ are determined. We also determine the graphs $G$ with $g=3$ such that $n(G,k)=n-1, n-2, n-3$.
Vulnerability Measures and Zagreb Indices of Graphs
This paper establishes sharp bounds for the vulnerability measures of closeness and generalized closeness in graphs and identifies graphs that attain these bounds. It further develops bounds incorporating Zagreb indices for triangle- and quadrangle-free graphs, yielding formulas for closeness and generalized closeness in such graphs with diameter at most 3. Moreover, using Zagreb indices, we derive bounds for trees and connected graphs with girth at least 7, which are attained by graphs with diameter at most 4. Finally, formulas for closeness and generalized closeness in specific trees are established using Zagreb indices.
On the weak $k$-metric dimension of Hamming graphs
Given a connected graph $G$, a set of vertices $X\subset V(G)$ is a weak $k$-resolving set of $G$ if for each two vertices $y,z\in V(G)$, the sum of the values $|d_G(y,x)-d_G(z,x)|$ over all $x\in X$ is at least $k$, where $d_G(u,v)$ stands for the length of a shortest path between $u$ and $v$. The cardinality of a smallest weak $k$-resolving set of $G$ is the weak $k$-metric dimension of $G$, and is denoted by $\mathrm{wdim}_k(G)$. In this paper, $\mathrm{wdim}_k(K_n\,\square\,K_n)$ is determined for every $n\ge 3$ and every $2\le k\le 2n$. An improvement of a known integer linear programming formulation for this problem is developed and implemented for the graphs $K_n\,\square\,K_m$. Conjectures regarding these general situations are posed.
Isometric path partition: a new upper bound and a characterization of some extremal graphs
An $\textit{isometric path}$ is a shortest path between two vertices. An $\textit{isometric path partition}$ (IPP) of a graph $G$ is a set $I$ of vertex-disjoint isometric paths in $G$ that partition the vertices of $G$. The \textit{isometric path partition number} of $G$, denoted by $\text{ipp}(G)$, is the minimum cardinality of an IPP of $G$. In this article, we prove that every graph $G$ satisfies $\text{ipp}(G) \leq |V(G)| - ν(G)$, where $ν(G)$ is matching number of $G$. We further prove that a connected graph $G$ is extremal with respect to this upper bound, i.e.\ satisfies $\text{ipp}(G) = |V(G)| - ν(G)$, if and only if either (i) all blocks of $G$ are odd complete graphs, or (ii) all blocks of $G$ except one are odd complete graphs, and the unique block $B$ of $G$ that is not an odd complete graph is even and satisfy $\text{ipp}(B) = |V(B)| - ν(B)$. As corollaries of this result, we obtain a full structural characterization of all connected odd graphs that are extremal with respect to our upper bound, as well as of all extremal block graphs.
Visibility in graphs under edge and vertex removal
For a connected graph $G$ and $X\subseteq V(G)$, we say that two vertices $u$, $v$ are $X$-visible if there is a shortest $u,v$-path $P$ with $V(P)\cap X \subseteq \{u,v\}$. If every two vertices from $X$ are $X$-visible, then $X$ is a mutual-visibility set in $G$. The largest cardinality of such a set in $G$ is the mutual-visibility number $μ(G)$. When the visibility constraint is extended to further types of vertex pairs, we get the definitions of outer, dual, and total mutual-visibility sets and the respective graph invariants $μ_o(G)$, $μ_d(G)$, and $μ_t(G)$.
This work concentrates on the possible changes in the four visibility invariants when an edge $e$ or a vertex $x$ is removed from $G$ and the graph remains connected. It is proved that $\frac{1}{2}μ(G) \le μ(G-e) \le 2μ(G)$ and $\frac{1}{6}μ_o(G) \le μ_o(G-e) \le 2μ_o(G)+1$ hold for every graph. Further general upper bounds established here are $μ_t(G-e) \leq μ_t(G)+2$ and $μ(G-x) \leq 2μ(G)$. For all but one of the remaining cases, it is shown that the visibility invariant may increase or decrease arbitrarily under the considered local operation. For example, neither $μ_d(G-e)$ nor $μ_d(G-x)$ allows lower or upper bounds of the form $a \cdot μ_d(G)+b$ with a positive constant $a$. Along the way, the realizability of the four visibility invariants in terms of the order is also characterized in the paper.
Finding d-Cuts in Claw-free Graphs
The Matching Cut problem is to decide if the vertex set of a connected graph can be partitioned into two non-empty sets $B$ and $R$ such that the edges between $B$ and $R$ form a matching, that is, every vertex in $B$ has at most one neighbour in $R$, and vice versa. If for some integer $d\geq 1$, we allow every neighbour in $B$ to have at most $d$ neighbours in $R$, and vice versa, we obtain the more general problem $d$-Cut. It is known that $d$-Cut is NP-complete for every $d\geq 1$. However, for claw-free graphs, it is only known that $d$-Cut is polynomial-time solvable for $d=1$ and NP-complete for $d\geq 3$. We resolve the missing case $d=2$ by proving NP-completeness. This follows from our more general study, in which we also bound the maximum degree. That is, we prove that for every $d\geq 2$, $d$-Cut, restricted to claw-free graphs of maximum degree $p$, is constant-time solvable if $p\leq 2d+1$ and NP-complete if $p\geq 2d+3$. Moreover, in the former case, we can find a $d$-cut in linear time. We also show how our positive results for claw-free graphs can be generalized to $S_{1^t,l}$-free graphs where $S_{1^t,l}$ is the graph obtained from a star on $t+2$ vertices by subdividing one of its edges exactly $l$ times.
On forest and bipartite cuts in sparse graphs
The paper is devoted to sufficient conditions for the existence of vertex cuts in simple graphs, where the induced subgraph on the cut vertices belongs to a specified graph class. In particular, we show that any connected graph with $n$ vertices and fewer than $(19n - 28)/8$ edges admits a forest cut. This result improves upon recent bounds, although it does not resolve the conjecture that the sharp threshold is $3n - 6$ (Chernyshev, Rauch, Rautenbach, 2024). Furthermore, we prove that if the number of edges is less than $(80n-134)/31$, then the graph admits a bipartite cut.
On the distinguishing chromatic number in hereditary graph classes
The distinguishing chromatic number of a graph $G$, denoted $χ_D(G)$, is the minimum number of colours in a proper vertex colouring of $G$ that is preserved by the identity automorphism only. Collins and Trenk proved that $χ_D(G)\le 2Δ(G)$ for any connected graph $G$, and the equality holds for complete balanced bipartite graphs $K_{p,p}$ and for $C_6$. In this paper, we show that the upper bound on $χ_D(G)$ can be substantially reduced if we forbid some small graphs as induced subgraphs of $G$, that is, we study the distinguishing chromatic number in some hereditary graph classes.
Induced subgraphs of graphs with large deficiency
The deficiency of a graph $G$, denoted by $\kd(G)$, is the number of vertices not saturated by a maximum matching. A bone $B_i$ is the tree obtained by attaching two pendent edges to each of the end vertices of a path $P_{i}$. The local independence number of $G$, denoted by $α_l(G)$, is defines as the maximum integer $t$ such that $G$ contains an induced star $K_{1,t}$. Motivated by the seminal works of Scott and Seymour~(2016), Chudnovsky et al. (2017, 2020) on finding special types of holes in graphs with large chromatic number and bounded clique number, we establish an analog result by finding special types of bones in graphs with large deficiency and bounded local independence number. Fujita et al. (2006) proved that $\kd(G)\le n-2$ if $G$ is a connected graph with $α_l(G)<n$ and containing no bones. We further establish exact extremal deficiency bounds for connected graphs with bounded local independence number that exclude specific bone configurations. An algorithm that constructs large matchings and establishes an upper bound on the deficiency is also provided.
A generalization of the Chvátal-Erdős theorem
A well-known result of Chvátal and Erdős from 1972 states that a graph with connectivity not less than its independence number plus one is hamiltonian-connected. A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ We prove that every $k$-connected $[k+1,2]$-graph is hamiltonian-connected except $kK_1\vee G_{k},$ where $k\ge 2$ and $G_{k}$ is an arbitrary graph of order $k.$ This generalizes the Chvátal-Erdős theorem.
Generalized break divisors and triangulations of Lawrence polytopes
Let $G$ be a connected graph of genus $g$. The Picard group of degree $g$, $\text{Pic}^g(G)$, is the set of equivalence classes of divisors on $G$ of degree $g$, where two divisors are equivalent if one can be reached from the other through a sequence of chip-firing moves. We construct sets of representatives of the equivalence classes in $\text{Pic}^g(G)$ by defining a function $I_G$ on the spanning trees of $G$ from a triangulation of the Lawrence polytope of the cographic matroid $\mathcal{M}^\ast(G)$. Additionally, such sets of representatives correspond to stability conditions on the nodal curve dual to the graph $G$. We show that $I_G$ that are constructed from regular triangulations of Lawrence polytope correspond to classical stability conditions, which are induced by generic real-valued divisors on $G$.