Farmer, cat, mouse, and cheese problem