1,831 research outputs found
Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies
We settle a problem of Havel by showing that there exists an absolute
constant d such that if G is a planar graph in which every two distinct
triangles are at distance at least d, then G is 3-colorable. In fact, we prove
a more general theorem. Let G be a planar graph, and let H be a set of
connected subgraphs of G, each of bounded size, such that every two distinct
members of H are at least a specified distance apart and all triangles of G are
contained in \bigcup{H}. We give a sufficient condition for the existence of a
3-coloring phi of G such that for every B\in H, the restriction of phi to B is
constrained in a specified way.Comment: 26 pages, no figures. Updated presentatio
Are there any good digraph width measures?
Several different measures for digraph width have appeared in the last few
years. However, none of them shares all the "nice" properties of treewidth:
First, being \emph{algorithmically useful} i.e. admitting polynomial-time
algorithms for all \MS1-definable problems on digraphs of bounded width. And,
second, having nice \emph{structural properties} i.e. being monotone under
taking subdigraphs and some form of arc contractions. As for the former,
(undirected) \MS1 seems to be the least common denominator of all reasonably
expressive logical languages on digraphs that can speak about the edge/arc
relation on the vertex set.The latter property is a necessary condition for a
width measure to be characterizable by some version of the cops-and-robber game
characterizing the ordinary treewidth. Our main result is that \emph{any
reasonable} algorithmically useful and structurally nice digraph measure cannot
be substantially different from the treewidth of the underlying undirected
graph. Moreover, we introduce \emph{directed topological minors} and argue that
they are the weakest useful notion of minors for digraphs
- …