Goal: Move all the missionaries and cannibals across the river.
Constraint: Missionaries can never be outnumbered by cannibals on either side of the river, or else the missionaries are killed.
State = configuration of missionaries and cannibals and boat on each side of the river.
Operators: Move boat containing some set of occupants across the river (in either direction) to the other side.