connected graph
2596 papers tagged with this keyword
On large $k$-ended trees in connected graphs
A vertex of degree one is called an end-vertex, and an end-vertex of a tree is called a leaf. A tree with at most $k$ leaves is called a $k$-ended tree. For a positive integer $k$, let $t_k$ be the order of a largest $k$-ended tree. Let $σ_m$ be the minimum degree sum of an independent set of $m$ vertices. The main result (Theorem 2) provides a lower bound for $t_{k+1}$ in terms of $σ_m$ and relative orders: if $G$ is a connected graph and $k$, $λ$, $m$ are positive integers with $2\le m\le\min\{k,λ\}+1$ then either $t_{k+1} \ge σ_m +λ(k-m+1)+1$ or $t_k\ge t_{k+1}-λ+1$.
On $k$-ended spanning and dominating trees
A tree with at most $k$ leaves is called a $k$-ended tree. A spanning 2-ended tree is a Hamilton path. A Hamilton cycle can be considered as a spanning 1-ended tree. The earliest result concerning spanning trees with few leaves states that if $k$ is a positive integer and $G$ is a connected graph of order $n$ with $d(x)+d(y)\ge n-k+1$ for each pair of nonadjacent vertices $x,y$, then $G$ has a spanning $k$-ended tree. In this paper, we improve this result in two ways, and an analogous result is proved for dominating $k$-ended trees based on the generalized parameter $t_k$ - the order of a largest $k$-ended tree. In particular, $t_1$ is the circumference (the length of a longest cycle), and $t_2$ is the order of a longest path.
Conjectured bounds for the sum of squares of positive eigenvalues of a graph
Published
• View Publication
• BIB
A well known upper bound for the spectral radius of a graph, due to Hong, is that $μ_1^2 \le 2m - n + 1$. It is conjectured that for connected graphs $n - 1 \le s^+ \le 2m - n + 1$, where $s^+$ denotes the sum of the squares of the positive eigenvalues. The conjecture is proved for various classes of graphs, including bipartite, regular, complete $q$-partite, hyper-energetic, and barbell graphs. Various searches have found no counter-examples. The paper concludes with a brief discussion of the apparent difficulties of proving the conjecture in general.
Graphs with Large Disjunctive Total Domination Number
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 distance $2$ 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)$. Let $G$ be a connected graph on $n$ vertices with minimum degree $δ$. It is known [J. Graph Theory 35 (2000), 21--45] that if $δ\ge 2$ and $n \ge 11$, then $γ_t(G) \le 4n/7$. Further [J. Graph Theory 46 (2004), 207--210] if $δ\ge 3$, then $γ_t(G) \le n/2$. We prove that if $δ\ge 2$ and $n \ge 8$, then $γ^d_t(G) \le n/2$ and we characterize the extremal graphs.
A correspondence between rooted planar maps and normal planar lambda terms
Published in Logical Methods in Computer Science, Volume 11, Issue 3 (September 25, 2015) lmcs:1598
• View Publication
• BIB
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes, and planar if it is linear and the use of variables moreover follows a deterministic stack discipline. We begin by showing that the sequence counting normal planar lambda terms by a natural notion of size coincides with the sequence (originally computed by Tutte) counting rooted planar maps by number of edges. Next, we explain how to apply the machinery of string diagrams to derive a graphical language for normal planar lambda terms, extracted from the semantics of linear lambda calculus in symmetric monoidal closed categories equipped with a linear reflexive object or a linear reflexive pair. Finally, our main result is a size-preserving bijection between rooted planar maps and normal planar lambda terms, which we establish by explaining how Tutte decomposition of rooted planar maps (into vertex maps, maps with an isthmic root, and maps with a non-isthmic root) may be naturally replayed in linear lambda calculus, as certain surgeries on the string diagrams of normal planar lambda terms.
Integer sequence discovery from small graphs
Published
• View Publication
• BIB
We have exhaustively enumerated all simple, connected graphs of a finite order and have computed a selection of invariants over this set. Integer sequences were constructed from these invariants and checked against the Online Encyclopedia of Integer Sequences (OEIS). 141 new sequences were added and 6 sequences were appended or corrected. From the graph database, we were able to programmatically suggest relationships among the invariants. It will be shown that we can readily visualize any sequence of graphs with a given criteria. The code has been released as an open-source framework for further analysis and the database was constructed to be extensible to invariants not considered in this work.
k-Metric Antidimension: a Privacy Measure for Social Graphs
Published
• View Publication
• BIB
Let $G = (V, E)$ be a simple connected graph and $S = \{w_1, \cdots, w_t\} \subseteq V$ an ordered subset of vertices. The metric representation of a vertex $u\in V$ with respect to $S$ is the $t$-vector $r(u|S) = (d_G(u, w_1), \cdots, d_G(u, w_t))$, where $d_G(u, v)$ represents the length of a shortest $u-v$ path in $G$. The set $S$ is called a resolving set for $G$ if $r(u|S) = r(v|S)$ implies $u = v$ for every $u, v \in V$. The smallest cardinality of a resolving set is the metric dimension of $G$. In this article we propose, to the best of our knowledge, a new problem in Graph Theory that resembles to the aforementioned metric dimension problem. We call $S$ a $k$-antiresolving set if $k$ is the largest positive integer such that for every vertex $v \in V-S$ there exist other $k-1$ different vertices $v_1, \cdots, v_{k-1} \in V-S$ with $r(v|S) = r(v_1|S) = \cdots = r(v_{k-1}|S)$, \emph{i.e.}, $v$ and $v_1, \cdots, v_{k-1}$ have the same metric representation with respect to $S$. The $k$-metric antidimension of $G$ is the minimum cardinality among all the $k$-antiresolving sets for $G$.
In this article, we introduce a novel privacy measure, named $(k, \ell)$-anonymity and based on the $k$-metric antidimension problem, aimed at evaluating the resistance of social graphs to active attacks. We, therefore, propose a true-biased algorithm for computing the $k$-metric antidimension of random graphs. The success rate of our algorithm, according to empirical results, is above $80 \%$ and $90 \%$ when looking for a $k$-antiresolving basis and a $k$-antiresolving set respectively. We also investigate theoretical properties of the $k$-antiresolving sets and the $k$-metric antidimension of graphs. In particular, we focus on paths, cycles, complete bipartite graphs and trees.
Trees with Large Neighborhood Total Domination Number
Published
• View Publication
• BIB
In this paper, we continue the study of neighborhood total domination in graphs first studied by Arumugam and Sivagnanam [Opuscula Math. 31 (2011), 519--531]. A neighborhood total dominating set, abbreviated NTD-set, in a graph $G$ is a dominating set $S$ in $G$ with the property that the subgraph induced by the open neighborhood of the set $S$ has no isolated vertex. The neighborhood total domination number, denoted by $\gnt(G)$, is the minimum cardinality of a NTD-set of $G$. Every total dominating set is a NTD-set, implying that $γ(G) \le \gnt(G) \le \gt(G)$, where $γ(G)$ and $\gt(G)$ denote the domination and total domination numbers of $G$, respectively. Arumugam and Sivagnanam posed the problem of characterizing the connected graphs $G$ of order $n \ge 3$ achieving the largest possible neighborhood total domination number, namely $\gnt(G) = \lceil n/2 \rceil$. A partial solution to this problem was presented by Henning and Rad [Discrete Applied Mathematics 161 (2013), 2460--2466] who showed that $5$-cycles and subdivided stars are the only such graphs achieving equality in the bound when $n$ is odd. In this paper, we characterize the extremal trees achieving equality in the bound when $n$ is even. As a consequence of this tree characterization, a characterization of the connected graphs achieving equality in the bound when $n$ is even can be obtained noting that every spanning tree of such a graph belongs to our family of extremal trees.
On Relative Length of Long Paths and Cycles in Graphs
Let $G$ be a graph on $n$ vertices, $p$ the order of a longest path and $κ$ the connectivity of $G$. In 1989, Bauer, Broersma Li and Veldman proved that if $G$ is a 2-connected graph with $d(x)+d(y)+d(z)\ge n+κ$ for all triples $x,y,z$ of independent vertices, then $G$ is hamiltonian. In this paper we improve this result by reducing the lower bound $n+κ$ to $p+κ$.
Induced matchings in graphs of degree at most 4
Published
• View Publication
• BIB
We show that if $G$ is a connected graph of maximum degree at most $4$, which is not $C_{2,5}$, then the strong matching number of $G$ is at least $\frac{1}{9}n(G)$. This bound is tight and the proof implies a polynomial time algorithm to find an induced matching of this size.
Treewidth is a lower bound on graph gonality
Published in Algebraic Combinatorics, Volume 3 (2020) no. 4, pp. 941-953
• View Publication
• BIB
We prove that the (divisorial) gonality of a finite connected graph is lower bounded by its treewidth. We show that equality holds for grid graphs and complete multipartite graphs.
We prove that the treewidth lower bound also holds for \emph{metric graphs} by constructing for any positive rank divisor on a metric graph $Γ$ a positive rank divisor of the same degree on a subdivision of the underlying graph.
Finally, we show that the treewidth lower bound also holds for a related notion of gonality defined by Caporaso and for stable gonality as introduced by Cornelissen et al.
Note on the upper bound of the rainbow index of a graph
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is a rainbow path if every two edges of it receive distinct colors. The rainbow connection number of a connected graph $G$, denoted by $rc(G)$, is the minimum number of colors that are needed to color the edges of $G$ such that there exists a rainbow path connecting every two vertices of $G$. Similarly, a tree in $G$ is a rainbow~tree if no two edges of it receive the same color. The minimum number of colors that are needed in an edge-coloring of $G$ such that there is a rainbow tree connecting $S$ for each $k$-subset $S$ of $V(G)$ is called the $k$-rainbow index of $G$, denoted by $rx_k(G)$, where $k$ is an integer such that $2\leq k\leq n$. Chakraborty et al. got the following result: For every $ε> 0$, a connected graph with minimum degree at least $εn$ has bounded rainbow connection, where the bound depends only on $ε$. Krivelevich and Yuster proved that if $G$ has $n$ vertices and the minimum degree $δ(G)$ then $rc(G)<20n/δ(G)$. This bound was later improved to $3n/(δ(G)+1)+3$ by Chandran et al. Since $rc(G)=rx_2(G)$, a natural problem arises: for a general $k$ determining the true behavior of $rx_k(G)$ as a function of the minimum degree $δ(G)$. In this paper, we give upper bounds of $rx_k(G)$ in terms of the minimum degree $δ(G)$ in different ways, namely, via Szemerédi's Regularity Lemma, connected $2$-step dominating sets, connected $(k-1)$-dominating sets and $k$-dominating sets of $G$.
Realizing degree sequences as $Z_3$-connected graphs
Published
• View Publication
• BIB
An integer-valued sequence $π=(d_1, \ldots, d_n)$ is {\em graphic} if there is a simple graph $G$ with degree sequence of $π$. We say the $π$ has a realization $G$. Let $Z_3$ be a cyclic group of order three. A graph $G$ is {\em $Z_3$-connected} if for every mapping $b:V(G)\to Z_3$ such that $\sum_{v\in V(G)}b(v)=0$, there is an orientation of $G$ and a mapping $f: E(G)\to Z_3-\{0\}$ such that for each vertex $v\in V(G)$, the sum of the values of $f$ on all the edges leaving from $v$ minus the sum of the values of $f$ on the all edges coming to $v$ is equal to $b(v)$. If an integer-valued sequence $π$ has a realization $G$ which is $Z_3$-connected, then $π$ has a {\em $Z_3$-connected realization} $G$. Let $π=(d_1, \ldots, d_n)$ be a graphic sequence with $d_1\ge \ldots \ge d_n\ge 3$. We prove in this paper that if $d_1\ge n-3$, then either $π$ has a $Z_3$-connected realization unless the sequence is $(n-3, 3^{n-1})$ or is $(k, 3^k)$ or $(k^2, 3^{k-1})$ where $k=n-1$ and $n$ is even; if $d_{n-5}\ge 4$, then either $π$ has a $Z_3$-connected realization unless the sequence is
$(5^2, 3^4)$ or $(5, 3^5)$.
From G-parking functions to B-parking functions
Published in Fengming Dong, From G-parking functions to B-parking functions. J. Combin. Theory Ser. A 160 (2018 Nov), 84-110
• View Publication
• BIB
A matching $M$ in a multigraph $G=(V,E)$ is said to be uniquely restricted if $M$ is the only perfect matching in the subgraph of $G$ induced by $V(M)$ (i.e., the set of vertices saturated by $M$). For any fixed vertex $x_0$ in $G$, there is a bijection from the set of spanning trees of $G$ to the set of uniquely restricted matchings of size $|V|-1$ in $S(G)-x_0$, where $S(G)$ is the bipartite graph obtained from $G$ by subdividing each edge in $G$. Thus the notion "uniquely restricted matchings of a bipartite graph $H$ saturating all vertices in a partite set $X$" can be viewed as an extension of "spanning trees in a connected graph". Motivated by this observation, we extend the notion "G-parking functions" of a connected multigraph to "B-parking functions" $f:X\rightarrow \{-1,0,1,2,\cdots \}$ of a bipartite graph $H$ with a bipartition $(X,Y)$ and find a bijection $ψ$ from the set of uniquely restricted matchings of $H$ to the set of B-parking functions of $H$. We also show that for any uniquely restricted matching $M$ in $H$ with $|M|=|X|$, if $f=ψ(M)$, then $\sum_{x\in X}f(x)$ is exactly the number of elements $y\in Y-V(M)$ which are not externally B-active with respect to $M$ in $H$, where the new notion "externally B-active members with respect to $M$ in $H$" is an extension of "externally active edges with respect to a spanning tree in a connected multigraph".
Synchronization of finite-state pulse-coupled oscillators
Published
• View Publication
• BIB
We propose a novel generalized cellular automaton(GCA) model for discrete-time pulse-coupled oscillators and study the emergence of synchrony. Given a finite simple graph and an integer $n\ge 3$, each vertex is an identical oscillator of period $n$ with the following weak coupling along the edges: each oscillator inhibits its phase update if it has at least one neighboring oscillator at a particular "blinking" state and if its state is ahead of this blinking state. We obtain conditions on initial configurations and on network topologies for which states of all vertices eventually synchronize. We show that our GCA model synchronizes arbitrary initial configurations on paths, trees, and with random perturbation, any connected graph. In particular, our main result is the following local-global principle for tree networks: for $n\in \{3,4,5,6\}$, any $n$-periodic network on a tree synchronizes arbitrary initial configuration if and only if the maximum degree of the tree is less than the period $n$.
Non-regular graphs with minimal total irregularity
Published
• View Publication
• BIB
The {\it total irregularity} of a simple undirected graph $G$ is defined as ${\rm irr}_t(G) =$ $\frac{1}{2}\sum_{u,v \in V(G)}$ $\left| d_G(u)-d_G(v) \right|$, where $d_G(u)$ denotes the degree of a vertex $u \in V(G)$. Obviously, ${\rm irr}_t(G)=0$ if and only if $G$ is regular. Here, we characterize the non-regular graphs with minimal total irregularity and thereby resolve the recent conjecture by Zhu, You and Yang~\cite{zyy-mtig-2014} about the lower bound on the minimal total irregularity of non-regular connected graphs. We show that the conjectured lower bound of $2n-4$ is attained only if non-regular connected graphs of even order are considered, while the sharp lower bound of $n-1$ is attained by graphs of odd order. We also characterize the non-regular graphs with the second and the third smallest total irregularity.
Relative Length of Long Paths and Cycles in Graphs
For a graph $G$, $n$ denotes the order of $G$, $p$ the order of a longest path in $G$ and $c$ the order of a longest cycle. We show that if $G$ is a 2-connected graph such that $d(x)+d(y)+d(z)\ge p+2$ for all triples $x,y,z$ of independent vertices, then $c\ge p-1$. This improves results of Nash-Williams (in terms of minimum degree $δ$ and order $n$), Bondy (in terms of degree sum $σ_{3}$ and order $n$), and Enomoto, Heuvel, Kaneko and Saito (in terms of degree sum $σ_3$, order $n$ and relative length $diff(G)=p-c$).
Graphs characterized by the second distance eigenvalue
Published in Linear Multilinear Algebra 64, p. 1887--1898 (2016)
• View Publication
• BIB
We characterize all connected graphs with second distance eigenvalue less than $-0.5858$.
The tree of decomposition of a biconnected graph
Published
• View Publication
• BIB
The tree of decomposition of a $k$-connected graph by a set $\mathfrak S$ of pairwise independent $k$-vertex cutsets is defined as follows. The vertices of this tree are cutsets of $\mathfrak S$ and parts of decomposition of the graph by the set $\mathfrak S$, each cutset is adjacent to all parts that contain it. We prove, that the graph described above is a tree.
The tree of decomposition of a biconnected graph is a particular case of this construction: it is the tree of decomposition of a biconnected graph by the set of all its single cutsets (i.e. 2-vertex cutsets, that are independent with all other 2-vertex cutsets).
We show that this tree has much in common with the classic tree of blocks and cutpoints of a connected graph. With the help of the tree of decomposition of a biconnected graph we prove a planarity criterium and find some upper bounds on the chromatic number of this graph. Finally, we study the structure of critical biconnected graphs and prove that each such graph has at least four vertices of degree 2.
A splitter theorem on 3-connected matroids and graphs
Published in European Journal of Combinatorics 69 (2018) 7-18
• View Publication
• BIB
We establish the following splitter theorem for graphs and its generalization for matroids: Let $G$ and $H$ be $3$-connected simple graphs such that $G$ has an $H$-minor and $k:=|V(G)|-|V(H)|\ge 2$. Let $n:=\left\lceil k/2\right\rceil+1$. Then there are pairwise disjoint sets $X_1,\dots,X_n\subseteq E(G)$ such that each $G/X_i$ is a $3$-connected graph with an $H$-minor, each $X_i$ is a singleton set or the edge set of a triangle of $G$ with $3$ degree-$3$ vertices and $X_1\cup\cdots\cup X_n$ contains no edge sets of circuits of $G$ other than the $X_i$'s. This result extends previous ones of Whittle (for $k=1,2$) and Costalonga (for $k=3$).