Paralelizace, modifikace a implementace DLX algoritmu

Abstract

Diplomová práce podrobně popisuje Algoritmus X, který hledá řešení problému úplného pokrytí, a Dancing Links algoritmus (DLX).

Tato práce je zaměřena především na rozklady kopmletních grafů na předepsané podgrafy a tvorbou algoritmů k sestavení této úlohy a paralelnímu výpočtu jejího řešení. Nalezená řešení slouží jako základ pro již dokázaná tvrzení, umožňující zkonstruovat rozklady grafů vyšších řádů.

Dále se zde objeví dva způsoby převodu problému hledání řešení skládačky Eternity II na úlohu vhodnou pro Dancing Links algoritmus. Eternity II je zajímavý problém, který si jistě zasluhuje více pozornosti nejen proto, že je spojený s vysokou výhrou 2 000 000 USD za jeho vyřešení.

This diploma thesis describes in detail the Algorithm X, that seeks solution of the exact cover problem, and the Dancing Links algorithm (DLX) with his modified version.

The focus of this is on complete graph decomposition into subgraphs and creation of algorithms to build the task and its parallel solution. It serves as a basis for already proved theorems, allowing to construct of higher orders graphs decompositions.

Furthermore, there are two ways given translation of the problem of finding the Eternity II puzzle solution into a problem solvable by the Dancing Links algorithm. Eternity II is an interesting problem that certainly deserves more attention not only because it is associated with a prize of 2 000 000 USD for its first solution.