Given a set xi = {H-1, H-2,...} of connected non-acyclic graphs, a xi-free graph is one which does not contain any member of as copy. Define the excess of a graph as the difference between its number of edges and its ...
详细信息
Given a set xi = {H-1, H-2,...} of connected non-acyclic graphs, a xi-free graph is one which does not contain any member of as copy. Define the excess of a graph as the difference between its number of edges and its number of vertices. Let (W) over cap (k,xi) be the exponential generating function (EGF for brief) of connected xi-free graphs of excess equal to k (k greater than or equal to 1). For each fixed, a fundamental differential recurrence satisfied by the EGFs (W) over cap (k,xi) is derived. We give methods on how to solve this nonlinear recurrence for the first few values of k by means of graph surgery. We also show that for any finite collection xi of non-acyclic graphs, the EGFs (W) over cap (k,xi) are always rational functions of the generating function, T, of Cayley's rooted (non-planar) labelled trees. From this, we prove that almost all connected graphs with n nodes and n + k edges are xi-free, whenever k = o(n(1/3)) and \xi\ < infinity by means of Wright's inequalities and saddle point method. Limiting distributions are derived for sparse connected xi-free components that are present when a random graph on n nodes has approximately n/2 edges. In particular, the probability distribution that it consists of trees, unicyclic components,...,(q + 1)-cyclic components all xi-free is derived. Similar results are also obtained for multigraphs, which are graphs where self-loops and multiple-edges are allowed. (C) 2003 Elsevier B.V. All rights reserved.
A cutpoint of a graph is a point whose removal increases the number of connected components. A block graph is connected, not reduced to a point and has no cutpoint. A cutedge is the association of an edge and his two ...
详细信息
A cutpoint of a graph is a point whose removal increases the number of connected components. A block graph is connected, not reduced to a point and has no cutpoint. A cutedge is the association of an edge and his two adjacent vertices such that their removal increase the number of components. The graphs considered here specify the notion of blocks. We call metablock a connected graph with no cutpoint and no cutedge. A graphical patchwork is a graph without a cutpoint but with at least one cutedge. We show here how to enumerate labeled metablocks and patchworks by obtaining their exponential generatingfunctions according to their number of edges and vertices. This problem is quite interesting because of its originality. A particular consequence is the observation that almost all graphs are patchworks. (C) 2000 Published by Elsevier Science B.V. All rights reserved.
Abstract: Certain constraints are explicitly specified for the validity of a recent result involving a multivariategenerating function, due to the present authors [1, p. 369, Theorem 6]. It is also indicated ...
详细信息
Abstract: Certain constraints are explicitly specified for the validity of a recent result involving a multivariategenerating function, due to the present authors [1, p. 369, Theorem 6]. It is also indicated how this result can be further generalized. See Theorem ${6^\ast }$ below.
暂无评论