7 research outputs found
The number of maximum matchings in a tree
We determine upper and lower bounds for the number of maximum matchings
(i.e., matchings of maximum cardinality) of a tree of given order.
While the trees that attain the lower bound are easily characterised, the trees
with largest number of maximum matchings show a very subtle structure. We give
a complete characterisation of these trees and derive that the number of
maximum matchings in a tree of order is at most (the
precise constant being an algebraic number of degree 14). As a corollary, we
improve on a recent result by G\'orska and Skupie\'n on the number of maximal
matchings (maximal with respect to set inclusion).Comment: 38 page
Enumeration of maximum matchings of graphs
Counting maximum matchings in a graph is of great interest in statistical
mechanics,
solid-state chemistry, theoretical computer science, mathematics, among other
disciplines. However, it is a challengeable problem to explicitly determine the
number of maximum matchings of general graphs. In this paper, using
Gallai-Edmonds structure theorem, we derive a computing formula for the number
of maximum matching in a graph. According to the formula, we obtain an
algorithm to enumerate maximum matchings of a graph. In particular, The formula
implies that computing the number of maximum matchings of a graph is converted
to compute the number of perfect matchings of some induced subgraphs of the
graph. As an application, we calculate the number of maximum matchings of opt
trees. The result extends a conclusion obtained by Heuberger and Wagner[C.
Heuberger, S. Wagner, The number of maximum matchings in a tree, Discrete Math.
311 (2011) 2512--2542]
The growth rate over trees of any family of set defined by a monadic second order formula is semi-computable
Monadic second order logic can be used to express many classical notions of
sets of vertices of a graph as for instance: dominating sets, induced
matchings, perfect codes, independent sets or irredundant sets. Bounds on the
number of sets of any such family of sets are interesting from a combinatorial
point of view and have algorithmic applications. Many such bounds on different
families of sets over different classes of graphs are already provided in the
literature. In particular, Rote recently showed that the number of minimal
dominating sets in trees of order is at most and that
this bound is asymptotically sharp up to a multiplicative constant. We build on
his work to show that what he did for minimal dominating sets can be done for
any family of sets definable by a monadic second order formula.
We first show that, for any monadic second order formula over graphs that
characterizes a given kind of subset of its vertices, the maximal number of
such sets in a tree can be expressed as the \textit{growth rate of a bilinear
system}. This mostly relies on well known links between monadic second order
logic over trees and tree automata and basic tree automata manipulations. Then
we show that this "growth rate" of a bilinear system can be approximated from
above.We then use our implementation of this result to provide bounds on the
number of independent dominating sets, total perfect dominating sets, induced
matchings, maximal induced matchings, minimal perfect dominating sets, perfect
codes and maximal irredundant sets on trees. We also solve a question from D.
Y. Kang et al. regarding -matchings and improve a bound from G\'orska and
Skupie\'n on the number of maximal matchings on trees. Remark that this
approach is easily generalizable to graphs of bounded tree width or clique
width (or any similar class of graphs where tree automata are meaningful)
Extremal Values of Ratios: Distance Problems vs. Subtree Problems in Trees
The authors discovered a dual behaviour of two tree indices, the Wiener index and the number of subtrees, for a number of extremal problems [Discrete Appl. Math. 155 (3) 2006, 374-385; Adv. Appl. Math. 34 (2005), 138-155]. Barefoot, Entringer and Székely [Discrete Appl. Math. 80 (1997), 37-56] determined extremal values of σT(w)/σT(u), σT(w)/σT(v), σ(T)/σT(v), and σ(T)/σT(w), where T is a tree on n vertices, v is in the centroid of the tree T, and u,w are leaves in T.
In this paper we test how far the negative correlation between distances and subtrees go if we look for the extremal values of FT(w)/FT(u), FT(w)/FT(v), F(T)/FT(v), and F(T)/FT(w), where T is a tree on n vertices, v is in the subtree core of the tree T, and u,w are leaves in T-the complete analogue of [Discrete Appl. Math. 80 (1997), 37-56], changing distances to the number of subtrees. We include a number of open problems, shifting the interest towards the number of subtrees in graphs
Maximal independent sets and maximal matchings in series-parallel and related graph classes
The goal of this paper is to obtain quantitative results on the number and on the size of maximal independent sets and maximal matchings in several block-stable graph classes that satisfy a proper sub-criticality condition. In particular we cover trees, cacti graphs and seriesparallel graphs. The proof methods are based on a generating function approach and a proper singularity analysis of solutions of implicit systems of functional equations in several variables. As a byproduct, this method extends previous results of Meir and Moon for trees [Meir, Moon: On maximal independent sets of nodes in trees, Journal of Graph Theory 1988].Postprint (author's final draft