Hlavolam Water sort

Abstract

Tato bakalářská práce se zabývá řešením hry Water Sort Puzzle. Cílem práce je analyzovat tento hlavolam z pohledu diskrétní matematiky. Analýzou stavového grafu spolu s kombinatorickými pravidly umožnila formální popis hlavolamu i jeho řešení, čímž bylo dosaženo cíle stanoveného v zadání práce. Výsledkem jsou tvrzení popisující strukturu hlavolamu a podmínky jeho řešitelnosti. Práce ukazuje, že pro většinu výchozích stavů hlavolamu je možné najít řešení, pokud jsou tahy voleny uvážlivě. Získané poznatky mohou být aplikovány pro zefektivnění algoritmů řešících tento typ hlavolamu nebo při analýze hlavolamů, založených na přelevání.

This bachelor thesis focuses on solving the Water Sort puzzle. The aim of the thesis is to analyze this puzzle from the perspective of discrete mathematics. The analysis of the state graph together with the combinatorial rules allowed a formal description of the puzzle and its solution, thus achieving the goal set in the assignment. The result is a set of propositions characterizing the structure of the puzzle and the conditions for its solvability. The work shows that for most puzzles it is possible to find solutions if the moves are chosen wisely. The findings can be applied to improve the efficiency of algorithms solving this type of conundrum or in the analysis of puzzles based on overflow.