Thesis skeleton
Replace double map with 1-dimensional array in bottom-up implementation.