The invariant method solves a puzzle about a process by finding a quantity that no allowed move changes (a parity, a sum modulo , a product, a colouring count); every reachable state shares the starting value, so a state with another value is unreachable, and the final state is determined.
Quantitative Finance · Glosario