Canadian Traveller Problems in Temporal Graphs

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Bellitto, Thomas, Cohen, Johanne, Escoffier, Bruno, Nguyen, Minh-Hang, Rabie, Mikael
Natura: Preprint
Pubblicazione: 2024
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866914882955247616
author Bellitto, Thomas
Cohen, Johanne
Escoffier, Bruno
Nguyen, Minh-Hang
Rabie, Mikael
author_facet Bellitto, Thomas
Cohen, Johanne
Escoffier, Bruno
Nguyen, Minh-Hang
Rabie, Mikael
contents This paper formalises the Canadian Traveller problem as a positional two-player game on graphs. We consider two variants depending on whether an edge is blocked. In the locally-informed variant, the traveller learns if an edge is blocked upon reaching one of its endpoints, while in the uninformed variant, they discover this only when the edge is supposed to appear. We provide a polynomial algorithm for each shortest path variant in the uninformed case. This algorithm also solves the case of directed acyclic non-temporal graphs. In the locally-informed case, we prove that finding a winning strategy is PSPACE-complete. Moreover, we establish that the problem is polynomial-time solvable when $k=1$ but NP-hard for $k\geq 2$. Additionally, we show that the standard (non-temporal) Canadian Traveller Problem is NP-hard when there are $k\geq 4$ blocked edges, which is, to the best of our knowledge, the first hardness result for CTP for a constant number of blocked edges.
format Preprint
id arxiv_https___arxiv_org_abs_2407_16491
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Canadian Traveller Problems in Temporal Graphs
Bellitto, Thomas
Cohen, Johanne
Escoffier, Bruno
Nguyen, Minh-Hang
Rabie, Mikael
Data Structures and Algorithms
Computer Science and Game Theory
This paper formalises the Canadian Traveller problem as a positional two-player game on graphs. We consider two variants depending on whether an edge is blocked. In the locally-informed variant, the traveller learns if an edge is blocked upon reaching one of its endpoints, while in the uninformed variant, they discover this only when the edge is supposed to appear. We provide a polynomial algorithm for each shortest path variant in the uninformed case. This algorithm also solves the case of directed acyclic non-temporal graphs. In the locally-informed case, we prove that finding a winning strategy is PSPACE-complete. Moreover, we establish that the problem is polynomial-time solvable when $k=1$ but NP-hard for $k\geq 2$. Additionally, we show that the standard (non-temporal) Canadian Traveller Problem is NP-hard when there are $k\geq 4$ blocked edges, which is, to the best of our knowledge, the first hardness result for CTP for a constant number of blocked edges.
title Canadian Traveller Problems in Temporal Graphs
topic Data Structures and Algorithms
Computer Science and Game Theory
url https://arxiv.org/abs/2407.16491