Original title:
Sudoku - formulace úlohy a její řešení
Translated title:
Sudoku - formulation and solving the problem
Authors:
Jelínek, Tomáš ; Jablonský, Josef (advisor) ; Chrobok, Viktor (referee) Document type: Bachelor's theses
Year:
2009
Language:
cze Publisher:
Vysoká škola ekonomická v Praze Abstract:
[cze][eng] Bakalářská práce se zabývá hrou Sudoku, jsou v ní vytvořeny modely pro řešení Sudoku a model pro generování zadání úlohy. V úvodních kapitolách jsou popsána pravidla hry, její historie a některé možné modifikace. V práci jsou stručně popsány vlastnosti a možnosti prostředí Xpress-IVE, ve kterém byly všechny modely vytvořeny. Modely pro řešení Sudoku využívájí různých přístupů - lineární programování a metodu constraint programming. Obě metody jsou v textu popsány, dále jsou vytvořené matematické modely, které jsou následně přepsány do jazyku Mosel. Model generující zadání úlohy kombinuje jak metodu lineárního programování, tak i metodu constraint programming, algoritmus funguje na principu postupného odebírání čísel z vyplněného hracího pole.This bachelor thesis deal with the Sudoku game, there are delevoped models for solving the Sudoku and model for problem generation. There are described the rules of the game, history and some possible modifications in the first chapters. Models are developed in environment Xpress-IVE, there are described some of its features. Models for solving the Sudoku are being used two approaches - linear programming and constraint programming. Both methods are described, there are made mathematical models, which are then re-written in Mosel language. There are used both methods in model for problem generation, algorithm works on principle, where numbers are gradually removed from full Sudoku table.
Keywords:
constraint programming; linear programming; problem generation; Sudoku; constraint programming; generování úloh; lineární programování; Sudoku
Institution: University of Economics, Prague
(web)
Document availability information: Available in the digital repository of the University of Economics, Prague. Original record: http://www.vse.cz/vskp/eid/21477