299 research outputs found
Hardness Transitions of Star Colouring and Restricted Star Colouring
We study how the complexity of the graph colouring problems star colouring
and restricted star colouring vary with the maximum degree of the graph.
Restricted star colouring (in short, rs colouring) is a variant of star
colouring. For , a -colouring of a graph is a function
such that for every edge of
. A -colouring of is called a -star colouring of if there is
no path in with and . A -colouring of
is called a -rs colouring of if there is no path in with
. For , the problem -STAR COLOURABILITY
takes a graph as input and asks whether admits a -star colouring.
The problem -RS COLOURABILITY is defined similarly. Recently, Brause et al.
(Electron. J. Comb., 2022) investigated the complexity of 3-star colouring with
respect to the graph diameter. We study the complexity of -star colouring
and -rs colouring with respect to the maximum degree for all . For
, let us denote the least integer such that -STAR COLOURABILITY
(resp. -RS COLOURABILITY) is NP-complete for graphs of maximum degree by
(resp. ).
We prove that for and , -STAR COLOURABILITY is NP-complete
for graphs of maximum degree . We also show that -RS COLOURABILITY is
NP-complete for planar 3-regular graphs of girth 5 and -RS COLOURABILITY is
NP-complete for triangle-free graphs of maximum degree for .
Using these results, we prove the following: (i) for and ,
-STAR COLOURABILITY is NP-complete for -regular graphs if and only if
; and (ii) for , -RS COLOURABILITY is NP-complete
for -regular graphs if and only if
3-Colourability of Dually Chordal Graphs in Linear Time
A graph G is dually chordal if there is a spanning tree T of G such that any
maximal clique of G induces a subtree in T. This paper investigates the
Colourability problem on dually chordal graphs. It will show that it is
NP-complete in case of four colours and solvable in linear time with a simple
algorithm in case of three colours. In addition, it will be shown that a dually
chordal graph is 3-colourable if and only if it is perfect and has no clique of
size four
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
A Strategy for Dynamic Programs: Start over and Muddle through
In the setting of DynFO, dynamic programs update the stored result of a query
whenever the underlying data changes. This update is expressed in terms of
first-order logic. We introduce a strategy for constructing dynamic programs
that utilises periodic computation of auxiliary data from scratch and the
ability to maintain a query for a limited number of change steps. We show that
if some program can maintain a query for log n change steps after an
AC-computable initialisation, it can be maintained by a first-order dynamic
program as well, i.e., in DynFO. As an application, it is shown that decision
and optimisation problems defined by monadic second-order (MSO) formulas are in
DynFO, if only change sequences that produce graphs of bounded treewidth are
allowed. To establish this result, a Feferman-Vaught-type composition theorem
for MSO is established that might be useful in its own right
On the Complexity of Role Colouring Planar Graphs, Trees and Cographs
We prove several results about the complexity of the role colouring problem.
A role colouring of a graph is an assignment of colours to the vertices of
such that two vertices of the same colour have identical sets of colours in
their neighbourhoods. We show that the problem of finding a role colouring with
colours is NP-hard for planar graphs. We show that restricting the
problem to trees yields a polynomially solvable case, as long as is either
constant or has a constant difference with , the number of vertices in the
tree. Finally, we prove that cographs are always -role-colourable for
and construct such a colouring in polynomial time
- …