Sudoku - formulation and solving the problem
Thesis title: | Sudoku - formulace úlohy a její řešení |
---|---|
Author: | Jelínek, Tomáš |
Thesis type: | Bakalářská práce |
Supervisor: | Jablonský, Josef |
Opponents: | Chrobok, Viktor |
Thesis language: | Česky |
Abstract: | 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. |
Keywords: | Sudoku; generování úloh; constraint programming; lineární programování |
Thesis title: | Sudoku - formulation and solving the problem |
---|---|
Author: | Jelínek, Tomáš |
Thesis type: | Bachelor thesis |
Supervisor: | Jablonský, Josef |
Opponents: | Chrobok, Viktor |
Thesis language: | Česky |
Abstract: | 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: | Sudoku; linear programming; problem generation; constraint programming |
Information about study
Study programme: | Kvantitativní metody v ekonomice/Matematické metody v ekonomii |
---|---|
Type of study programme: | Bakalářský studijní program |
Assigned degree: | Bc. |
Institutions assigning academic degree: | Vysoká škola ekonomická v Praze |
Faculty: | Faculty of Informatics and Statistics |
Department: | Department of Econometrics |
Information on submission and defense
Date of assignment: | 14. 10. 2009 |
---|---|
Date of submission: | 20. 5. 2010 |
Date of defense: | 8. 6. 2010 |
Identifier in the InSIS system: | https://insis.vse.cz/zp/22134/podrobnosti |