1,584 research outputs found
Short proofs of some extremal results
We prove several results from different areas of extremal combinatorics,
giving complete or partial solutions to a number of open problems. These
results, coming from areas such as extremal graph theory, Ramsey theory and
additive combinatorics, have been collected together because in each case the
relevant proofs are quite short.Comment: 19 page
Problems in extremal graph theory
We consider a variety of problems in extremal graph and set theory.
The {\em chromatic number} of , , is the smallest integer
such that is -colorable.
The {\it square} of , written , is the supergraph of in which also
vertices within distance 2 of each other in are adjacent.
A graph is a {\it minor} of if
can be obtained from a subgraph of by contracting edges.
We show that the upper bound for
conjectured by Wegner (1977) for planar graphs
holds when is a -minor-free graph.
We also show that is equal to the bound
only when contains a complete graph of that order.
One of the central problems of extremal hypergraph theory is
finding the maximum number of edges in a hypergraph
that does not contain a specific forbidden structure.
We consider as a forbidden structure a fixed number of members
that have empty common intersection
as well as small union.
We obtain a sharp upper bound on the size of uniform hypergraphs
that do not contain this structure,
when the number of vertices is sufficiently large.
Our result is strong enough to imply the same sharp upper bound
for several other interesting forbidden structures
such as the so-called strong simplices and clusters.
The {\em -dimensional hypercube}, ,
is the graph whose vertex set is and
whose edge set consists of the vertex pairs
differing in exactly one coordinate.
The generalized Tur\'an problem asks for the maximum number
of edges in a subgraph of a graph that does not contain
a forbidden subgraph .
We consider the Tur\'an problem where is and
is a cycle of length with .
Confirming a conjecture of Erd{\H o}s (1984),
we show that the ratio of the size of such a subgraph of
over the number of edges of is ,
i.e. in the limit this ratio approaches 0
as approaches infinity
Bidimensionality and Geometric Graphs
In this paper we use several of the key ideas from Bidimensionality to give a
new generic approach to design EPTASs and subexponential time parameterized
algorithms for problems on classes of graphs which are not minor closed, but
instead exhibit a geometric structure. In particular we present EPTASs and
subexponential time parameterized algorithms for Feedback Vertex Set, Vertex
Cover, Connected Vertex Cover, Diamond Hitting Set, on map graphs and unit disk
graphs, and for Cycle Packing and Minimum-Vertex Feedback Edge Set on unit disk
graphs. Our results are based on the recent decomposition theorems proved by
Fomin et al [SODA 2011], and our algorithms work directly on the input graph.
Thus it is not necessary to compute the geometric representations of the input
graph. To the best of our knowledge, these results are previously unknown, with
the exception of the EPTAS and a subexponential time parameterized algorithm on
unit disk graphs for Vertex Cover, which were obtained by Marx [ESA 2005] and
Alber and Fiala [J. Algorithms 2004], respectively.
We proceed to show that our approach can not be extended in its full
generality to more general classes of geometric graphs, such as intersection
graphs of unit balls in R^d, d >= 3. Specifically we prove that Feedback Vertex
Set on unit-ball graphs in R^3 neither admits PTASs unless P=NP, nor
subexponential time algorithms unless the Exponential Time Hypothesis fails.
Additionally, we show that the decomposition theorems which our approach is
based on fail for disk graphs and that therefore any extension of our results
to disk graphs would require new algorithmic ideas. On the other hand, we prove
that our EPTASs and subexponential time algorithms for Vertex Cover and
Connected Vertex Cover carry over both to disk graphs and to unit-ball graphs
in R^d for every fixed d
Crossing Minimization for 1-page and 2-page Drawings of Graphs with Bounded Treewidth
We investigate crossing minimization for 1-page and 2-page book drawings. We
show that computing the 1-page crossing number is fixed-parameter tractable
with respect to the number of crossings, that testing 2-page planarity is
fixed-parameter tractable with respect to treewidth, and that computing the
2-page crossing number is fixed-parameter tractable with respect to the sum of
the number of crossings and the treewidth of the input graph. We prove these
results via Courcelle's theorem on the fixed-parameter tractability of
properties expressible in monadic second order logic for graphs of bounded
treewidth.Comment: Graph Drawing 201
- …