Modern methods for the Canadian Traveller Problem

Duy Quy Vo

Diplomová práce

Anotace:

Problém kanadského cestovatele (CTP) je stochastický problém hledání nejkratší cesty, ve kterém dostupnost hran není předem známa a je odhalována až během průchodu grafem. To vyžaduje adaptivní rozhodování za podmínek neúplných informací. Tato práce navrhuje jednotný framework pro modelování a řešení CTP v online stochastickém prostředí. Framework odděluje dva způsoby optimalizace: \emph{offline}, v němž jsou kandidátní cesty hodnoceny pomocí odhadu Monte Carlo (MC) před samotným průchodem, a \emph{online}, v němž je cesta konstruována postupně s odhalováním stavu hran. Metaheuristiky Simulated Annealing (SA), Particle Swarm Optimization (PSO) a Self-Organizing Migrating Algorithm (SOMA) jsou implementovány v offline režimu, zatímco Ant Colony Optimization (ACO) pracuje v režimu online. Pro zajištění porovnatelnosti jsou všechny metody vyhodnoceny jednotným odhadem $\hat{C}_{\text{eval}}$ s $N_{\text{eval}} = 100$ vzorky Monte Carlo. Systematické experimenty na třech topologiích grafu, čtyřech úrovních nejistoty a velikostech do $n = 100$ ukazují, že topologie grafu je silnějším prediktorem chování algoritmu než volba samotného algoritmu. Na topologiích s jedinou cestou (simple path, balanced tree) dosahují všechny nehavarující metody prakticky stejných výsledků. Rozdíly mezi metodami jsou měřitelné pouze na grafech typu parallel paths, kde Optimistic Dijkstra, SA a ACO dosahují srovnatelné kvality, zatímco PSO vykazuje mírný odstup způsobený mechanismem oprav a SOMA zaostává podstatněji. Uvedené zjištění platí napříč všemi testovanými úrovněmi nejistoty.

Abstract:

The Canadian Traveller Problem (CTP) is a stochastic shortest path problem in which edge availability is uncertain and revealed only during traversal, requiring adaptive decision-making under incomplete information. This thesis proposes a unified framework for modelling and solving the CTP in an online stochastic setting. The framework distinguishes two optimisation paradigms: an \emph{offline} framework, in which candidate paths are evaluated through a Monte Carlo (MC) estimator before any traversal, and an \emph{online} framework, in which paths are constructed through realised walks with edge states sampled on arrival. Simulated Annealing (SA), Particle Swarm Optimization (PSO), and Self-Organizing Migrating Algorithm (SOMA) are implemented in the offline framework; Ant Colony Optimization (ACO) operates in the online framework. To ensure comparability across frameworks, all solvers are assessed with a common evaluation-time estimator $\hat{C}_{\text{eval}}$ based on $N_{\text{eval}} = 100$ Monte Carlo samples. Systematic experiments on three graph topologies, four uncertainty levels, and sizes up to $n = 100$ reveal that graph topology is a stronger predictor of solver behaviour than algorithm class. On topologies admitting a single source-to-destination path (simple path, balanced tree), every non-failing solver produces identical or near-identical cost. Algorithmic differences become measurable only on parallel paths graphs, where Optimistic Dijkstra, SA, and ACO achieve comparable quality, PSO shows a small gap attributable to its repair mechanism, and SOMA lags more substantially. These findings hold across all tested uncertainty levels.} \EnglishKeywords{Canadian Traveller Problem; stochastic optimization; shortest path; metaheuristics; Monte Carlo simulation; Ant Colony Optimization; Simulated Annealing; Particle Swarm Optimization; Self-Organizing Migrating Algorithm.

Klíčová slova

Problém kanadského cestovatele, stochastická optimalizace, nejkratší cesta, metaheuristiky, Monte Carlo simulace, Ant Colony Optimization, Simulated Annealing, Particle Swarm Optimization, Self-Organizing Migrating Algorithm.

Keywords

Canadian Traveller Problem, stochastic optimization, shortest path, metaheuristics, Monte Carlo simulation, Ant Colony Optimization, Simulated Annealing, Particle Swarm Optimization, Self-Organizing Migrating Algorithm.

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 30. 4. 2026

Obhajoba závěrečné práce

• Obhajoba proběhla 4. 6. 2026
• Vedoucí: Pavel Krömer
• Oponent: Sebastian Basterrech

VŠB – Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program:
Informatika