18 research outputs found
Crossing-critical graphs with large maximum degree
A conjecture of Richter and Salazar about graphs that are critical for a
fixed crossing number is that they have bounded bandwidth. A weaker
well-known conjecture of Richter is that their maximum degree is bounded in
terms of . In this note we disprove these conjectures for every ,
by providing examples of -crossing-critical graphs with arbitrarily large
maximum degree
Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4
We find a graph of genus and its drawing on the orientable surface of
genus with every pair of independent edges crossing an even number of
times. This shows that the strong Hanani-Tutte theorem cannot be extended to
the orientable surface of genus . As a base step in the construction we use
a counterexample to an extension of the unified Hanani-Tutte theorem on the
torus.Comment: 12 pages, 4 figures; minor revision, new section on open problem
Nested cycles in large triangulations and crossing-critical graphs
We show that every sufficiently large plane triangulation has a large
collection of nested cycles that either are pairwise disjoint, or pairwise
intersect in exactly one vertex, or pairwise intersect in exactly two vertices.
We apply this result to show that for each fixed positive integer , there
are only finitely many -crossing-critical simple graphs of average degree at
least six. Combined with the recent constructions of crossing-critical graphs
given by Bokal, this settles the question of for which numbers there is
an infinite family of -crossing-critical simple graphs of average degree
Approximating acyclicity parameters of sparse hypergraphs
The notions of hypertree width and generalized hypertree width were
introduced by Gottlob, Leone, and Scarcello in order to extend the concept of
hypergraph acyclicity. These notions were further generalized by Grohe and
Marx, who introduced the fractional hypertree width of a hypergraph. All these
width parameters on hypergraphs are useful for extending tractability of many
problems in database theory and artificial intelligence. In this paper, we
study the approximability of (generalized, fractional) hyper treewidth of
sparse hypergraphs where the criterion of sparsity reflects the sparsity of
their incidence graphs. Our first step is to prove that the (generalized,
fractional) hypertree width of a hypergraph H is constant-factor sandwiched by
the treewidth of its incidence graph, when the incidence graph belongs to some
apex-minor-free graph class. This determines the combinatorial borderline above
which the notion of (generalized, fractional) hypertree width becomes
essentially more general than treewidth, justifying that way its functionality
as a hypergraph acyclicity measure. While for more general sparse families of
hypergraphs treewidth of incidence graphs and all hypertree width parameters
may differ arbitrarily, there are sparse families where a constant factor
approximation algorithm is possible. In particular, we give a constant factor
approximation polynomial time algorithm for (generalized, fractional) hypertree
width on hypergraphs whose incidence graphs belong to some H-minor-free graph
class
Contraction Bidimensionality: the Accurate Picture
We provide new combinatorial theorems on the structure of graphs that are contained as contractions in graphs of large treewidth. As a consequence of our combinatorial results we unify and significantly simplify contraction bidimensionality theory -- the meta algorithmic framework to design efficient parameterized and approximation algorithms for contraction closed parameters
Approximating Acyclicity Parameters of Sparse Hypergraphs
The notions of hypertree width and generalized hypertree width were introduced by Gottlob, Leone, and Scarcello (PODS'99, PODS'01) in order to extend the concept of hypergraph acyclicity. These notions were further generalized by Grohe and Marx in SODA'06, who introduced the fractional hypertree width of a hypergraph. All these width parameters on hypergraphs are useful for extending tractability of many problems in database theory and artificial intelligence. Computing each of these width parameters is known to be an NP-hard problem. Moreover, the (generalized) hypertree width of an n-vertex hypergraph cannot be approximated within a logarithmic factor unless P=NP. In this paper, we study the approximability of (generalized, fractional) hyper treewidth of sparse hypergraphs where the criterion of sparsity reflects the sparsity of their incidence graphs. Our first step is to prove that the (generalized, fractional) hypertree width of a hypergraph is constant-factor sandwiched by the treewidth of its incidence graph, when the incidence graph belongs to some apex-minor-free graph class (the family of apex-minor-free graph classes includes planar graphs and graphs of bounded genus). This determines the combinatorial borderline above which the notion of (generalized, fractional) hypertree width becomes essentially more general than treewidth, justifying that way its functionality as a hypergraph acyclicity measure. While for more general sparse families of hypergraphs treewidth of incidence graphs and all hypertree width parameters may differ arbitrarily, there are sparse families where a constant factor approximation algorithm is possible. In particular, we give a constant factor approximation polynomial time algorithm for (generalized, fractional) hypertree width on hypergraphs whose incidence graphs belong to some H-minor-free graph class. This extends the results of Feige, Hajiaghayi, and Lee from STOC'05 on approximating treewidth of H-minor-free graphs.publishedVersio
Parameterized complexity of the spanning tree congestion problem
We study the problem of determining the spanning tree congestion of a graph. We present some sharp contrasts in the parameterized complexity of this problem. First, we show that on apex-minor-free graphs, a general class of graphs containing planar graphs, graphs of bounded treewidth, and graphs of bounded genus, the problem to determine whether a given graph has spanning tree congestion at most k can be solved in linear time for every fixed k. We also show that for every fixed k and d the problem is solvable in linear time for graphs of degree at most d. In contrast, if we allow only one vertex of unbounded degree, the problem immediately becomes NP-complete for any fixed k≥8. Moreover, the hardness result holds for graphs excluding the complete graph on 6 vertices as a minor. We also observe that for k≤3 the problem becomes polynomially time solvable.publishedVersio
The Parameterized Complexity of Graph Cyclability
The cyclability of a graph is the maximum integer for which every
vertices lie on a cycle. The algorithmic version of the problem, given a graph
and a non-negative integer decide whether the cyclability of is at
least is {\sf NP}-hard. We study the parametrized complexity of this
problem. We prove that this problem, parameterized by is {\sf
co\mbox{-}W[1]}-hard and that its does not admit a polynomial kernel on planar
graphs, unless {\sf NP}\subseteq{\sf co}\mbox{-}{\sf NP}/{\sf poly}. On the
positive side, we give an {\sf FPT} algorithm for planar graphs that runs in
time . Our algorithm is based on a series of
graph-theoretical results on cyclic linkages in planar graphs