arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2678 papers tagged with this keyword
Two-connected graphs with prescribed three-connected components
Published in Adv. in Appl. Math. 43 (2009), no. 1, pp. 46-74 • View Publication • BIB
We adapt the classical 3-decomposition of any 2-connected graph to the case of simple graphs (no loops or multiple edges). By analogy with the block-cutpoint tree of a connected graph, we deduce from this decomposition a bicolored tree tc(g) associated with any 2-connected graph g, whose white vertices are the 3-components of g (3-connected components or polygons) and whose black vertices are bonds linking together these 3-components, arising from separating pairs of vertices of g. Two fundamental relationships on graphs and networks follow from this construction. The first one is a dissymmetry theorem which leads to the expression of the class B=B(F) of 2-connected graphs, all of whose 3-connected components belong to a given class F of 3-connected graphs, in terms of various rootings of B. The second one is a functional equation which characterizes the corresponding class R=R(F) of two-pole networks all of whose 3-connected components are in F. All the rootings of B are then expressed in terms of F and R. There follow corresponding identities for all the associated series, in particular the edge index series. Numerous enumerative consequences are discussed.
2007-12-03 v3
The Ring of Graph Invariants - Graphic Values
The ring of graph invariants is spanned by the basic graph invariants which calculate the number of subgraphs isomorphic to a given graph in other graphs. These subgraphs counting invariants are not algebraically independent. In our view the most important problem in graph theory of unlabeled graphs is the problem of determining graphic values of arbitrary sets of graph invariants. This corresponds to explaining the syzygy of the graph invariants when the number of vertices is unbounded. We introduce two methods to explore this complicated structure. Sets of graphs with a small number of vertices impose constraints on larger sets. We describe families of inequalities of graph invariants. These inequalities allow to loop over all values of graph invariants which look like graphic from the small sets point of view. We also develop strong notion of graphic values where the existence of the corresponding graphs is guaranteed once the constraints are satisfied by the basic graph invariants. These constraints are necessary and sufficient for graphs whose local neighborhoods are generated by a finite set of locally connected graphs. The reconstruction of the graph from the basic graph invariants is shown to be NP-complete in this restricted case. Finally we apply these results to formulate the problem of Ramsey numbers as an integer polyhedron problem of moderate and adjustable dimension.
2007-11-28 v2
A note on a degree sum condition for long cycles in graphs
We conjecture that a 2-connected graph $G$ of order $n$, in which $d(x)+d(y)\geq n-k$ for every pair of non-adjacent vertices $x$ and $y$, contains a cycle of length $n-k$ ($k<n/2$), unless $G$ is bipartite and $n-k$ is odd. This generalizes to long cycles a well-known degree sum condition for hamiltonicity of Ore. The conjecture is shown to hold for $k=1$.
2007-11-23
Nonexistence of triples of nonisomorphic connected graphs with isomorphic connected $P_3$-graphs
Published • View Publication • BIB
In the paper "Broersma and Hoede, {\it Path graphs}, J. Graph Theory {\bf 13} (1989) 427-444", the authors proposed a problem whether there is a triple of mutually nonisomorphic connected graphs which have an isomorphic connected $P_3$-graph. For a long time, this problem remains unanswered. In this paper, we give it a negative answer that there is no such triple, and thus completely solve this problem.
2007-11-22 v2
The energy of C4-free graphs of bounded degree
Published • View Publication • BIB
Answering some questions of Gutman, we show that, except for four specific trees, every connected graph G of order n, with no cycle of order 4 and with maximum degree at most 3, has energy greater that its order. Here, the energy of a graph is the sum of the moduli of its eigenvalues. We give more general theorems and state two conjectures.
2007-11-15 v2
Every longest circuit of a 3-connected, $K_{3,3}$-minor free graph has a chord
Published in Journal of Graph Theory, 58 (4): 293-298, 2008 • View Publication • BIB
Carsten Thomassen conjectured that every longest circuit in a 3-connected graph has a chord. We prove the conjecture for graphs having no $K_{3,3}$ minor, and consequently for planar graphs.
2007-10-30 v5
Generating connected and biconnected graphs
Published in Journal of Graph Algorithms and Applications, Vol. 13, no. 2, pp. 251-281, 2009 • View Publication • BIB
We focus on the algorithm underlying the main result of [A. Mestre, R. Oeckl, Generating loop graphs via Hopf algebra in quantum field theory. J. Math. Phys., 47, 122302, 2006]. This is an algebraic formula to generate all connected graphs in a recursive and efficient manner. The key feature is that each graph carries a scalar factor given by the inverse of the order of its group of automorphisms. In the present paper, we revise that algorithm on the level of graphs. Moreover, we extend the result subsequently to further classes of connected graphs, namely, (edge) biconnected, simple and loopless graphs. Our method consists of basic graph transformations only.
2007-08-21
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}$.
2007-06-12
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.
2007-05-01 v4
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.
2006-10-11
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.
2006-09-07
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.
2006-09-04
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).
2006-08-17
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$.