133 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
Counting and Enumerating Crossing-free Geometric Graphs
We describe a framework for counting and enumerating various types of
crossing-free geometric graphs on a planar point set. The framework generalizes
ideas of Alvarez and Seidel, who used them to count triangulations in time
where is the number of points. The main idea is to reduce the
problem of counting geometric graphs to counting source-sink paths in a
directed acyclic graph.
The following new results will emerge. The number of all crossing-free
geometric graphs can be computed in time for some .
The number of crossing-free convex partitions can be computed in time
. The number of crossing-free perfect matchings can be computed in
time . The number of convex subdivisions can be computed in time
. The number of crossing-free spanning trees can be computed in time
for some . The number of crossing-free spanning cycles
can be computed in time for some .
With the same bounds on the running time we can construct data structures
which allow fast enumeration of the respective classes. For example, after
time of preprocessing we can enumerate the set of all crossing-free
perfect matchings using polynomial time per enumerated object. For
crossing-free perfect matchings and convex partitions we further obtain
enumeration algorithms where the time delay for each (in particular, the first)
output is bounded by a polynomial in .
All described algorithms are comparatively simple, both in terms of their
analysis and implementation
Total coloring of planar graphs without some chordal 6-cycles
A k-total-coloring of a graph G is a coloring of vertex set and edge set using k colors such that no two adjacent or incident elements receive the same color. In this paper, we prove that if G is a planar graph with maximum ∆ ≥ 8 and every 6-cycle of G contains at most one chord or any chordal 6-cycles are not adjacent, then G has a (∆ + 1)-total-coloring
A new Kempe invariant and the (non)-ergodicity of the Wang-Swendsen-Kotecky algorithm
We prove that for the class of three-colorable triangulations of a closed
oriented surface, the degree of a four-coloring modulo 12 is an invariant under
Kempe changes. We use this general result to prove that for all triangulations
T(3L,3M) of the torus with 3<= L <= M, there are at least two Kempe equivalence
classes. This result implies in particular that the Wang-Swendsen-Kotecky
algorithm for the zero-temperature 4-state Potts antiferromagnet on these
triangulations T(3L,3M) of the torus is not ergodic.Comment: 37 pages (LaTeX2e). Includes tex file and 3 additional style files.
The tex file includes 14 figures using pstricks.sty. Minor changes. Version
published in J. Phys.
- …