This section briefly discusses optimizations for parallelism and locality within a single loop nest, and introduces the issues involved in finding decompositions by way of a simple example. After presenting a mathematical formulation of decompositions, we then formally state the problem.