Generování Sudoku s využitím metod lineárního programování

Jan Procházka

Bakalářská práce

Generating Sudoku puzzles using methods of linear programming

Anotace:

Tato práce se zabývá logickou hrou Sudoku, se zaměřením na možnosti generování zadání s využitím metod lineárního programování. Práce začíná popisem historie a pravidel a přehledem některých možných variant. Následuje stručný popis problémů s hodnocením obtížnosti Sudoku. V práci jsou dále vytvořeny modely pro řešení Sudoku pomocí metod lineárního programování a programování s omezujícími podmínkami. V poslední kapitole jsou popsány základní způsoby generování Sudoku a na jejich základě vytvořeny dva programy v systému Xpress-IVE. Na konec je provedeno stručné porovnání vytvořených programů.

Abstract:

This thesis deals with the Sudoku puzzle, focusing on generating Sudoku puzzles using methods of linear programming. First, history, rules and some of the Sudoku variations are briefly described. Next, there is a description of problems associated with the evaluation of difficulty of Sudoku puzzles. Models for solving Sudoku puzzles are developed using linear and constraint programming. In the last chapter two approaches to generating Sudoku puzzles are described and used for developing two programs in system Xpress IVE. At the end, outputs of these programs are briefly compared.

Klíčová slova

lineární programování, Xpress-IVE, programování s omezujícími podmínkami, Sudoku

Keywords

constraint programming, Xpress, linear programming, Sudoku

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 2. 2. 2015

Obhajoba závěrečné práce

• Obhajoba proběhla 24. 6. 2015
• Vedoucí: Josef Jablonský
• Oponent: Stanislav Sopko

Vysoká škola ekonomická v Praze

Bakalářský studijní program / obor:
Kvantitativní metody v ekonomice / Matematické metody v ekonomii