1,120 research outputs found
Coloring Graphs having Few Colorings over Path Decompositions
Lokshtanov, Marx, and Saurabh SODA 2011 proved that there is no
time algorithm for
deciding if an -vertex graph with pathwidth
admits a proper vertex coloring with colors unless the Strong Exponential
Time Hypothesis (SETH) is false. We show here that nevertheless, when
, where is the maximum degree in the
graph , there is a better algorithm, at least when there are few colorings.
We present a Monte Carlo algorithm that given a graph along with a path
decomposition of with pathwidth runs in time, that
distinguishes between -colorable graphs having at most proper
-colorings and non--colorable graphs. We also show how to obtain a
-coloring in the same asymptotic running time. Our algorithm avoids
violating SETH for one since high degree vertices still cost too much and the
mentioned hardness construction uses a lot of them.
We exploit a new variation of the famous Alon--Tarsi theorem that has an
algorithmic advantage over the original form. The original theorem shows a
graph has an orientation with outdegree less than at every vertex, with a
different number of odd and even Eulerian subgraphs only if the graph is
-colorable, but there is no known way of efficiently finding such an
orientation. Our new form shows that if we instead count another difference of
even and odd subgraphs meeting modular degree constraints at every vertex
picked uniformly at random, we have a fair chance of getting a non-zero value
if the graph has few -colorings. Yet every non--colorable graph gives a
zero difference, so a random set of constraints stands a good chance of being
useful for separating the two cases.Comment: Strengthened result from uniquely -colorable graphs to graphs with
few -colorings. Also improved running tim
Algebraic Characterization of Uniquely Vertex Colorable Graphs
The study of graph vertex colorability from an algebraic perspective has
introduced novel techniques and algorithms into the field. For instance, it is
known that -colorability of a graph is equivalent to the condition for a certain ideal I_{G,k} \subseteq \k[x_1, ..., x_n]. In this
paper, we extend this result by proving a general decomposition theorem for
. This theorem allows us to give an algebraic characterization of
uniquely -colorable graphs. Our results also give algorithms for testing
unique colorability. As an application, we verify a counterexample to a
conjecture of Xu concerning uniquely 3-colorable graphs without triangles.Comment: 15 pages, 2 figures, print version, to appear J. Comb. Th. Ser.
- …