Duality pairs and homomorphisms to oriented and un-oriented cycles

03/12/2020
by   Santiago Guzmán-Pro, et al.
0

In the homomorphism order of digraphs, a duality pair is an ordered pair of digraphs (G,H) such that for any digraph, D, G→ D if and only if D↛H. The directed path on k+1 vertices together with the transitive tournament on k vertices is a classic example of a duality pair. This relation between paths and tournaments implies that a graph is k-colourable if and only if it admits an orientation with no directed path on more than k-vertices. In this work, for every undirected cycle C we find an orientation C_D and an oriented path P_C, such that (P_C,C_D) is a duality pair. As a consequence we obtain that there is a finite set, F_C, such that an undirected graph is homomorphic to C, if and only if it admits an F_C-free orientation. As a byproduct of the proposed duality pairs, we show that if T is a tree of height at most 3, one can choose a dual of T of linear size with respect to the size of T.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/12/2020

Duality pairs and homomorphisms to oriented and unoriented cycles

In the homomorphism order of digraphs, a duality pair is an ordered pair...
research
08/25/2022

Edge-coloured graph homomorphisms, paths, and duality

We present a edge-coloured analogue of the duality theorem for transitiv...
research
03/12/2020

Orientations without forbidden patterns on three vertices

Given a set of oriented graphs F, a graph G is an F-graph if it admits a...
research
07/18/2023

Algorithms and hardness for Metric Dimension on digraphs

In the Metric Dimension problem, one asks for a minimum-size set R of ve...
research
09/15/2023

Forbidden Tournaments and the Orientation Completion Problem

For a fixed finite set of finite tournaments ℱ, the ℱ-free orientation p...
research
12/18/2020

Upward Point Set Embeddings of Paths and Trees

We study upward planar straight-line embeddings (UPSE) of directed trees...
research
04/03/2013

Duality in STRIPS planning

We describe a duality mapping between STRIPS planning tasks. By exchangi...

Please sign up or login with your details

Forgot password? Click here to reset