797 research outputs found
Minimal counterexamples and discharging method
Recently, the author found that there is a common mistake in some papers by
using minimal counterexample and discharging method. We first discuss how the
mistake is generated, and give a method to fix the mistake. As an illustration,
we consider total coloring of planar or toroidal graphs, and show that: if
is a planar or toroidal graph with maximum degree at most , where
, then the total chromatic number is at most .Comment: 8 pages. Preliminary version, comments are welcom
Vertex coloring of plane graphs with nonrepetitive boundary paths
A sequence is a repetition. A sequence
is nonrepetitive, if no subsequence of consecutive terms of form a
repetition. Let be a vertex colored graph. A path of is nonrepetitive,
if the sequence of colors on its vertices is nonrepetitive. If is a plane
graph, then a facial nonrepetitive vertex coloring of is a vertex coloring
such that any facial path is nonrepetitive. Let denote the minimum
number of colors of a facial nonrepetitive vertex coloring of . Jendro\vl
and Harant posed a conjecture that can be bounded from above by a
constant. We prove that for any plane graph
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
- …