"No guessing" in puzzle games

In computational terms.