connected graph
2596 papers tagged with this keyword
A Description of the Subgraph Induced at a Labeling of a Graph by the Subset of Vertices with an Interval Spectrum
Published
• View Publication
• BIB
The sets of vertices and edges of an undirected, simple, finite, connected graph $G$ are denoted by $V(G)$ and $E(G)$, respectively. An arbitrary nonempty finite subset of consecutive integers is called an interval. An injective mapping $\varphi:E(G)\rightarrow \{1,2,...,|E(G)|\}$ is called a labeling of the graph $G$. If $G$ is a graph, $x$ is its arbitrary vertex, and $\varphi$ is its arbitrary labeling, then the set $S_G(x,\varphi)\equiv\{\varphi(e)/ e\in E(G), e \textrm{is incident with} x$\} is called a spectrum of the vertex $x$ of the graph $G$ at its labeling $\varphi$. For any graph $G$ and its arbitrary labeling $\varphi$, a structure of the subgraph of $G$, induced by the subset of vertices of $G$ with an interval spectrum, is described.
A note on the values of independence polynomials at $-1$
Published
• View Publication
• BIB
The independence polynomial $I(G;x)$ of a graph $G$ is $I(G;x)=\sum_{k=1}^{α(G)} s_k x^k$, where $s_k$ is the number of independent sets in $G$ of size $k$. The decycling number of a graph $G$, denoted $φ(G)$, is the minimum size of a set $S\subseteq V(G)$ such that $G-S$ is acyclic. Engström proved that the independence polynomial satisfies $|I(G;-1)| \leq 2^{φ(G)}$ for any graph $G$, and this bound is best possible. Levit and Mandrescu provided an elementary proof of the bound, and in addition conjectured that for every positive integer $k$ and integer $q$ with $|q|\leq 2^k$, there is a connected graph $G$ with $φ(G)=k$ and $I(G;-1)=q$. In this note, we prove this conjecture.
The $k$-metric dimension of the lexicographic product of graphs
Published
• View Publication
• BIB
Given a simple and connected graph $G=(V,E)$, and a positive integer $k$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$, if for any pair of different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,\ldots,w_k\in S$ such that $d_G(u,w_i)\ne d_G(v,w_i)$, for every $i\in \{1,\ldots,k\}$, where $d_G(x,y)$ denotes the distance between $x$ and $y$. The minimum cardinality of a $k$-metric generator is the $k$-metric dimension of $G$. A set $S\subseteq V$ is a $k$-adjacency generator for $G$ if any two different vertices $x,y\in V(G)$ satisfy $|((N_G(x)\triangledown N_G(y))\cup\{x,y\})\cap S|\ge k$, where $N_G(x)\triangledown N_G(y)$ is the symmetric difference of the neighborhoods of $x$ and $y$. The minimum cardinality of any $k$-adjacency generator is the $k$-adjacency dimension of $G$. In this article we obtain tight bounds and closed formulae for the $k$-metric dimension of the lexicographic product of graphs in terms of the $k$-adjacency dimension of the factor graphs.
On a Conjecture of Thomassen
Published
• View Publication
• BIB
In 1989, Thomassen asked whether there is an integer-valued function f(k) such that every f(k)-connected graph admits a spanning, bipartite $k$-connected subgraph. In this paper we take a first, humble approach, showing the conjecture is true up to a log n factor.
Propagation time for zero forcing on a graph
Published
• View Publication
• BIB
Zero forcing (also called graph infection) on a simple, undirected graph $G$ is based on the color-change rule: If each vertex of $G$ is colored either white or black, and vertex $v$ is a black vertex with only one white neighbor $w$, then change the color of $w$ to black. A minimum zero forcing set is a set of black vertices of minimum cardinality that can color the entire graph black using the color change rule. The propagation time of a zero forcing set $B$ of graph $G$ is the minimum number of steps that it takes to force all the vertices of $G$ black, starting with the vertices in $B$ black and performing independent forces simultaneously. The minimum and maximum propagation times of a graph are taken over all minimum zero forcing sets of the graph.
It is shown that a connected graph of order at least two has more than one minimum zero forcing set realizing minimum propagation time. Graphs $G$ having extreme minimum propagation times $|G| - 1$, $|G| - 2$, and $0$ are characterized, and results regarding graphs having minimum propagation time $1$ are established. It is shown that the diameter is an upper bound for maximum propagation time for a tree, but in general propagation time and diameter of a graph are not comparable.
Cycles with consecutive odd lengths
Published
• View Publication
• BIB
It is proved that there exists an absolute constant c > 0 such that for every natural number k, every non-bipartite 2-connected graph with average degree at least ck contains k cycles with consecutive odd lengths. This implies the existence of the absolute constant d > 0 that every non-bipartite 2-connected graph with minimum degree at least dk contains cycles of all lengths modulo k, thus providing an answer (in a strong form) to a question of Thomassen. Both results are sharp up to the constant factors.
Disjunctive Total Domination in Graphs
Published
• View Publication
• BIB
Let $G$ be a graph with no isolated vertex. In this paper, we study a parameter that is a relaxation of arguably the most important domination parameter, namely the total domination number, $γ_t(G)$. A set $S$ of vertices in $G$ is a disjunctive total dominating set of $G$ if every vertex is adjacent to a vertex of $S$ or has at least two vertices in $S$ at distance2 from it. The disjunctive total domination number, $γ^d_t(G)$, is the minimum cardinality of such a set. We observe that $γ^d_t(G) \le γ_t(G)$. We prove that if $G$ is a connected graph of order$n \ge 8$, then $γ^d_t(G) \le 2(n-1)/3$ and we characterize the extremal graphs. It is known that if $G$ is a connected claw-free graph of order$n$, then $γ_t(G) \le 2n/3$ and this upper bound is tight for arbitrarily large$n$. We show this upper bound can be improved significantly for the disjunctive total domination number. We show that if $G$ is a connected claw-free graph of order$n > 10$, then $γ^d_t(G) \le 4n/7$ and we characterize the graphs achieving equality in this bound.
All graphs have tree-decompositions displaying their topological ends
Published
• View Publication
• BIB
We show that every connected graph has a spanning tree that displays all its topological ends. This proves a 1964 conjecture of Halin in corrected form, and settles a problem of Diestel from 1992.
Complexes of connected graphs
Graphs with given k vertices generate an (acyclic) simplicial complex. We describe the homology of its quotient complex, formed by all connected graphs, and demonstrate its applications to the topology of braid groups, knot theory, combinatorics, and singularity theory. The multidimensional analogues of this complex are indicated, which arise naturally in the homotopy theory, higher Chern-Simons theory and complexity theory.
On some papers of Nikiforov
Published in Ars Combin. 135(2017), 187--195
• Search Publication
The well known Mantel's Theorem states that a graph on $n$ vertices and $m$ edges contains a triangle if $m>\frac{n^2}{4}$. Nosal proved that every graph on $m$ edges contains a triangle if the spectral radius $λ_1>\sqrt{m}$, which is a spectral analog of Mantel's Theorem. Furthermore, by using Motzkin-Straus Inequality, Nikiforov sharped Nosal's result and characterized the extremal graphs when the equality holds. Our first contribution in this note is to give two new proofs of the spectral concise Mantel's Theorem due to Nikiforov (without help of Motzkin-Straus Inequality). Nikiforov also obtained some results concerning the existence of consecutive cycles and spectral radius. Second, we prove a theorem concerning the existence of consecutive even cycles and spectral radius, which slightly improves a result of Nikiforov. At last, we focus on spectral radius inequalities. Hong proved his famous bound for spectral radius. Later, Hong, Shu and Fang generalized Hong's bound to connected graphs with given minimum degree. By using quite different technique, Nikiforov proved Hong et al.'s bound for general graphs independently. In this note, we prove a new spectral inequality by applying the technique of Nikiforov. Our result extends Stanley's spectral inequality.
On Hilbert bases of cuts
Published
• View Publication
• BIB
A Hilbert basis is a set of vectors X such that the integer cone (semigroup) generated by X is the intersection of the lattice generated by X with the cone generated by X. Define a graph to be (cut) Hilbert if its set of cuts forms a Hilbert basis. We show that the Hilbert property is not closed under edge deletions, subdivisions, nor 2-sums. Furthermore, no graph having K_6-e as a minor is Hilbert. This corrects an error in [M. Laurent. Hilbert bases of cuts. Discrete Math., 150(1-3):257-279 (1996)]. For positive results, we give conditions under which the 2-sum of two graphs produces a Hilbert graph. Using these conditions we show that all H-minor-free graphs are Hilbert , where H is the unique 3-connected graph obtained by uncontracting an edge of K_5. We also establish a relationship between edge deletion and subdivision. Namely, if G' is obtained from a Hilbert graph G by subdividing an edge e two or more times, then G-e is Hilbert if and only if G' is Hilbert.
Finding Even Subgraphs Even Faster
Published
• View Publication
• BIB
Problems of the following kind have been the focus of much recent research in the realm of parameterized complexity: Given an input graph (digraph) on $n$ vertices and a positive integer parameter $k$, find if there exist $k$ edges (arcs) whose deletion results in a graph that satisfies some specified parity constraints. In particular, when the objective is to obtain a connected graph in which all the vertices have even degrees---where the resulting graph is \emph{Eulerian}---the problem is called Undirected Eulerian Edge Deletion. The corresponding problem in digraphs where the resulting graph should be strongly connected and every vertex should have the same in-degree as its out-degree is called Directed Eulerian Edge Deletion. Cygan et al. [\emph{Algorithmica, 2014}] showed that these problems are fixed parameter tractable (FPT), and gave algorithms with the running time $2^{O(k \log k)}n^{O(1)}$. They also asked, as an open problem, whether there exist FPT algorithms which solve these problems in time $2^{O(k)}n^{O(1)}$. In this paper we answer their question in the affirmative: using the technique of computing \emph{representative families of co-graphic matroids} we design algorithms which solve these problems in time $2^{O(k)}n^{O(1)}$. The crucial insight we bring to these problems is to view the solution as an independent set of a co-graphic matroid. We believe that this view-point/approach will be useful in other problems where one of the constraints that need to be satisfied is that of connectivity.
The Derivative Degree Sequences of Finite Simple Connected Graphs are Parking Functions
Parking functions are well researched and interesting results are found in the listed references and more. Some introductory results stemming from application to degree sequences of simple connected graphs are provided in this paper. Amongst others, the result namely, that a derivative degree sequence, $d_d(G) \in \Bbb D_d(G)= \{(\lceil\frac{d(v_1}{\ell}\rceil, \lceil\frac{d(v_2)}{\ell}\rceil, \lceil\frac{d(v_3)}{\ell}\rceil, ..., \lceil\frac{d(v_n)}{\ell}\rceil| \ell = d(v_i), \forall i,$ with $d(v_i)\geq 2\},$ of a simple connected graph $G$ is a parking function, is presented. We also introduce the concept of \emph{looping degree sequences} and the \emph{looping number}, $ξ(G)$. Four open problems are proposed as well.
The Path Partition Conjecture is True and its Validity Yields Upper Bounds for Detour Chromatic Number and Star Chromatic Number
The detour order of a graph $G$, denoted $τ(G)$, is the order of a longest path in $G$. A partition $(A, B)$ of $V(G)$ such that $τ(\langle A \rangle) \leq a$ and $τ(\langle B \rangle) \leq b$ is called an $(a, b)$-partition of $G$. A graph $G$ is called $τ$-partitionable if $G$ has an $(a, b)$-partition for every pair $(a, b)$ of positive integers such that $a + b = τ(G)$. The well-known Path Partition Conjecture states that every graph is $τ$-partitionable. In \cite{df07} Dunber and Frick have shown that if every 2-connected graph is $τ$-partitionable then every graph is $τ$-partitionable. In this paper we show that every 2-connected graph is $τ$-partitionable. Thus, our result settles the Path Partition Conjecture affirmatively. We prove the following two theorems as the implications of the validity of the Path Partition Conjecture.\\ {\bf Theorem 1:} For every graph $G$, $χ_s(G) \leq τ(G)$, where $χ_s(G)$ is the star chromatic number of a graph $G$. The $n^{th}$ detour chromatic number of a graph $G$, denoted $χ_n(G)$, is the minimum number of colours required for colouring the vertices of $G$ such that no path of order greater than $n$ is mono coloured. These chromatic numbers were introduced by Chartrand, Gellar and Hedetniemi\cite{cg68} as a generalization of vertex chromatic number $χ(G)$.\\ {\bf Theorem 2:} For every graph $G$ and for every $n \geq 1$, $χ_n(G) \leq \left\lceil \frac{τ_n(G)}{n} \right\rceil$, where $χ_n(G)$ denote the $n^{th}$ detour chromatic number.\\ Theorem 2 settles the conjecture of Frick and Bullock \cite{fb01} that $χ_n(G) \leq \left\lceil \frac{τ(G)}{n} \right\rceil$, for every graph $G$, for every $n \geq 1$, affirmatively.
Spanning trees with nonseparating paths
Published
• View Publication
• BIB
We consider questions related to the existence of spanning trees in graphs with the property that after the removal of any path in the tree the graph remains connected. We show that, for planar graphs, the existence of trees with this property is closely related to the Hamiltonicity of the graph. For graphs with a 1- or 2-vertex cut, the Hamiltonicity also plays a central role. We also deal with spanning trees satisfying this property restricted to paths arising from fundamental cycles. The cycle space of a graph can be generated by the fundamental cycles of any spanning tree, and Tutte showed, that for a 3-connected graph, it can be generated by nonseparating cycles. We are also interested in the existence of a fundamental basis consisting of nonseparating cycles.
On Domination Number and Distance in Graphs
Published
• View Publication
• BIB
A vertex set $S$ of a graph $G$ is a \emph{dominating set} if each vertex of $G$ either belongs to $S$ or is adjacent to a vertex in $S$. The \emph{domination number} $γ(G)$ of $G$ is the minimum cardinality of $S$ as $S$ varies over all dominating sets of $G$. It is known that $γ(G) \ge \frac{1}{3}(diam(G)+1)$, where $diam(G)$ denotes the diameter of $G$. Define $C_r$ as the largest constant such that $γ(G) \ge C_r \sum_{1 \le i < j \le r}d(x_i, x_j)$ for any $r$ vertices of an arbitrary connected graph $G$; then $C_2=\frac{1}{3}$ in this view. The main result of this paper is that $C_r=\frac{1}{r(r-1)}$ for $r\geq 3$. It immediately follows that $γ(G)\geq μ(G)=\frac{1}{n(n-1)}W(G)$, where $μ(G)$ and $W(G)$ are respectively the average distance and the Wiener index of $G$ of order $n$. As an application of our main result, we prove a conjecture of DeLaViña et al.\;that $γ(G)\geq \frac{1}{2}(ecc_G(B)+1)$, where $ecc_G(B)$ denotes the eccentricity of the boundary of an arbitrary connected graph $G$.
Graphs of large linear size are antimagic
Published
• View Publication
• BIB
Given a graph $G=(V,E)$ and a colouring $f:E\mapsto \mathbb N$, the induced colour of a vertex $v$ is the sum of the colours at the edges incident with $v$. If all the induced colours of vertices of $G$ are distinct, the colouring is called antimagic. If $G$ has a bijective antimagic colouring $f:E\mapsto \{1,\dots,|E|\}$, the graph $G$ is called antimagic. A conjecture of Hartsfield and Ringel states that all connected graphs other than $K_2$ are antimagic. Alon, Kaplan, Lev, Roddity and Yuster proved this conjecture for graphs with minimum degree at least $c \log |V|$ for some constant $c$; we improve on this result, proving the conjecture for graphs with average degree at least some constant $d_0$.
A construction of smooth travel groupoids on finite graphs
Published in Graphs Combin. 32 (2016), no. 3, 1117-1124
• View Publication
• BIB
A travel groupoid is an algebraic system related with graphs. In this paper, we give an algorithm to construct smooth travel groupoids for any finite graph. This algorithm gives an answer of L.~Nebesk$\acute{\mbox{y}}$'s question, "Does there exists a connected graph $G$ such that $G$ has no smooth travel groupoid?", in finite cases.
Weighted graphs with distances in given ranges
Published
• View Publication
• BIB
Let ${\cal G}=(G,w)$ be a weighted simple finite connected graph, that is, let $G$ be a simple finite connected graph endowed with a function $w$ from the set of the edges of $G$ to the set of real numbers. For any subgraph $G'$ of $G$, we define $w(G')$ to be the sum of the weights of the edges of $G'$. For any $i,j $ vertices of $G$, we define $D_{\{i,j\}} ({\cal G})$ to be the minimum of the weights of the simple paths of $G$ joining $i$ and $j$. The $D_{\{i,j\}} ({\cal G})$ are called $2$-weights of ${\cal G}$.
Let $\{m_I\}_{I \in {\{1,...,n\} \choose 2}}$ and $\{M_I\}_{I \in {\{1,...,n\} \choose 2}}$ be two families of positive real numbers parametrized by the $2$-subsets of $ \{1,..., n\}$ with $m_I \leq M_I$ for any $I$; we study when there exist a positive-weighted graph ${\cal G}$ and an $n$-subset $\{1,..., n\}$ of the set of its vertices such that $D_I ({\cal G}) \in [m_I, M_I] $ for any $I \in {\{1,...,n\} \choose 2}$. Then we study the analogous problem for trees, both in the case of positive weights and in the case of general weights.
Solution to a problem on hamiltonicity of graphs under Ore- and Fan-type heavy subgraph conditions
Published in Graphs Combin. 32 (2016), no. 3, 1125--1135
• View Publication
• BIB
A graph $G$ is called \emph{claw-o-heavy} if every induced claw ($K_{1,3}$) of $G$ has two end-vertices with degree sum at least $|V(G)|$ in $G$. For a given graph $R$, $G$ is called \emph{$R$-f-heavy} if for every induced subgraph $H$ of $G$ isomorphic to $R$ and every pair of vertices $u,v\in V(H)$ with $d_H(u,v)=2$, there holds $\max\{d(u),d(v)\}\geq |V(G)|/2$. In this paper, we prove that every 2-connected claw-\emph{o}-heavy and $Z_3$-\emph{f}-heavy graph is hamiltonian (with two exceptional graphs), where $Z_3$ is the graph obtained from identifying one end-vertex of $P_4$ (a path with 4 vertices) with one vertex of a triangle. This result gives a positive answer to a problem proposed in [B. Ning, S. Zhang, Ore- and Fan-type heavy subgraphs for Hamiltonicity of 2-connected graphs, Discrete Math. 313 (2013) 1715--1725], and also implies two previous theorems of Faudree et al. and Chen et al., respectively.