More Logic Puzzle Apps Solved by Mathematical Programming

This paper considers six logic puzzles (i.e., single-player games) that are available as smartphone apps--namely Starbattle, V3ck, Monodot, Knight Moves, Circuit Scramble, and Binary Sudoku. For each puzzle, an integer linear programming formulation is presented (a MathProg implementation is availab...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Transactions on education Ročník 20; číslo 1; s. 49
Hlavní autor: Hartmann, Sonke
Médium: Journal Article
Jazyk:angličtina
Vydáno: Institute for Operations Research and the Management Sciences 01.09.2019
Témata:
ISSN:1532-0545, 1532-0545
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:This paper considers six logic puzzles (i.e., single-player games) that are available as smartphone apps--namely Starbattle, V3ck, Monodot, Knight Moves, Circuit Scramble, and Binary Sudoku. For each puzzle, an integer linear programming formulation is presented (a MathProg implementation is available as well). The purpose is to provide interesting examples and exercises for teaching mathematical programming in operations research and management science lectures. The puzzles lead to a broad variety of exercises, ranging from graph models to specific constraint types such as logical and inequality constraints. Keywords: puzzle * teaching modeling
ISSN:1532-0545
1532-0545
DOI:10.1287/ited.2019.0212