Groups
State space reduction shrinks the number of dynamic programming or search states by keeping only the information that truly affects future decisions.
Matrix exponentiation turns repeated linear transitions into a single fast power of a matrix using exponentiation by squaring.