出版社：Institute for Operations Research and the Management Sciences
摘要：This paper considers six logic puzzles (i.e., single player games) that are available as smartphone apps. The six logic puzzles are: Thermometer Puzzles, Kakuro (Cross Sums), Match 22: Color Puzzle Game, ∞ Infinity Loop, Slider, and Flow Free. We provide mathematical models that can be applied to obtain solutions for these puzzles. In OR/MS lectures, the apps and models can be used as examples or exercises when teaching mathematical programming and for discussion of familiar model types such as shortest path and network flow models. Given the popularity of logic puzzle apps on smartphones, such exercises might be motivating for students. The level of difficulty of the models presented here varies from easy to more difficult. The MathProg files are available at https://www.informs.org/Publications/Subscribe/Access-Restricted-Materials .
