Let $(H,r)$ be a fixed rooted digraph. The $(H,r)$-coloring problem is the problem of deciding for which rooted digraphs $(G,s)$ there is a homomorphism $f:G\to H$ which maps the vertex $s$ to the vertex $r$. Let $(H,r)$ be a rooted oriented path. In this case we characterize the nonexistence of such a homomorphism by the existence of a rooted oriented cycle $(C,q)$, which is homomorphic to $(G,s)$ but not homomorphic to $(H,r)$. Such a property of the digraph $(H,r)$ is called {\it rooted cycle duality } or $*$-{\it cycle duality}. This extends the analogical result for unrooted oriented paths given in [6]. We also introduce the notion of {\it comprimed tree duality}. We show that comprimed tree duality of a rooted digraph $(H,r)$ implies a polynomial algorithm for the $(H,r)$-coloring problem.
@article{119196, author = {Petra Smol\'\i kov\'a}, title = {Homomorphism duality for rooted oriented paths}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {41}, year = {2000}, pages = {631-643}, zbl = {1033.05051}, mrnumber = {1795092}, language = {en}, url = {http://dml.mathdoc.fr/item/119196} }
Smolíková, Petra. Homomorphism duality for rooted oriented paths. Commentationes Mathematicae Universitatis Carolinae, Tome 41 (2000) pp. 631-643. http://gdmltest.u-ga.fr/item/119196/
Polynomial graph colourings, Discrete Appl. Math. 35 (1992), 29-46. (1992) | MR 1138082
On the complexity of $H$-colouring, J. Combin. Theory B 48 (1990), 92-110. (1990) | MR 1047555
Duality and polynomial testing of tree homomorphisms, Trans. Amer. Math. Soc. 348.4 (1996), 1281-1297. (1996) | MR 1333391
Duality of graph homomorphisms, Combinatorics, Paul Erdös is Eighty, Vol. 2, Bolyai Society Mathematical Studies, Budapest, 1994, pp.271-282. | MR 1395863
Homomorphisms to oriented cycles, Combinatorica 13 (1993), 421-433. (1993) | MR 1262918 | Zbl 0794.05037
Homomorphisms to oriented paths, Discrete Math. 132 (1994), 107-114. (1994) | MR 1297376 | Zbl 0819.05030
The existence of homomorphisms to oriented cycles, SIAM J. Discrete Math. 8 (1995), 208-222. (1995) | MR 1329507 | Zbl 0831.05059
On bounded tree width duality of graphs, J. Graph Theory 23.2 (1996), 151-162. (1996) | MR 1408343
Homomorfismové duality orientovaných grafů (in Czech), Diploma Thesis, Charles University, 1997.