Simulátor distribuovaných algoritmů pro prohledávání stavového prostoru

Abstract

Diplomová práce se zabývá vytvořením simulátoru distribuovaných algoritmů pro prohledávání stavového prostoru. Vstupem do simulátoru je simulovaný algoritmus ve formě Python skriptu, graf stavového prostoru a modely výpočetního prostředí. Po simulaci je možné ze simulátoru získat informace ohledně daného algoritmu, které pomohou uživateli analyzovat algoritmus.

The diploma thesis deals with the creation of a simulator of distributed algorithms for searching the state space. The simulator input is a simulated algorithm in the form of a Python script, state space graph, and computational environment models. After the simulation, it is possible to obtain information about the algorithm from the simulator to help the user analyze the algorithm.