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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Transactions on education Jg. 20; H. 1; S. 49 - 55
1. Verfasser: Hartmann, Sönke
Format: Journal Article
Sprache:Englisch
Veröffentlicht: INFORMS 01.09.2019
Schlagworte:
puzzle
teaching modeling
ISSN:1532-0545, 1532-0545
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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