A puzzle on a discrete system where one has to decide whether a certain system state can be reached through a finite number of steps.

Puzzles centered around a discrete system that the solver must then show whether or not a certain system state is reachable within a finite (or specific) number of steps. Normally answers must have some form of mathematical proof to back up their claim.