Problémy klasického plánování jako zobecněný problém obchodního cestujícího s přednostmi

Abstract

V této práci jsme identifikovali dvě třídy problémů STRIPS, které se dají vyřešit jako varianty problému obchodního cestujícího (TSP). Problémy z první třídy lze převést na instance TSP a problémy z druhé třídy na instance zobecněného problému obchodního cestujícího s přednostmi (PC-GTSP). Pro obě tyto třídy jsme dokázali, že řešení těchto instancí jde transformovat na optimální plán v původním problému. Stejně tak lze transformovat optimální plán problému na řešení instance TSP, respektivě PC-GTSP. Nakonec jsme převody obou tříd naimplementovali a experimentálně porovnali jejich výkonnost s řadou state-of-the-art plánovacích metod programu Fast-Downward.

In this thesis, we have identified two classes of STRIPS problems that can be solved as variants of the traveling salesman problem (TSP). For problems from the first class, there exists an encoding into a TSP instance, and problems from the second class can be encoded as an instance of a generalized traveling salesman problem with precedence conditions (PC-GTSP). For both of the classes, we have proved that every solution to their encoding can be transformed into an optimal plan in the original problem and vice versa. Finally, we have implemented the encoding and experimentally evaluated it. The performance of these implementations was compared to several state-of-the-art planning methods of the Fast-Downward planner.