Groups
Category
State space reduction shrinks the number of dynamic programming or search states by keeping only the information that truly affects future decisions.
Meet-in-the-middle splits a hard exponential search into two halves, enumerates each half, and then combines results efficiently.