1,690 research outputs found
Trees with Given Stability Number and Minimum Number of Stable Sets
We study the structure of trees minimizing their number of stable sets for
given order and stability number . Our main result is that the
edges of a non-trivial extremal tree can be partitioned into stars,
each of size or , so that every vertex is included in at most two
distinct stars, and the centers of these stars form a stable set of the tree.Comment: v2: Referees' comments incorporate
Stochastic Models for the 3x+1 and 5x+1 Problems
This paper discusses stochastic models for predicting the long-time behavior
of the trajectories of orbits of the 3x+1 problem and, for comparison, the 5x+1
problem. The stochastic models are rigorously analyzable, and yield heuristic
predictions (conjectures) for the behavior of 3x+1 orbits and 5x+1 orbits.Comment: 68 pages, 9 figures, 4 table
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)
Trees with maximum number of maximal matchings
AbstractForests on n vertices with maximum number of maximal matchings are called extremal forests. All extremal forests, except 2K1, are trees. Extremal trees with small number n of vertices, n⩽19, are characterized; in particular, they are unique if n≠6. The exponential upper and lower bounds on the maximum number of maximal matchings among n-vertex trees have been found
Extremal Colorings and Independent Sets
We consider several extremal problems of maximizing the number of colorings and independent sets in some graph families with fixed chromatic number and order. First, we address the problem of maximizing the number of colorings in the family of connected graphs with chromatic number k and order n where k≥4 role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3ek≥4k≥4. It was conjectured that extremal graphs are those which have clique number k and size (k2)+n−k role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3e(k2)+n−k(k2)+n−k. We affirm this conjecture for 4-chromatic claw-free graphs and for all k-chromatic line graphs with k≥4 role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3ek≥4k≥4. We also reduce this extremal problem to a finite family of graphs when restricted to claw-free graphs. Secondly, we determine the maximum number of independent sets of each size in the family of n-vertex k-chromatic graphs (respectively connected n-vertex k-chromatic graphs and n-vertex k-chromatic graphs with c components). We show that the unique extremal graph is Kk∪En−k role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3eKk∪En−kKk∪En−k, K1∨(Kk−1∪En−k) role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3eK1∨(Kk−1∪En−k)K1∨(Kk−1∪En−k) and (K1∨(Kk−1∪En−k−c+1))∪Ec−1 role= presentation style= box-sizing: inherit; display: inline; font-style: normal; font-weight: normal; line-height: normal; font-size: 18px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3e(K1∨(Kk−1∪En−k−c+1))∪Ec−1(K1∨(Kk−1∪En−k−c+1))∪Ec−1 respectively
Many copies in -free graphs
For two graphs and with no isolated vertices and for an integer ,
let denote the maximum possible number of copies of in an
-free graph on vertices. The study of this function when is a
single edge is the main subject of extremal graph theory. In the present paper
we investigate the general function, focusing on the cases of triangles,
complete graphs, complete bipartite graphs and trees. These cases reveal
several interesting phenomena. Three representative results are:
(i)
(ii) For any fixed , and ,
and
(iii) For any two trees and , where
is an integer depending on and (its precise definition is
given in Section 1).
The first result improves (slightly) an estimate of Bollob\'as and Gy\H{o}ri.
The proofs combine combinatorial and probabilistic arguments with simple
spectral techniques
- …