Server pro podporu výuky ARUO

Abstract

Cílem práce je nastudovat algoritmy řešící problémy s omezujícími podmínkami a vytvořit aplikaci, která bude demonstrovat jejich průběh a postup výpočtu. Výsledná aplikace umožňuje definovat vlastní zadání problému, který bude vyřešen vybraným algoritmem a uživateli bude zobrazen průběh výpočtu formou animace procházení stromové struktury prostoru potencionálních řešení. Práce je zaměřena na backtracking a jeho modifikace. Do aplikace byl implementován základní backtracking, backjumping, dopředná kontrola a hranová závislost. Je založena na webových technologiích HTML 5, CSS 3 a JavaScript. Aplikace bude nasazena na univerzitní server. Je určena studentům předmětu ARUO pro studium a lepší pochopení vybraných algoritmů a znázornění rozdílu mezi nimi.

The goal of the thesis is to study algorithms solving problems in a field of contrained conditions and to develop an application to demonstrate their processing and progression. The application will allow user to enter his own specification of the problem, choose an algorith to solve it and to display the process of the algorithm. Result is displayed as an animation of browsing of a tree structure representing the space of potential solutions. Thesis is dedicated to the backtracking and its modifications. Application implements basic backtracking, backjumping, forward-chacking and arc-consistency algorithms.It is ased on web technologies as HTML 5, CSS 3 and JavaScript. Application will be deployed on university server. It is accessible to the students of ARUO for studying and better understanding of the selected algorithms and to demonstrate differences among them.