Reachability problems in edge-colored digraphs Original Research Article

Let D be a digraph and let G be a multidigraph whose arcs are colored with the vertices of D. A walk, W, in G is a D-walk if the consecutive colors encountered on W also form a walk in D. A set image is a D-sink if any image reaches some image on a D-walk. We say S is D-independent (resp. independent) if no two vertices of S have a D-walk (resp. have an arc) between them. Let image (resp. image) if any finite D arc-colored digraph G always has an independent (resp. D-independent) D-sink, and let image if any finite D arc-colored tournament always has a 1-point D-sink. Sands et al. [On monochromatic paths in edge-colored digraphs, J. Combin. Theory Ser. B 33 (1982) 271–275.] showed that if D has vertex set image and arcs image, image then image, a D-walk then being just a monochromatic walk. Here we give a classification of image, and make inroads in the classification of image and image, as well we prove the strict containment image. Finally, we generalize these problems by considering D to be an automaton and replacing D by the language accepted by D.