connected graph
2591 papers tagged with this keyword
Antimagic labelings of regular bipartite graphs: An application of the Marriage Theorem
Published in Journal of Graph Theory. Vol. 60, March 2009, pp. 173-182
• Search Publication
A labeling of a graph is a bijection from $E(G)$ to the set $\{1, 2,..., |E(G)|\}$. A labeling is \textit{antimagic} if for any distinct vertices $u$ and $v$, the sum of the labels on edges incident to $u$ is different from the sum of the labels on edges incident to $v$. We say a graph is antimagic if it has an antimagic labeling. In 1990, Ringel conjectured that every connected graph other than $K_2$ is antimagic. In this paper, we show that every regular bipartite graph (with degree at least 2) is antimagic. Our technique relies heavily on the Marriage Theorem.
On the growth of components with non fixed excesses
Published in Discrete Applied Mathematics 130, 3 (17/07/2003) 487--493
• View Publication
• BIB
Denote by an $l$-component a connected graph with $l$ edges more than vertices. We prove that the expected number of creations of $(l+1)$-component, by means of adding a new edge to an $l$-component in a randomly growing graph with $n$ vertices, tends to 1 as $l,n$ tends to $\infty$ but with $l = o(n^{1/4})$. We also show, under the same conditions on $l$ and $n$, that the expected number of vertices that ever belong to an $l$-component is $\sim (12l)^{1/3} n^{2/3}$.
Another Proof of Wright's Inequalities
Published
• View Publication
• BIB
We present a short way of proving the inequalities obtained by Wright in [Journal of Graph Theory, 4: 393 - 407 (1980)] concerning the number of connected graphs with $\ell$ edges more than vertices.
A tight bound on the collection of edges in MSTs of induced subgraphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a complete $n$-vertex graph with distinct positive edge weights. We prove that for $k\in\{1,2,...,n-1\}$, the set consisting of the edges of all minimum spanning trees (MSTs) over induced subgraphs of $G$ with $n-k+1$ vertices has at most $nk-\binom{k+1}{2}$ elements. This proves a conjecture of Goemans and Vondrak \cite{GV2005}. We also show that the result is a generalization of Mader's Theorem, which bounds the number of edges in any edge-minimal $k$-connected graph.
Extremal Graph Theory for Metric Dimension and Diameter
Published in Electronic J. Combinatorics 17.1:R30, 2010
• View Publication
• BIB
A set of vertices $S$ \emph{resolves} a connected graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The \emph{metric dimension} of $G$ is the minimum cardinality of a resolving set of $G$. Let $\mathcal{G}_{β,D}$ be the set of graphs with metric dimension $β$ and diameter $D$. It is well-known that the minimum order of a graph in $\mathcal{G}_{β,D}$ is exactly $β+D$. The first contribution of this paper is to characterise the graphs in $\mathcal{G}_{β,D}$ with order $β+D$ for all values of $β$ and $D$. Such a characterisation was previously only known for $D\leq2$ or $β\leq1$. The second contribution is to determine the maximum order of a graph in $\mathcal{G}_{β,D}$ for all values of $D$ and $β$. Only a weak upper bound was previously known.
Prime Graphs and Exponential Composition of Species
Published
• View Publication
• BIB
In this paper, we enumerate prime graphs with respect to the Cartesian multiplication of graphs. We use the unique factorization of a connected graph into the product of prime graphs given by Sabidussi to find explicit formulas for labeled and unlabeled prime graphs. In the case of species, we construct the exponential composition of species based on the arithmetic product of species of Maia and Méndez and the quotient species, and express the species of connected graphs as the exponential composition of the species of prime graphs.
Connectivity and equilibrium in random games
Published in Annals of Applied Probability 2011, Vol. 21, No. 3, 987-1016
• View Publication
• BIB
We study how the structure of the interaction graph of a game affects the existence of pure Nash equilibria. In particular, for a fixed interaction graph, we are interested in whether there are pure Nash equilibria arising when random utility tables are assigned to the players. We provide conditions for the structure of the graph under which equilibria are likely to exist and complementary conditions which make the existence of equilibria highly unlikely. Our results have immediate implications for many deterministic graphs and generalize known results for random games on the complete graph. In particular, our results imply that the probability that bounded degree graphs have pure Nash equilibria is exponentially small in the size of the graph and yield a simple algorithm that finds small nonexistence certificates for a large family of graphs. Then we show that in any strongly connected graph of n vertices with expansion $(1+Ω(1))\log_2(n)$ the distribution of the number of equilibria approaches the Poisson distribution with parameter 1, asymptotically as $n \to +\infty$.
On 2-Fold Covers of Graphs
Published
• View Publication
• BIB
A regular covering projection $\p\colon \tX \to X$ of connected graphs is $G$-admissible if $G$ lifts along $\p$. Denote by $\tG$ the lifted group, and let $\CT(\p)$ be the group of covering transformations. The projection is called $G$-split whenever the extension $\CT(\p) \to \tG \to G$ splits. In this paper, split 2-covers are considered. Supposing that $G$ is transitive on $X$, a $G$-split cover is said to be $G$-split-transitive if all complements $\bG \cong G$ of $\CT(\p)$ within $\tG$ are transitive on $\tX$; it is said to be $G$-split-sectional whenever for each complement $\bG$ there exists a $\bG$-invariant section of $\p$; and it is called $G$-split-mixed otherwise.
It is shown, when $G$ is an arc-transitive group, split-sectional and split-mixed 2-covers lead to canonical double covers. For cubic symmetric graphs split 2-cover are necessarily cannonical double covers when $G$ is 1- or 4-regular. In all other cases, that is, if $G$ is $s$-regular, $s=2,3$ or 5, a necessary and sufficient condition for the existence of a transitive complement $\bG$ is given, and an infinite family of split-transitive 2-covers based on the alternating groups of the form $A_{12k+10}$ is constructed.
Finally, chains of consecutive 2-covers, along which an arc-transitive group $G$ has successive lifts, are also considered. It is proved that in such a chain, at most two projections can be split. Further, it is shown that, in the context of cubic symmetric graphs, if exactly two of them are split, then one is split-transitive and the other one is either split-sectional or split-mixed.
Probabilistic Inductive Classes of Graphs
Published in Journal of Mathematical Sociology 32: 85-109, 2008
• View Publication
• BIB
Models of complex networks are generally defined as graph stochastic processes in which edges and vertices are added or deleted over time to simulate the evolution of networks. Here, we define a unifying framework - probabilistic inductive classes of graphs - for formalizing and studying evolution of complex networks. Our definition of probabilistic inductive class of graphs (PICG) extends the standard notion of inductive class of graphs (ICG) by imposing a probability space. A PICG is given by: (1) class B of initial graphs, the basis of PICG, (2) class R of generating rules, each with distinguished left element to which the rule is applied to obtain the right element, (3) probability distribution specifying how the initial graph is chosen from class B, (4) probability distribution specifying how the rules from class R are applied, and, finally, (5) probability distribution specifying how the left elements for every rule in class R are chosen. We point out that many of the existing models of growing networks can be cast as PICGs. We present how the well known model of growing networks - the preferential attachment model - can be studied as PICG. As an illustration we present results regarding the size, order, and degree sequence for PICG models of connected and 2-connected graphs.
Packing k-edge Trees in Graphs of Restricted Vertex Degrees
Published
• View Publication
• BIB
Let v(G) be the number of vertices and t(G,k) the maximum number of disjoint k-edge trees in G. In this paper we show that (a1) if G is a graph with every vertex of degree at least two and at most s, where s > 3, then t(G,2) is at least v(G)/(s+1), (a2) if G is a graph with every vertex of degree at least two and at most 3 and G has no 5-vertex components, then t(G,2) is at least v(G)/4, (a3) if G is a graph with every vertex of degree at least one and at most s and G has no k--vertex component, where k >1 and s > 2, then t(G,k) is at least (v(G) - k)/(sk - k +1), and (a4) the above bounds are attained for infinitely many connected graphs. Our proofs provide polynomial time algorithms for finding the corresponding packings in a graph.
Keywords: subgraph packing, 2-edge and k-edge paths, k-edge trees, polynomial time approximation algorithms.
On the Cycle Space of a 3--Connected Graph
We give a simple proof of Tutte's theorem stating that the cycle space of a 3--connected graph is generated by the set of non-separating circuits of the graph.
Keywords: graph, cycle, circuit, cycle space, non-separating circuit, strong isomorphism.
Revisiting two classical results on graph spectra
Published
• View Publication
• BIB
Let mu(G) and mu_min(G) be the largest and smallest eigenvalues of the adjacency matricx of a graph G. We refine quantitatively the following two results on graph spectra. (i) if H is a proper subgraph of a connected graph G, then mu(G)>mu(H). (ii) if G is a connected nonbipartite graph, then mu(G)>-mu_min(G).
Topological Criteria for $k-$Formal Arrangements
We prove a criterion for $k-$formality of arrangements, using a complex constructed from vector spaces introduced in \cite{bt}. As an application, we give a simple description of $k-$formality of graphic arrangements: Let $G$ be a connected graph with no loops or multiple edges. Let $Δ$ be the flag (clique) complex of $G$ and let $H_{\bullet}(Δ)$ be the homology of the chain complex of $Δ$. If $\mathcal A_G$ is the graphic arrangement associated to $G$, we will show that $\mathcal A_G$ is $k-$formal if and only if $H_i(Δ)=0$ for every $i=1,...,k-1$.
Multiparking Functions, Graph Searching, and the Tutte Polynomial
A parking function of length n is a sequence (b_1, b_2,..., b_n) of nonnegative integers whose nondecreasing rearrangement (a_1, a_2,...,a_n) has the property that a_i < i for every i. A well-known result about parking functions is that the polynomial P_n(q), which enumerates the complements of parking functions by the sum of their terms, is the generating function for the number of connected graphs by the number of excess edges when evaluated at (1+q). In this paper we extend this result to arbitrary connected graphs G. In general the polynomial that encodes information about subgraphs of G is the Tutte polynomial, which is the generating function for two parameters, namely the internal and external activities, associated with the spanning trees of G. We define G-multiparking functions, which generalize the G-parking functions that Postnikov and Shapiro introduced in the study of certain quotients of the polynomial ring. We construct a family of algorithmic bijections between the spanning forests of a graph G and the G-multiparking functions. In particular, the bijection induced by the breadth-first search leads to a new characterization of external activity, and hence a representation of Tutte polynomial by the reversed sum of G-multiparking functions.
Counterexamples to the Cubic Graph Domination Conjecture
Let v(G) and dom(G) denote the number of vertices and the domination number of a graph G, and let r (G) = dom(G)/v(G)$. Let [x] and ]x[ be the floor and the ceiling of a number x. In 1996 B. Reed conjectured that if G is a cubic graph, then dom(G) is at most ]v(G)/3[. In 2005 A. Kostochka and B. Stodolsky disproved this conjecture for cubic graphs of connectivity one and maintained that the conjecture may still be true for 2-connected cubic graphs. Their minimum counterexample C has 4 bridges, v(C) = 60, anddom (C) = 21. In this paper we disprove Reed's conjecture for 2-connected cubic graphs by providing a sequence (R(k): k > 2) of cubic graphs of connectivity two with r(R_k) = 1/3 + 1/60, where v(R(k+1)) > v(R(k)) > v(R(3)) = 60 for k > 3, and so dom(R(3)) = 21$ and dom(R(k)) - ]v(R(k))/3[ tends to infinity when k tends to infinity. We also provide a sequence of (L_s: s > 0) of cubic graphs of connectivity one with r(L(s)) > 1/3 + 1/60. The minimum counterexample L = L(1) in this sequence is `better' than C in the sense that L has 2 bridges while C has 4 bridges, v(L) = 54 < 60 = v(C), and r(L) = 1/3 + 1/54} > 1/3 + 1/60 = r(C). We also give a construction providing for every t in {0,1,2} infinitely many cubic cyclically 4-connected Hamiltonian graphs G(t) such that v(G(t)) = t mod 3, t in {0,2} implies dom(G(t)) = ]v(G(r))/3[, and t = 1 implies dom(G(t)) = [v(G(r))/3]. At last we suggest a stronger conjecture on domination in cubic 3-connected graphs.
Unavoidable Parallel Minors of 4-Connected Graphs
Published
• View Publication
• BIB
A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of degree k, the k-spoke double wheel, the k-spoke double wheel with axle, the (2k+1)-rung Mobius zigzag ladder, the (2k)-rung zigzag ladder, or K_k. We also find the unavoidable parallel minors of 1-, 2-, and 3-connected graphs.
Graphs with Given Degree Sequence and Maximal Spectral Radius
Published in Electr. J. Comb. 15(1), R119, 2008
• Search Publication
We describe the structure of those graphs that have largest spectral radius in the class of all connected graphs with a given degree sequence. We show that in such a graph the degree sequence is non-increasing with respect to an ordering of the vertices induced by breadth-first search. For trees the resulting structure is uniquely determined up to isomorphism. We also show that the largest spectral radius in such classes of trees is strictly monotone with respect to majorization.
Lattice Grids and Prisms are Antimagic
Published
• View Publication
• BIB
An \emph{antimagic labeling} of a finite undirected simple graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called \emph{antimagic} if it has an antimagic labeling. In 1990, Hartsfield and Ringel conjectured that every connected graph, but $K_2$, is antimagic. In 2004, N. Alon et al showed that this conjecture is true for $n$-vertex graphs with minimum degree $Ω(\log n)$. They also proved that complete partite graphs (other than $K_2$) and $n$-vertex graphs with maximum degree at least $n-2$ are antimagic. Recently, Wang showed that the toroidal grids (the Cartesian products of two or more cycles) are antimagic. Two open problems left in Wang's paper are about the antimagicness of lattice grid graphs and prism graphs, which are the Cartesian products of two paths, and of a cycle and a path, respectively. In this article, we prove that these two classes of graphs are antimagic, by constructing such antimagic labelings.
The Forest Metrics for Graph Vertices
Published in Electronic Notes in Discrete Mathematics 11 (July 2002) 98-107
• View Publication
• BIB
We propose a new graph metric and study its properties. In contrast to the standard distance in connected graphs, it takes into account all paths between vertices. Formally, it is defined as d(i,j)=q_{ii}+q_{jj}-q_{ij}-q_{ji}, where q_{ij} is the (i,j)-entry of the {\em relative forest accessibility matrix} Q(ε)=(I+εL)^{-1}, L is the Laplacian matrix of the (weighted) (multi)graph, and εis a positive parameter. By the matrix-forest theorem, the (i,j)-entry of the relative forest accessibility matrix of a graph provides the specific number of spanning rooted forests such that i and j belong to the same tree rooted at i. Extremely simple formulas express the modification of the proposed distance under the basic graph transformations. We give a topological interpretation of d(i,j) in terms of the probability of unsuccessful linking i and j in a model of random links. The properties of this metric are compared with those of some other graph metrics. An application of this metric is related to clustering procedures such as "centered partition." In another procedure, the relative forest accessibility and the corresponding distance serve to choose the centers of the clusters and to assign a cluster to each non-central vertex. The notion of cumulative weight of connections between two vertices is proposed. The reasoning involves a reciprocity principle for weighted multigraphs. Connections between the resistance distance and the forest distance are established.
The (a,b,s,t)-diameter of graphs: a particular case of conditional diameter
Published in Discrete Applied Mathematics 154 (14) (2006) 2024-2031
• View Publication
• BIB
The conditional diameter of a connected graph $Γ=(V,E)$ is defined as follows: given a property ${\cal P}$ of a pair $(Γ_1, Γ_2)$ of subgraphs of $Γ$, the so-called \emph{conditional diameter} or ${\cal P}$-{\em diameter} measures the maximum distance among subgraphs satisfying ${\cal P}$. That is, \[ D_{\cal P}(Γ):=\max_{Γ_1, Γ_2\subset Γ} \{\partial(Γ_1, Γ_2): Γ_1, Γ_2 \quad {\rm satisfy }\quad {\cal P}\}. \] In this paper we consider the conditional diameter in which ${\cal P}$ requires that $δ(u)\ge α$ for all $ u\in V(Γ_1)$, $δ(v)\ge β$ for all $v\in V(Γ_2)$, $| V(Γ_1)| \ge s$ and $| V(Γ_2)| \ge t$ for some integers $1\le s,t\le |V|$ and $δ\le α, β\le Δ$, where $δ(x)$ denotes the degree of a vertex $x$ of $Γ$, $δ$ denotes the minimum degree and $Δ$ the maximum degree of $Γ$. The conditional diameter obtained is called $(α,β, s,t)$-\emph{diameter}. We obtain upper bounds on the $(α,β, s,t)$-diameter by using the $k$-alternating polynomials on the mesh of eigenvalues of an associated weighted graph. The method provides also bounds for other parameters such as vertex separators.