P-NP threshold for synchronizing road coloring

Abstract

The parameterized Synchronizing-Road-Coloring Problem (in short: SRCP Cℓ) in its decision version can be formulated as follows: given a digraph G with constant out-degree ℓ, check if G can be synchronized by some word of length C for some synchronizing labeling. We consider the family {SRCP Cℓ} C,ℓ of problems parameterized with constants C and ℓ and try to find for which C and ℓ SRCP Cℓ is NP-complete. It is known that SRCP C3 is NP-complete for C ≥ 8. We improve this result by showing that it is so for C ≥ 4 and for ℓ ≥ 3. We also show that SRCP is in P for C ≤ 2 and ℓ ≥ 1. Hence, we solve SRCP almost completely for alphabet with 3 or more letters. The case C = 3 is still an open problem. © 2012 Springer-Verlag.