connected graph
2678 papers tagged with this keyword
Paths, Ends and The Separation Problem for Infinite Graphs
Published in Discrete Applied Mathematics, Volume 386, 15 June 2026, Pages 139-155
• View Publication
• BIB
We introduce and study the Separation Problem for infinite graphs, which involves determining whether a connected graph splits into at least two infinite connected components after the removal of a given finite set of edges. We prove that this problem is decidable for every highly computable graph with finitely many ends. Using this result, we demonstrate that König's Infinity Lemma is effective for such graphs. We also apply it to analyze the complexity of the Eulerian Path Problem for infinite graphs, showing that much of its complexity arises from counting ends. Indeed, the Eulerian Path Problem becomes strictly easier when restricted to graphs with a fixed number of ends. Under this restriction, we provide a complete characterization of the problem. Finally, we study the Separation Problem in a uniform setting (i.e., where the graph is also part of the input) and offer a nearly complete characterization of its complexity and its relationship to counting the number of ends.
Limits and Periodicity of Metamour $2$-Distance Graphs
Given a finite simple graph $G$, let $\operatorname{M}(G)$ denote its 2-distance graph, in which two vertices are adjacent if and only if they have distance 2 in $G$. In this paper, we consider the periodic behavior of the sequence $G, \operatorname{M}(G), \operatorname{M}^2(G), \operatorname{M}^3(G), \ldots$ obtained by iterating the 2-distance operation. In particular, we classify the connected graphs with period 3, and we partially characterize those with period 2. We then study two families of graphs whose 2-distance sequence is eventually periodic: namely, generalized Petersen graphs and complete $m$-ary trees. For each family, we show that the eventual period is 2, and we determine the pre-period and the two limit graphs of the sequence.
Log-concavity of the independence polynomials of $\mathbf{W}_{p}$ graphs
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$. For a positive integer $p$, $G$ is said to be a $\mathbf{W}_{p}$ graph if $n\geq p$ and every $p$ pairwise disjoint independent sets of $G$ are contained within $p$ pairwise disjoint maximum independent sets. In this paper, we establish that every connected $\mathbf{W}_{p}$ graph $G$ is $p$-quasi-regularizable if and only if $n\geq(p+1)\cdotα$, where $α$ is the independence number of $G$ and $p\neq2$. This finding ensures that the independence polynomial of a connected $\mathbf{W}_{p}$ graph $G$ is log-concave whenever $(p+1)\cdotα\leq n\leq p\cdotα+2\sqrt{p\cdotα+p}$ and $\frac{α^{2}}{4\left( α+1\right) }\leq p$, or $p\cdotα+2\sqrt{p\cdotα+p}<n\leq \frac{\left( α^{2}+1\right) \cdot p+\left( α-1\right) ^{2}}{α-1}$ and $\frac{α\left( α-1\right) }{α+1}\leq p$. Moreover, the clique corona graph $G\circ K_{p}$ serves as an example of the $\mathbf{W}_{p}$ graph class. We further demonstrate that the independence polynomial of $G\circ K_{p}$ is always log-concave for sufficiently large $p$.
Keywords: very well-covered graph; quasi-regularizable graph; corona graph; $\mathbf{W}_{p}$ graph; independence polynomial; log-concavity.
CLM's dependence relation, solitary patterns and $r$-graphs
A connected r-regular graph, where $r \geq 3$, is an r-graph if each odd cut has at least r edges. Every r-graph is matching covered - a connected graph whose each edge participates in some perfect matching. We set out to: (i) characterize solitary edges - those edges that participate in only one perfect matching, and (ii) upper bound the number of such edges.
Two edges are mutually dependent if every perfect matching containing either of them also contains the other. Clearly, this is an equivalence relation and induces a partition of E(G). It is worth noting that if any member of an equivalence class is solitary then so is every member; we refer to such an equivalence class as a solitary class. This immediately brings us to the notion of solitary pattern of a matching covered graph - the sequence of cardinalities of its solitary classes in nonincreasing order.
Clearly, n/2 is an upper bound on the cardinality of any equivalence class, and if equality holds then each largest equivalence class is a solitary class. We provide a characterization of all matching covered graphs that attain this upper bound. However, all such graphs, of order six or more, contain 2-cuts.
On the other hand, using a result of Lucchesi and Murty, we deduce that in a 3-edge-connected r-graph, every solitary class has cardinality one or two. We prove that the distance between any two solitary classes in any 3-edge-connected r-graph is at most three; furthermore, if the order is four or more, we establish that the number of solitary classes is at most three and equality holds if and only if r = 3. Ergo, every 3-edge-connected r-graph, of order four or more, has one of the following ten solitary patterns: (2, 2, 2), (2, 2, 1), (2, 1, 1), (1, 1, 1), (2, 2), (2, 1), (2), (1, 1), (1) or (). We provide complete characterizations of 3-edge-connected r-graphs that have one of the first six solitary patterns.
Characterization of Equimatchable Even-Regular Graphs
A graph is called equimatchable if all of its maximal matchings have the same size. Due to Eiben and Kotrbčík,, any connected graph with odd order and independence number $α(G)$ at most $2$ is equimatchable. Akbari et al. showed that for any odd number $r$, a connected equimatchable $r$-regular graph must be either the complete graph $K_{r+1}$ or the complete bipartite graph $K_{r,r}$. They also determined all connected equimatchable $4$-regular graphs and proved that for any even $r$, any connected equimatchable $r$-regular graph is either $K_{r,r}$ or factor-critical. In this paper, we confirm that for any even $r\ge 6$, there exists a unique connected equimatchable $r$-regular graph $G$ with $α(G)\geq 3$ and odd order.
Diameter and connectivity of finite simple graphs II
Let $G$ be a finite simple non-complete connected graph on $[n] = \{1, \ldots, n\}$ and $κ(G) \geq 1$ its vertex connectivity. Let $f(G)$ denote the number of free vertices of $G$ and $\mathrm{diam}(G)$ the diameter of $G$. The final goal of this paper is to determine all sequences of integers $(n,f,d,k)$ with $n\geq 8$, $f\geq 0$, $d\geq 2$ and $k\geq 1$ for which there exists a finite simple non-complete connected graph on $[n]$ with $f=f(G)$, $d=\mathrm{diam}(G)$ and $k=κ(G)$.
On the Edge-Connectivity of the Square of a Graph
Published
• View Publication
• BIB
Let $G$ be a connected graph. The edge-connectivity of $G$, denoted by $λ(G)$, is the minimum number of edges whose removal renders $G$ disconnected. Let $δ(G)$ be the minimum degree of $G$. It is well-known that $λ(G) \leq δ(G)$, and graphs for which equality holds are said to be maximally edge-connected. The square $G^2$ of $G$ is the graph with the same vertex set as $G$, in which two vertices are adjacent if their distance is not more that $2$.
In this paper we present results on the edge-connectivity of the square of a graph. We show that if the minimum degree of a connected graph $G$ of order $n$ is at least $\lfloor \frac{n+2}{4}\rfloor$, then $G^2$ is maximally edge-connected, and this result is best possible. We also give lower bounds on $λ(G^2)$ for the case that $G^2$ is not maximally edge-connected: We prove that $λ(G^2) \geq κ(G)^2 + κ(G)$, where $κ(G)$ denotes the connectivity of $G$, i.e., the minimum number of vertices whose removal renders $G$ disconnected, and this bound is sharp. We further prove that $λ(G^2) \geq \frac{1}{2}λ(G)^{3/2} - \frac{1}{2} λ(G)$, and we construct an infinite family of graphs to show that the exponent $3/2$ of $λ(G)$ in this bound is best possible.
On the Min-Max Star Partitioning Number
Published
• View Publication
• BIB
In this paper, we introduce a novel star partitioning problem for simple connected graphs $G=(V,E)$. The goal is to find a partition of the edges into stars that minimizes the maximum number of stars a node is contained in while simultaneously satisfying node-specific capacities. We design and analyze an efficient polynomial time algorithm with a runtime of $\mathcal{O}(|E|^2)$ that determines an optimal partition. Moreover, we explicitly provide a closed form of an optimal value for some graph classes. We generalize our algorithm to find even an optimal star partition of linear hypergraphs, multigraphs, and graphs with self-loop. We use flow techniques to design an algorithm for the star partitioning problem with an improved runtime of $\mathcal{O}(\log(Δ) \cdot |E| \cdot \min\{|V|^{\frac{2}{3}},|E|^{\frac{1}{2}}\})$, where $Δ$ is maximum node degree in $G$. In contrast to the unweighted setting, we show that a node-weighted decision variant of this problem is \texttt{strongly NP-complete} even without capacity constraints. Furthermore, we provide an extensive comparison to the problem of minimizing the minimum indegree satisfying node capacity constraints.
On the locating-chromatic number of corona product of graphs
Let $G=(V,E)$ be a finite, simple, and connected graph. The locating-chromatic number of a graph $G$ can be defined as the cardinality of a minimum resolving partition of the vertex set $V(G)$ such that all vertices have different coordinates and every two adjacent vertices in $G$ is not contained in the same partition class. In this case, the coordinate of a vertex in $G$ is expressed in terms of the distances of this vertex to all partition classes. The corona product of a graph $G$ of order $n$ and a graph $H,$ denoted by $G \odot H,$ is the graph obtained by taking one copy of $G$ and $n$ copies of $H$ and joining the $i^{th}$-vertex of $G$ to every vertex in the $i^{th}$-copy of $H$. In this paper, we determine the sharp general bound of the locating-chromatic number of $G \odot H$ for $G$ is a connected graph and $H$ is an arbitrary graph, or $G$ is a tree graph and $H$ is a complement of complete graph.
A short note on spanning even trees
We call a tree $T$ is \emph{even} if every pair of its leaves is joined by a path of even length. Jackson and Yoshimoto~[J. Graph Theory, 2024] conjectured that every $r$-regular nonbipartite connected graph $G$ has a spanning even tree. They verified this conjecture for the case when $G$ has a $2$-factor. In this paper, we prove that the conjecture holds when $r$ is odd, thereby resolving the only remaining unsolved case for this conjecture.
Gromov's Approximating Tree and the All-Pairs Bottleneck Paths Problem
Given a pointed metric space $(X,\mathsf{dist}, w)$ on $n$ points, its Gromov's approximating tree is a 0-hyperbolic pseudo-metric space $(X,\mathsf{dist}_T)$ such that $\mathsf{dist}(x,w)=\mathsf{dist}_T(x,w)$ and $\mathsf{dist}(x, y)-2 δ\log_2n \leq \mathsf{dist}_T (x, y) \leq \mathsf{dist}(x, y)$ for all $x, y \in X$ where $δ$ is the Gromov hyperbolicity of $X$. On the other hand, the all pairs bottleneck paths (APBP) problem asks, given an undirected graph with some capacities on its edges, to find the maximal path capacity between each pair of vertices. In this note, we prove:
$\bullet$ Computing Gromov's approximating tree for a metric space with $n+1$ points from its matrix of distances reduces to solving the APBP problem on an connected graph with $n$ vertices.
$\bullet$ There is an explicit algorithm that computes Gromov's approximating tree for a graph from its adjacency matrix in quadratic time.
$\bullet$ Solving the APBP problem on a weighted graph with $n$ vertices reduces to finding Gromov's approximating tree for a metric space with $n+1$ points from its distance matrix.
Longest cycles in vertex-transitive and highly connected graphs
Published in Bulletin of the London Mathematical Society, 57(10):2975-2990, October 2025
• View Publication
• BIB
We present progress on three old conjectures about longest paths and cycles in graphs. The first pair of conjectures, due to Lovász from 1969 and Thomassen from 1978, respectively, states that all connected vertex-transitive graphs contain a Hamiltonian path, and that all sufficiently large such graphs even contain a Hamiltonian cycle. The third conjecture, due to Smith from 1984, states that for $r\ge 2$ in every $r$-connected graph any two longest cycles intersect in at least $r$ vertices. In this paper, we prove a new lemma about the intersection of longest cycles in a graph which can be used to improve the best known bounds towards all the aforementioned conjectures: First, we show that every connected vertex-transitive graph on $n\geq 3$ vertices contains a cycle (and hence path) of length at least $Ω(n^{13/21})$, improving on $Ω(n^{3/5})$ from [DeVos, \emph{arXiv:2302:04255}, 2023]. Second, we show that in every $r$-connected graph with $r\geq 2$, any two longest cycles meet in at least $Ω(r^{5/8})$ vertices, improving on $Ω(r^{3/5})$ from [Chen, Faudree and Gould, \emph{J. Combin. Theory, Ser.~ B}, 1998]. Our proof combines combinatorial arguments, computer-search and linear programming.
On the Automorphisms of Token Graphs Generated by $2$-cuts with the Same Neighbours
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices and $1 \le k \le n-1$ an integer. The $k$-token graph of $G$ is the graph $F_k(G)$ whose vertices are all the $k$-subsets of vertices of $G$, two of which are adjacent whenever their symmetric difference is an edge of $G$. Every automorphism of $G$ induces an automorphism of $F_k(G)$ in a natural way. Suppose that $S:=\{x,y\}$ is a cut set of $G$, such that $x$ and $y$ have the same neighbours in $G\setminus \{x,y\}$. In this paper we show that there exist a large number of automorphisms of $F_k(G)$ defined by $S$ that are not induced by automorphisms of $G$. We also describe the group produced by all such $2$-cuts of $G$.
Characterization of geodesic distance on infinite graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph and let $d_G$ be the geodesic distance on $V(G)$. The metric spaces $(V(G), d_{G})$ are characterized up to isometry for all finite connected $G$ by David C. Kay and Gary Chartrand in 1964. The main result of the paper expands this characterization on the infinite connected graphs. We also prove that every metric space with integer distances between its points admits an isometric embedding into $(V(G), d_G)$ for suitable $G$.
Distance ideals of digraphs
Published
• View Publication
• BIB
We focus on strongly connected, strong for short, digraphs since in this setting distance is defined for every pair of vertices.
Distance ideals generalize the spectrum and Smith normal form of several distance matrices associated with strong digraphs.
We introduce the concept of pattern which allow us to characterize the family $Γ_1$ of digraphs with only one trivial distance ideal over ${\mathbb Z}$.
This result generalizes an analogous result for undirected graphs that states that connected graphs with one trivial ideal over $\mathbb{Z}$ consists of either complete graphs or complete bipartite graphs.
It turns out that the strong digraphs in $Γ_1$ consists in the circuit with 3 vertices and a family $Λ$ of strong digraphs that contains complete graphs and complete bipartite graphs, regarded as digraphs. We also compute all distance ideals of some strong digraphs in the family $Λ$.
Then, we explore circuits, which turn out to be an infinite family of minimal forbidden digraphs, as induced subdigraphs, for the strong digraphs in $Γ_1$.
This suggests that a characterization of $Γ_1$ in terms of forbidden induced subdigraphs is harder than using patterns.
A very short proof of Sidorenko's inequality for counts of homomorphism between graphs
Published
• View Publication
• BIB
We provide a very elementary proof of a classical extremality result due to Sidorenko (Discrete Math. 131.1-3, 1994), which states that among all connected graphs $G$ on $k$ vertices, the $k$-vertex star maximises the number of graph homomorphisms of $G$ into any graph $H$.
Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
Published in Ars Math. Contemp. Vol. 25 No. 4 (2025)
• View Publication
• BIB
In the past, analogues to Brooks' theorem have been found for various parameters of graph coloring for infinite locally finite connected graphs in ZFC. We prove these theorems are not provable in ZF (i.e. the Zermelo-Fraenkel set theory without the Axiom of Choice (AC)). Moreover, such theorems follow from Konig's Lemma (every infinite locally finite connected graph has a ray-a weak form of AC) in ZF. In ZF, we formulate new conditions for the existence of the distinguishing chromatic number, the distinguishing chromatic index, the total chromatic number, the total distinguishing chromatic number, the odd chromatic number, and the neighbor-distinguishing index in infinite locally finite connected graphs, which are equivalent to Konig's Lemma. In this direction, we strengthen a recent result of Stawiski from 2023.
We also figured out the upper bound for list-distinguishing chromatic number for infinite graphs in ZFC (i.e. the Zermelo-Fraenkel set theory with the Axiom of Choice (AC)).
Structure and linear-Pollyanna for some square-free graphs
Published
• View Publication
• BIB
We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges, a {\em hammer} is a graph obtained by identifying an endvertex of a $P_3$ with a vertex of a triangle. A class ${\cal F}$ is $χ$-bounded if there is a function $f$ such that $χ(G)\leq f(ω(G))$ for all induced subgraphs $G$ of a graph in ${\cal F}$. A class ${\cal C}$ of graphs is {\em Pollyanna} (resp. {\em linear-Pollyanna}) if ${\cal C}\cap {\cal F}$ is polynomially (resp. linear-polynomially) $χ$-bounded for every $χ$-bounded class ${\cal F}$ of graphs. Chudnovsky {\em et al} \cite{CCDO2023} showed that both the classes of bull-free graphs and hammer-free graphs are Pollyannas. Let $G$ be a connected graph with no clique cutsets and no universal cliques. In this paper, we show that $G$ is $(C_4$, hammer)-free if and only if it has girth at least 5, and $G$ is $(C_4$, bull)-free if and only if it is a clique blowup of some graph of girth at least 5. As a consequence, we show that both the classes of $(C_4$, bull)-free graphs and $(C_4$, hammer)-free graphs are linear-Pollyannas.
Sets of vertices with extremal energy
Published
• View Publication
• BIB
We define various notions of energy of a set of vertices in a graph, which generalize two of the most widely studied graphical indices: the Wiener index and the Harary index. We provide a new proof of a result due to Douthett and Krantz, which says that for cycles, the sets of vertices which have minimal energy among all sets of the same size are precisely the maximally even sets, as defined in Clough and Douthett's work on music theory. Generalizing a theorem of Clough and Douthett, we prove that a finite, simple, connected graph is distance degree regular if and only if whenever a set of vertices has minimal energy, its complement also has minimal energy. We also provide several characterizations of sets of vertices in finite paths and cycles for which the sum of all pairwise distances between vertices in the set is maximal among all sets of the same size.
Number of Subgraphs and Their Converses in Tournaments and New Digraph Polynomials
Published
• View Publication
• BIB
An oriented graph $D$ is converse invariant if, for any tournament $T$, the number of copies of $D$ in $T$ is equal to that of its converse $-D$. El Sahili and Ghazo Hanna [J. Graph Theory 102 (2023), 684-701] showed that any oriented graph $D$ with maximum degree at most 2 is converse invariant. They proposed a question: Can we characterize all converse invariant oriented graphs?
In this paper, we introduce a digraph polynomial and employ it to give a necessary condition for an oriented graph to be converse invariant. This polynomial serves as a cornerstone in proving all the results presented in this paper. In particular, we characterize all orientations of trees with diameter at most 3 that are converse invariant. We also show that all orientations of regular graphs are not converse invariant if $D$ and $-D$ have different degree sequences. In addition, in contrast to the findings of El Sahili and Ghazo Hanna, we prove that every connected graph $G$ with maximum degree at least $3$, admits an orientation $D$ of $G$ such that $D$ is not converse invariant. We pose one conjecture.