connected graph
2651 papers tagged with this keyword
The Erdős-Faudree Problems and the Isolate-Free Core
In 1981, Erdős and Faudree asked whether there exists an infinite family of graphs $G_N$ on $N$ vertices with $Δ(G_N)<N-1$ and $\sri(G_N)=1$, and whether every family with $|V(G_N)|=N$ and $Δ(G_N)<c$ for some fixed constant $c$ must satisfy $\sri(G_N)\to 0$. We show first that the literal forms of the two questions are controlled entirely by isolated vertices: for every nonempty graph $G$, the whole sequence $\bigl(\sr(tK_2,G)\bigr)_{t\ge 1}$ depends only on the isolate-free core $\core(G)$. Consequently, Problem 1 has a positive answer and Problem~2 has a negative answer in exactly their original form. We then turn to the genuine content behind the two problems. For Problem 1 we study connected graphs and prove a complete limit theorem: for every $α\in[0,1]$ there exists a family of connected bipartite graphs $G_N$ with $|V(G_N)|=N$ and $\sri(G_N)\toα$; in particular there are connected graphs with $Δ(G_N)=N-2$ and $\sri(G_N)\to 1$. For Problem~2 we prove a strengthened positive statement: if $Δ(G_N)<c$ for a fixed constant $c$ and the isolate-free core of $G_N$ has order tending to infinity, then $\sri(G_N)\to 0$. In particular every connected bounded-degree family satisfies $\sri(G_N)\to 0$. Thus the original Erdős-Faudree questions are resolved in their literal form, and the mechanism behind their connected and disconnected behavior is identified precisely.
Some results on small ordered and cyclic Ramsey numbers
Let $k \in \mathbb{N}$ and let $H_1, H_2, \ldots, H_k$ be simple graphs such that for each $j \in \{ 1, 2, \ldots, k \}$, the vertex set of $H_j$ is $\{ 0, 1, 2, \ldots, n_j - 1 \}$ for some $n_j \in \mathbb{N}$. The ordered Ramsey number $R_\mathrm{ord}(H_1, H_2, \ldots, H_k)$ is the smallest $n \in \mathbb{N}$ for which every $k$-edge-coloring of the complete graph on the vertex set $\{ 0, 1, 2, \ldots, n - 1 \}$ contains $H_j$ as a monochromatic subgraph of color $j$ for some $j \in \{ 1, 2, \ldots, k \}$, with the vertices appearing in the same order as in $H_j$. Inspired by the work of Poljak, we apply the Kissat SAT solver to determine new small two-color ordered Ramsey numbers of various classes of graphs: monotone paths, monotone cycles, alternating paths, stars, complete graphs and nested matchings. In addition, we introduce the cyclic Ramsey numbers $R_\mathrm{cyc}(H_1, H_2, \ldots, H_k)$ as a natural relaxation of the ordered Ramsey numbers, and once again use Kissat to determine various such numbers for the two-color case. By observing structural patterns in the computational results, we determine all ordered or cyclic Ramsey numbers for several pairs of classes of graphs. Furthermore, we obtain some bounds on ordered and cyclic Ramsey numbers where one argument is a connected graph, while the other is a monotone path or a monotone cycle. We also explore how reinforcement learning can be used through the recently developed Reinforcement Learning for Graph Theory (RLGT) framework to obtain lower bounds on ordered and cyclic Ramsey numbers. Finally, we introduce the permutational Ramsey numbers to show how the different Ramsey-type formulations involving standard, ordered and cyclic Ramsey numbers can be unified within a group-theoretic framework.
Successive vertex orderings of connected graphs
A successive vertex ordering of a graph is a linear ordering of its vertices in which every vertex except the first has at least one neighbour appearing earlier. Such orderings arise naturally in incremental growth and connectivity-preserving constructions, where vertices are added sequentially and must attach to the existing structure. We derive an exact formula for the number of successive vertex orderings of any finite connected graph. The formula is obtained via an inclusion--exclusion argument over independent sets and depends on two explicit combinatorial parameters, one of which is defined recursively. The result applies to all finite connected graphs without requiring regularity or symmetry assumptions. We also express the enumeration as a weighted generating polynomial over independent sets; its value at $x = -1$ recovers the total count of successive orderings, and the $k$-th derivative at this point encodes the number of orderings in which exactly $k$ vertices have no earlier neighbour.
Bounds for (strong) Roman $k$-dominations
Published
• View Publication
• BIB
Motivated by resource defense models in networks, such as protecting territories with varying legion strengths, let $k \geq 2$ be an integer. Roman $k$-domination and strong Roman $k$-domination generalize Roman, double Roman, Italian, and double Italian domination to arbitrary number of legions. The main goal of this note is establishing sharp upper bounds for the Roman and strong Roman $k$-domination numbers of connected graphs. These bounds unify and extend prior results for $k=2$ and $k=3$. We also precisely characterize the graphs achieving these bounds.
Extremal Mostar Index of Graphs with Given Number of Cut Edges
The Mostar index of a connected graph \(G\) is defined as \[ Mo(G)=\sum_{uv\in E(G)}\bigl|n_u(uv)-n_v(uv)\bigr|, \] where for an edge \(e=uv\), \(n_u(e)\) denotes the number of vertices of \(G\) that are closer to \(u\) than to \(v\). In this paper, we determine the maximum possible Mostar index among all connected graphs of order \(n\) with exactly \(k\) cut edges, where \(1\le k\le n-1\). We prove that the maximum value is given by \(k(n-2)+(n-k-1)k\), and the unique extremal graph is \(K_{n-k}^k\) (a complete graph on \(n-k\) vertices with \(k\) pendant edges attached to a single vertex). We also establish a sharp lower bound and characterise the extremal graphs for the minimum value. Furthermore, we extend the results to graphs with a given cyclomatic number and a given number of cut edges. Our findings complete the extremal characterisation of the Mostar index for this fundamental graph class.
Smooth Graphs
The notion of smoothness was introduced originally in the context of step systems on connected graphs. Smoothness turns out to be a very general property of metrics defined by a five-point condition. Restricted to graphs, it is closely related to the convexity of point-shadows. We show that smoothness is preserved by isometric subgraphs, both Cartesian and strong graph products, and gated amalgams. As a consequence, median graphs and many of their generalizations are smooth. We also show that l1-graphs are smooth. On the other hand, an induced K2,3 or K1,1,3 is incompatible with smoothness. Finally, we characterize smooth graphs among the Ptolemaic graphs as precisely the K1,1,3-free Ptolemaic graphs.
Distance spectral radius and perfect matchings in graphs with given fractional property
A matching in a graph $G$ is a set of independent edges in $G$. A perfect matching in a graph $G$ is a matching which saturates all the vertices of $G$. A fractional perfect matching in a graph $G$ is a function $h:E(G)\rightarrow [0,1]$ such that $\sum\limits_{e\in E_G(v)}h(e)=1$ for every $v\in V(G)$, where $E_G(v)$ is the set of edges incident to $v$ in $G$. Clearly, the existence of a fractional perfect matching in a graph is a necessary condition for the graph to possess a perfect matching. Let $G$ be a $k$-connected graph of even order $n$ with a fractional perfect matching, where $k$ is a positive integer. We denote by $μ(G)$ the distance spectral radius of $G$. In this paper, we prove that if $n\geq8k+6$ and $μ(G)\leqμ(K_k\vee(kK_1\cup K_3\cup K_{n-2k-3}))$, then $G$ contains a perfect matching unless $G=K_k\vee(kK_1\cup K_3\cup K_{n-2k-3})$.
Counting geodesic paths in graphs
Published
• View Publication
• BIB
A geodesic is a shortest path which connects a pair of vertices of a graph G. In this paper we define the geodesic subpath number gpn(G) of a graph G as the number of geodesics in G. The number of subtrees and subpaths are already studied in literature, but they are both large quantities. Hence, the geodesic subpath number which is related to these quantities but smaller than both, seems worthy of investigation. We first consider extremal graphs with respect to the geodesic subpath number among all connected graphs on n vertices. This number is minimized by the so called geodetic graphs, i.e. graphs in which each pair of vertices is connected by precisely one geodesic. As for the graphs which maximize the geodesic subpath number, we provide an upper bound on gpn(G) in terms of n and we further consider several graph families which might have a large gpn(G). Yet, their value of gpn(G) still does not attain the established bound, so narrowing the gap remains as an open problem. We also consider the class of cactus graphs on n vertices and k cycles and among them characterize extremal graphs with respect to this new invariant.
On the number of 4-contractible edges in plane triangulations
Published
• View Publication
• BIB
In 2007, Ando and Egawa proved a theorem which provides a lower bound on the number of contractible edges preserving $4$-connectedness in $4$-connected graphs. In this paper, we refine their bounds, especially for the $4$-connected plane triangulations. In particular, we show that if $G$ is a $4$-connected plane triangulation of order at least $7$, then $G$ contains at least $|V_{\ge 5}|+2$ contractible edges preserving $4$-connectedness, where $V_{\ge 5}$ is the set of vertices of degree at least $5$. We also determine the extremal graphs.
Adjacent vertices of small degree in minimal matching covered graphs
A connected graph $G$ with at least two vertices is matching covered if each of its edges lies in a perfect matching. A matching covered graph is minimal if the removal of any edge results in a graph that is no longer matching covered. An edge is called a $k$-line if both of its end vertices are of degree $k$. Lovász and Plummer [J. Combin. Theory, Ser. B 23 (1977) 127--138] proved that a minimal matching covered bipartite graph different from $K_2$ has minimum degree 2 and contains at least $[(|V(G)|+15)/6]$ 2-lines by ear decompositions. He et al. [J. Graph Theory 111 (2026) 5--16] showed that the minimum degree of a minimal matching covered graph different from $K_2$ is either 2 or 3. In this paper, we prove that every minimal matching covered graph with at least 4 vertices contains at least two nonadjacent edges, each of which is either a 2-line or a 3-line. Consequently, we show that every minimal matching covered graph with at least 4 vertices and minimum degree 3 contains at least 4 vertices of degree 3. Furthermore, the lower bounds for both the number of 3-lines and the number of cubic vertices are sharp.
A characterization of graphs with no $K_{3,4}$ minor
A complete structural characterization of graphs with no $K_{3,4}$ minor is obtained, and the following consequences are established. Every $4$-connected non-planar graph with at least seven vertices and minimum degree at least five contains both $K_{3,4}$ and $K_6^-$ as minors, thereby proving a conjecture of Kawarabayashi and Maharry in a strengthened form. Moreover, every $4$-connected graph with no $K_{3,4}$ minor is hamiltonian-connected, extending a theorem of Thomassen, and admits an embedding on the torus.
On four network monitoring parameters in graphs and their gaps
Let \( G \) be a finite simple undirected graph. Four graph parameters related to network monitoring are the \emph{geodetic set}, \emph{edge geodetic set}, \emph{strong edge geodetic set}, and \emph{monitoring edge geodetic set}, with corresponding minimum sizes, denoted by \( g(G), eg(G), seg(G) \), and \( meg(G) \), respectively. These parameters quantify the minimum number of vertices required to monitor all vertices and edges of \( G \) under progressively stricter path-based conditions. As established by Florent \textit{et al.}\ (CALDAM 2023), these parameters satisfy the chain of inequalities: \( g(G) \leq eg(G) \leq seg(G) \leq meg(G). \) In 2025, Florent \textit{et al.}\ posed the following question: given integers \( a, b, c, d \) satisfying \( 2 \leq a \leq b \leq c \leq d \), does there exist a graph \( G \) such that \( g(G) = a, \quad eg(G) = b, \quad seg(G) = c, \quad \text{and} \quad meg(G) = d? \) They partially answered this affirmatively under three specific hypotheses and gave some constructions to support it. In this article, we first identify quadruples of values that cannot be realized by any connected graph. For all remaining admissible quadruples, we provide explicit constructions of connected graphs that realize the specified parameters. These constructions are modular and efficient, with the number of vertices and edges growing linearly with the largest parameter, providing a complete and constructive characterization of such realizable quadruples.
Characterizing tricyclic graphs with pendant vertices having largest $A_α$-spectral radius
Published
• View Publication
• BIB
For a graph $G$ with adjacency matrix $A(G)$ and degree diagonal matrix $D(G)$, the $A_α$-matrix of $G$ is defined as \begin{equation*}
A_α(G) = αD(G) + (1- α) A(G), \text{ for any } α\in [0,1]. \end{equation*} The $A_α$-spectral radius of $G$ is the largest eigenvalue of the matrix $A_α(G)$. A tricyclic graph of order $n$ is a simple connected graph with $n+2$ edges. In this paper, we characterize the unique graph having the largest $A_α$-spectral radius for $α\in [\frac{1}{2}, 1)$ among all tricyclic graphs of order $n$ with $k (\geq 1)$ pendant vertices. As an application, we derive a sufficient spectral condition (alternate to the edge condition) to guarantee the absence of the tricyclic structure in a graph with $k$ pendant vertices.
On tree-decompositions for infinite chordal graphs
A graph is chordal if it contains no induced cycle of length four or more. While finite chordal graphs are precisely those admitting tree-decompositions into cliques, this fails for infinite graphs. We establish two results extending the known theory to the infinite setting. Our first result strengthens sufficient conditions of Halin, Kříž-Thomas, and Chudnovsky-Nguyen-Scott-Seymour: We show that every chordal graph without a strict comb of cliques admits a tree-decomposition into maximal cliques. Our second result characterises the chordal graphs admitting tree-decompositions into finite cliques: a connected graph admits such a decomposition if and only if it is chordal, admits a normal spanning tree, and does not contain $\mathcal{H}$ $\unicode{x2013}$ an infinite clique with two non-adjacent dominating vertices $\unicode{x2013}$ as an induced minor. Combined with the characterisation of graphs with normal spanning trees, this yields a description by three types of forbidden minors. Both proofs proceed via greedy constructions of length $ω$, with the key new ingredient for the second result being an Extension Lemma that uses a finiteness theorem of Halin on minimal separators to produce suitable finite clique extensions at each step.
Constructive characterizations concerning total outer-independent domination in subdivision trees
Let $G$ be a nontrivial connected graph with vertex set $V(G)$. A set of vertices $D\subseteq V(G)$ is called a total outer-independent dominating set of $G$ if every vertex of $G$ is adjacent to at least one vertex in $D$, and $V(G)\setminus D$ is an independent set of $G$. The total outer-independent domination number of $G$, denoted by $γ_t^{oi}(G)$, is the minimum cardinality among all total outer-independent dominating sets of $G$. The subdivision graph of $G$, denoted by $\mathtt{S}(G)$, is the graph obtained from $G$ by subdividing every edge exactly once. Cabrera-Martínez et al. [On the total outer-independent domination number of subdivision graphs, Comput. Appl. Math. 45 (2026) 315] proved that $\tfrac{4n(T)-l(T)-s(T)}{3}\leq γ_{t}^{oi}(\mathtt{S}(T))\leq \tfrac{4n(T)-l(T)+s(T)-2}{3}$ for any nontrivial tree $T$ of order $n(T)$ with $l(T)$ leaves and $s(T)$ support vertices. In this paper, we provide constructive characterizations of the families of trees that attain these bounds.
Construction of graph coverings with prescribed Iwasawa invariants
For a $\mathbb{Z}_p$-covering of connected graphs, an analogue of Iwasawa's class number formula describes the growth of the number of spanning trees in terms of Iwasawa $λ$- and $μ$-invariants. In this paper, we show that any pair $(λ, μ)$ can be realized as the Iwasawa invariants of an unramified $\mathbb{Z}_p$-covering of a bouquet, provided that the necessary condition that $λ$ is odd is satisfied. We further show that any pair $(λ, μ)$, without a parity condition, can be realized if we allow ramified $\mathbb{Z}_p$-coverings.
Characterization of strongly $\mathbb{Z}_\ell$-connected graphs of small order
A graph is strongly $\Z_{\ell}$-connected if for each boundary function $β: V(G)\mapsto \Z_{\ell}$ with $β(v) \equiv d(v) \pmod{2}$ for every vertex $v$ and $\sum_{v \in V(G)} β(v) \equiv 0 \pmod{2\ell}$, there exists an orientation $D$ of $G$ such that $d_D^+(v) - d_D^-(v) \equiv β(v) \pmod{2\ell}$ for each $v \in V(G)$. This is a useful notion for studying circular flows of graphs. This note presents a fully self-contained, manual proof of a characterization of $4$-vertex strongly $\mathbb{Z}_\ell$-connected graphs for any integer $\ell\geq 2$, which will be used in our further study in this topic.
Spectral radii and star-factors with large components
Let $G$ be a connected graph with $n$ vertices. The isolated toughness of $G$, denoted by $I(G)$, is defined by $I(G)=\min\left\{\frac{|S|}{i(G-S)}:S\subseteq V(G) \ \mbox{and} \ i(G-S)\geq2\right\}$ if $G$ is not complete, or $I(G)=+\infty$ if $G$ is complete. A graph $G$ is called isolated $r$-tough if $I(G)\geq r$. A spanning subgraph $H$ of $G$ is called a $\{K_{1,j}:m\leq j\leq2m\}$-factor of $G$ if every component of $H$ is isomorphic to an element of $\{K_{1,j}:m\leq j\leq2m\}$. Let $ρ(G)$, $q(G)$ and $μ(G)$ denote the adjacency spectral radius, the signless Laplacian spectral radius and the distance spectral radius of $G$, respectively. Let $m$ and $b$ be two positive integers with $m\geq2$. In this paper, we first establish a lower bounds on the adjacency spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ to guarantees that $G$ contains a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Second, we establish a lower bounds on the signless Laplacian spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ to ensures that $G$ contains a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Finally, we create an upper bounds on the distance spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ with a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Furthermore, we construct some extremal graphs to claim that all the bounds obtained in this paper are sharp.
Faber-Krahn inequalities of combinatorial Laplacian on graphs
In this paper, we obtain sharp Faber-Krahn inequalities for the first Dirichlet eigenvalue of the combinatorial Laplacian operator on connected graphs with a fixed number of vertices or with a fixed number of edges. More precisely, we show that the minimum of the first Dirichlet eigenvalues of connected graphs with boundary that consist of $n$ vertices or $n$ edges is achieved only on the tadpole graph $T_{n,3}$.
A weighted cycle-localization inequality
In 1959, Erdős and Gallai showed that every $2$-connected graph $G$ contains a cycle of length at least $\frac{2|E(G)|}{|V(G)|-1}$. This result was subsequently extended to weighted graphs by Bondy and Fan in 1991. A natural local variant of this problem arises by considering, for each edge $e\in E(G)$, the quantity $c(e)$, defined as the length of the longest cycle in $G$ containing $e$ (with $c(e)=2$ if $e$ is a bridge). Zhao and Zhang recently proved that for every graph $G$ on $n$ vertices satisfies $\sum_{e\in E(G)}\frac{1}{c(e)}\le \frac{n-1}{2}.$
In this note, we establish a weighted generalization of this inequality. For a weighted graph $(G,w)$ with positive edge weights, let $C_w(e)$ denote the maximum weight of a cycle containing $e$ (setting $C_w(e)=2w(e)$ if $e$ is a bridge). We prove that $$ \sum_{e\in E(G)}\frac{w(e)}{C_w(e)}\le \frac{n-1}{2}. $$ Our result can be viewed as a weighted local analogue of the Bondy-Fan theorem, thereby establishing a correspondence between the global and local perspectives. Furthermore, we present a broad class of graphs attaining equality and derive necessary conditions for equality.