|
|
Use of Japanese Puzzles in Teaching Mathematics at Primary School
Pěničková, Barbora ; Kloboučková, Jaroslava (advisor) ; Jančařík, Antonín (referee)
This diploma thesis deals with Japanese puzzles and their use in teaching mathematics at primary school. Its main aim is to verify if it is possible for the pupils to achieve comparable results with older pupils and adult Sudoku solvers supposing that these learners are systematically guided through an escalating set of Sudoku puzzles. The theoretical part of the thesis is focused on the history of Sudoku, several strategies of its solving, other examples of Japanese puzzles and also on Sudoku in the context of its use at school. The practical part describes a series of experiments with pupils of the first, later second grade of a primary school, which were conducted in order to verify the hypothesis of this thesis.
|
|
|
Solving of Problems using MCTS
Malý, Dominik ; Hric, Jan (advisor) ; Majerech, Vladan (referee)
Title: Solving problems using MCTS Author: Dominik Malý Department: Department of theoretical informatics and mathematical logic Supervisor: RNDr. Jan Hric Supervisor's e-mail address: Jan.Hric@mff.cuni.cz Abstract: MCTS (Monte Carlo Tree Search) methods are a state-of-the-art approach to the computer solution of strategic board game Go. Because of their versatility and successfulness, these techniques show great potential for all kinds of problems. This paper aims to explore the suitability of MCTS for solving different kind of problems, specifically games of one player, like Sudoku or SameGame. I've created a computer player based on MCTS, who can solve not only Sudoku and SameGame, but also other tasks of similar kind. I've experimentally examined many MCTS extensions and their eligibility for solving these games and through extensive testing I've also compared the suitability of various kinds of UCT selection fun- ctions and used heuristics. In case of SameGame I've compared my algorithm to another exi- sting one undertaking the same problem. In the end I've described what kind of problems has a MCTS-based computer player to overcome, if it is to successfully solve games of this type, and what characteristics should these problems posses to be suitable for MCTS solution. Keywords: MCTS, Go, Sudoku,...
|
|
|
Sudoku - algorithmization of solution
Buchta, Martin ; Sekora, Jiří (referee) ; Mézl, Martin (advisor)
In this paper, we present an overview of techniques that can be used by people to solve a Sudoku Puzzle. The individual algorithms were theoretically described using real tasks and were implemented on this basis to appropriate graphical user interface in Matlab with the possibility of webcam task loading.
|
|
|
Sudoku Generator and Solver
Polínková, Eliška ; Čermák, Martin (referee) ; Goldefus, Filip (advisor)
This thesis discusses ways of generating and solving Sudoku games. It describes possible approaches to problem solving, namely: the use of logical methods and the use of state space search methods. Practical part of this work involves the design and implementation of application enabling the generating, solving, verification of attributes, creating your own sudoku problem and export games to XML file.
|
|
|
Hardware Acceleration of the SUDOKU Game
Jurinek, Róbert ; Puš, Viktor (referee) ; Kaštil, Jan (advisor)
This work deals with the implementation of a hardware-based SUDOKU solver. SUDOKU terminology is described as well as SUDOKU puzzle metrics related to computer puzzle solvers. Solving techniques are introduced and possibilities of a hardware-based implementation are discussed. The implementation of the SUDOKU solver is described and the performance of the implemented unit is assessed. The designed solver was also verified on a real hardware platform. In conclusions possible unit extensions are proposed.
|
|
|
Sudoku Game Implementation as Portlet
Fibich, Ondřej ; Zbořil, František (referee) ; Kočí, Radek (advisor)
Práce je zaměřena na problematiku vývoje komponent portálů, zvaných portlety. Stručně seznamuje s portály, zejména s jejich prostředím, vlastnostmi a schopnostmi. Hlavní část práce je věnována popisu standardů pro vývoj portletů. Na základě vysvětlených principů a s použitím dalších technologií je ukázán vývoj portletu, realizujícího hru Sudoku. Portlet byl vyvíjen pro firmu Red Hat, jakožto ukázkový portlet pro GateIn portál.
|
|
|
Sudoku Solver for Android
Hrbas, Vojtěch ; Herout, Adam (referee) ; Páldy, Alexander (advisor)
This work deals with solving Sudoku game which is taken by a camera of a mobile device running Android. It discusses possibilities of image processing, possibilities of recognizing the text in the image and principle and solving of Sudoku game. It also examines existing applications for Android that solve Sudoku. Then it proposes the application itself for solving Sudoku and summarizes the results of testing the application in terms of performance and users.
|
|
| |
|
|
Sudoku - formulation and solving the problem
Jelínek, Tomáš ; Jablonský, Josef (advisor) ; Chrobok, Viktor (referee)
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.
|
|
|
Sudoku - formulation of the problem and it 's solution
Novák, Jakub ; Jablonský, Josef (advisor) ; Zouhar, Jan (referee)
The purpose of this Bachelor thesis was to formulate sudoku problem and to create an application which was able to solve a real sudoku puzzles. First two chapters consist common information. First is about sudoku and second about linear programming. Third chaper is about formulation of the problem and it's mathematical model. In last chapter is written about creating of application which is separated into three parts. In first part there is enviroment of MS Excel which is going to be prepeared for inserting data and displaying of results. In second part is described created linear model in optimalization software MPL for Windows. The last part of creating of application contains object library OptiMax, which allows starting optimalization from MS Excel.
|
guest ::
