420 research outputs found
Graph parameters and the speed of hereditary properties
In this thesis we study the speed of hereditary properties of graphs and how this defines some of the structure of the properties. We start by characterizing several graph parameters by means of minimal hereditary classes. We then give a global characterization of properties of low speed, before looking at properties with higher speeds starting at the Bell number. We then introduce a new parameter, clique-width, and show that there are an infinite amount of minimal hereditary properties with unbounded clique-width. We then look at the factorial layer in more detail and focus on P7-free bipartite graphs. Finally we discuss word-representable graphs
On String Graph Limits and the Structure of a Typical String Graph
We study limits of convergent sequences of string graphs, that is, graphs
with an intersection representation consisting of curves in the plane. We use
these results to study the limiting behavior of a sequence of random string
graphs. We also prove similar results for several related graph classes.Comment: 18 page
Hereditary properties of combinatorial structures: posets and oriented graphs
A hereditary property of combinatorial structures is a collection of
structures (e.g. graphs, posets) which is closed under isomorphism, closed
under taking induced substructures (e.g. induced subgraphs), and contains
arbitrarily large structures. Given a property P, we write P_n for the
collection of distinct (i.e., non-isomorphic) structures in a property P with n
vertices, and call the function n -> |P_n| the speed (or unlabelled speed) of
P. Also, we write P^n for the collection of distinct labelled structures in P
with vertices labelled 1,...,n, and call the function n -> |P^n| the labelled
speed of P.
The possible labelled speeds of a hereditary property of graphs have been
extensively studied, and the aim of this paper is to investigate the possible
speeds of other combinatorial structures, namely posets and oriented graphs.
More precisely, we show that (for sufficiently large n), the labelled speed of
a hereditary property of posets is either 1, or exactly a polynomial, or at
least 2^n - 1. We also show that there is an initial jump in the possible
unlabelled speeds of hereditary properties of posets, tournaments and directed
graphs, from bounded to linear speed, and give a sharp lower bound on the
possible linear speeds in each case.Comment: 26 pgs, no figure
Graphs without large bicliques and well-quasi-orderability by the induced subgraph relation
Recently, Daligault, Rao and Thomass\'e asked in [3] if every hereditary class which is well-quasi-ordered by the induced subgraph relation is of bounded clique-width. There are two reasons why this questions is interesting. First, it connects two seemingly unrelated notions. Second, if the question is answered affirmatively, this will have a strong algorithmic consequence. In particular, this will mean (through the use of Courcelle theorem [2]), that any problem definable in Monadic Second Order Logic can be solved in a polynomial time on any class well-quasi-ordered by the induced subgraph relation. In the present paper, we answer this question affirmatively for graphs without large bicliques. Thus the above algorithmic consequence is true, for example, for classes of graphs of bounded degree
Finding combinatorial structures
In this thesis we answer questions in two related areas of combinatorics:
Ramsey theory and asymptotic enumeration.
In Ramsey theory we introduce a new method for finding desired structures.
We find a new upper bound on the Ramsey number of a path against a kth
power of a path.
Using our new method and this result we obtain a new upper bound on the
Ramsey number of the kth power of a long cycle.
As a corollary we show that, while graphs on n vertices with maximum
degree k may in general have Ramsey numbers as large as ckn, if the stronger
restriction that the bandwidth should be at most k is given, then the Ramsey
numbers are bounded by the much smaller value.
We go on to attack an old conjecture of Lehel: by using our new method
we can improve on a result of Luczak, Rodl and Szemeredi [60]. Our new
method replaces their use of the Regularity Lemma, and allows us to prove
that for any n > 218000, whenever the edges of the complete graph on n
vertices are two-coloured there exist disjoint monochromatic cycles covering
all n vertices.
In asymptotic enumeration we examine first the class of bipartite graphs
with some forbidden induced subgraph H. We obtain some results for every
H, with special focus on the cases where the growth speed of the class is
factorial, and make some comments on a connection to clique-width. We
then move on to a detailed discussion of 2-SAT functions. We find the correct
asymptotic formula for the number of 2-SAT functions
on n variables (an improvement on a result of Bollob´as, Brightwell and
Leader [13], who found the dominant term in the exponent), the first error
term for this formula, and some bounds on smaller error terms. Finally
we obtain various expected values in the uniform model of random 2-SAT
functions
Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width
We provide a parameterized polynomial algorithm for the propositional model counting problem #SAT, the runtime of which is single-exponential in the rank-width of a formula. Previously, analogous algorithms have been known --e.g. [Fischer, Makowsky, and Ravve]-- with a single-exponential dependency on the clique-width of a formula. Our algorithm thus presents an exponential runtime improvement (since clique-width reaches up to exponentially higher values than rank-width), and can be of practical interest for small values of rank-width. We also provide an algorithm for the MAX-SAT problem along the same lines
- …