When to use

Select, design, prove, and implement algorithms and data structures with explicit complexity tradeoffs.