Dynamic Programming and Puzzles
“missionaries and cannibals” (general case) in Applied Dynamic Programming by R. Bellman & S. Dreyfus
detection of two fake coins with a balance (ibid.)
“Dynamic Programming and Board Games” by David Smith of Univ. of Exeter (a good review)