Duality pairs and homomorphisms to oriented and unoriented cycles
Abstract
In the homomorphism order of digraphs, a duality pair is an ordered pair of digraphs such that for any digraph, , if and only if . The directed path on vertices together with the transitive tournament on vertices is a classic example of a duality pair. This relation between paths and tournaments implies that a graph is -colourable if and only if it admits an orientation with no directed path on more than -vertices. In this work, for every undirected cycle we find an orientation and an oriented path , such that is a duality pair. As a consequence we obtain that there is a finite set, , such that an undirected graph is homomorphic to , if and only if it admits an -free orientation. As a byproduct of the proposed duality pairs, we show that if is a tree of height at most , one can choose a dual of of linear size with respect to the size of .
Keywords
Cite
@article{arxiv.2003.05605,
title = {Duality pairs and homomorphisms to oriented and unoriented cycles},
author = {Santiago Guzmán-Pro and César Hernández-Cruz},
journal= {arXiv preprint arXiv:2003.05605},
year = {2020}
}
Comments
13 pages, 4 figures