Recreational mathematics problem solving as an integer programing problems

The bachelor thesis deals with the solution of three selected recreational mathematics problems using discrete optimization. These problems are called Gridspeed Puzzle, Shifty Witnesses and Alien Tiles. The reader first learns the rules of these games of which are then formulated mathematical models that are integer in all cases. The first two games have one model and are being solved one way, but in game Alien Tiles are solved several optimization problems. All models are rewritten MPL modeling language in which they are solved by solver CPLEX. For all selected problems are found optimal integer solution, which is then described and explained to the reader. The solution results of the task Alien Tiles are finally compared and we are able to tell that one form of the desired outcome of the game is more difficult to calculate