An application of dynamic programming theory to a familiar type of puzzle, classified in books on mathematical reactions as "difficult crossings." A typical problem is as follows: "A group consisting of three cannibals and three missionaries seeks to...