|
|
Magic squares
SUCHÁ, Lucie
This diploma thesis deals with basic features of magic squares and analyses these features with regard to usability during the teaching at elementary schools. Magic squares are known for hundreds years and since then they have changed due to various modifications, from which other kinds were derived. The first part of the thesis is therefore dedicated to the history. Next chapter deals with the construction of magic squares. The following chapters study similar games as Sudoku, Kakuro and Latin squares. The final part of the thesis is dedicated to the usability of magic squares in teaching mathematics. To practice the given topic, the worksheets which are divided according to their difficulty, were created.
|
|
| |
|
|
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.
|
|
| |
guest ::
