Generátor a řešitel hry sudoku

Abstract

Tato práce pojednává o způsobech generovaní a řešení hry Sudoku. Popisuje možné přístupy k problému řešení, a to: využití logických metod a využití metod prohledávání stavového prostoru. Praktickou část této práce tvoří návrh a implementace aplikace umožňující generování, řešení, ověřování vlastností, vytváření vlastních zadání a export her do formátu XML.

This thesis discusses ways of generating and solving Sudoku games. It describes possible approaches to problem solving, namely: the use of logical methods and the use of state space search methods. Practical part of this work involves the design and implementation of application enabling the generating, solving, verification of attributes, creating your own sudoku problem and export games to XML file.