2,995 research outputs found
Ramsey-nice families of graphs
For a finite family of fixed graphs let be
the smallest integer for which every -coloring of the edges of the
complete graph yields a monochromatic copy of some . We
say that is -nice if for every graph with
and for every -coloring of there exists a
monochromatic copy of some . It is easy to see that if
contains no forest, then it is not -nice for any . It seems
plausible to conjecture that a (weak) converse holds, namely, for any finite
family of graphs that contains at least one forest, and for all
(or at least for infinitely many values of ),
is -nice. We prove several (modest) results in support of this
conjecture, showing, in particular, that it holds for each of the three
families consisting of two connected graphs with 3 edges each and observing
that it holds for any family containing a forest with at most 2
edges. We also study some related problems and disprove a conjecture by
Aharoni, Charbit and Howard regarding the size of matchings in regular
3-partite 3-uniform hypergraphs.Comment: 20 pages, 2 figure
Snow White in 1930s Britain
This is the definitive version of the article as published by Edinburgh University Press in Journal of British Cinema and Television. Volume 7, Page 183-199 DOI 10.3366/jbctv.2010.0001
http://www.euppublishing.com/doi/abs/10.3366/jbctv.2010.000
The Parameterized Complexity Binary CSP for Graphs with a Small Vertex Cover and Related Results
In this paper, we show that Binary CSP with the size of a vertex cover as
parameter is complete for the class W[3]. We obtain a number of related results
with variations of the proof techniques, that include: Binary CSP is complete
for W[] with as parameter the size of a vertex modulator to graphs of
treedepth , or forests of depth , for constant , W[]-hard for
all with treewidth as parameter, and hard for W[SAT] with
feedback vertex set as parameter. As corollaries, we give some hardness and
membership problems for classes in the W-hierarchy for List Colouring under
different parameterisations
Boxicity and separation dimension
A family of permutations of the vertices of a hypergraph is
called 'pairwise suitable' for if, for every pair of disjoint edges in ,
there exists a permutation in in which all the vertices in one
edge precede those in the other. The cardinality of a smallest such family of
permutations for is called the 'separation dimension' of and is denoted
by . Equivalently, is the smallest natural number so that
the vertices of can be embedded in such that any two
disjoint edges of can be separated by a hyperplane normal to one of the
axes. We show that the separation dimension of a hypergraph is equal to the
'boxicity' of the line graph of . This connection helps us in borrowing
results and techniques from the extensive literature on boxicity to study the
concept of separation dimension.Comment: This is the full version of a paper by the same name submitted to
WG-2014. Some results proved in this paper are also present in
arXiv:1212.6756. arXiv admin note: substantial text overlap with
arXiv:1212.675
On the structure of graphs with forbidden induced substructures
One of the central goals in extremal combinatorics is to understand how the global structure of a combinatorial object, e.g. a graph, hypergraph or set system, is affected by local constraints.
In this thesis we are concerned with structural properties of graphs and hypergraphs which locally do not look like some type of forbidden induced pattern. Patterns can be single subgraphs, families of subgraphs, or in the multicolour version colourings or families of colourings of subgraphs.
Erdős and Szekeres\u27s quantitative version of Ramsey\u27s theorem asserts that in every -edge-colouring of the complete graph on vertices there is a monochromatic clique on at least vertices. The famous Erdős-Hajnal conjecture asserts that forbidding fixed colourings on subgraphs ensures much larger monochromatic cliques. The conjecture is open in general, though a few partial results are known. The first part of this thesis will be concerned with different variants of this conjecture: A bipartite variant, a multicolour variant, and an order-size variant for hypergraphs.
In the second part of this thesis we focus more on order-size pairs; an order-size pair is the family consisting of all graphs of order and size , i.e. on vertices with edges. We consider order-size pairs in different settings: The graph setting, the bipartite setting and the hypergraph setting. In all these settings we investigate the existence of absolutely avoidable pairs, i.e. fixed pairs that are avoided by all order-size pairs with sufficiently large order, and also forcing densities of order-size pairs , i.e. for approaching infinity, the limit superior of the fraction of all possible sizes , such that the order-size pair does not avoid the pair
A survey of -boundedness
If a graph has bounded clique number, and sufficiently large chromatic
number, what can we say about its induced subgraphs? Andr\'as Gy\'arf\'as made
a number of challenging conjectures about this in the early 1980's, which have
remained open until recently; but in the last few years there has been
substantial progress. This is a survey of where we are now
Complexity Framework for Forbidden Subgraphs III: When Problems Are Tractable on Subcubic Graphs
For any finite set H = {H1,. .. , Hp} of graphs, a graph is H-subgraph-free if it does not contain any of H1,. .. , Hp as a subgraph. In recent work, meta-classifications have been studied: these show that if graph problems satisfy certain prescribed conditions, their complexity can be classified on classes of H-subgraph-free graphs. We continue this work and focus on problems that have polynomial-time solutions on classes that have bounded treewidth or maximum degree at most 3 and examine their complexity on H-subgraph-free graph classes where H is a connected graph. With this approach, we obtain comprehensive classifications for (Independent) Feedback Vertex Set, Connected Vertex Cover, Colouring and Matching Cut. This resolves a number of open problems. We highlight that, to establish that Independent Feedback Vertex Set belongs to this collection of problems, we first show that it can be solved in polynomial time on graphs of maximum degree 3. We demonstrate that, with the exception of the complete graph on four vertices, each graph in this class has a minimum size feedback vertex set that is also an independent set
- …