Combinatorics, Case Analysis / Checking Cases, Processes / Procedures

This category covers problems involving sequences of operations or steps that evolve over time or iterations. Questions might ask about the outcome of a process, whether it terminates, or properties of its state after a certain number of steps. Often related to algorithms or invariants.