162 research outputs found
On the Complexity of Digraph Colourings and Vertex Arboricity
It has been shown by Bokal et al. that deciding 2-colourability of digraphs
is an NP-complete problem. This result was later on extended by Feder et al. to
prove that deciding whether a digraph has a circular -colouring is
NP-complete for all rational . In this paper, we consider the complexity
of corresponding decision problems for related notions of fractional colourings
for digraphs and graphs, including the star dichromatic number, the fractional
dichromatic number and the circular vertex arboricity. We prove the following
results:
Deciding if the star dichromatic number of a digraph is at most is
NP-complete for every rational .
Deciding if the fractional dichromatic number of a digraph is at most is
NP-complete for every .
Deciding if the circular vertex arboricity of a graph is at most is
NP-complete for every rational .
To show these results, different techniques are required in each case. In
order to prove the first result, we relate the star dichromatic number to a new
notion of homomorphisms between digraphs, called circular homomorphisms, which
might be of independent interest. We provide a classification of the
computational complexities of the corresponding homomorphism colouring problems
similar to the one derived by Feder et al. for acyclic homomorphisms.Comment: 21 pages, 1 figur
Edge Partitions of Optimal -plane and -plane Graphs
A topological graph is a graph drawn in the plane. A topological graph is
-plane, , if each edge is crossed at most times. We study the
problem of partitioning the edges of a -plane graph such that each partite
set forms a graph with a simpler structure. While this problem has been studied
for , we focus on optimal -plane and -plane graphs, which are
-plane and -plane graphs with maximum density. We prove the following
results. (i) It is not possible to partition the edges of a simple optimal
-plane graph into a -plane graph and a forest, while (ii) an edge
partition formed by a -plane graph and two plane forests always exists and
can be computed in linear time. (iii) We describe efficient algorithms to
partition the edges of a simple optimal -plane graph into a -plane graph
and a plane graph with maximum vertex degree , or with maximum vertex
degree if the optimal -plane graph is such that its crossing-free edges
form a graph with no separating triangles. (iv) We exhibit an infinite family
of simple optimal -plane graphs such that in any edge partition composed of
a -plane graph and a plane graph, the plane graph has maximum vertex degree
at least and the -plane graph has maximum vertex degree at least .
(v) We show that every optimal -plane graph whose crossing-free edges form a
biconnected graph can be decomposed, in linear time, into a -plane graph and
two plane forests
- …