Práce popisuje vývoj počítačové aplikace, hry Sudoku, obsahující modul pro automatické vyřešení úlohy. Ten je navržen na základě matematického modelu definovaného jako úloha lineárního programování a řešen metodou Simplex. Při implementaci úlohy byl použit nástroj pro matematické modelování Microsoft Solver Foundation. Popsány jsou teoretické základy potřebné pro implementaci problému, včetně vytvoření matematického modelu, technologie použité při vývoji a vlastní struktura a fungování aplikace.
Anotace v angličtině
The goal of this thesis is to create a software application for solving selected problem of linear programming by using tools of Microsoft Solver Foundation library. This software library is finally integrated into the target application in order to accomplish solving Sudoku puzzle. It contains description of a mathematical model of Sudoku game that is implemented. Problem is defined as an Integer Linear Programming problem which is solved using Simplex method.
Klíčová slova
lineární programování, metoda Simplex, Microsoft Solver Foundation, Sudoku, Constraint Satisfaction Problem, C#, Microsoft Visual Studio 2015, Windows Presentation Foundation
Klíčová slova v angličtině
Linear Programming, Simplex method, Microsoft Solver Foundation, Sudoku, Constraint Satisfaction Problem, C#, Microsoft Visual Studio 2015, Windows Presentation Foundation
Rozsah průvodní práce
51 s.
Jazyk
CZ
Anotace
Práce popisuje vývoj počítačové aplikace, hry Sudoku, obsahující modul pro automatické vyřešení úlohy. Ten je navržen na základě matematického modelu definovaného jako úloha lineárního programování a řešen metodou Simplex. Při implementaci úlohy byl použit nástroj pro matematické modelování Microsoft Solver Foundation. Popsány jsou teoretické základy potřebné pro implementaci problému, včetně vytvoření matematického modelu, technologie použité při vývoji a vlastní struktura a fungování aplikace.
Anotace v angličtině
The goal of this thesis is to create a software application for solving selected problem of linear programming by using tools of Microsoft Solver Foundation library. This software library is finally integrated into the target application in order to accomplish solving Sudoku puzzle. It contains description of a mathematical model of Sudoku game that is implemented. Problem is defined as an Integer Linear Programming problem which is solved using Simplex method.
Klíčová slova
lineární programování, metoda Simplex, Microsoft Solver Foundation, Sudoku, Constraint Satisfaction Problem, C#, Microsoft Visual Studio 2015, Windows Presentation Foundation
Klíčová slova v angličtině
Linear Programming, Simplex method, Microsoft Solver Foundation, Sudoku, Constraint Satisfaction Problem, C#, Microsoft Visual Studio 2015, Windows Presentation Foundation
Zásady pro vypracování
Microsoft Solver Foundation je sada vývojářských nástrojů pro matematické simulace, optimalizaci a modelování. Cílem bakalářské práce je vytvořit aplikaci pro vybraný typ úloh lineárního programování pomocí nástroje Microsoft Solver Foundation.
Metodický postup:
Studium odborné literatury.
Popis problematiky lineárního programování, typů úloh a metod počítačového řešení.
Konstrukce matematického modelu.
Implementace modelu ve výsledné aplikaci.
Zásady pro vypracování
Microsoft Solver Foundation je sada vývojářských nástrojů pro matematické simulace, optimalizaci a modelování. Cílem bakalářské práce je vytvořit aplikaci pro vybraný typ úloh lineárního programování pomocí nástroje Microsoft Solver Foundation.
Metodický postup:
Studium odborné literatury.
Popis problematiky lineárního programování, typů úloh a metod počítačového řešení.
Konstrukce matematického modelu.
Implementace modelu ve výsledné aplikaci.
Seznam doporučené literatury
HILLIER, Frederick S. a Gerald J. LIEBERMAN. Introduction to Operations Research. 9. či 10. vydání, New York: McGraw-Hill, 2010, 2015. ISBN 978-007-132483-0, 978-1-259-25318-8.
JABLONSKÝ, Josef. Operační výzkum: kvantitativní metody pro ekonomické rozhodování. 3. vyd. Praha: Professional Publishing, 2007, ISBN 978-80-86946-44-3.
Microsoft Solver Foundation 3.1. MICROSOFT. Microsoft Developer Network: MSDN Library [online]. 2015, 2015.03.20 [cit. 2015-03-27]. Dostupné z: https://msdn.microsoft.com/en-us/library/ff524509.
Seznam doporučené literatury
HILLIER, Frederick S. a Gerald J. LIEBERMAN. Introduction to Operations Research. 9. či 10. vydání, New York: McGraw-Hill, 2010, 2015. ISBN 978-007-132483-0, 978-1-259-25318-8.
JABLONSKÝ, Josef. Operační výzkum: kvantitativní metody pro ekonomické rozhodování. 3. vyd. Praha: Professional Publishing, 2007, ISBN 978-80-86946-44-3.
Microsoft Solver Foundation 3.1. MICROSOFT. Microsoft Developer Network: MSDN Library [online]. 2015, 2015.03.20 [cit. 2015-03-27]. Dostupné z: https://msdn.microsoft.com/en-us/library/ff524509.