1,422 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
On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs
Fan-planar graphs were recently introduced as a generalization of 1-planar
graphs. A graph is fan-planar if it can be embedded in the plane, such that
each edge that is crossed more than once, is crossed by a bundle of two or more
edges incident to a common vertex. A graph is outer-fan-planar if it has a
fan-planar embedding in which every vertex is on the outer face. If, in
addition, the insertion of an edge destroys its outer-fan-planarity, then it is
maximal outer-fan-planar. In this paper, we present a polynomial-time algorithm
to test whether a given graph is maximal outer-fan-planar. The algorithm can
also be employed to produce an outer-fan-planar embedding, if one exists. On
the negative side, we show that testing fan-planarity of a graph is NP-hard,
for the case where the rotation system (i.e., the cyclic order of the edges
around each vertex) is given
Percolation on self-dual polygon configurations
Recently, Scullard and Ziff noticed that a broad class of planar percolation
models are self-dual under a simple condition that, in a parametrized version
of such a model, reduces to a single equation. They state that the solution of
the resulting equation gives the critical point. However, just as in the
classical case of bond percolation on the square lattice, self-duality is
simply the starting point: the mathematical difficulty is precisely showing
that self-duality implies criticality. Here we do so for a generalization of
the models considered by Scullard and Ziff. In these models, the states of the
bonds need not be independent; furthermore, increasing events need not be
positively correlated, so new techniques are needed in the analysis. The main
new ingredients are a generalization of Harris's Lemma to products of partially
ordered sets, and a new proof of a type of Russo-Seymour-Welsh Lemma with
minimal symmetry assumptions.Comment: Expanded; 73 pages, 24 figure
Conflict-Free Coloring of Planar Graphs
A conflict-free k-coloring of a graph assigns one of k different colors to
some of the vertices such that, for every vertex v, there is a color that is
assigned to exactly one vertex among v and v's neighbors. Such colorings have
applications in wireless networking, robotics, and geometry, and are
well-studied in graph theory. Here we study the natural problem of the
conflict-free chromatic number chi_CF(G) (the smallest k for which
conflict-free k-colorings exist). We provide results both for closed
neighborhoods N[v], for which a vertex v is a member of its neighborhood, and
for open neighborhoods N(v), for which vertex v is not a member of its
neighborhood.
For closed neighborhoods, we prove the conflict-free variant of the famous
Hadwiger Conjecture: If an arbitrary graph G does not contain K_{k+1} as a
minor, then chi_CF(G) <= k. For planar graphs, we obtain a tight worst-case
bound: three colors are sometimes necessary and always sufficient. We also give
a complete characterization of the computational complexity of conflict-free
coloring. Deciding whether chi_CF(G)<= 1 is NP-complete for planar graphs G,
but polynomial for outerplanar graphs. Furthermore, deciding whether
chi_CF(G)<= 2 is NP-complete for planar graphs G, but always true for
outerplanar graphs. For the bicriteria problem of minimizing the number of
colored vertices subject to a given bound k on the number of colors, we give a
full algorithmic characterization in terms of complexity and approximation for
outerplanar and planar graphs.
For open neighborhoods, we show that every planar bipartite graph has a
conflict-free coloring with at most four colors; on the other hand, we prove
that for k in {1,2,3}, it is NP-complete to decide whether a planar bipartite
graph has a conflict-free k-coloring. Moreover, we establish that any general}
planar graph has a conflict-free coloring with at most eight colors.Comment: 30 pages, 17 figures; full version (to appear in SIAM Journal on
Discrete Mathematics) of extended abstract that appears in Proceeedings of
the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA
2017), pp. 1951-196
- …