65 research outputs found
Acyclic Subgraphs of Planar Digraphs
An acyclic set in a digraph is a set of vertices that induces an acyclic
subgraph. In 2011, Harutyunyan conjectured that every planar digraph on
vertices without directed 2-cycles possesses an acyclic set of size at least
. We prove this conjecture for digraphs where every directed cycle has
length at least 8. More generally, if is the length of the shortest
directed cycle, we show that there exists an acyclic set of size at least .Comment: 9 page
Universal targets for homomorphisms of edge-colored graphs
A -edge-colored graph is a finite, simple graph with edges labeled by
numbers . A function from the vertex set of one -edge-colored
graph to another is a homomorphism if the endpoints of any edge are mapped to
two different vertices connected by an edge of the same color. Given a class
of graphs, a -edge-colored graph (not necessarily
with the underlying graph in ) is -universal for
when any -edge-colored graph with the underlying graph in
admits a homomorphism to . We characterize graph classes that admit
-universal graphs. For such classes, we establish asymptotically almost
tight bounds on the size of the smallest universal graph.
For a nonempty graph , the density of is the maximum ratio of the
number of edges to the number of vertices ranging over all nonempty subgraphs
of . For a nonempty class of graphs, denotes
the density of , that is the supremum of densities of graphs in
.
The main results are the following. The class admits
-universal graphs for if and only if there is an absolute constant
that bounds the acyclic chromatic number of any graph in . For any
such class, there exists a constant , such that for any , the size
of the smallest -universal graph is between and
.
A connection between the acyclic coloring and the existence of universal
graphs was first observed by Alon and Marshall (Journal of Algebraic
Combinatorics, 8(1):5-13, 1998). One of their results is that for planar
graphs, the size of the smallest -universal graph is between and
. Our results yield that there exists a constant such that for all
, this size is bounded from above by
- …