connected graph
2651 papers tagged with this keyword
Distance spectral radius conditions for edge-disjoint spanning trees and a forest with constraints
Let $k\ge 2$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(n-1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the distance matrix of $G$. We denote $ρ_D(G)$ as the largest eigenvalue of $D(G)$, which is called the distance spectral radius of $G$. In this paper, we investigate the relationship between the distance spectral radius and the property $P(k, δ)$. We prove that for a connected graph $G$ of order $n \ge 2k+8$ with minimum degree $δ\ge k+2$, if $ρ_D(G) \le ρ_D(K_{k-1} \vee (K_{n-k} \cup K_1))$, then $G$ possesses property $P(k, δ)$. Furthermore, for a connected balanced bipartite graph $G$ of order $n \ge 4k+8$ with minimum degree $δ\ge k+2$, we show that if $ρ_D(G) \le ρ_D(K_{\frac{n}{2}, \frac{n}{2}} \setminus E(K_{1, \frac{n}{2}-k+1}))$, then $G$ also possesses property $P(k, δ)$. Our results generalize the work of Fan et al. [Discrete Appl. Math. 376 (2025), 31--40] from the existence of $k$ edge-disjoint spanning trees to the more refined structural property $P(k, δ)$.
Tree versus tree of preorder induced by rainbow forbidden subgraphs
A subgraph $H$ of an edge-colored graph $G$ is rainbow if all the edges of $H$ receive different colors. If $G$ does not contain a rainbow subgraph isomorphic to $H$, we say that $G$ is rainbow $H$-free. For connected graphs $H_1$ and $H_2$, if there exists an integer $t=t(H_1,H_2)$ such that every rainbow $H_1$-free edge-colored complete graph colored with $t$ or more colors is rainbow $H_2$-free, then we write $H_1\le H_2$. The binary relation $\le$ is reflexive and transitive, and hence it is a preorder. For graphs $H_1$ and $H_2$, we write $H_1 \equiv H_2$ if both $H_1 \le H_2$ and $H_2 \le H_1$ hold. Then $\equiv$ is an equivalence relation. If $H_1$ is a subgraph of $H_2$, then trivially $H_1\le H_2$ holds. On the other hand, there exists a pair $(H_1, H_2)$ such that $H_1$ is a proper supergraph of $H_2$ and $H_1\le H_2$ holds. Q.~Cui, Q.~Liu, C.~Magnant and A.~Saito [Discrete Math. {\bf 344} (2021) Article Number 112267] characterized these pairs. %On the other hand, there are few known results regarding the study of $\leq$ for the incomparable with respect to $\subseteq$. Cui et al. found pairs of graphs $H_1$ and $H_2$ such that $H_1 \leq H_2$ and $H_2 \leq H_1$, that is, non-singleton equivalence class with respect to $\le$. However, we have not found any other non-singleton equivalence class with respect to $\le$ except for those discovered by Cui et al.
In this paper. we investigate the existence of non-singleton equivalence class with respect to $\le$ by focusing on trees.
Total isolation game in graphs
The total isolation game is played on a graph $G$ by two players who take turns playing a vertex such that if $S$ is the set of already played vertices, then a vertex can be selected only if it is adjacent to a vertex that belongs to a (nontrivial) component of the graph $G - N_G(S)$ of order at least $2$ or a vertex that is isolated in $G - N_G(S)$ and belongs to the set $S$, where $N_G(S)$ is the set of vertices adjacent to a vertex in $S$. Dominator wishes to finish the game with the minimum number of played vertices, while Staller has the opposite goal. The game total isolation number $ι_{\rm gt}(G)$ is the number of moves in the Dominator-start game where both players play optimally. We prove that if $G$ is a connected graph of order $n \ge 3$, then $ι_{\rm gt}(G) < \frac{5}{6}n$. Furthermore if $G$ has minimum degree at least $2$, then we prove that $ι_{\rm gt}(G) \le \frac{3}{4}n$. More generally, if $G$ is a connected graph of order $n \ge 3$ with minimum degree $δ$ where $δ\ge 2$, then we prove that $ι_{\rm gt}(G) \le \left( \frac{2δ-1}{3δ-2} \right) n$. Among other results it is proved that if $G$ is a graph of order $n$ with diameter $2$, then $ι_{\rm gt}(G) \le \frac{2}{3}n$.
Adjacency-diametrical matrix of a graph
The adjacency-diametrical matrix (AD matrix) of a connected graph $G$ with diameter $d$, denoted by $AD(G)$, is the matrix indexed by the vertices of $G$ in which the $(i,j)$-entry of $AD(G)$ is $1$ if $d_G(v_i,v_j)=1$, is $d$ if $d_G(v_i,v_j)=d$, and $0$ otherwise, where $d_G(v_i,v_j)$ denotes the distance between the vertices $v_i$ and $v_j$ in $G$. We determine the spectrum of the AD matrix for paths, cycles, and double star graphs and obtain its determinant for a connected graph. We characterize a class of bipartite graphs using the coefficients of the characteristic polynomial and the eigenvalues of the AD matrix. We establish bounds relating the eigenvalues of the AD matrix to various graph invariants, and we determine the spectrum of the AD matrix for graphs formed by the join, lexicographic product, and Cartesian product operations under certain conditions on the constituent graphs.
A Reduction of the Reconstruction Conjecture using Domination and Vertex Pair Parameters
A graph is reconstructible if it is determined up to isomorphism from the collection of all its one-vertex-deleted subgraphs, known as the deck of G. The Reconstruction Conjecture (RC) posits that every finite simple graph with at least three vertices is reconstructible. In this paper, we prove that the class of graphs with domination number $γ(G)=2$ is recognizable from the deck $D(G)$. We also establish a new reduction of the RC: it holds if and only if all $2$-connected graphs $G$ with $γ(G)=2$ or $\operatorname{diam}(G)=\operatorname{diam}(\overline{G})=2$ are reconstructible. To aid reconstruction, we introduce two new parameters: $dv(G,k_1,k_2,k_3)$, which counts the number of non-adjacent vertex pairs in $G$ with $k_1$ common neighbours, $k_2$ neighbours exclusive to the first vertex, and $k_3$ exclusive to the second; and $dav(G,k_1,k_2,k_3)$, defined analogously for adjacent pairs. For connected graphs with at least $12$ vertices and $γ(G)\geq 3$, we show these parameters are reconstructible from $D(G)$ via recursive equations and induction. Finally, we prove that $k$-geodetic graphs of diameter two with $γ(G),γ(\overline{G})\geq 3$ are reconstructible under conditions where a vertex degree matches the size of a specific subset derived from these parameters.
On extremal graphs with respect to the ABS index
Published
• View Publication
• BIB
Recently, Ali et al. posed several open problems concerning extremal graphs with respect to the ABS index. These problems involve characterizing graphs that attain the maximum ABS index within specific graph classes, including: connected graphs with n vertices and p cut-vertices; (ii) connected graphs of order n with vertex k-partiteness; and (iii) connected bipartite graphs of order n with a fixed vertex connectivity κ. In this paper, we provide complete solutions to all of these problems.
The Minimum Subgraph Complementation Problem
Subgraph complementation is an operation that toggles all adjacencies inside a selected vertex set. Given a graph \(G\) and a target class \(\mathcal{C}\), the Minimum Subgraph Complementation problem asks for a minimum-size vertex set \(S\) such that complementing the subgraph induced by \(S\) transforms \(G\) into a graph belonging to \(\mathcal{C}\). While the decision version of Subgraph Complementation has been extensively studied and is NP-complete for many graph classes, the algorithmic complexity of its optimization variant has remained largely unexplored.
In this paper, we study MSC from an algorithmic perspective. We present polynomial-time algorithms for MSC in several nontrivial settings. Our results include polynomial-time solvability for transforming graphs between bipartite, co-bipartite, and split graphs, as well as for complementing bipartite regular graphs into chordal graphs. We also show that MSC to the class of graphs of fixed degeneracy can be solved in polynomial time when the input graph is a forest. Moreover, we investigate MSC with respect to connectivity and prove that MSC to the class of disconnected graphs and to the class of 2-connected graphs can be solved in polynomial time for arbitrary inputs.
Proper conflict-free choosability of planar graphs
A proper conflict-free coloring of a graph is a proper vertex coloring wherein each non-isolated vertex's open neighborhood contains at least one color appearing exactly once. For a non-negative integer $k$, a graph $G$ is said to be proper conflict-free (degree+$k$)-choosable if given any list assignment $L$ for $G$ where $|L(v)| = d(v) + k$ holds for every vertex $v \in V(G)$, there exists a proper conflict-free coloring $φ$ of $G$ such that $φ(v) \in L(v)$ for all $v \in V(G)$. Recently, Kashima, Škrekovski, and Xu proposed two related conjectures on proper conflict-free choosability: the first asserts the existence of an absolute constant $k$ such that every graph is proper conflict-free (degree+$k$)-choosable, while the second strengthens this claim by restricting to connected graphs other than the cycle of length 5 and reducing the constant to $k=2$. In this paper, we confirm the second conjecture for three graph classes: $K_4$-minor-free graphs with maximum degree at most 4, outer-1-planar graphs with maximum degree at most 4, and planar graphs with girth at least 12; we also confirm the first conjecture for these same graph classes, in addition to all outer-1-planar graphs (without degree constraints). Moreover, we prove that planar graphs with girth at least 12 and outer-1-planar graphs are proper conflict-free $6$-choosable.
A solution to Godsil's conjecture on the edge-connectivity of graphs in association schemes
A graph $G$ is called equiarboreal if the number of spanning trees containing a given edge in $G$ is independent of the choice of edge. In [Combinatorica 1(2) (1981) 163--167], Godsil proved that any graph which is a colour class in an association scheme is equiarboreal, and further conjectured that the edge-connectivity of a connected graph which is a colour class in an association scheme equals its vertex degree. In this paper, we confirm this long-standing conjecture. More generally, we prove an even stronger result that the edge-connectivity of a connected regular equiarboreal graph equals its degree by combinatorial and electrical network approaches. As a consequence, we show that every connected regular equiarboreal graph on an even number of vertices has a perfect matching.
Degenerate Vertex Cuts in Sparse Graphs
For a non-negative integer $k$, a vertex cut in a graph is $k$-degenerate if it induces a $k$-degenerate subgraph. We show that a graph of order $n$ at least $2k+2$ without a $k$-degenerate cut has the size at least $\frac{1}{2}\left(k+Ω\left(\sqrt{k}\right)\right)n$ and that a graph of order $n$ at least $5$ without a $2$-degenerate cut has the size at least $\frac{27n-35}{10}$. For $k\geq 2$, we show that a connected graph $G$ of order $n$ at least $k+6$ and size $m$ at most $\frac{k+3}{2}n+\frac{k-1}{2}$ has a minimum $k$-degenerate cut.
Completely independent Steiner trees and corresponding tree connectivity
Published
• View Publication
• BIB
The $S$-Steiner tree packing problem provides mathematical foundations for optimizing multi-path information transmission, particularly in designing fault-tolerant parallelized routing architectures for massive-scale network infrastructures. In this article, we propose the definitions of completely independent $S$-Steiner trees (CISSTs for short) and generalized $k^*$-connectivity, which generalize the definitions of internally disjoint $S$-Steiner trees and generalized $k$-connectivity. Given a connected graph $G = (V,E)$ and a vertex subset $S\subseteq V, |S|\geq 2,$ an $S$-Steiner tree of $G$ is a subtree in $G$ that spans all nodes in $S.$ The $S$-Steiner trees $T_1,T_2,\cdots, T_k$ of $G$ are completely independent pairwise if for any $1\leq p<q\leq k,$ $E(T_p)\cap E(T_q)=\emptyset$ , $V(T_p)\cap V(T_q)=S,$ and for any two vertices $x_{1},x_{2}$ in $S$, the paths connecting $x_{1}$ and $x_{2}$ in $T_p,T_q$ are pairwise internally disjoint. The packing number of CISSTs, denoted by $κ^*_G(S),$ is the maximum number of CISSTs in $G.$ The generalized $k^*$-connectivity $κ_k^*(G)$ is the minimum $κ_G^*(S)$ for $S$ ranges over all $k$-subsets of $V(G).$ We provide a detailed characterization of CISSTs. Also, we investigate the CISSTs of complete graphs and complete bipartite graphs. Furthermore, we determine the generalized $k^*$-connectivity for complete graphs and give a tight lower bound of the generalized $k^*$-connectivity for complete bipartite graphs.
3-path-connectivity of Cayley graphs generated by wheel graphs
Let $G = (V(G), E(G))$ be a simple connected graph and $Ω$ a subset of $ V(G)$ with $|Ω|\geq2$. An $Ω$-path in $G$ is a path that connects all vertices of $Ω$. Two $Ω$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=Ω$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote $π_G(Ω)$ by the maximum number of internally disjoint $Ω$-paths in $G$. For an integer $k\geq2$, the $k$-path-connectivity $π_k(G)$ of $G$ is defined as $\min\{π_G(Ω)\midΩ\subseteq V(G)$ and $|Ω|=k\}$. Let $CW_n$ denote the Cayley graph generated by the $n$-vertex wheel graph. In this paper, we investigate the $3$-path-connectivity of $CW_n$ and prove that $π_3(CW_n)=\lfloor\frac{6n-9}4\rfloor$ for all $n\geq4$.
Open XOR-magic odd graphs and closed XOR-magic even graphs
XOR-magic graph labelings form a special subclass of group distance magic labelings. A simple connected graph of order $2^n$ is called an open (respectively, closed) XOR-magic graph of power $n$ if its vertices can be labeled bijectively with vectors from $(\mathbb{Z}_2)^n$ such that the sum (over $(\mathbb{Z}_2)^n$) of labels in each open (respectively, closed) neighborhood of every vertex is equal to the zero vector. In one paper, Batal asked whether there exists any odd-regular open XOR-magic graph or any even-regular closed XOR-magic graph. In this paper, with partial help of MILP solver, we answer this question in the affirmative. More precisely, we prove that for every integer $n>3$, there exists an odd-regular open XOR-magic graph of power $n$ and an even-regular closed XOR-magic graph of power $n$. We also show some applications of the spectra of graphs for an open XOR-magic labeling.
Canonical tree-decompositions of chordal graphs
Halin characterised the chordal locally finite graphs as those that admit a tree-decomposition into cliques. We show that these tree-decompositions can be chosen to be canonical, that is, so that they are invariant under all the graph's automorphisms. As an application, we show that a locally finite, connected graph $G$ is $r$-locally chordal (that is, its $r/2$-balls are chordal) if and only if the unique canonical graph-decomposition $\mathcal{H}_r(G)$ of $G$ which displays its $r$-global structure is into cliques. Our results also serve as tools for further characterisations of $r$-locally chordal graphs.
Quadratic Embedding Constants of Corona Graphs
Published
• View Publication
• BIB
The quadratic embedding constant (QEC) of a connected graph is defined to be the maximum of the quadratic function associated with its distance matrix on a certain unit sphere of codimension two. In this paper we derive a formula for the QEC of a corona graph $G\odot H$. It is shown that $\mathrm{QEC}(G\odot H)=ψ_{H*}^{-1}(\mathrm{QEC}(G))$ holds under some spectral assumptions on $H$, where $ψ_{H*}^{-1}$ is the inverse function of the most right branch of the analytic function $ψ_H$ defined by means of the main eigenvalues of the adjacency matrix of $H$. Moreover, if $H$ is a regular graph of which the adjacency matrix has the smallest eigenvalue $-2$, then the formula is written down explicitly.
Assembly Addition Chains
In this paper we extend the notion of Addition Chains over Z+ to a general set S. We explain how the algebraic structure of Assembly Multi-Magma over the pairs (S,BB proper subset of S) allows to define the concept of Addition Chain over S, called Assembly Addition Chains of S with Building Blocks BB. Analogously to the Z+ case, we introduce the concept of Optimal Assembly Addition Chains over S and prove lower and upper bounds for their lengths, similar to the bounds found by Schonhage for the Z+ case. In the general case the unit 1 is in set Z+ is replaced by the subset BB and the mentioned bounds for the length of an Optimal Assembly Addition Chain of O is in set S are defined in terms of the size of O (i.e. the number of Building Blocks required to construct O). The main examples of S that we consider through this papers are (i) j-Strings (Strings with an alphabeth of j letters), (ii) Colored Connected Graphs and (iii) Colored Polyominoes.
Lower bounds on the independence number of a graph in terms of degrees
Published
• View Publication
• BIB
Given an integer $Δ\ge 3$, let ${\cal G}_{Δ}$ be the set of connected graphs $G\neq K_{Δ+1}$ with maximum degree $Δ$ and, for $i=1,\cdots, Δ$, let $V_i(G)$ be the set of vertices of $G$ of degree $i$. Using a result of T. Kelly and L. Postle, we prove that $\sum\limits_{i=1}^Δc_i|V_i(G)|$ is a lower bound on the independence number $α(G)$ of $G\in {\cal G}_Δ$, where $c_Δ=\frac{1}Δ$ and $ic_{i}=1-c_{i+1}$ for $i=1,\cdots,Δ-1$. Moreover, if $\varepsilon >0$ and $j\in \{1,\cdots, Δ\}$, then the inequality $α(G)\ge \varepsilon|V_j(G)|+\sum\limits_{i=1}^Δc_i|V_i(G)|$ does not hold for infinitely many graphs $G\in {\cal G}_Δ$. Finally, further lower bounds on $α(G)$ in terms of degrees of $G$ are presented.
Kernelization dichotomies for hitting minors under structural parameterizations
For a finite collection of connected graphs $\mathcal{F}$, the $\mathcal{F}$-MINOR-DELETION problem consists in, given a graph $G$ and an integer $\ell$, deciding whether $G$ contains a vertex set of size at most $\ell$ whose removal results in an $\mathcal{F}$-minor-free graph. We lift the existence of (approximate) polynomial kernels for $\mathcal{F}$-MINOR-DELETION by the solution size to (approximate) polynomial kernels parameterized by the vertex-deletion distance to graphs of bounded elimination distance to $\mathcal{F}$-minor-free graphs. This results in exact polynomial kernels for every family $\mathcal{F}$ that contains a planar graph, and an approximate polynomial kernel for PLANAR VERTEX DELETION. Moreover, combining our result with a previous lower bound, we obtain the following infinite set of dichotomies, assuming $NP \not\subseteq coNP/poly$: for any finite set $\mathcal{F}$ of biconnected graphs on at least three vertices containing a planar graph, and any minor-closed class of graphs $\mathcal{C}$, $\mathcal{F}$-MINOR-DELETION admits a polynomial kernel parameterized by the vertex-deletion distance to $\mathcal{C}$ if and only if $\mathcal{C}$ has bounded elimination distance to $\mathcal{F}$-minor-free graphs. For instance, this yields dichotomies for CACTUS VERTEX DELETION, OUTERPLANAR VERTEX DELETION, and TREEWIDTH-$t$ VERTEX DELETION for every integer $t \geq 0$. Prior to our work, such dichotomies were only known for the particular cases of VERTEX COVER and FEEDBACK VERTEX SET. Our approach builds on the techniques developed by Jansen and Pieterse [Theor. Comput. Sci. 2020] and also uses adaptations of some of the results by Jansen, de Kroon, and Wlodarczyk [STOC 2021].
The parameterized complexity of Strong Conflict-Free Vertex-Connection Colorability
Published
• View Publication
• BIB
This paper continues the study of a new variant of graph coloring with a connectivity constraint recently introduced by Hsieh et al. [COCOON 2024]. A path in a vertex-colored graph is called conflict-free if there is a color that appears exactly once on its vertices. A connected graph is said to be strongly conflict-free vertex-connection $k$-colorable if it admits a (proper) vertex $k$-coloring such that any two distinct vertices are connected by a conflict-free shortest path. Among others, we show that deciding, for a given graph $G$ and an integer $k$, whether $G$ is strongly conflict-free $k$-colorable is fixed-parameter tractable when parameterized by the vertex cover number. But under the standard complexity-theoretic assumption NP $\not\subseteq$ coNP/poly, deciding, for a given graph $G$, whether $G$ is strongly conflict-free $3$-colorable does not admit a polynomial kernel, even for bipartite graphs. This kernel lower bound is in stark contrast to the ordinal $k$-Coloring problem which is known to admit a polynomial kernel when parameterized by the vertex cover number.
Chen-Chvátal Conjecture for Graphs of Diameter 3
In 2008, Chen and Chvátal conjectured that in every finite metric space of $n$ points, there are at least $n$ distinct lines, or the whole set of points is a line. This is a generalization of a classical result in the Euclidean plane. The Chen-Chvátal conjecture is open even in metric spaces induced by connected graphs. In 2018, it was asked by Chvátal whether graphs of diameter three satisfy the conjecture. In this work, we find all graphs of diameter three having fewer lines than vertices. As a direct consequence, we prove that graphs of diameter three satisfy the Chen-Chvátal conjecture.