2 docs tagged with "complexity"

Peak memory analysis across input, output, auxiliary state, and recursion.

Asymptotic runtime analysis with explicit input measures, models, and case assumptions.