138 research outputs found
Equitable and Defective Coloring of Sparse Graphs
Many application problems can be phrased in terms of graph colorings. A defective coloring of a graph assigns colors to vertices so that a vertex can have at most one neighbor with the same color. We may further require the color classes of a defective coloring to have almost the same sizes, namely equitable-defective coloring. Take notice that a graph may have an equitable-defective t-coloring, but may not have an equitable-defective (t+1)-coloring. We study the equitable-defective coloring of sparse graphs. It is known that a planar graph with minimum degree at least 2 and girth at least 10 has an equitable (proper) t-coloring for any t ≥ 4. In this thesis, we show that under the same conditions, the graphs have an equitable defective 3-coloring as well
Defective and Clustered Choosability of Sparse Graphs
An (improper) graph colouring has "defect" if each monochromatic subgraph
has maximum degree at most , and has "clustering" if each monochromatic
component has at most vertices. This paper studies defective and clustered
list-colourings for graphs with given maximum average degree. We prove that
every graph with maximum average degree less than is
-choosable with defect . This improves upon a similar result by Havet and
Sereni [J. Graph Theory, 2006]. For clustered choosability of graphs with
maximum average degree , no bound on the number of colours
was previously known. The above result with solves this problem. It
implies that every graph with maximum average degree is
-choosable with clustering 2. This extends a
result of Kopreski and Yu [Discrete Math., 2017] to the setting of
choosability. We then prove two results about clustered choosability that
explore the trade-off between the number of colours and the clustering. In
particular, we prove that every graph with maximum average degree is
-choosable with clustering , and is
-choosable with clustering . As an
example, the later result implies that every biplanar graph is 8-choosable with
bounded clustering. This is the best known result for the clustered version of
the earth-moon problem. The results extend to the setting where we only
consider the maximum average degree of subgraphs with at least some number of
vertices. Several applications are presented
Near-colorings: non-colorable graphs and NP-completeness
A graph G is (d_1,..,d_l)-colorable if the vertex set of G can be partitioned
into subsets V_1,..,V_l such that the graph G[V_i] induced by the vertices of
V_i has maximum degree at most d_i for all 1 <= i <= l. In this paper, we focus
on complexity aspects of such colorings when l=2,3. More precisely, we prove
that, for any fixed integers k,j,g with (k,j) distinct form (0,0) and g >= 3,
either every planar graph with girth at least g is (k,j)-colorable or it is
NP-complete to determine whether a planar graph with girth at least g is
(k,j)-colorable. Also, for any fixed integer k, it is NP-complete to determine
whether a planar graph that is either (0,0,0)-colorable or
non-(k,k,1)-colorable is (0,0,0)-colorable. Additionally, we exhibit
non-(3,1)-colorable planar graphs with girth 5 and non-(2,0)-colorable planar
graphs with girth 7
A Fast and Scalable Graph Coloring Algorithm for Multi-core and Many-core Architectures
Irregular computations on unstructured data are an important class of
problems for parallel programming. Graph coloring is often an important
preprocessing step, e.g. as a way to perform dependency analysis for safe
parallel execution. The total run time of a coloring algorithm adds to the
overall parallel overhead of the application whereas the number of colors used
determines the amount of exposed parallelism. A fast and scalable coloring
algorithm using as few colors as possible is vital for the overall parallel
performance and scalability of many irregular applications that depend upon
runtime dependency analysis.
Catalyurek et al. have proposed a graph coloring algorithm which relies on
speculative, local assignment of colors. In this paper we present an improved
version which runs even more optimistically with less thread synchronization
and reduced number of conflicts compared to Catalyurek et al.'s algorithm. We
show that the new technique scales better on multi-core and many-core systems
and performs up to 1.5x faster than its predecessor on graphs with high-degree
vertices, while keeping the number of colors at the same near-optimal levels.Comment: To appear in the proceedings of Euro Par 201
Defective and Clustered Graph Colouring
Consider the following two ways to colour the vertices of a graph where the
requirement that adjacent vertices get distinct colours is relaxed. A colouring
has "defect" if each monochromatic component has maximum degree at most
. A colouring has "clustering" if each monochromatic component has at
most vertices. This paper surveys research on these types of colourings,
where the first priority is to minimise the number of colours, with small
defect or small clustering as a secondary goal. List colouring variants are
also considered. The following graph classes are studied: outerplanar graphs,
planar graphs, graphs embeddable in surfaces, graphs with given maximum degree,
graphs with given maximum average degree, graphs excluding a given subgraph,
graphs with linear crossing number, linklessly or knotlessly embeddable graphs,
graphs with given Colin de Verdi\`ere parameter, graphs with given
circumference, graphs excluding a fixed graph as an immersion, graphs with
given thickness, graphs with given stack- or queue-number, graphs excluding
as a minor, graphs excluding as a minor, and graphs excluding
an arbitrary graph as a minor. Several open problems are discussed.Comment: This is a preliminary version of a dynamic survey to be published in
the Electronic Journal of Combinatoric
Defective Coloring on Classes of Perfect Graphs
In Defective Coloring we are given a graph and two integers ,
and are asked if we can -color so that the maximum
degree induced by any color class is at most . We show that this
natural generalization of Coloring is much harder on several basic graph
classes. In particular, we show that it is NP-hard on split graphs, even when
one of the two parameters , is set to the smallest possible
fixed value that does not trivialize the problem ( or ). Together with a simple treewidth-based DP algorithm this completely
determines the complexity of the problem also on chordal graphs. We then
consider the case of cographs and show that, somewhat surprisingly, Defective
Coloring turns out to be one of the few natural problems which are NP-hard on
this class. We complement this negative result by showing that Defective
Coloring is in P for cographs if either or is fixed; that
it is in P for trivially perfect graphs; and that it admits a sub-exponential
time algorithm for cographs when both and are unbounded
Distributed Deterministic Edge Coloring using Bounded Neighborhood Independence
We study the {edge-coloring} problem in the message-passing model of
distributed computing. This is one of the most fundamental and well-studied
problems in this area. Currently, the best-known deterministic algorithms for
(2Delta -1)-edge-coloring requires O(Delta) + log-star n time \cite{PR01},
where Delta is the maximum degree of the input graph. Also, recent results of
\cite{BE10} for vertex-coloring imply that one can get an
O(Delta)-edge-coloring in O(Delta^{epsilon} \cdot \log n) time, and an
O(Delta^{1 + epsilon})-edge-coloring in O(log Delta log n) time, for an
arbitrarily small constant epsilon > 0.
In this paper we devise a drastically faster deterministic edge-coloring
algorithm. Specifically, our algorithm computes an O(Delta)-edge-coloring in
O(Delta^{epsilon}) + log-star n time, and an O(Delta^{1 +
epsilon})-edge-coloring in O(log Delta) + log-star n time. This result improves
the previous state-of-the-art {exponentially} in a wide range of Delta,
specifically, for 2^{Omega(\log-star n)} \leq Delta \leq polylog(n). In
addition, for small values of Delta our deterministic algorithm outperforms all
the existing {randomized} algorithms for this problem.
On our way to these results we study the {vertex-coloring} problem on the
family of graphs with bounded {neighborhood independence}. This is a large
family, which strictly includes line graphs of r-hypergraphs for any r = O(1),
and graphs of bounded growth. We devise a very fast deterministic algorithm for
vertex-coloring graphs with bounded neighborhood independence. This algorithm
directly gives rise to our edge-coloring algorithms, which apply to {general}
graphs.
Our main technical contribution is a subroutine that computes an
O(Delta/p)-defective p-vertex coloring of graphs with bounded neighborhood
independence in O(p^2) + \log-star n time, for a parameter p, 1 \leq p \leq
Delta
Locality of not-so-weak coloring
Many graph problems are locally checkable: a solution is globally feasible if
it looks valid in all constant-radius neighborhoods. This idea is formalized in
the concept of locally checkable labelings (LCLs), introduced by Naor and
Stockmeyer (1995). Recently, Chang et al. (2016) showed that in bounded-degree
graphs, every LCL problem belongs to one of the following classes:
- "Easy": solvable in rounds with both deterministic and
randomized distributed algorithms.
- "Hard": requires at least rounds with deterministic and
rounds with randomized distributed algorithms.
Hence for any parameterized LCL problem, when we move from local problems
towards global problems, there is some point at which complexity suddenly jumps
from easy to hard. For example, for vertex coloring in -regular graphs it is
now known that this jump is at precisely colors: coloring with colors
is easy, while coloring with colors is hard.
However, it is currently poorly understood where this jump takes place when
one looks at defective colorings. To study this question, we define -partial
-coloring as follows: nodes are labeled with numbers between and ,
and every node is incident to at least properly colored edges.
It is known that -partial -coloring (a.k.a. weak -coloring) is easy
for any . As our main result, we show that -partial -coloring
becomes hard as soon as , no matter how large a we have.
We also show that this is fundamentally different from -partial
-coloring: no matter which we choose, the problem is always hard
for but it becomes easy when . The same was known previously
for partial -coloring with , but the case of was open
- …