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

Jan Procházka

Bachelor's thesis

Generating Sudoku puzzles using methods of linear programming

Abstract:

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.

Keywords

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

Keywords

constraint programming, Xpress, linear programming, Sudoku

Language used: Czech

Date on which the thesis was submitted / produced: 2. 2. 2015

Thesis defence

• Date of defence: 24. 6. 2015
• Supervisor: Josef Jablonský
• Reader: Stanislav Sopko

Vysoká škola ekonomická v Praze

Bachelor programme / field:
Kvantitativní metody v ekonomice / Matematické metody v ekonomii