Puzzle—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 availabl...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Transactions on education Ročník 20; číslo 1; s. 49 - 55
Hlavný autor: Hartmann, Sönke
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: INFORMS 01.09.2019
Predmet:
ISSN:1532-0545, 1532-0545
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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.
ISSN:1532-0545
1532-0545
DOI:10.1287/ited.2019.0212